Trace number 4090860

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
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.08 1786.96

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM67b20cf3e4322ffbf404f0fb862124f3
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark2.39463
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1860
Total number of constraints122
Number of soft constraints122
Number of constraints which are clauses62
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 5869
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4090860-1466066124.wbo
0.11/0.10	c reading problem ... 
0.30/0.20	c ... done. Wall clock time 0.101s.
0.30/0.20	c declared #vars     1860
0.30/0.20	c internal #vars     1982
0.30/0.20	c #constraints  122
0.30/0.20	c constraints type 
0.30/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 62
0.30/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 60
0.30/0.20	c 122 constraints processed.
0.30/0.20	c objective function length is 122 literals
0.68/0.44	c SATISFIABLE
0.68/0.44	c OPTIMIZING...
0.68/0.44	c Got one! Elapsed wall clock time (in seconds):0.342
0.68/0.44	o 136
1.07/0.75	c cleaning 2694 clauses out of 5398 with flag 18905/5398
1.73/1.38	c cleaning 4350 clauses out of 8704 with flag 61291/11398
1.83/1.43	c Got one! Elapsed wall clock time (in seconds):1.334
1.83/1.43	o 92
2.49/1.97	c cleaning 4913 clauses out of 9838 with flag 36931/16882
2.90/2.32	c Got one! Elapsed wall clock time (in seconds):2.216
2.90/2.32	o 49
3.00/2.44	c cleaning 5439 clauses out of 10896 with flag 6952/22853
3.71/3.17	c cleaning 5726 clauses out of 11459 with flag 51855/28855
4.62/4.07	c cleaning 6358 clauses out of 12731 with flag 100836/35853
5.72/5.15	c cleaning 7180 clauses out of 14374 with flag 153388/43854
6.13/5.60	c Got one! Elapsed wall clock time (in seconds):5.496
6.13/5.60	o 48
6.52/5.90	c cleaning 6560 clauses out of 13136 with flag 15037/49796
6.92/6.34	c cleaning 6273 clauses out of 12576 with flag 54639/55796
7.43/6.81	c Got one! Elapsed wall clock time (in seconds):6.706
7.43/6.81	o 10
7.43/6.83	c Got one! Elapsed wall clock time (in seconds):6.731
7.43/6.83	o 7
8.06/7.44	c cleaning 8739 clauses out of 17486 with flag 38797/66979
8.76/8.12	c cleaning 7364 clauses out of 14745 with flag 82805/72977
9.47/8.86	c cleaning 7180 clauses out of 14382 with flag 130602/79978
10.36/9.78	c cleaning 7592 clauses out of 15201 with flag 187186/87977
11.46/10.81	c cleaning 8296 clauses out of 16609 with flag 247601/96977
12.56/11.99	c cleaning 9140 clauses out of 18314 with flag 311677/106978
13.76/13.17	c cleaning 10060 clauses out of 20174 with flag 384494/117978
15.86/15.21	c cleaning 11036 clauses out of 22113 with flag 460418/129977
18.16/17.57	c cleaning 12013 clauses out of 24077 with flag 533794/142977
21.72/21.04	c cleaning 13008 clauses out of 26065 with flag 621521/156978
25.11/24.46	c cleaning 13998 clauses out of 28056 with flag 737683/171977
28.91/28.28	c cleaning 14998 clauses out of 30058 with flag 868844/187977
33.21/32.52	c cleaning 16003 clauses out of 32060 with flag 1004415/204977
38.31/37.61	c cleaning 17005 clauses out of 34059 with flag 1137940/222979
42.91/42.21	c cleaning 18005 clauses out of 36052 with flag 1277679/241977
43.81/43.19	c Got one! Elapsed wall clock time (in seconds):43.093
43.81/43.19	o 5
44.28/43.58	c cleaning 16855 clauses out of 33740 with flag 27994/257670
44.79/44.05	c cleaning 11430 clauses out of 22887 with flag 70102/263672
45.38/44.61	c cleaning 9210 clauses out of 18454 with flag 118867/270669
46.08/45.37	c cleaning 8602 clauses out of 17244 with flag 178129/278669
46.99/46.22	c cleaning 8807 clauses out of 17644 with flag 241426/287671
47.98/47.23	c cleaning 9397 clauses out of 18836 with flag 304267/297670
48.78/48.02	c cleaning 10193 clauses out of 20439 with flag 381673/308670
49.94/49.17	c cleaning 10958 clauses out of 22245 with flag 474565/320669
52.34/51.56	c cleaning 12136 clauses out of 24287 with flag 624587/333669
54.04/53.22	c cleaning 12873 clauses out of 26151 with flag 732137/347669
56.54/55.73	c cleaning 13931 clauses out of 28278 with flag 828158/362669
59.15/58.32	c cleaning 14970 clauses out of 30348 with flag 931735/378670
62.34/61.56	c cleaning 15985 clauses out of 32377 with flag 1062763/395669
65.75/64.95	c cleaning 16995 clauses out of 34394 with flag 1195099/413671
70.17/69.32	c cleaning 17995 clauses out of 36399 with flag 1350480/432671
75.06/74.27	c cleaning 18996 clauses out of 38403 with flag 1502653/452670
80.36/79.57	c cleaning 19998 clauses out of 40406 with flag 1666878/473669
86.16/85.30	c cleaning 21002 clauses out of 42410 with flag 1835703/495671
92.96/92.11	c cleaning 22001 clauses out of 44408 with flag 2029838/518671
99.06/98.29	c cleaning 22999 clauses out of 46406 with flag 2222885/542670
106.47/105.62	c cleaning 24001 clauses out of 48406 with flag 2449299/567669
114.79/113.80	c cleaning 24993 clauses out of 50406 with flag 2680420/593670
123.38/122.47	c cleaning 26001 clauses out of 52412 with flag 2927098/620669
131.48/130.57	c cleaning 27005 clauses out of 54414 with flag 3139151/648672
139.59/138.64	c cleaning 28001 clauses out of 56408 with flag 3351150/677671
148.98/148.06	c cleaning 29000 clauses out of 58406 with flag 3554235/707670
159.69/158.55	c cleaning 29998 clauses out of 60405 with flag 3783711/738669
170.88/169.72	c cleaning 30998 clauses out of 62407 with flag 4010166/770669
182.98/181.86	c cleaning 32002 clauses out of 64409 with flag 4242218/803669
196.39/195.20	c cleaning 33003 clauses out of 66407 with flag 4500292/837669
210.28/208.93	c cleaning 33997 clauses out of 68404 with flag 4753142/872669
225.08/223.70	c cleaning 35004 clauses out of 70408 with flag 5018673/908670
235.56/233.91	c cleaning 36062 clauses out of 72403 with flag 5352065/945669
249.10/247.17	c cleaning 37164 clauses out of 74341 with flag 5763952/983669
269.79/267.48	c cleaning 38086 clauses out of 76178 with flag 6177517/1022670
287.38/284.83	c cleaning 39047 clauses out of 78094 with flag 6630775/1062672
308.97/306.24	c cleaning 40008 clauses out of 80045 with flag 7090051/1103670
334.95/332.13	c cleaning 41015 clauses out of 82036 with flag 7603086/1145669
360.04/357.01	c cleaning 42006 clauses out of 84021 with flag 8102968/1188669
386.10/382.97	c cleaning 43002 clauses out of 86015 with flag 8613717/1232669
414.38/411.03	c cleaning 44001 clauses out of 88014 with flag 9212346/1277670
445.57/442.05	c cleaning 45003 clauses out of 90012 with flag 9767297/1323669
476.53/472.89	c cleaning 46004 clauses out of 92011 with flag 10365297/1370671
508.93/504.91	c cleaning 47001 clauses out of 94005 with flag 10945449/1418669
550.50/546.21	c cleaning 47996 clauses out of 96004 with flag 11571604/1467669
589.37/584.97	c cleaning 49002 clauses out of 98008 with flag 12213354/1517669
608.31/603.75	c cleaning 49974 clauses out of 100006 with flag 12726086/1568669
634.80/630.03	c cleaning 50986 clauses out of 102032 with flag 13207100/1620669
661.32/656.40	c cleaning 51991 clauses out of 104046 with flag 13711703/1673669
686.02/681.06	c cleaning 52985 clauses out of 106059 with flag 14257059/1727673
716.00/710.90	c cleaning 53985 clauses out of 108071 with flag 14816749/1782670
742.85/737.69	c cleaning 54971 clauses out of 110087 with flag 15396138/1838671
770.84/765.46	c cleaning 55987 clauses out of 112117 with flag 16030159/1895672
798.51/792.98	c cleaning 56994 clauses out of 114128 with flag 16698062/1953670
830.21/824.41	c cleaning 57995 clauses out of 116133 with flag 17397259/2012669
859.90/853.92	c cleaning 59002 clauses out of 118140 with flag 18110177/2072671
891.27/885.20	c cleaning 59996 clauses out of 120138 with flag 18898271/2133671
924.96/918.69	c cleaning 61001 clauses out of 122140 with flag 19712479/2195669
956.97/950.47	c cleaning 61997 clauses out of 124139 with flag 20584827/2258669
992.77/986.01	c cleaning 63003 clauses out of 126142 with flag 21460399/2322669
1030.77/1023.81	c cleaning 64001 clauses out of 128139 with flag 22392169/2387669
1071.61/1064.43	c cleaning 64999 clauses out of 130138 with flag 23289951/2453669
1110.92/1103.58	c cleaning 65995 clauses out of 132140 with flag 24186155/2520670
1155.90/1148.21	c cleaning 67002 clauses out of 134145 with flag 25095716/2588670
1202.10/1194.04	c cleaning 68000 clauses out of 136143 with flag 26067902/2657670
1247.79/1239.47	c cleaning 68999 clauses out of 138143 with flag 27106426/2727670
1295.57/1286.88	c cleaning 70001 clauses out of 140144 with flag 28105024/2798670
1348.91/1339.85	c cleaning 71000 clauses out of 142143 with flag 29120642/2870670
1399.76/1390.28	c cleaning 72002 clauses out of 144143 with flag 30148778/2943670
1451.89/1442.06	c cleaning 72997 clauses out of 146140 with flag 31188149/3017669
1507.92/1497.53	c cleaning 74001 clauses out of 148143 with flag 32284367/3092669
1565.46/1554.52	c cleaning 75000 clauses out of 150143 with flag 33358157/3168670
1624.78/1613.35	c cleaning 75999 clauses out of 152142 with flag 34441339/3245669
1685.62/1673.64	c cleaning 76993 clauses out of 154143 with flag 35521355/3323669
1748.47/1735.87	c cleaning 78004 clauses out of 156150 with flag 36642119/3402669
1800.08/1786.90	c starts		: 12622
1800.08/1786.90	c conflicts		: 3470924
1800.08/1786.90	c decisions		: 10437972
1800.08/1786.90	c propagations		: 98355892
1800.08/1786.90	c inspects		: 28554247853
1800.08/1786.90	c shortcuts		: 0
1800.08/1786.90	c learnt literals	: 0
1800.08/1786.90	c learnt binary clauses	: 0
1800.08/1786.90	c learnt ternary clauses	: 0
1800.08/1786.90	c learnt constraints	: 3470924
1800.08/1786.90	c ignored constraints	: 0
1800.08/1786.90	c root simplifications	: 0
1800.08/1786.90	c removed literals (reason simplification)	: 0
1800.08/1786.90	c reason swapping (by a shorter reason)	: 0
1800.08/1786.90	c Calls to reduceDB	: 99
1800.08/1786.90	c Number of update (reduction) of LBD	: 1735367
1800.08/1786.90	c Imported unit clauses	: 0
1800.08/1786.90	c number of reductions to clauses (during analyze)	: 0
1800.08/1786.90	c number of learned constraints concerned by reduction	: 0
1800.08/1786.90	c number of learning phase by resolution	: 0
1800.08/1786.90	c number of learning phase by cutting planes	: 0
1800.08/1786.90	c speed (assignments/second)	: 55049.03800086865
1800.08/1786.90	c non guided choices	31901
1800.08/1786.93	c learnt constraints type 
1800.08/1786.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 146402
1800.08/1786.93	s SATISFIABLE
1800.08/1786.93	c Found 7 solution(s)
1800.08/1786.94	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 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 
1800.08/1786.94	c objective function=5
1800.08/1786.94	c Total wall clock time (in seconds): 1786.84

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4090860-1466066124/watcher-4090860-1466066124 -o /tmp/evaluation-result-4090860-1466066124/solver-4090860-1466066124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466062131-17743 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090860-1466066124.wbo 

