Trace number 3687331

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT 1390.75 1386.19

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
MD5SUMa399b3055416a9d1117a7f2bb11b2cef
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark817.196
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1440
Total number of constraints86040
Number of constraints which are clauses85680
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3687331-1337871903.opb
0.08/0.12	c reading problem ... 
1.19/0.83	c ... done. Wall clock time 0.709s.
1.19/0.83	c declared #vars     1440
1.19/0.83	c #constraints  86400
1.19/0.83	c constraints type 
1.19/0.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 86040
1.19/0.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 360
1.19/0.83	c 86400 constraints processed.
2.28/1.55	c cleaning 2499 clauses out of 5001 with flag 5001/5001
3.12/2.20	c cleaning 4246 clauses out of 8501 with flag 11000/11000
3.83/2.94	c cleaning 5621 clauses out of 11255 with flag 18000/18000
4.64/3.75	c cleaning 6815 clauses out of 13635 with flag 26001/26001
5.57/4.69	c cleaning 7901 clauses out of 15821 with flag 35002/35002
6.69/5.72	c cleaning 8951 clauses out of 17919 with flag 45001/45001
7.90/6.91	c cleaning 9968 clauses out of 19968 with flag 56001/56001
9.30/8.34	c cleaning 10999 clauses out of 22001 with flag 68002/68002
10.82/9.88	c cleaning 11988 clauses out of 24001 with flag 81001/81001
12.42/11.49	c cleaning 13002 clauses out of 26017 with flag 95005/95005
14.32/13.35	c cleaning 13992 clauses out of 28010 with flag 110000/110000
16.15/15.15	c cleaning 14998 clauses out of 30018 with flag 126000/126000
18.26/17.28	c cleaning 16005 clauses out of 32021 with flag 143001/143001
20.78/19.75	c cleaning 16999 clauses out of 34018 with flag 161003/161003
23.21/22.10	c cleaning 18000 clauses out of 36016 with flag 180000/180000
25.84/24.71	c cleaning 19005 clauses out of 38019 with flag 200003/200003
28.76/27.67	c cleaning 19995 clauses out of 40013 with flag 221002/221002
31.90/30.73	c cleaning 21002 clauses out of 42020 with flag 243004/243004
35.10/33.90	c cleaning 22004 clauses out of 44014 with flag 266000/266000
37.94/36.76	c cleaning 22986 clauses out of 46011 with flag 290001/290001
41.46/40.22	c cleaning 24005 clauses out of 48025 with flag 315001/315001
45.47/44.23	c cleaning 25001 clauses out of 50023 with flag 341004/341004
49.51/48.30	c cleaning 25989 clauses out of 52020 with flag 368002/368002
53.62/52.38	c cleaning 27006 clauses out of 54033 with flag 396004/396004
57.87/56.50	c cleaning 27997 clauses out of 56023 with flag 425000/425000
62.30/60.92	c cleaning 28998 clauses out of 58027 with flag 455001/455001
67.32/65.95	c cleaning 30001 clauses out of 60030 with flag 486002/486002
72.95/71.58	c cleaning 30998 clauses out of 62028 with flag 518001/518001
78.08/76.68	c cleaning 31999 clauses out of 64029 with flag 551000/551000
83.72/82.23	c cleaning 33002 clauses out of 66034 with flag 585004/585004
88.14/86.68	c cleaning 34008 clauses out of 68030 with flag 620002/620002
93.35/91.82	c cleaning 34993 clauses out of 70020 with flag 656000/656000
99.08/97.53	c cleaning 35999 clauses out of 72028 with flag 693001/693001
105.21/103.67	c cleaning 36998 clauses out of 74029 with flag 731001/731001
112.34/110.79	c cleaning 37998 clauses out of 76030 with flag 770000/770000
118.76/117.17	c cleaning 39010 clauses out of 78032 with flag 810000/810000
126.58/124.91	c cleaning 39997 clauses out of 80022 with flag 851000/851000
133.51/131.80	c cleaning 41002 clauses out of 82025 with flag 893000/893000
139.93/138.22	c cleaning 41993 clauses out of 84023 with flag 936000/936000
147.26/145.50	c cleaning 43006 clauses out of 86031 with flag 980001/980001
154.87/153.15	c cleaning 43990 clauses out of 88024 with flag 1025000/1025000
163.51/161.77	c cleaning 45004 clauses out of 90035 with flag 1071001/1071001
171.32/169.57	c cleaning 46006 clauses out of 92031 with flag 1118001/1118001
181.15/179.31	c cleaning 46996 clauses out of 94026 with flag 1166002/1166002
189.98/188.14	c cleaning 48003 clauses out of 96028 with flag 1215000/1215000
200.70/198.86	c cleaning 48991 clauses out of 98027 with flag 1265002/1265002
211.34/209.43	c cleaning 50000 clauses out of 100034 with flag 1316000/1316000
218.54/216.52	c cleaning 50996 clauses out of 102035 with flag 1368001/1368001
227.35/225.31	c cleaning 51997 clauses out of 104038 with flag 1421000/1421000
237.56/235.55	c cleaning 53017 clauses out of 106046 with flag 1475005/1475005
248.52/246.46	c cleaning 53995 clauses out of 108027 with flag 1530003/1530003
260.95/258.86	c cleaning 55007 clauses out of 110030 with flag 1586001/1586001
271.20/269.01	c cleaning 55994 clauses out of 112024 with flag 1643002/1643002
283.92/281.79	c cleaning 57002 clauses out of 114029 with flag 1701001/1701001
297.26/295.04	c cleaning 57999 clauses out of 116031 with flag 1760005/1760005
309.70/307.40	c cleaning 58980 clauses out of 118027 with flag 1820000/1820000
323.84/321.53	c cleaning 60002 clauses out of 120050 with flag 1881003/1881003
339.08/336.79	c cleaning 61002 clauses out of 122045 with flag 1943000/1943000
351.42/349.10	c cleaning 62009 clauses out of 124043 with flag 2006000/2006000
363.43/361.06	c cleaning 63005 clauses out of 126034 with flag 2070000/2070000
377.38/374.91	c cleaning 64002 clauses out of 128029 with flag 2135000/2135000
391.92/389.44	c cleaning 64997 clauses out of 130027 with flag 2201000/2201000
409.14/406.68	c cleaning 66006 clauses out of 132030 with flag 2268000/2268000
424.69/422.19	c cleaning 66998 clauses out of 134024 with flag 2336000/2336000
440.92/438.39	c cleaning 68002 clauses out of 136028 with flag 2405002/2405002
455.45/452.82	c cleaning 68998 clauses out of 138024 with flag 2475000/2475000
471.97/469.36	c cleaning 69992 clauses out of 140026 with flag 2546000/2546000
490.73/488.07	c cleaning 70992 clauses out of 142034 with flag 2618000/2618000
508.50/505.71	c cleaning 72009 clauses out of 144043 with flag 2691001/2691001
529.42/526.62	c cleaning 73007 clauses out of 146035 with flag 2765002/2765002
550.90/548.09	c cleaning 73999 clauses out of 148026 with flag 2840000/2840000
573.26/570.36	c cleaning 74990 clauses out of 150027 with flag 2916000/2916000
594.39/591.45	c cleaning 76011 clauses out of 152037 with flag 2993000/2993000
608.22/605.21	c cleaning 76998 clauses out of 154027 with flag 3071001/3071001
622.64/619.66	c cleaning 77996 clauses out of 156029 with flag 3150001/3150001
639.08/636.06	c cleaning 79002 clauses out of 158033 with flag 3230001/3230001
656.31/653.23	c cleaning 80000 clauses out of 160031 with flag 3311001/3311001
678.88/675.75	c cleaning 80991 clauses out of 162030 with flag 3393000/3393000
699.15/695.93	c cleaning 82002 clauses out of 164041 with flag 3476002/3476002
723.78/720.52	c cleaning 82992 clauses out of 166038 with flag 3560001/3560001
747.45/744.12	c cleaning 83991 clauses out of 168045 with flag 3645000/3645000
769.90/766.52	c cleaning 84996 clauses out of 170055 with flag 3731001/3731001
794.14/790.76	c cleaning 85997 clauses out of 172058 with flag 3818000/3818000
817.40/813.99	c cleaning 87019 clauses out of 174063 with flag 3906002/3906002
840.73/837.25	c cleaning 88008 clauses out of 176042 with flag 3995000/3995000
866.78/863.29	c cleaning 88999 clauses out of 178036 with flag 4085002/4085002
894.76/891.19	c cleaning 90007 clauses out of 180035 with flag 4176000/4176000
920.22/916.52	c cleaning 90990 clauses out of 182028 with flag 4268000/4268000
949.67/945.95	c cleaning 92011 clauses out of 184039 with flag 4361001/4361001
975.02/971.30	c cleaning 92967 clauses out of 186028 with flag 4455001/4455001
992.18/988.31	c cleaning 94011 clauses out of 188060 with flag 4550000/4550000
1011.72/1007.87	c cleaning 95013 clauses out of 190050 with flag 4646001/4646001
1035.36/1031.47	c cleaning 96000 clauses out of 192038 with flag 4743002/4743002
1058.91/1054.94	c cleaning 96998 clauses out of 194036 with flag 4841000/4841000
1088.75/1084.75	c cleaning 98002 clauses out of 196038 with flag 4940000/4940000
1122.22/1118.11	c cleaning 98999 clauses out of 198038 with flag 5040002/5040002
1154.74/1150.50	c cleaning 100007 clauses out of 200037 with flag 5141000/5141000
1184.58/1180.38	c cleaning 100982 clauses out of 202032 with flag 5243002/5243002
1215.22/1210.90	c cleaning 101995 clauses out of 204049 with flag 5346001/5346001
1244.76/1240.47	c cleaning 102995 clauses out of 206053 with flag 5450000/5450000
1270.60/1266.27	c cleaning 104013 clauses out of 208061 with flag 5555003/5555003
1303.03/1298.68	c cleaning 105004 clauses out of 210045 with flag 5661000/5661000
1334.00/1329.50	c cleaning 105993 clauses out of 212041 with flag 5768000/5768000
1369.45/1364.91	c cleaning 106994 clauses out of 214048 with flag 5876000/5876000
1390.75/1386.15	c starts		: 275
1390.75/1386.15	c conflicts		: 5952887
1390.75/1386.15	c decisions		: 7525396
1390.75/1386.15	c propagations		: 684861255
1390.75/1386.15	c inspects		: 17574079106
1390.75/1386.15	c shortcuts		: 0
1390.75/1386.15	c learnt literals	: 0
1390.75/1386.15	c learnt binary clauses	: 0
1390.75/1386.15	c learnt ternary clauses	: 0
1390.75/1386.15	c learnt constraints	: 5952887
1390.75/1386.15	c ignored constraints	: 0
1390.75/1386.15	c root simplifications	: 0
1390.75/1386.15	c removed literals (reason simplification)	: 0
1390.75/1386.15	c reason swapping (by a shorter reason)	: 0
1390.75/1386.15	c Calls to reduceDB	: 104
1390.75/1386.15	c number of reductions to clauses (during analyze)	: 0
1390.75/1386.15	c number of learned constraints concerned by reduction	: 0
1390.75/1386.15	c number of learning phase by resolution	: 0
1390.75/1386.15	c number of learning phase by cutting planes	: 0
1390.75/1386.15	c speed (assignments/second)	: 494373.64967144566
1390.75/1386.15	c non guided choices	216
1390.75/1386.18	c learnt constraints type 
1390.75/1386.18	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 183941
1390.75/1386.18	c constraints type 
1390.75/1386.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 86040
1390.75/1386.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 360
1390.75/1386.18	c 86400 constraints processed.
1390.75/1386.18	s SATISFIABLE
1390.75/1386.19	v -x1 -x2 x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 x16 -x17 x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 x232 x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 x248 -x249 x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 x259 -x260 x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 x342 -x343 -x344 x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 x367 -x368 x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 x388 -x389 -x390 x391 -x392 -x393 x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 x408 x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 x435 -x436 -x437 x438 -x439 -x440 -x441 x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 x460 x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 x504 -x505 -x506 x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 x516 -x517 x518 -x519 -x520 -x521 x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 x538 -x539 -x540 -x541 x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 x567 -x568 -x569 -x570 x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 x588 -x589 x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 x616 -x617 -x618 x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 x659 -x660 -x661 x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 x703 -x704 -x705 -x706 x707 -x708 x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 x740 -x741 -x742 x743 -x744 -x745 -x746 x747 -x748 x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 x758 -x759 -x760 x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 x784 x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 x808 x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 x836 -x837 x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 x860 -x861 -x862 x863 -x864 x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 -x929 x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 x971 -x972 -x973 -x974 x975 -x976 -x977 x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 x991 -x992 x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 x1063 -x1064 x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 x1156 x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 x1300 x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 x1431 -x1432 -x1433 x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 
1390.75/1386.19	c Total wall clock time (in seconds): 1386.064

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687331-1337871903/watcher-3687331-1337871903 -o /tmp/evaluation-result-3687331-1337871903/solver-3687331-1337871903 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687331-1337871903.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.36 0.08 0.03 2/174 21608
/proc/meminfo: memFree=29344364/32873844 swapFree=7620/7620
[pid=21608] ppid=21606 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/21608/stat : 21608 (java) D 21606 21608 21484 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253318893 9515008 184 33554432000 1073741824 1073778376 140737406294048 140737406285272 218213543351 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/21608/statm: 2323 184 142 9 0 71 0

