Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-SAT4J-Maxsat-partial_crafted-_home_jplanes_evaluation_benchmarks_partial_crafted_JobShop_ft10-808-1090.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/JobShop/ft10-808-1090.wcnf
Job solver: /home/jplanes/evaluation/solvers/DanielLeBerre/SAT4J-Maxsat
c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
c This is free software under the dual EPL/GNU LGPL licenses.
c See www.sat4j.org for details.
c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
c version 2.1.0.v20090425
c sun.arch.data.model	64
c java.version	1.5.0
c os.name	Linux
c os.version	2.6.9-5.0.5.ELsmp
c os.arch	amd64
c Free memory 403233816
c Max memory 405471232
c Total memory 405471232
c Number of processors 2
c c --- Begin Solver configuration ---
c Stops conflict analysis at the first Unique Implication Point
c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@31d520c4
c Learn all clauses as in MiniSAT
c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
c Expensive reason simplification
c MiniSAT restarts strategy
c Memory based learned constraints deletion strategy
c timeout=2147483s
c DB Simplification allowed=false
c --- End Solver configuration ---
c solving /home/jplanes/evaluation/benchmarks/partial_crafted/JobShop/ft10-808-1090.wcnf
c reading problem ... 
c ... done. Wall clock time 10.05s.
c #vars     1261842
c #constraints  1140701
c constraints type 
c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 206995
c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 932708
c OPTIMIZING...
c Got one! Elapsed wall clock time (in seconds):16.537
o 283
c Got one! Elapsed wall clock time (in seconds):18.251
o 282
c Got one! Elapsed wall clock time (in seconds):20.968
o 281
c Got one! Elapsed wall clock time (in seconds):24.314
o 280
c Got one! Elapsed wall clock time (in seconds):27.168
o 271
c Got one! Elapsed wall clock time (in seconds):30.479
o 270
c Got one! Elapsed wall clock time (in seconds):33.112
o 267
c Got one! Elapsed wall clock time (in seconds):40.841
o 266
c Got one! Elapsed wall clock time (in seconds):54.575
o 265
c Got one! Elapsed wall clock time (in seconds):56.091
o 264
c Got one! Elapsed wall clock time (in seconds):65.862
o 263
c Got one! Elapsed wall clock time (in seconds):68.922
o 262
c Got one! Elapsed wall clock time (in seconds):70.907
o 261
c Got one! Elapsed wall clock time (in seconds):73.822
o 260
c Got one! Elapsed wall clock time (in seconds):75.663
o 259
c Got one! Elapsed wall clock time (in seconds):77.988
o 258
c Got one! Elapsed wall clock time (in seconds):81.142
o 257
c Got one! Elapsed wall clock time (in seconds):82.611
o 256
c Got one! Elapsed wall clock time (in seconds):85.556
o 255
c Got one! Elapsed wall clock time (in seconds):87.194
o 253
c Got one! Elapsed wall clock time (in seconds):89.509
o 252
c Got one! Elapsed wall clock time (in seconds):92.498
o 251
c Got one! Elapsed wall clock time (in seconds):107.147
o 246
c Got one! Elapsed wall clock time (in seconds):110.311
o 245
c Got one! Elapsed wall clock time (in seconds):115.547
o 244
c Got one! Elapsed wall clock time (in seconds):119.813
o 243
c Got one! Elapsed wall clock time (in seconds):124.371
o 239
c Got one! Elapsed wall clock time (in seconds):128.969
o 232
c Got one! Elapsed wall clock time (in seconds):134.274
o 231
c Got one! Elapsed wall clock time (in seconds):138.746
o 230
c Got one! Elapsed wall clock time (in seconds):142.23
o 229
c Got one! Elapsed wall clock time (in seconds):148.566
o 228
c Got one! Elapsed wall clock time (in seconds):224.582
o 227
c Got one! Elapsed wall clock time (in seconds):228.119
o 226
c Got one! Elapsed wall clock time (in seconds):232.219
o 225
c Got one! Elapsed wall clock time (in seconds):235.4
o 224
c Got one! Elapsed wall clock time (in seconds):244.382
o 223
c Got one! Elapsed wall clock time (in seconds):251.265
o 222
c Got one! Elapsed wall clock time (in seconds):254.62
o 202
c Got one! Elapsed wall clock time (in seconds):260.226
o 200
c Got one! Elapsed wall clock time (in seconds):270.507
o 199
c Got one! Elapsed wall clock time (in seconds):274.541
o 198
c Got one! Elapsed wall clock time (in seconds):279.436
o 197
c Got one! Elapsed wall clock time (in seconds):300.557
o 196
c Got one! Elapsed wall clock time (in seconds):306.064
o 195
c Got one! Elapsed wall clock time (in seconds):311.376
o 194
c Got one! Elapsed wall clock time (in seconds):320.327
o 193
c Got one! Elapsed wall clock time (in seconds):325.854
o 192
c Got one! Elapsed wall clock time (in seconds):332.732
o 191
c Got one! Elapsed wall clock time (in seconds):338.585
o 190
c Got one! Elapsed wall clock time (in seconds):347.232
o 189
c Got one! Elapsed wall clock time (in seconds):351.046
o 188
c Got one! Elapsed wall clock time (in seconds):503.48
o 187
c Got one! Elapsed wall clock time (in seconds):512.677
o 186
c Got one! Elapsed wall clock time (in seconds):520.708
o 185
c Got one! Elapsed wall clock time (in seconds):557.914
o 182
c Got one! Elapsed wall clock time (in seconds):567.004
o 181
c Got one! Elapsed wall clock time (in seconds):584.896
o 180
c Got one! Elapsed wall clock time (in seconds):590.751
o 179
c Got one! Elapsed wall clock time (in seconds):593.326
o 175
c Got one! Elapsed wall clock time (in seconds):599.529
o 174
c Got one! Elapsed wall clock time (in seconds):634.434
o 173
c Got one! Elapsed wall clock time (in seconds):638.879
o 172
c Got one! Elapsed wall clock time (in seconds):649.627
o 171
c Got one! Elapsed wall clock time (in seconds):658.933
o 170
c Got one! Elapsed wall clock time (in seconds):663.788
o 169
c Got one! Elapsed wall clock time (in seconds):669.321
o 168
c Got one! Elapsed wall clock time (in seconds):1066.571
o 167
c Got one! Elapsed wall clock time (in seconds):1076.43
o 166
c Got one! Elapsed wall clock time (in seconds):1118.37
o 165
c Got one! Elapsed wall clock time (in seconds):1130.033
o 164
c Got one! Elapsed wall clock time (in seconds):1545.04
o 163
c Got one! Elapsed wall clock time (in seconds):1568.508
o 162
c Got one! Elapsed wall clock time (in seconds):1717.114
o 156
c Got one! Elapsed wall clock time (in seconds):1739.905
o 153
c Got one! Elapsed wall clock time (in seconds):1810.067
o 152
c Got one! Elapsed wall clock time (in seconds):1860.283
o 151
c Got one! Elapsed wall clock time (in seconds):2051.775
o 150
c Got one! Elapsed wall clock time (in seconds):2060.938
o 149
c Got one! Elapsed wall clock time (in seconds):2073.814
o 148
c Got one! Elapsed wall clock time (in seconds):2187.236
o 147
c Got one! Elapsed wall clock time (in seconds):2299.42
o 146
c Got one! Elapsed wall clock time (in seconds):2366.399
o 145
c Got one! Elapsed wall clock time (in seconds):2571.625
o 144
c Got one! Elapsed wall clock time (in seconds):2729.379
o 143
c Got one! Elapsed wall clock time (in seconds):2754.344
o 142
c Got one! Elapsed wall clock time (in seconds):2825.264
o 141
c Got one! Elapsed wall clock time (in seconds):2957.566
o 140
c Got one! Elapsed wall clock time (in seconds):3077.779
o 139
c Got one! Elapsed wall clock time (in seconds):3124.161
o 138
c Got one! Elapsed wall clock time (in seconds):3259.487
o 137
c cleaning 23475 clauses out of 46974
c Got one! Elapsed wall clock time (in seconds):3273.744
o 136
Killed
1875.693u 0.850s 59:25.10 52.6%	0+0k 0+0io 1pf+0w