pid=18433
running on 4 cores: 1,3,5,7

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: 2.31 2.22 2.17 3/194 18436
/proc/meminfo: memFree=30408032/32872528 swapFree=1430864/1543284
[pid=18436] ppid=18433 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/18436/stat : 18436 (java) S 18433 18436 17726 0 -1 4202496 1329 0 0 0 0 0 0 0 20 0 2 0 8661097 98635776 960 33554432000 1073741824 1073778376 140733795332448 140733795323584 266439000125 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 24065 961 730 9 0 16771 0
[pid=18436/tid=18437] ppid=18433 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18437/stat : 18437 (java) R 18433 18436 17726 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 8661097 98570240 976 33554432000 1073741824 1073778376 140733795332448 140184592358952 266435642752 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.31 2.22 2.17 3/194 18436
/proc/meminfo: memFree=30408032/32872528 swapFree=1430864/1543284
[pid=18436] ppid=18433 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/18436/stat : 18436 (java) S 18433 18436 17726 0 -1 4202496 4499 0 1 0 10 1 0 0 20 0 18 0 8661097 9787879424 6127 33554432000 1073741824 1073778376 140733795332448 140733795323584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 2389619 6127 2157 9 0 2380296 0
[pid=18436/tid=18437] ppid=18433 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/18436/task/18437/stat : 18437 (java) R 18433 18436 17726 0 -1 4202560 2377 0 1 0 6 1 0 0 20 0 18 0 8661097 9787879424 6127 33554432000 1073741824 1073778376 140733795332448 140184592362400 140184599790475 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200317 s]
/proc/loadavg: 2.31 2.22 2.17 3/194 18436
/proc/meminfo: memFree=30408032/32872528 swapFree=1430864/1543284
[pid=18436] ppid=18433 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/18436/stat : 18436 (java) S 18433 18436 17726 0 -1 4202496 4967 0 1 0 28 2 0 0 20 0 18 0 8661097 9787879424 6930 33554432000 1073741824 1073778376 140733795332448 140733795323584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 2389619 6930 2220 9 0 2380296 0
[pid=18436/tid=18437] ppid=18433 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/18436/task/18437/stat : 18437 (java) R 18433 18436 17726 0 -1 4202560 2398 0 1 0 16 1 0 0 20 0 18 0 8661097 9787879424 6930 33554432000 1073741824 1073778376 140733795332448 140184592354792 140184461096512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300327 s]
/proc/loadavg: 2.31 2.22 2.17 3/194 18436
/proc/meminfo: memFree=30408032/32872528 swapFree=1430864/1543284
[pid=18436] ppid=18433 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/18436/stat : 18436 (java) S 18433 18436 17726 0 -1 4202496 6055 0 1 0 53 2 0 0 20 0 19 0 8661097 9856040960 8736 33554432000 1073741824 1073778376 140733795332448 140733795323584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 2406260 8736 2245 9 0 2396937 0
[pid=18436/tid=18437] ppid=18433 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/18436/task/18437/stat : 18437 (java) R 18433 18436 17726 0 -1 4202560 2408 0 1 0 26 1 0 0 20 0 19 0 8661097 9856040960 8736 33554432000 1073741824 1073778376 140733795332448 140184592363480 140184461088199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9625040