[startup+0.0375349 s]
/proc/loadavg: 0.36 0.08 0.03 2/174 21608
/proc/meminfo: memFree=29344364/32873844 swapFree=7620/7620
[pid=21608] ppid=21606 vsize=9092432 CPUtime=0.02 cores=0,2,4,6
/proc/21608/stat : 21608 (java) S 21606 21608 21484 0 -1 4202496 2900 0 1 0 1 1 0 0 20 0 11 0 253318893 9310650368 3601 33554432000 1073741824 1073778376 140735220840016 140735220831152 218217087037 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21608/statm: 2273108 3601 1631 9 0 2263809 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9092432

[startup+0.100228 s]
/proc/loadavg: 0.36 0.08 0.03 2/174 21608
/proc/meminfo: memFree=29344364/32873844 swapFree=7620/7620
[pid=21608] ppid=21606 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/21608/stat : 21608 (java) S 21606 21608 21484 0 -1 4202496 4150 0 1 0 7 1 0 0 20 0 18 0 253318893 9787813888 5350 33554432000 1073741824 1073778376 140735220840016 140735220831152 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21608/statm: 2389603 5350 2079 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300165 s]
/proc/loadavg: 0.36 0.08 0.03 2/174 21608
/proc/meminfo: memFree=29344364/32873844 swapFree=7620/7620
[pid=21608] ppid=21606 vsize=9558412 CPUtime=0.46 cores=0,2,4,6
/proc/21608/stat : 21608 (java) S 21606 21608 21484 0 -1 4202496 5319 0 1 0 45 1 0 0 20 0 18 0 253318893 9787813888 9330 33554432000 1073741824 1073778376 140735220840016 140735220831152 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21608/statm: 2389603 9354 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.700298 s]
/proc/loadavg: 0.36 0.08 0.03 2/174 21608
/proc/meminfo: memFree=29344364/32873844 swapFree=7620/7620
[pid=21608] ppid=21606 vsize=9558412 CPUtime=1.09 cores=0,2,4,6
/proc/21608/stat : 21608 (java) S 21606 21608 21484 0 -1 4202496 6337 0 1 0 106 3 0 0 20 0 18 0 253318893 9787813888 39472 33554432000 1073741824 1073778376 140735220840016 140735220831152 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21608/statm: 2389603 39472 2245 9 0 2380296 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9558412