[startup+0.700226 s]
/proc/loadavg: 2.31 2.22 2.17 3/194 18436
/proc/meminfo: memFree=30408032/32872528 swapFree=1430864/1543284
[pid=18436] ppid=18433 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/18436/stat : 18436 (java) S 18433 18436 17726 0 -1 4202496 7052 0 1 0 105 2 0 0 20 0 19 0 8661097 9856040960 9907 33554432000 1073741824 1073778376 140733795332448 140733795323584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 2406260 9907 2250 9 0 2396937 0
[pid=18436/tid=18437] ppid=18433 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/18436/task/18437/stat : 18437 (java) R 18433 18436 17726 0 -1 4202560 2410 0 1 0 66 1 0 0 20 0 19 0 8661097 9856040960 9907 33554432000 1073741824 1073778376 140733795332448 140184592363480 140184461468064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.31 2.22 2.17 3/213 18455
/proc/meminfo: memFree=30374324/32872528 swapFree=1430864/1543284
[pid=18436] ppid=18433 vsize=9625040 CPUtime=2.08 cores=1,3,5,7
/proc/18436/stat : 18436 (java) S 18433 18436 17726 0 -1 4202496 10774 0 1 0 205 3 0 0 20 0 19 0 8661097 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140733795323584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 2406260 13051 2258 9 0 2396937 0
[pid=18436/tid=18437] ppid=18433 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/18436/task/18437/stat : 18437 (java) R 18433 18436 17726 0 -1 4202560 2413 0 1 0 146 1 0 0 20 0 19 0 8661097 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184592364088 140184461451674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18439] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18439/stat : 18439 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184581425704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18440] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18440/stat : 18440 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184580372904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18441] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18441/stat : 18441 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184433408296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18442] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18442/stat : 18442 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184432355496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18443] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18443/stat : 18443 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184431303720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18444] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18444/stat : 18444 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184430250920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18445] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18445/stat : 18445 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184429198120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18446] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18446/stat : 18446 (java) S 18433 18436 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184428145320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18447] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18447/stat : 18447 (java) S 18433 18436 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184415947240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18448] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18448/stat : 18448 (java) S 18433 18436 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184414893304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18449] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18449/stat : 18449 (java) S 18433 18436 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184413840392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18450] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18450/stat : 18450 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661101 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184412788880 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18451] ppid=18433 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/18436/task/18451/stat : 18451 (java) S 18433 18436 17726 0 -1 4202560 4740 0 0 0 32 0 0 0 20 0 19 0 8661101 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184411737016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18452] ppid=18433 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/18436/task/18452/stat : 18452 (java) S 18433 18436 17726 0 -1 4202560 2345 0 0 0 25 0 0 0 20 0 19 0 8661101 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184410684216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18453] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18453/stat : 18453 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661102 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184409631608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18454] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18454/stat : 18454 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661102 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184408579016 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18455] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18455/stat : 18455 (java) S 18433 18436 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8661118 9856040960 13051 33554432000 1073741824 1073778376 140733795332448 140184407524520 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.28 2.22 2.17 3/213 18455
/proc/meminfo: memFree=30356956/32872528 swapFree=1430864/1543284
[pid=18436] ppid=18433 vsize=9625040 CPUtime=3.71 cores=1,3,5,7
/proc/18436/stat : 18436 (java) S 18433 18436 17726 0 -1 4202496 10791 0 1 0 368 3 0 0 20 0 19 0 8661097 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140733795323584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 2406260 16643 2259 9 0 2396937 0
[pid=18436/tid=18437] ppid=18433 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/18436/task/18437/stat : 18437 (java) R 18433 18436 17726 0 -1 4202560 2422 0 1 0 306 1 0 0 20 0 19 0 8661097 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184592361928 140184461517952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18439] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18439/stat : 18439 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184581425704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18440] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18440/stat : 18440 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184580372904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18441] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18441/stat : 18441 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184433408296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18442] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18442/stat : 18442 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184432355496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18443] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18443/stat : 18443 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184431303720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18444] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18444/stat : 18444 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184430250920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18445] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18445/stat : 18445 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184429198120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18446] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18446/stat : 18446 (java) S 18433 18436 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184428145320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18447] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18447/stat : 18447 (java) S 18433 18436 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184415947240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18448] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18448/stat : 18448 (java) S 18433 18436 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184414893304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18449] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18449/stat : 18449 (java) S 18433 18436 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184413840392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18450] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18450/stat : 18450 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661101 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184412788880 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18451] ppid=18433 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/18436/task/18451/stat : 18451 (java) S 18433 18436 17726 0 -1 4202560 4748 0 0 0 34 0 0 0 20 0 19 0 8661101 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184411737016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18452] ppid=18433 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/18436/task/18452/stat : 18452 (java) S 18433 18436 17726 0 -1 4202560 2345 0 0 0 26 0 0 0 20 0 19 0 8661101 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184410684216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18453] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18453/stat : 18453 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661102 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184409631608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18454] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18454/stat : 18454 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661102 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184408579016 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18455] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18455/stat : 18455 (java) S 18433 18436 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8661118 9856040960 16643 33554432000 1073741824 1073778376 140733795332448 140184407524520 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.28 2.22 2.17 4/213 18455
/proc/meminfo: memFree=30339268/32872528 swapFree=1430864/1543284
[pid=18436] ppid=18433 vsize=9625040 CPUtime=6.92 cores=1,3,5,7
/proc/18436/stat : 18436 (java) S 18433 18436 17726 0 -1 4202496 10803 0 1 0 689 3 0 0 20 0 19 0 8661097 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140733795323584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 2406260 20395 2260 9 0 2396937 0
[pid=18436/tid=18437] ppid=18433 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/18436/task/18437/stat : 18437 (java) R 18433 18436 17726 0 -1 4202560 2433 0 1 0 625 1 0 0 20 0 19 0 8661097 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184592363896 140184461451597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18439] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18439/stat : 18439 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184581425704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18440] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18440/stat : 18440 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184580372904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18441] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18441/stat : 18441 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184433408296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18442] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18442/stat : 18442 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184432355496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18443] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18443/stat : 18443 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184431303720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18444] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18444/stat : 18444 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184430250920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18445] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18445/stat : 18445 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184429198120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18446] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18446/stat : 18446 (java) S 18433 18436 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8661098 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184428145320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18447] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18447/stat : 18447 (java) S 18433 18436 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184415947240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18448] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18448/stat : 18448 (java) S 18433 18436 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184414893304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18449] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18449/stat : 18449 (java) S 18433 18436 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184413840392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18450] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18450/stat : 18450 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661101 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184412788880 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18451] ppid=18433 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/18436/task/18451/stat : 18451 (java) S 18433 18436 17726 0 -1 4202560 4748 0 0 0 35 0 0 0 20 0 19 0 8661101 9856040960 20395 33554432000 1073741824 1073778376 140733795332448 140184411737016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18452] ppid=18433 vsize=9625040 CPUtime=0.26 cores=1,3,5,7

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