[startup+1.50077 s]
/proc/loadavg: 0.36 0.08 0.03 3/190 21647
/proc/meminfo: memFree=29191364/32873844 swapFree=7620/7620
[pid=21608] ppid=21606 vsize=9624976 CPUtime=2.28 cores=0,2,4,6
/proc/21608/stat : 21608 (java) S 21606 21608 21484 0 -1 4202496 10012 0 1 0 223 5 0 0 20 0 19 0 253318893 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140735220831152 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21608/statm: 2406244 43883 2270 9 0 2396937 0
[pid=21608/tid=21613] ppid=21606 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/21608/task/21613/stat : 21613 (java) R 21606 21608 21484 0 -1 4202560 2517 0 1 0 142 3 0 0 20 0 19 0 253318895 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348884749544 140348744112224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21614] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21614/stat : 21614 (java) S 21606 21608 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348862852136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21615] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21615/stat : 21615 (java) S 21606 21608 21484 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348659592104 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21616] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21616/stat : 21616 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348658539304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21617] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21617/stat : 21617 (java) S 21606 21608 21484 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348657486504 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21618] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21618/stat : 21618 (java) S 21606 21608 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348656433704 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21619] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21619/stat : 21619 (java) S 21606 21608 21484 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348655380904 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21620] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21620/stat : 21620 (java) S 21606 21608 21484 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348654328104 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21621] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21621/stat : 21621 (java) S 21606 21608 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348653275304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21625] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21625/stat : 21625 (java) S 21606 21608 21484 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 253318897 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348641078248 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21626] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21626/stat : 21626 (java) S 21606 21608 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348640024312 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21627] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21627/stat : 21627 (java) S 21606 21608 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348638971400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21635] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21635/stat : 21635 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348637919888 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21636] ppid=21606 vsize=9624976 CPUtime=0.31 cores=0,2,4,6
/proc/21608/task/21636/stat : 21636 (java) S 21606 21608 21484 0 -1 4202560 1959 0 0 0 31 0 0 0 20 0 19 0 253318900 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348636867000 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21637] ppid=21606 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/21608/task/21637/stat : 21637 (java) S 21606 21608 21484 0 -1 4202560 4236 0 0 0 43 0 0 0 20 0 19 0 253318900 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348635814200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21638] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21638/stat : 21638 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348634761592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21641] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21641/stat : 21641 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348633709000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21647] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21647/stat : 21647 (java) S 21606 21608 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318978 9855975424 43883 33554432000 1073741824 1073778376 140735220840016 140348632622760 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9624976

[startup+3.10073 s]
/proc/loadavg: 0.36 0.08 0.03 2/190 21647
/proc/meminfo: memFree=29159404/32873844 swapFree=7620/7620
[pid=21608] ppid=21606 vsize=9624976 CPUtime=4.04 cores=0,2,4,6
/proc/21608/stat : 21608 (java) S 21606 21608 21484 0 -1 4202496 10288 0 1 0 398 6 0 0 20 0 19 0 253318893 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140735220831152 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21608/statm: 2406244 50086 2282 9 0 2396937 0
[pid=21608/tid=21613] ppid=21606 vsize=9624976 CPUtime=2.94 cores=0,2,4,6
/proc/21608/task/21613/stat : 21613 (java) R 21606 21608 21484 0 -1 4202560 2519 0 1 0 291 3 0 0 20 0 19 0 253318895 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348884750744 140348744265533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21614] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21614/stat : 21614 (java) S 21606 21608 21484 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348862852136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21615] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21615/stat : 21615 (java) S 21606 21608 21484 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348659592104 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21616] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21616/stat : 21616 (java) S 21606 21608 21484 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348658539304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21617] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21617/stat : 21617 (java) S 21606 21608 21484 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348657486504 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21618] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21618/stat : 21618 (java) S 21606 21608 21484 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348656433704 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21619] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21619/stat : 21619 (java) S 21606 21608 21484 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348655380904 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21620] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21620/stat : 21620 (java) S 21606 21608 21484 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348654328104 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21621] ppid=21606 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/21608/task/21621/stat : 21621 (java) S 21606 21608 21484 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 253318896 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348653275304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21625] ppid=21606 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/21608/task/21625/stat : 21625 (java) S 21606 21608 21484 0 -1 4202560 98 0 0 0 7 0 0 0 20 0 19 0 253318897 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348641078248 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21626] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21626/stat : 21626 (java) S 21606 21608 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348640024312 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21627] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21627/stat : 21627 (java) S 21606 21608 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348638971400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21635] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21635/stat : 21635 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348637919888 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21636] ppid=21606 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/21608/task/21636/stat : 21636 (java) S 21606 21608 21484 0 -1 4202560 2181 0 0 0 38 0 0 0 20 0 19 0 253318900 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348636867000 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21637] ppid=21606 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/21608/task/21637/stat : 21637 (java) S 21606 21608 21484 0 -1 4202560 4237 0 0 0 47 0 0 0 20 0 19 0 253318900 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348635814200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21638] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21638/stat : 21638 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348634761592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21641] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21641/stat : 21641 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348633709000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21647] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21647/stat : 21647 (java) S 21606 21608 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318978 9855975424 50086 33554432000 1073741824 1073778376 140735220840016 140348632622760 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 9624976