[pid=18436/tid=18455] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18455/stat : 18455 (java) S 18433 18436 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8661118 9856040960 52794 33554432000 1073741824 1073778376 140733795332448 140184407524520 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1734.85
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/213 18653
/proc/meminfo: memFree=30297972/32872528 swapFree=1430864/1543284
[pid=18436] ppid=18433 vsize=9625040 CPUtime=1795.44 cores=1,3,5,7
/proc/18436/stat : 18436 (java) S 18433 18436 17726 0 -1 4202496 31821 0 1 0 179355 189 0 0 20 0 19 0 8661097 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140733795323584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 2406260 52382 2282 9 0 2396937 0
[pid=18436/tid=18437] ppid=18433 vsize=9625040 CPUtime=1768.16 cores=1,3,5,7
/proc/18436/task/18437/stat : 18437 (java) R 18433 18436 17726 0 -1 4202560 2889 0 1 0 176783 33 0 0 20 0 19 0 8661097 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184592362688 140184461517893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18439] ppid=18433 vsize=9625040 CPUtime=2.3 cores=1,3,5,7
/proc/18436/task/18439/stat : 18439 (java) S 18433 18436 17726 0 -1 4202560 1732 0 0 0 209 21 0 0 20 0 19 0 8661098 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184581425704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18440] ppid=18433 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/18436/task/18440/stat : 18440 (java) S 18433 18436 17726 0 -1 4202560 3451 0 0 0 197 17 0 0 20 0 19 0 8661098 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184580372904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18441] ppid=18433 vsize=9625040 CPUtime=2.26 cores=1,3,5,7
/proc/18436/task/18441/stat : 18441 (java) S 18433 18436 17726 0 -1 4202560 2526 0 0 0 208 18 0 0 20 0 19 0 8661098 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184433408296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18442] ppid=18433 vsize=9625040 CPUtime=2.2 cores=1,3,5,7
/proc/18436/task/18442/stat : 18442 (java) S 18433 18436 17726 0 -1 4202560 2136 0 0 0 202 18 0 0 20 0 19 0 8661098 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184432355496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18443] ppid=18433 vsize=9625040 CPUtime=2.24 cores=1,3,5,7
/proc/18436/task/18443/stat : 18443 (java) S 18433 18436 17726 0 -1 4202560 2869 0 0 0 207 17 0 0 20 0 19 0 8661098 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184431303720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18444] ppid=18433 vsize=9625040 CPUtime=2.25 cores=1,3,5,7
/proc/18436/task/18444/stat : 18444 (java) S 18433 18436 17726 0 -1 4202560 2154 0 0 0 207 18 0 0 20 0 19 0 8661098 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184430250920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18445] ppid=18433 vsize=9625040 CPUtime=2.18 cores=1,3,5,7
/proc/18436/task/18445/stat : 18445 (java) S 18433 18436 17726 0 -1 4202560 1947 0 0 0 203 15 0 0 20 0 19 0 8661098 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184429198120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18446] ppid=18433 vsize=9625040 CPUtime=2.22 cores=1,3,5,7
/proc/18436/task/18446/stat : 18446 (java) S 18433 18436 17726 0 -1 4202560 1711 0 0 0 203 19 0 0 20 0 19 0 8661098 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184428145320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18447] ppid=18433 vsize=9625040 CPUtime=3.81 cores=1,3,5,7
/proc/18436/task/18447/stat : 18447 (java) S 18433 18436 17726 0 -1 4202560 1199 0 0 0 374 7 0 0 20 0 19 0 8661099 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184415947240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18448] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18448/stat : 18448 (java) S 18433 18436 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184414893304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18449] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18449/stat : 18449 (java) S 18433 18436 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184413840392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18450] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18450/stat : 18450 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661101 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184412788880 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18451] ppid=18433 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/18436/task/18451/stat : 18451 (java) S 18433 18436 17726 0 -1 4202560 4749 0 0 0 39 0 0 0 20 0 19 0 8661101 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184411737016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18452] ppid=18433 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/18436/task/18452/stat : 18452 (java) S 18433 18436 17726 0 -1 4202560 3092 0 0 0 35 0 0 0 20 0 19 0 8661101 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184410684216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18453] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18453/stat : 18453 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661102 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184409631608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18454] ppid=18433 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/18436/task/18454/stat : 18454 (java) S 18433 18436 17726 0 -1 4202560 104 0 0 0 27 35 0 0 20 0 19 0 8661102 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184408579016 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18455] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18455/stat : 18455 (java) S 18433 18436 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8661118 9856040960 52382 33554432000 1073741824 1073778376 140733795332448 140184407524520 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1795.44
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.9 s]
/proc/loadavg: 2.23 2.20 2.18 4/213 18653
/proc/meminfo: memFree=30242668/32872528 swapFree=1430868/1543288
[pid=18436] ppid=18433 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/18436/stat : 18436 (java) S 18433 18436 17726 0 -1 4202496 32397 0 1 0 179818 190 0 0 20 0 19 0 8661097 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140733795323584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 2406260 53467 2282 9 0 2396937 0
[pid=18436/tid=18437] ppid=18433 vsize=9625040 CPUtime=1772.65 cores=1,3,5,7
/proc/18436/task/18437/stat : 18437 (java) R 18433 18436 17726 0 -1 4202560 2892 0 1 0 177232 33 0 0 20 0 19 0 8661097 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184592362672 140184461451524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18439] ppid=18433 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/18436/task/18439/stat : 18439 (java) S 18433 18436 17726 0 -1 4202560 1732 0 0 0 210 21 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184581425704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18440] ppid=18433 vsize=9625040 CPUtime=2.15 cores=1,3,5,7
/proc/18436/task/18440/stat : 18440 (java) S 18433 18436 17726 0 -1 4202560 3654 0 0 0 198 17 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184580372904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18441] ppid=18433 vsize=9625040 CPUtime=2.26 cores=1,3,5,7
/proc/18436/task/18441/stat : 18441 (java) S 18433 18436 17726 0 -1 4202560 2526 0 0 0 208 18 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184433408296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18442] ppid=18433 vsize=9625040 CPUtime=2.21 cores=1,3,5,7
/proc/18436/task/18442/stat : 18442 (java) S 18433 18436 17726 0 -1 4202560 2137 0 0 0 203 18 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184432355496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18443] ppid=18433 vsize=9625040 CPUtime=2.25 cores=1,3,5,7
/proc/18436/task/18443/stat : 18443 (java) S 18433 18436 17726 0 -1 4202560 2869 0 0 0 208 17 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184431303720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18444] ppid=18433 vsize=9625040 CPUtime=2.26 cores=1,3,5,7
/proc/18436/task/18444/stat : 18444 (java) S 18433 18436 17726 0 -1 4202560 2154 0 0 0 208 18 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184430250920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18445] ppid=18433 vsize=9625040 CPUtime=2.19 cores=1,3,5,7
/proc/18436/task/18445/stat : 18445 (java) S 18433 18436 17726 0 -1 4202560 2097 0 0 0 204 15 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184429198120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18446] ppid=18433 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/18436/task/18446/stat : 18446 (java) S 18433 18436 17726 0 -1 4202560 1712 0 0 0 204 19 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184428145320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18447] ppid=18433 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/18436/task/18447/stat : 18447 (java) S 18433 18436 17726 0 -1 4202560 1417 0 0 0 381 7 0 0 20 0 19 0 8661099 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184415947240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18448] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18448/stat : 18448 (java) S 18433 18436 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184414893304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18449] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18449/stat : 18449 (java) S 18433 18436 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184413840392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18450] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18450/stat : 18450 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661101 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184412788880 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18451] ppid=18433 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/18436/task/18451/stat : 18451 (java) S 18433 18436 17726 0 -1 4202560 4749 0 0 0 39 0 0 0 20 0 19 0 8661101 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184411737016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18452] ppid=18433 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/18436/task/18452/stat : 18452 (java) S 18433 18436 17726 0 -1 4202560 3092 0 0 0 35 0 0 0 20 0 19 0 8661101 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184410684216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18453] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18453/stat : 18453 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661102 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184409631608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18454] ppid=18433 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/18436/task/18454/stat : 18454 (java) S 18433 18436 17726 0 -1 4202560 104 0 0 0 27 35 0 0 20 0 19 0 8661102 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184408579016 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18455] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18455/stat : 18455 (java) S 18433 18436 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8661118 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184407524520 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18436 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1786.9 s]
/proc/loadavg: 2.23 2.20 2.18 4/213 18653
/proc/meminfo: memFree=30242668/32872528 swapFree=1430868/1543288
[pid=18436] ppid=18433 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/18436/stat : 18436 (java) S 18433 18436 17726 0 -1 4202496 32397 0 1 0 179818 190 0 0 20 0 19 0 8661097 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140733795323584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 2406260 53467 2282 9 0 2396937 0
[pid=18436/tid=18437] ppid=18433 vsize=9625040 CPUtime=1772.65 cores=1,3,5,7
/proc/18436/task/18437/stat : 18437 (java) R 18433 18436 17726 0 -1 4202560 2892 0 1 0 177232 33 0 0 20 0 19 0 8661097 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184592362672 140184461451524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18439] ppid=18433 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/18436/task/18439/stat : 18439 (java) S 18433 18436 17726 0 -1 4202560 1732 0 0 0 210 21 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184581425704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18440] ppid=18433 vsize=9625040 CPUtime=2.15 cores=1,3,5,7
/proc/18436/task/18440/stat : 18440 (java) S 18433 18436 17726 0 -1 4202560 3654 0 0 0 198 17 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184580372904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18441] ppid=18433 vsize=9625040 CPUtime=2.26 cores=1,3,5,7
/proc/18436/task/18441/stat : 18441 (java) S 18433 18436 17726 0 -1 4202560 2526 0 0 0 208 18 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184433408296 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18442] ppid=18433 vsize=9625040 CPUtime=2.21 cores=1,3,5,7
/proc/18436/task/18442/stat : 18442 (java) S 18433 18436 17726 0 -1 4202560 2137 0 0 0 203 18 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184432355496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18443] ppid=18433 vsize=9625040 CPUtime=2.25 cores=1,3,5,7
/proc/18436/task/18443/stat : 18443 (java) S 18433 18436 17726 0 -1 4202560 2869 0 0 0 208 17 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184431303720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18444] ppid=18433 vsize=9625040 CPUtime=2.26 cores=1,3,5,7
/proc/18436/task/18444/stat : 18444 (java) S 18433 18436 17726 0 -1 4202560 2154 0 0 0 208 18 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184430250920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18445] ppid=18433 vsize=9625040 CPUtime=2.19 cores=1,3,5,7
/proc/18436/task/18445/stat : 18445 (java) S 18433 18436 17726 0 -1 4202560 2097 0 0 0 204 15 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184429198120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18446] ppid=18433 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/18436/task/18446/stat : 18446 (java) S 18433 18436 17726 0 -1 4202560 1712 0 0 0 204 19 0 0 20 0 19 0 8661098 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184428145320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18447] ppid=18433 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/18436/task/18447/stat : 18447 (java) S 18433 18436 17726 0 -1 4202560 1417 0 0 0 381 7 0 0 20 0 19 0 8661099 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184415947240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18448] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18448/stat : 18448 (java) S 18433 18436 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184414893304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18449] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18449/stat : 18449 (java) S 18433 18436 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8661099 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184413840392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18450] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18450/stat : 18450 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661101 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184412788880 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18451] ppid=18433 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/18436/task/18451/stat : 18451 (java) S 18433 18436 17726 0 -1 4202560 4749 0 0 0 39 0 0 0 20 0 19 0 8661101 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184411737016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18436/tid=18452] ppid=18433 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/18436/task/18452/stat : 18452 (java) S 18433 18436 17726 0 -1 4202560 3092 0 0 0 35 0 0 0 20 0 19 0 8661101 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184410684216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18436/tid=18453] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18453/stat : 18453 (java) S 18433 18436 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8661102 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184409631608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18436/tid=18454] ppid=18433 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/18436/task/18454/stat : 18454 (java) S 18433 18436 17726 0 -1 4202560 104 0 0 0 27 35 0 0 20 0 19 0 8661102 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184408579016 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18436/tid=18455] ppid=18433 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18436/task/18455/stat : 18455 (java) S 18433 18436 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8661118 9856040960 53467 33554432000 1073741824 1073778376 140733795332448 140184407524520 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18436 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=780303
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=330645
# CPU time returned by wait4() is 1796.11
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1786.96
CPU time (s): 1800.08
CPU user time (s): 1798.18
CPU system time (s): 1.9
CPU usage (%): 100.734
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.78
system time used= 2.33065
maximum resident set size= 847000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32445
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50634
involuntary context switches= 45567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3514 second user time and 13.6839 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-16 10:35:24
IDJOB=4090860
IDBENCH=79160
IDSOLVER=2551
FILE ID=node116/4090860-1466066124
RUNJOBID= node116-1466062131-17743
PBS_JOBID= 19904020
Free space on /tmp= 71644 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090860-1466066124/watcher-4090860-1466066124 -o /tmp/evaluation-result-4090860-1466066124/solver-4090860-1466066124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466062131-17743 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090860-1466066124.wbo

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

MD5SUM BENCH= 67b20cf3e4322ffbf404f0fb862124f3
RANDOM SEED=1844054997

node116.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.781
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.56
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.781
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	: 5332.55
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.781
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	: 5332.55
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.781
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	: 5332.55
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.781
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	: 5332.55
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.781
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	: 5332.54
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.781
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	: 5332.55
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.781
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30408644 kB
Buffers:            7248 kB
Cached:            39460 kB
SwapCached:         2840 kB
Active:           186452 kB
Inactive:          25404 kB
Active(anon):     165436 kB
Inactive(anon):     1948 kB
Active(file):      21016 kB
Inactive(file):    23456 kB
Unevictable:     1543284 kB
Mlocked:         1430864 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:              1864 kB
Writeback:             0 kB
AnonPages:       1716680 kB
Mapped:            15224 kB
Shmem:                 0 kB
Slab:             565716 kB
SReclaimable:       9840 kB
SUnreclaim:       555876 kB
KernelStack:        1592 kB
PageTables:         7596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2232340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71640 MiB
End job on node116 at 2016-06-16 11:05:11