[startup+6.30072 s]
/proc/loadavg: 0.49 0.11 0.04 3/192 21687
/proc/meminfo: memFree=29135248/32873844 swapFree=7620/7620
[pid=21608] ppid=21606 vsize=9624976 CPUtime=7.3 cores=0,2,4,6
/proc/21608/stat : 21608 (java) S 21606 21608 21484 0 -1 4202496 10310 0 1 0 723 7 0 0 20 0 19 0 253318893 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140735220831152 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21608/statm: 2406244 51503 2282 9 0 2396937 0
[pid=21608/tid=21613] ppid=21606 vsize=9624976 CPUtime=6.01 cores=0,2,4,6
/proc/21608/task/21613/stat : 21613 (java) R 21606 21608 21484 0 -1 4202560 2522 0 1 0 598 3 0 0 20 0 19 0 253318895 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348884750744 140348744131072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21614] ppid=21606 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/21608/task/21614/stat : 21614 (java) S 21606 21608 21484 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 253318896 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348862852136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21615] ppid=21606 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/21608/task/21615/stat : 21615 (java) S 21606 21608 21484 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 253318896 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348659592104 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21616] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21616/stat : 21616 (java) S 21606 21608 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348658539304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21617] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21617/stat : 21617 (java) S 21606 21608 21484 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348657486504 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21618] ppid=21606 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/21608/task/21618/stat : 21618 (java) S 21606 21608 21484 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253318896 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348656433704 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21619] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21619/stat : 21619 (java) S 21606 21608 21484 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253318896 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348655380904 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21620] ppid=21606 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/21608/task/21620/stat : 21620 (java) S 21606 21608 21484 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 253318896 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348654328104 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21621] ppid=21606 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/21608/task/21621/stat : 21621 (java) S 21606 21608 21484 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 253318896 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348653275304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21625] ppid=21606 vsize=9624976 CPUtime=0.18 cores=0,2,4,6
/proc/21608/task/21625/stat : 21625 (java) S 21606 21608 21484 0 -1 4202560 99 0 0 0 18 0 0 0 20 0 19 0 253318897 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348641078248 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21626] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21626/stat : 21626 (java) S 21606 21608 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348640024312 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21627] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21627/stat : 21627 (java) S 21606 21608 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348638971400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21635] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21635/stat : 21635 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348637919888 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21636] ppid=21606 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/21608/task/21636/stat : 21636 (java) S 21606 21608 21484 0 -1 4202560 2182 0 0 0 38 0 0 0 20 0 19 0 253318900 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348636867000 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21637] ppid=21606 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/21608/task/21637/stat : 21637 (java) S 21606 21608 21484 0 -1 4202560 4237 0 0 0 51 0 0 0 20 0 19 0 253318900 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348635814200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21638] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21638/stat : 21638 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348634761592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21641] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21641/stat : 21641 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348633709000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21647] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21647/stat : 21647 (java) S 21606 21608 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318978 9855975424 51503 33554432000 1073741824 1073778376 140735220840016 140348632622760 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

################
# More data... #
################

/proc/21608/task/21621/stat : 21621 (java) S 21606 21608 21484 0 -1 4202560 131 0 0 0 62 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348653275304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21625] ppid=21606 vsize=9624976 CPUtime=6.21 cores=0,2,4,6
/proc/21608/task/21625/stat : 21625 (java) S 21606 21608 21484 0 -1 4202560 190 0 0 0 619 2 0 0 20 0 19 0 253318897 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348641078248 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21626] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21626/stat : 21626 (java) S 21606 21608 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348640024312 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21627] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21627/stat : 21627 (java) S 21606 21608 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348638971400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21635] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21635/stat : 21635 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348637919888 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21636] ppid=21606 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/21608/task/21636/stat : 21636 (java) S 21606 21608 21484 0 -1 4202560 2182 0 0 0 38 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348636867000 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21637] ppid=21606 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/21608/task/21637/stat : 21637 (java) S 21606 21608 21484 0 -1 4202560 4241 0 0 0 53 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348635814200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21638] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21638/stat : 21638 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348634761592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21641] ppid=21606 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/21608/task/21641/stat : 21641 (java) S 21606 21608 21484 0 -1 4202560 81 0 0 0 33 19 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348633709000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21647] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21647/stat : 21647 (java) S 21606 21608 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318978 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348632622760 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1388.55
Current children cumulated vsize (KiB) 9624976

[startup+1385.5 s]
/proc/loadavg: 2.00 2.00 1.56 3/213 21746
/proc/meminfo: memFree=28079188/32873844 swapFree=7620/7620
[pid=21608] ppid=21606 vsize=9624976 CPUtime=1390.15 cores=0,2,4,6
/proc/21608/stat : 21608 (java) S 21606 21608 21484 0 -1 4202496 11990 0 1 0 138966 49 0 0 20 0 19 0 253318893 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140735220831152 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21608/statm: 2406244 91084 2283 9 0 2396937 0
[pid=21608/tid=21613] ppid=21606 vsize=9624976 CPUtime=1374.08 cores=0,2,4,6
/proc/21608/task/21613/stat : 21613 (java) R 21606 21608 21484 0 -1 4202560 2620 0 1 0 137383 25 0 0 20 0 19 0 253318895 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348884750624 140348744361894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21614] ppid=21606 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/21608/task/21614/stat : 21614 (java) S 21606 21608 21484 0 -1 4202560 112 0 0 0 60 3 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348862852136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21615] ppid=21606 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/21608/task/21615/stat : 21615 (java) S 21606 21608 21484 0 -1 4202560 219 0 0 0 65 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348659592104 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21616] ppid=21606 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/21608/task/21616/stat : 21616 (java) S 21606 21608 21484 0 -1 4202560 220 0 0 0 58 2 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348658539304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21617] ppid=21606 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/21608/task/21617/stat : 21617 (java) S 21606 21608 21484 0 -1 4202560 150 0 0 0 61 3 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348657486504 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21618] ppid=21606 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/21608/task/21618/stat : 21618 (java) S 21606 21608 21484 0 -1 4202560 215 0 0 0 61 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348656433704 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21619] ppid=21606 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/21608/task/21619/stat : 21619 (java) S 21606 21608 21484 0 -1 4202560 310 0 0 0 62 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348655380904 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21620] ppid=21606 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/21608/task/21620/stat : 21620 (java) S 21606 21608 21484 0 -1 4202560 140 0 0 0 52 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348654328104 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21621] ppid=21606 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/21608/task/21621/stat : 21621 (java) S 21606 21608 21484 0 -1 4202560 131 0 0 0 62 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348653275304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21625] ppid=21606 vsize=9624976 CPUtime=6.21 cores=0,2,4,6
/proc/21608/task/21625/stat : 21625 (java) S 21606 21608 21484 0 -1 4202560 190 0 0 0 619 2 0 0 20 0 19 0 253318897 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348641078248 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21626] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21626/stat : 21626 (java) S 21606 21608 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348640024312 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21627] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21627/stat : 21627 (java) S 21606 21608 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348638971400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21635] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21635/stat : 21635 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348637919888 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21636] ppid=21606 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/21608/task/21636/stat : 21636 (java) S 21606 21608 21484 0 -1 4202560 2182 0 0 0 38 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348636867000 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21637] ppid=21606 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/21608/task/21637/stat : 21637 (java) S 21606 21608 21484 0 -1 4202560 4241 0 0 0 53 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348635814200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21638] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21638/stat : 21638 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348634761592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21641] ppid=21606 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/21608/task/21641/stat : 21641 (java) S 21606 21608 21484 0 -1 4202560 81 0 0 0 33 19 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348633709000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21647] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21647/stat : 21647 (java) S 21606 21608 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318978 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348632622760 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1390.15
Current children cumulated vsize (KiB) 9624976

[startup+1385.9 s]
/proc/loadavg: 2.00 2.00 1.56 3/213 21746
/proc/meminfo: memFree=28079188/32873844 swapFree=7620/7620
[pid=21608] ppid=21606 vsize=9624976 CPUtime=1390.56 cores=0,2,4,6
/proc/21608/stat : 21608 (java) S 21606 21608 21484 0 -1 4202496 11990 0 1 0 139007 49 0 0 20 0 19 0 253318893 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140735220831152 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21608/statm: 2406244 91084 2283 9 0 2396937 0
[pid=21608/tid=21613] ppid=21606 vsize=9624976 CPUtime=1374.48 cores=0,2,4,6
/proc/21608/task/21613/stat : 21613 (java) R 21606 21608 21484 0 -1 4202560 2620 0 1 0 137423 25 0 0 20 0 19 0 253318895 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348884750624 140348744360921 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21614] ppid=21606 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/21608/task/21614/stat : 21614 (java) S 21606 21608 21484 0 -1 4202560 112 0 0 0 60 3 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348862852136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21615] ppid=21606 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/21608/task/21615/stat : 21615 (java) S 21606 21608 21484 0 -1 4202560 219 0 0 0 65 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348659592104 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21616] ppid=21606 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/21608/task/21616/stat : 21616 (java) S 21606 21608 21484 0 -1 4202560 220 0 0 0 58 2 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348658539304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21617] ppid=21606 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/21608/task/21617/stat : 21617 (java) S 21606 21608 21484 0 -1 4202560 150 0 0 0 61 3 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348657486504 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21618] ppid=21606 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/21608/task/21618/stat : 21618 (java) S 21606 21608 21484 0 -1 4202560 215 0 0 0 61 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348656433704 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21619] ppid=21606 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/21608/task/21619/stat : 21619 (java) S 21606 21608 21484 0 -1 4202560 310 0 0 0 62 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348655380904 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21620] ppid=21606 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/21608/task/21620/stat : 21620 (java) S 21606 21608 21484 0 -1 4202560 140 0 0 0 52 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348654328104 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21621] ppid=21606 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/21608/task/21621/stat : 21621 (java) S 21606 21608 21484 0 -1 4202560 131 0 0 0 62 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348653275304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21625] ppid=21606 vsize=9624976 CPUtime=6.21 cores=0,2,4,6
/proc/21608/task/21625/stat : 21625 (java) S 21606 21608 21484 0 -1 4202560 190 0 0 0 619 2 0 0 20 0 19 0 253318897 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348641078248 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21626] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21626/stat : 21626 (java) S 21606 21608 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348640024312 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21627] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21627/stat : 21627 (java) S 21606 21608 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348638971400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21635] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21635/stat : 21635 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348637919888 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21636] ppid=21606 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/21608/task/21636/stat : 21636 (java) S 21606 21608 21484 0 -1 4202560 2182 0 0 0 38 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348636867000 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21637] ppid=21606 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/21608/task/21637/stat : 21637 (java) S 21606 21608 21484 0 -1 4202560 4241 0 0 0 53 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348635814200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21638] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21638/stat : 21638 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348634761592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21641] ppid=21606 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/21608/task/21641/stat : 21641 (java) S 21606 21608 21484 0 -1 4202560 81 0 0 0 33 19 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348633709000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21647] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21647/stat : 21647 (java) S 21606 21608 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318978 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348632622760 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1390.56
Current children cumulated vsize (KiB) 9624976

[startup+1386.1 s]
/proc/loadavg: 2.00 2.00 1.56 3/213 21746
/proc/meminfo: memFree=28079188/32873844 swapFree=7620/7620
[pid=21608] ppid=21606 vsize=9624976 CPUtime=1390.75 cores=0,2,4,6
/proc/21608/stat : 21608 (java) S 21606 21608 21484 0 -1 4202496 11990 0 1 0 139026 49 0 0 20 0 19 0 253318893 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140735220831152 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21608/statm: 2406244 91084 2283 9 0 2396937 0
[pid=21608/tid=21613] ppid=21606 vsize=9624976 CPUtime=1374.68 cores=0,2,4,6
/proc/21608/task/21613/stat : 21613 (java) R 21606 21608 21484 0 -1 4202560 2620 0 1 0 137443 25 0 0 20 0 19 0 253318895 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348884750624 140348744360916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21614] ppid=21606 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/21608/task/21614/stat : 21614 (java) S 21606 21608 21484 0 -1 4202560 112 0 0 0 60 3 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348862852136 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21615] ppid=21606 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/21608/task/21615/stat : 21615 (java) S 21606 21608 21484 0 -1 4202560 219 0 0 0 65 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348659592104 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21616] ppid=21606 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/21608/task/21616/stat : 21616 (java) S 21606 21608 21484 0 -1 4202560 220 0 0 0 58 2 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348658539304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21617] ppid=21606 vsize=9624976 CPUtime=0.64 cores=0,2,4,6
/proc/21608/task/21617/stat : 21617 (java) S 21606 21608 21484 0 -1 4202560 150 0 0 0 61 3 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348657486504 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21618] ppid=21606 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/21608/task/21618/stat : 21618 (java) S 21606 21608 21484 0 -1 4202560 215 0 0 0 61 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348656433704 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21619] ppid=21606 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/21608/task/21619/stat : 21619 (java) S 21606 21608 21484 0 -1 4202560 310 0 0 0 62 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348655380904 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21620] ppid=21606 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/21608/task/21620/stat : 21620 (java) S 21606 21608 21484 0 -1 4202560 140 0 0 0 52 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348654328104 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21621] ppid=21606 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/21608/task/21621/stat : 21621 (java) S 21606 21608 21484 0 -1 4202560 131 0 0 0 62 4 0 0 20 0 19 0 253318896 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348653275304 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21608/tid=21625] ppid=21606 vsize=9624976 CPUtime=6.21 cores=0,2,4,6
/proc/21608/task/21625/stat : 21625 (java) S 21606 21608 21484 0 -1 4202560 190 0 0 0 619 2 0 0 20 0 19 0 253318897 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348641078248 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21626] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21626/stat : 21626 (java) S 21606 21608 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348640024312 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21627] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21627/stat : 21627 (java) S 21606 21608 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318898 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348638971400 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21635] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21635/stat : 21635 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348637919888 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21636] ppid=21606 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/21608/task/21636/stat : 21636 (java) S 21606 21608 21484 0 -1 4202560 2182 0 0 0 38 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348636867000 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21637] ppid=21606 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/21608/task/21637/stat : 21637 (java) S 21606 21608 21484 0 -1 4202560 4241 0 0 0 53 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348635814200 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21608/tid=21638] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21638/stat : 21638 (java) S 21606 21608 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348634761592 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21608/tid=21641] ppid=21606 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/21608/task/21641/stat : 21641 (java) S 21606 21608 21484 0 -1 4202560 81 0 0 0 33 19 0 0 20 0 19 0 253318900 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348633709000 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21608/tid=21647] ppid=21606 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/21608/task/21647/stat : 21647 (java) S 21606 21608 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318978 9855975424 91084 33554432000 1073741824 1073778376 140735220840016 140348632622760 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1390.75
Current children cumulated vsize (KiB) 9624976

Child status: 10

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21608 and gives
#  childrusage.ru_utime.tv_sec=1386
#  childrusage.ru_utime.tv_usec=881162
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=895863
# CPU time returned by wait4() is 1387.78
# while last known CPU time is 1390.75
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1386.19
CPU time (s): 1390.75
CPU user time (s): 1390.26
CPU system time (s): 0.49
CPU usage (%): 100.329
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1386.88
system time used= 0.895863
maximum resident set size= 364380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12004
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32333
involuntary context switches= 13692

runsolver used 6.17506 second user time and 15.2257 second system time

The end

Launcher Data 

Begin job on node107 at 2012-05-24 17:05:04
IDJOB=3687331
IDBENCH=1372
IDSOLVER=2269
FILE ID=node107/3687331-1337871903
RUNJOBID= node107-1337871881-21500
PBS_JOBID= 14620097
Free space on /tmp= 71656 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687331-1337871903/watcher-3687331-1337871903 -o /tmp/evaluation-result-3687331-1337871903/solver-3687331-1337871903 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687331-1337871903.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a399b3055416a9d1117a7f2bb11b2cef
RANDOM SEED=450387573

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29343468 kB
Buffers:          196360 kB
Cached:          2556280 kB
SwapCached:            0 kB
Active:           516824 kB
Inactive:        2247456 kB
Active(anon):      14840 kB
Inactive(anon):        0 kB
Active(file):     501984 kB
Inactive(file):  2247456 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4592 kB
Writeback:             0 kB
AnonPages:         48216 kB
Mapped:            14360 kB
Shmem:               200 kB
Slab:             626160 kB
SReclaimable:      68248 kB
SUnreclaim:       557912 kB
KernelStack:        1576 kB
PageTables:         3920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     126128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71656 MiB
End job on node107 at 2012-05-24 17:28:10