Trace number 4090863

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.02 1779.15

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM02fb8a7818433044fe5d5a9a278599da
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 benchmark3.17252
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2520
Total number of constraints142
Number of soft constraints142
Number of constraints which are clauses72
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint36
Top cost 7086
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7085
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 37
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
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@587bd9f2
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 Glucose 2.1 dynamic restart strategy
0.08/0.12	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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4090863-1466066327.wbo
0.08/0.12	c reading problem ... 
0.25/0.24	c ... done. Wall clock time 0.118s.
0.25/0.24	c declared #vars     2520
0.25/0.24	c internal #vars     2662
0.25/0.24	c #constraints  142
0.25/0.24	c constraints type 
0.25/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 72
0.25/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.25/0.24	c 142 constraints processed.
0.25/0.24	c objective function length is 142 literals
0.82/0.57	c SATISFIABLE
0.82/0.57	c OPTIMIZING...
0.82/0.57	c Got one! Elapsed wall clock time (in seconds):0.451
0.82/0.57	o 124
1.15/0.79	c cleaning 2683 clauses out of 5373 with flag 11962/5373
1.28/0.85	c Got one! Elapsed wall clock time (in seconds):0.732
1.28/0.85	o 87
1.53/1.06	c Got one! Elapsed wall clock time (in seconds):0.939
1.53/1.06	o 50
1.77/1.29	c cleaning 4443 clauses out of 8905 with flag 12056/11588
2.26/1.72	c cleaning 5219 clauses out of 10463 with flag 49681/17589
2.88/2.40	c cleaning 6109 clauses out of 12243 with flag 99151/24588
3.59/3.07	c Got one! Elapsed wall clock time (in seconds):2.951
3.59/3.07	o 26
4.03/3.42	c cleaning 8559 clauses out of 17139 with flag 31425/35593
4.52/3.98	c cleaning 7273 clauses out of 14577 with flag 79013/41590
5.32/4.74	c cleaning 7137 clauses out of 14304 with flag 126323/48590
6.43/5.84	c cleaning 7568 clauses out of 15168 with flag 182819/56591
7.63/7.04	c cleaning 8280 clauses out of 16599 with flag 250397/65590
9.03/8.45	c cleaning 9141 clauses out of 18319 with flag 331340/75590
10.73/10.11	c cleaning 10072 clauses out of 20181 with flag 421391/86593
11.63/11.10	c Got one! Elapsed wall clock time (in seconds):10.977
11.63/11.10	o 16
11.99/11.38	c cleaning 11370 clauses out of 22766 with flag 31006/99250
12.29/11.66	c Got one! Elapsed wall clock time (in seconds):11.536
12.29/11.66	o 12
12.47/11.71	c cleaning 8258 clauses out of 16524 with flag 6458/104378
12.75/11.97	c Got one! Elapsed wall clock time (in seconds):11.846
12.75/11.97	o 10
12.85/12.06	c cleaning 7043 clauses out of 14094 with flag 6158/110206
13.25/12.45	c cleaning 6514 clauses out of 13051 with flag 44910/116206
13.95/13.11	c cleaning 6758 clauses out of 13536 with flag 98117/123205
14.65/13.84	c cleaning 7380 clauses out of 14778 with flag 157484/131205
15.76/14.97	c cleaning 8191 clauses out of 16398 with flag 223006/140205
17.36/16.53	c cleaning 9091 clauses out of 18207 with flag 302465/150205
18.96/18.19	c cleaning 10041 clauses out of 20116 with flag 387834/161205
21.06/20.29	c cleaning 11026 clauses out of 22076 with flag 480319/173206
23.76/22.92	c cleaning 12016 clauses out of 24051 with flag 573366/186207
26.77/25.94	c cleaning 13006 clauses out of 26033 with flag 681614/200205
30.57/29.72	c cleaning 14006 clauses out of 28027 with flag 794229/215205
31.47/30.66	c Got one! Elapsed wall clock time (in seconds):30.544
31.47/30.66	o 7
31.77/30.98	c cleaning 12930 clauses out of 25906 with flag 29499/227090
32.17/31.37	c cleaning 9451 clauses out of 18975 with flag 66902/233089
32.67/31.84	c cleaning 8230 clauses out of 16523 with flag 110418/240088
33.36/32.52	c cleaning 8113 clauses out of 16294 with flag 160489/248089
34.38/33.58	c cleaning 8558 clauses out of 17181 with flag 221999/257089
35.09/34.23	c Got one! Elapsed wall clock time (in seconds):34.11
35.09/34.23	o 5
35.38/34.52	c cleaning 10130 clauses out of 20273 with flag 29931/268739
35.78/34.91	c cleaning 8053 clauses out of 16144 with flag 71507/274740
36.28/35.47	c cleaning 7514 clauses out of 15091 with flag 117385/281740
36.98/36.10	c cleaning 7765 clauses out of 15576 with flag 165059/289739
37.48/36.68	c cleaning 8386 clauses out of 16811 with flag 221720/298739
38.48/37.67	c cleaning 9192 clauses out of 18425 with flag 299859/308739
39.78/38.93	c cleaning 10100 clauses out of 20233 with flag 373696/319739
41.48/40.60	c cleaning 11050 clauses out of 22135 with flag 462507/331741
42.69/41.88	c cleaning 12036 clauses out of 24084 with flag 547881/344740
44.48/43.65	c cleaning 13021 clauses out of 26048 with flag 657180/358740
45.68/44.86	c cleaning 13966 clauses out of 28027 with flag 744685/373740
49.25/48.30	c cleaning 14824 clauses out of 30064 with flag 923057/389743
53.95/53.04	c cleaning 16103 clauses out of 32236 with flag 1165234/406739
59.82/58.74	c cleaning 17063 clauses out of 34133 with flag 1410675/424739
65.33/64.21	c cleaning 18034 clauses out of 36070 with flag 1663173/443739
71.60/70.39	c cleaning 19013 clauses out of 38036 with flag 1939928/463739
78.31/76.87	c cleaning 20002 clauses out of 40024 with flag 2245359/484740
86.29/84.53	c cleaning 21012 clauses out of 42023 with flag 2539852/506741
92.88/90.95	c cleaning 21998 clauses out of 44009 with flag 2855319/529739
101.73/99.55	c cleaning 23003 clauses out of 46012 with flag 3177252/553740
112.86/110.45	c cleaning 23994 clauses out of 48008 with flag 3495038/578739
122.65/120.19	c cleaning 25002 clauses out of 50014 with flag 3844977/604739
133.61/130.98	c cleaning 26005 clauses out of 52014 with flag 4206939/631741
146.57/143.79	c cleaning 27003 clauses out of 54008 with flag 4605511/659740
160.82/157.83	c cleaning 28001 clauses out of 56005 with flag 5013461/688740
174.93/171.78	c cleaning 29000 clauses out of 58003 with flag 5449613/718739
189.56/186.25	c cleaning 29998 clauses out of 60003 with flag 5907023/749739
206.50/203.07	c cleaning 30997 clauses out of 62005 with flag 6392910/781739
224.97/221.35	c cleaning 32003 clauses out of 64008 with flag 6894511/814739
244.29/240.44	c cleaning 33000 clauses out of 66007 with flag 7399888/848741
266.13/262.12	c cleaning 34003 clauses out of 68005 with flag 7927849/883739
289.17/284.84	c cleaning 34996 clauses out of 70002 with flag 8495522/919739
312.16/307.61	c cleaning 35998 clauses out of 72006 with flag 9059296/956739
334.85/330.17	c cleaning 37000 clauses out of 74008 with flag 9655501/994739
358.60/353.69	c cleaning 38000 clauses out of 76010 with flag 10255906/1033741
383.70/378.47	c cleaning 38998 clauses out of 78008 with flag 10848293/1073739
405.03/399.48	c cleaning 39994 clauses out of 80010 with flag 11428374/1114739
423.90/418.07	c cleaning 41000 clauses out of 82016 with flag 12027677/1156739
438.75/432.62	c cleaning 42005 clauses out of 84018 with flag 12608439/1199741
464.28/457.87	c cleaning 43002 clauses out of 86011 with flag 13219044/1243739
486.84/480.13	c cleaning 44004 clauses out of 88009 with flag 13848642/1288739
512.90/505.92	c cleaning 44999 clauses out of 90005 with flag 14548631/1334739
542.50/535.18	c cleaning 46000 clauses out of 92006 with flag 15249225/1381739
564.73/557.06	c cleaning 47000 clauses out of 94006 with flag 15763081/1429739
593.04/585.04	c cleaning 47999 clauses out of 96007 with flag 16132252/1478740
626.55/618.26	c cleaning 48998 clauses out of 98007 with flag 16587804/1528739
667.17/658.42	c cleaning 50004 clauses out of 100009 with flag 17064593/1579739
706.15/696.99	c cleaning 50999 clauses out of 102008 with flag 17543322/1631742
742.60/732.94	c cleaning 51999 clauses out of 104007 with flag 18036683/1684740
781.74/771.62	c cleaning 52996 clauses out of 106009 with flag 18574019/1738741
822.21/811.52	c cleaning 53993 clauses out of 108012 with flag 19224737/1793740
865.68/854.66	c cleaning 55006 clauses out of 110019 with flag 19861424/1849740
912.65/901.13	c cleaning 55995 clauses out of 112012 with flag 20566046/1906739
960.96/949.03	c cleaning 57005 clauses out of 114018 with flag 21267956/1964740
1005.90/993.43	c cleaning 57996 clauses out of 116012 with flag 21897617/2023739
1051.33/1038.41	c cleaning 59002 clauses out of 118016 with flag 22530870/2083739
1098.16/1084.78	c cleaning 60000 clauses out of 120015 with flag 23167951/2144740
1144.27/1130.26	c cleaning 61000 clauses out of 122014 with flag 23768563/2206739
1196.32/1181.88	c cleaning 61990 clauses out of 124014 with flag 24401747/2269739
1247.13/1231.90	c cleaning 63009 clauses out of 126026 with flag 25055507/2333741
1300.08/1284.25	c cleaning 64006 clauses out of 128018 with flag 25737472/2398742
1354.02/1337.58	c cleaning 64999 clauses out of 130009 with flag 26420680/2464739
1401.94/1384.87	c cleaning 65999 clauses out of 132015 with flag 27089824/2531744
1472.43/1454.89	c cleaning 66999 clauses out of 134013 with flag 27860327/2599741
1541.63/1523.34	c cleaning 67997 clauses out of 136012 with flag 28584387/2668739
1612.78/1593.82	c cleaning 69003 clauses out of 138015 with flag 29432167/2738739
1686.10/1666.44	c cleaning 69994 clauses out of 140013 with flag 30203714/2809740
1757.71/1737.21	c cleaning 71002 clauses out of 142018 with flag 30967432/2881739
1800.02/1779.10	c starts		: 20291
1800.02/1779.10	c conflicts		: 2927624
1800.02/1779.10	c decisions		: 18616131
1800.02/1779.10	c propagations		: 68902910
1800.02/1779.10	c inspects		: 20769693287
1800.02/1779.10	c shortcuts		: 0
1800.02/1779.10	c learnt literals	: 0
1800.02/1779.10	c learnt binary clauses	: 0
1800.02/1779.10	c learnt ternary clauses	: 0
1800.02/1779.10	c learnt constraints	: 2927624
1800.02/1779.10	c ignored constraints	: 0
1800.02/1779.10	c root simplifications	: 0
1800.02/1779.10	c removed literals (reason simplification)	: 0
1800.02/1779.10	c reason swapping (by a shorter reason)	: 0
1800.02/1779.10	c Calls to reduceDB	: 97
1800.02/1779.10	c Number of update (reduction) of LBD	: 1626847
1800.02/1779.10	c Imported unit clauses	: 0
1800.02/1779.10	c number of reductions to clauses (during analyze)	: 0
1800.02/1779.10	c number of learned constraints concerned by reduction	: 0
1800.02/1779.10	c number of learning phase by resolution	: 0
1800.02/1779.10	c number of learning phase by cutting planes	: 0
1800.02/1779.10	c speed (assignments/second)	: 38734.33251314466
1800.02/1779.10	c non guided choices	61517
1800.02/1779.13	c learnt constraints type 
1800.02/1779.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 116902
1800.02/1779.13	s SATISFIABLE
1800.02/1779.13	c Found 9 solution(s)
1800.02/1779.14	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 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 
1800.02/1779.14	c objective function=5
1800.02/1779.14	c Total wall clock time (in seconds): 1779.023

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-4090863-1466066327/watcher-4090863-1466066327 -o /tmp/evaluation-result-4090863-1466066327/solver-4090863-1466066327 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466062128-6969 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090863-1466066327.wbo 

pid=7794
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: 2.40 2.26 2.20 4/194 7797
/proc/meminfo: memFree=30125308/32872528 swapFree=17100/1797424
[pid=7797] ppid=7794 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/7797/stat : 7797 (java) D 7794 7797 6953 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 8679809 9515008 176 33554432000 1073741824 1073778376 140735101547920 140735101530648 260190323600 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/7797/statm: 2323 176 133 9 0 71 0

[startup+0.100059 s]
/proc/loadavg: 2.40 2.26 2.20 4/194 7797
/proc/meminfo: memFree=30125308/32872528 swapFree=17100/1797424
[pid=7797] ppid=7794 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/7797/stat : 7797 (java) S 7794 7797 6953 0 -1 4202496 4356 0 1 0 7 1 0 0 20 0 18 0 8679809 9787879424 5474 33554432000 1073741824 1073778376 140736763760528 140736763751664 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/7797/statm: 2389619 5474 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200225 s]
/proc/loadavg: 2.40 2.26 2.20 4/194 7797
/proc/meminfo: memFree=30125308/32872528 swapFree=17100/1797424
[pid=7797] ppid=7794 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/7797/stat : 7797 (java) S 7794 7797 6953 0 -1 4202496 4947 0 1 0 24 1 0 0 20 0 18 0 8679809 9787879424 6999 33554432000 1073741824 1073778376 140736763760528 140736763751664 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/7797/statm: 2389619 6999 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 2.40 2.26 2.20 4/194 7797
/proc/meminfo: memFree=30125308/32872528 swapFree=17100/1797424
[pid=7797] ppid=7794 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/7797/stat : 7797 (java) S 7794 7797 6953 0 -1 4202496 6310 0 1 0 50 1 0 0 20 0 19 0 8679809 9856040960 8963 33554432000 1073741824 1073778376 140736763760528 140736763751664 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/7797/statm: 2406260 8963 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040

[startup+0.700275 s]
/proc/loadavg: 2.40 2.26 2.20 4/194 7797
/proc/meminfo: memFree=30125308/32872528 swapFree=17100/1797424
[pid=7797] ppid=7794 vsize=9625040 CPUtime=1.15 cores=0,2,4,6
/proc/7797/stat : 7797 (java) S 7794 7797 6953 0 -1 4202496 7622 0 1 0 113 2 0 0 20 0 19 0 8679809 9856040960 10481 33554432000 1073741824 1073778376 140736763760528 140736763751664 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/7797/statm: 2406260 10481 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 2.40 2.26 2.20 3/213 7816
/proc/meminfo: memFree=30085328/32872528 swapFree=17100/1797424
[pid=7797] ppid=7794 vsize=9625040 CPUtime=2.06 cores=0,2,4,6
/proc/7797/stat : 7797 (java) S 7794 7797 6953 0 -1 4202496 7636 0 1 0 204 2 0 0 20 0 19 0 8679809 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 140736763751664 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/7797/statm: 2406260 13049 2259 9 0 2396937 0
[pid=7797/tid=7799] ppid=7794 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/7797/task/7799/stat : 7799 (java) R 7794 7797 6953 0 -1 4202560 2424 0 1 0 144 2 0 0 20 0 19 0 8679811 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139875127402176 139874955438339 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7800] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7800/stat : 7800 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139875088902568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7801] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7801/stat : 7801 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139875087850024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7802] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7802/stat : 7802 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139875086796968 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7803] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7803/stat : 7803 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139875085744424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7804] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7804/stat : 7804 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139875084692392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7805] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7805/stat : 7805 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139875083639848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7806] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7806/stat : 7806 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139875082586792 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7807] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7807/stat : 7807 (java) S 7794 7797 6953 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139875081534248 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7808] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7808/stat : 7808 (java) S 7794 7797 6953 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8679813 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139874950687080 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7809] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7809/stat : 7809 (java) S 7794 7797 6953 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8679814 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139874949633400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7810] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7810/stat : 7810 (java) S 7794 7797 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8679814 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139874948580232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7811] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7811/stat : 7811 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139874947528976 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7812] ppid=7794 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/7797/task/7812/stat : 7812 (java) S 7794 7797 6953 0 -1 4202560 2370 0 0 0 30 0 0 0 20 0 19 0 8679816 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139874946476856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7813] ppid=7794 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/7797/task/7813/stat : 7813 (java) S 7794 7797 6953 0 -1 4202560 1565 0 0 0 28 0 0 0 20 0 19 0 8679816 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139874945424312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7814] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7814/stat : 7814 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139874944371448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7815] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7815/stat : 7815 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139874943319112 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7816] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7816/stat : 7816 (java) S 7794 7797 6953 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8679834 9856040960 13049 33554432000 1073741824 1073778376 140736763760528 139874942264360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.40 2.26 2.20 3/213 7816
/proc/meminfo: memFree=30072544/32872528 swapFree=17100/1797424
[pid=7797] ppid=7794 vsize=9625040 CPUtime=3.72 cores=0,2,4,6
/proc/7797/stat : 7797 (java) S 7794 7797 6953 0 -1 4202496 7645 0 1 0 370 2 0 0 20 0 19 0 8679809 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 140736763751664 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/7797/statm: 2406260 17145 2259 9 0 2396937 0
[pid=7797/tid=7799] ppid=7794 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/7797/task/7799/stat : 7799 (java) R 7794 7797 6953 0 -1 4202560 2433 0 1 0 304 2 0 0 20 0 19 0 8679811 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139875127402800 139874955171760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7800] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7800/stat : 7800 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139875088902568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7801] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7801/stat : 7801 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139875087850024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7802] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7802/stat : 7802 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139875086796968 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7803] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7803/stat : 7803 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139875085744424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7804] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7804/stat : 7804 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139875084692392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7805] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7805/stat : 7805 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139875083639848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7806] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7806/stat : 7806 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139875082586792 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7807] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7807/stat : 7807 (java) S 7794 7797 6953 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139875081534248 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7808] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7808/stat : 7808 (java) S 7794 7797 6953 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8679813 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139874950687080 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7809] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7809/stat : 7809 (java) S 7794 7797 6953 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8679814 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139874949633400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7810] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7810/stat : 7810 (java) S 7794 7797 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8679814 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139874948580232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7811] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7811/stat : 7811 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139874947528976 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7812] ppid=7794 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/7797/task/7812/stat : 7812 (java) S 7794 7797 6953 0 -1 4202560 2370 0 0 0 34 0 0 0 20 0 19 0 8679816 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139874946476856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7813] ppid=7794 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/7797/task/7813/stat : 7813 (java) S 7794 7797 6953 0 -1 4202560 1565 0 0 0 29 0 0 0 20 0 19 0 8679816 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139874945424312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7814] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7814/stat : 7814 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139874944371448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7815] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7815/stat : 7815 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139874943319112 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7816] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7816/stat : 7816 (java) S 7794 7797 6953 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8679834 9856040960 17145 33554432000 1073741824 1073778376 140736763760528 139874942264360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.37 2.26 2.19 3/213 7816
/proc/meminfo: memFree=30043776/32872528 swapFree=17100/1797424
[pid=7797] ppid=7794 vsize=9625040 CPUtime=6.93 cores=0,2,4,6
/proc/7797/stat : 7797 (java) S 7794 7797 6953 0 -1 4202496 7660 0 1 0 690 3 0 0 20 0 19 0 8679809 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 140736763751664 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/7797/statm: 2406260 23708 2260 9 0 2396937 0
[pid=7797/tid=7799] ppid=7794 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/7797/task/7799/stat : 7799 (java) R 7794 7797 6953 0 -1 4202560 2447 0 1 0 622 2 0 0 20 0 19 0 8679811 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139875127402160 139874955485797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7800] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7800/stat : 7800 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139875088902568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7801] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7801/stat : 7801 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139875087850024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7802] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7802/stat : 7802 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139875086796968 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7803] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7803/stat : 7803 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139875085744424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7804] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7804/stat : 7804 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139875084692392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7805] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7805/stat : 7805 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139875083639848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7806] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7806/stat : 7806 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139875082586792 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7807] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7807/stat : 7807 (java) S 7794 7797 6953 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8679812 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139875081534248 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7808] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7808/stat : 7808 (java) S 7794 7797 6953 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8679813 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139874950687080 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7809] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7809/stat : 7809 (java) S 7794 7797 6953 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8679814 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139874949633400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7810] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7810/stat : 7810 (java) S 7794 7797 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8679814 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139874948580232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7811] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7811/stat : 7811 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139874947528976 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7812] ppid=7794 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/7797/task/7812/stat : 7812 (java) S 7794 7797 6953 0 -1 4202560 2370 0 0 0 34 0 0 0 20 0 19 0 8679816 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139874946476856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7813] ppid=7794 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/7797/task/7813/stat : 7813 (java) S 7794 7797 6953 0 -1 4202560 1565 0 0 0 29 0 0 0 20 0 19 0 8679816 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139874945424312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7814] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7814/stat : 7814 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139874944371448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7815] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7815/stat : 7815 (java) S 7794 7797 6953 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139874943319112 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7816] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7816/stat : 7816 (java) S 7794 7797 6953 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8679834 9856040960 23708 33554432000 1073741824 1073778376 140736763760528 139874942264360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 9625040


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

[pid=7797/tid=7816] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7816/stat : 7816 (java) S 7794 7797 6953 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8679834 9856040960 147103 33554432000 1073741824 1073778376 140736763760528 139874942264360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1681.97
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/213 7946
/proc/meminfo: memFree=29425124/32872528 swapFree=17100/1797424
[pid=7797] ppid=7794 vsize=9625040 CPUtime=1742.67 cores=0,2,4,6
/proc/7797/stat : 7797 (java) S 7794 7797 6953 0 -1 4202496 36259 0 1 0 173964 303 0 0 20 0 19 0 8679809 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 140736763751664 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/7797/statm: 2406260 133936 2282 9 0 2396937 0
[pid=7797/tid=7799] ppid=7794 vsize=9625040 CPUtime=1703.97 cores=0,2,4,6
/proc/7797/task/7799/stat : 7799 (java) R 7794 7797 6953 0 -1 4202560 2853 0 1 0 170366 31 0 0 20 0 19 0 8679811 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139875127409968 139874955438646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7800] ppid=7794 vsize=9625040 CPUtime=3.59 cores=0,2,4,6
/proc/7797/task/7800/stat : 7800 (java) S 7794 7797 6953 0 -1 4202560 3673 0 0 0 326 33 0 0 20 0 19 0 8679812 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139875088902568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7801] ppid=7794 vsize=9625040 CPUtime=3.4 cores=0,2,4,6
/proc/7797/task/7801/stat : 7801 (java) S 7794 7797 6953 0 -1 4202560 2157 0 0 0 311 29 0 0 20 0 19 0 8679812 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139875087850024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7802] ppid=7794 vsize=9625040 CPUtime=3.51 cores=0,2,4,6
/proc/7797/task/7802/stat : 7802 (java) S 7794 7797 6953 0 -1 4202560 2996 0 0 0 318 33 0 0 20 0 19 0 8679812 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139875086796968 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7803] ppid=7794 vsize=9625040 CPUtime=3.27 cores=0,2,4,6
/proc/7797/task/7803/stat : 7803 (java) S 7794 7797 6953 0 -1 4202560 2277 0 0 0 298 29 0 0 20 0 19 0 8679812 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139875085744424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7804] ppid=7794 vsize=9625040 CPUtime=3.46 cores=0,2,4,6
/proc/7797/task/7804/stat : 7804 (java) S 7794 7797 6953 0 -1 4202560 2297 0 0 0 309 37 0 0 20 0 19 0 8679812 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139875084692392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7805] ppid=7794 vsize=9625040 CPUtime=3.44 cores=0,2,4,6
/proc/7797/task/7805/stat : 7805 (java) S 7794 7797 6953 0 -1 4202560 3410 0 0 0 311 33 0 0 20 0 19 0 8679812 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139875083639848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7806] ppid=7794 vsize=9625040 CPUtime=3.37 cores=0,2,4,6
/proc/7797/task/7806/stat : 7806 (java) S 7794 7797 6953 0 -1 4202560 2711 0 0 0 304 33 0 0 20 0 19 0 8679812 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139875082586792 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7807] ppid=7794 vsize=9625040 CPUtime=3.33 cores=0,2,4,6
/proc/7797/task/7807/stat : 7807 (java) S 7794 7797 6953 0 -1 4202560 2013 0 0 0 296 37 0 0 20 0 19 0 8679812 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139875081534248 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7808] ppid=7794 vsize=9625040 CPUtime=5.8 cores=0,2,4,6
/proc/7797/task/7808/stat : 7808 (java) S 7794 7797 6953 0 -1 4202560 2661 0 0 0 573 7 0 0 20 0 19 0 8679813 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139874950687080 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7809] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7809/stat : 7809 (java) S 7794 7797 6953 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8679814 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139874949633400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7810] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7810/stat : 7810 (java) S 7794 7797 6953 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8679814 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139874948580232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7811] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7811/stat : 7811 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139874947528976 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7812] ppid=7794 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/7797/task/7812/stat : 7812 (java) S 7794 7797 6953 0 -1 4202560 3567 0 0 0 44 0 0 0 20 0 19 0 8679816 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139874946476856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7813] ppid=7794 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/7797/task/7813/stat : 7813 (java) S 7794 7797 6953 0 -1 4202560 4280 0 0 0 44 0 0 0 20 0 19 0 8679816 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139874945424312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7814] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7814/stat : 7814 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139874944371448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7815] ppid=7794 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/7797/task/7815/stat : 7815 (java) S 7794 7797 6953 0 -1 4202560 100 0 0 0 25 30 0 0 20 0 19 0 8679816 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139874943319112 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7816] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7816/stat : 7816 (java) S 7794 7797 6953 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8679834 9856040960 133936 33554432000 1073741824 1073778376 140736763760528 139874942264360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1742.67
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1779.1 s]
/proc/loadavg: 2.15 2.19 2.18 3/213 7947
/proc/meminfo: memFree=29428708/32872528 swapFree=17100/1797424
[pid=7797] ppid=7794 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/7797/stat : 7797 (java) S 7794 7797 6953 0 -1 4202496 36501 0 1 0 179688 314 0 0 20 0 19 0 8679809 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 140736763751664 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/7797/statm: 2406260 126131 2282 9 0 2396937 0
[pid=7797/tid=7799] ppid=7794 vsize=9625040 CPUtime=1760.19 cores=0,2,4,6
/proc/7797/task/7799/stat : 7799 (java) R 7794 7797 6953 0 -1 4202560 2866 0 1 0 175987 32 0 0 20 0 19 0 8679811 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875127409984 139874955485839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7800] ppid=7794 vsize=9625040 CPUtime=3.71 cores=0,2,4,6
/proc/7797/task/7800/stat : 7800 (java) S 7794 7797 6953 0 -1 4202560 3694 0 0 0 336 35 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875088902568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7801] ppid=7794 vsize=9625040 CPUtime=3.48 cores=0,2,4,6
/proc/7797/task/7801/stat : 7801 (java) S 7794 7797 6953 0 -1 4202560 2166 0 0 0 318 30 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875087850024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7802] ppid=7794 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/7797/task/7802/stat : 7802 (java) S 7794 7797 6953 0 -1 4202560 3013 0 0 0 326 35 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875086796968 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7803] ppid=7794 vsize=9625040 CPUtime=3.34 cores=0,2,4,6
/proc/7797/task/7803/stat : 7803 (java) S 7794 7797 6953 0 -1 4202560 2290 0 0 0 304 30 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875085744424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7804] ppid=7794 vsize=9625040 CPUtime=3.58 cores=0,2,4,6
/proc/7797/task/7804/stat : 7804 (java) S 7794 7797 6953 0 -1 4202560 2323 0 0 0 320 38 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875084692392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7805] ppid=7794 vsize=9625040 CPUtime=3.52 cores=0,2,4,6
/proc/7797/task/7805/stat : 7805 (java) S 7794 7797 6953 0 -1 4202560 3418 0 0 0 319 33 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875083639848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7806] ppid=7794 vsize=9625040 CPUtime=3.49 cores=0,2,4,6
/proc/7797/task/7806/stat : 7806 (java) S 7794 7797 6953 0 -1 4202560 2736 0 0 0 314 35 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875082586792 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7807] ppid=7794 vsize=9625040 CPUtime=3.43 cores=0,2,4,6
/proc/7797/task/7807/stat : 7807 (java) S 7794 7797 6953 0 -1 4202560 2031 0 0 0 305 38 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875081534248 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7808] ppid=7794 vsize=9625040 CPUtime=6 cores=0,2,4,6
/proc/7797/task/7808/stat : 7808 (java) S 7794 7797 6953 0 -1 4202560 2749 0 0 0 593 7 0 0 20 0 19 0 8679813 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874950687080 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7809] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7809/stat : 7809 (java) S 7794 7797 6953 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8679814 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874949633400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7810] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7810/stat : 7810 (java) S 7794 7797 6953 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8679814 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874948580232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7811] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7811/stat : 7811 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874947528976 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7812] ppid=7794 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/7797/task/7812/stat : 7812 (java) S 7794 7797 6953 0 -1 4202560 3567 0 0 0 44 0 0 0 20 0 19 0 8679816 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874946476856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7813] ppid=7794 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/7797/task/7813/stat : 7813 (java) S 7794 7797 6953 0 -1 4202560 4280 0 0 0 44 0 0 0 20 0 19 0 8679816 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874945424312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7814] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7814/stat : 7814 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874944371448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7815] ppid=7794 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/7797/task/7815/stat : 7815 (java) S 7794 7797 6953 0 -1 4202560 104 0 0 0 26 31 0 0 20 0 19 0 8679816 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874943319112 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7816] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7816/stat : 7816 (java) S 7794 7797 6953 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8679834 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874942264360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 7797 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1779.1 s]
/proc/loadavg: 2.15 2.19 2.18 3/213 7947
/proc/meminfo: memFree=29428708/32872528 swapFree=17100/1797424
[pid=7797] ppid=7794 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/7797/stat : 7797 (java) S 7794 7797 6953 0 -1 4202496 36501 0 1 0 179688 314 0 0 20 0 19 0 8679809 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 140736763751664 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/7797/statm: 2406260 126131 2282 9 0 2396937 0
[pid=7797/tid=7799] ppid=7794 vsize=9625040 CPUtime=1760.19 cores=0,2,4,6
/proc/7797/task/7799/stat : 7799 (java) R 7794 7797 6953 0 -1 4202560 2866 0 1 0 175987 32 0 0 20 0 19 0 8679811 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875127409984 139874955485839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7800] ppid=7794 vsize=9625040 CPUtime=3.71 cores=0,2,4,6
/proc/7797/task/7800/stat : 7800 (java) S 7794 7797 6953 0 -1 4202560 3694 0 0 0 336 35 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875088902568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7801] ppid=7794 vsize=9625040 CPUtime=3.48 cores=0,2,4,6
/proc/7797/task/7801/stat : 7801 (java) S 7794 7797 6953 0 -1 4202560 2166 0 0 0 318 30 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875087850024 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7802] ppid=7794 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/7797/task/7802/stat : 7802 (java) S 7794 7797 6953 0 -1 4202560 3013 0 0 0 326 35 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875086796968 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7803] ppid=7794 vsize=9625040 CPUtime=3.34 cores=0,2,4,6
/proc/7797/task/7803/stat : 7803 (java) S 7794 7797 6953 0 -1 4202560 2290 0 0 0 304 30 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875085744424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7804] ppid=7794 vsize=9625040 CPUtime=3.58 cores=0,2,4,6
/proc/7797/task/7804/stat : 7804 (java) S 7794 7797 6953 0 -1 4202560 2323 0 0 0 320 38 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875084692392 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7805] ppid=7794 vsize=9625040 CPUtime=3.52 cores=0,2,4,6
/proc/7797/task/7805/stat : 7805 (java) S 7794 7797 6953 0 -1 4202560 3418 0 0 0 319 33 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875083639848 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7806] ppid=7794 vsize=9625040 CPUtime=3.49 cores=0,2,4,6
/proc/7797/task/7806/stat : 7806 (java) S 7794 7797 6953 0 -1 4202560 2736 0 0 0 314 35 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875082586792 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7807] ppid=7794 vsize=9625040 CPUtime=3.43 cores=0,2,4,6
/proc/7797/task/7807/stat : 7807 (java) S 7794 7797 6953 0 -1 4202560 2031 0 0 0 305 38 0 0 20 0 19 0 8679812 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139875081534248 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7797/tid=7808] ppid=7794 vsize=9625040 CPUtime=6 cores=0,2,4,6
/proc/7797/task/7808/stat : 7808 (java) S 7794 7797 6953 0 -1 4202560 2749 0 0 0 593 7 0 0 20 0 19 0 8679813 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874950687080 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7809] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7809/stat : 7809 (java) S 7794 7797 6953 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8679814 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874949633400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7810] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7810/stat : 7810 (java) S 7794 7797 6953 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8679814 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874948580232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7811] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7811/stat : 7811 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874947528976 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7812] ppid=7794 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/7797/task/7812/stat : 7812 (java) S 7794 7797 6953 0 -1 4202560 3567 0 0 0 44 0 0 0 20 0 19 0 8679816 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874946476856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7797/tid=7813] ppid=7794 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/7797/task/7813/stat : 7813 (java) S 7794 7797 6953 0 -1 4202560 4280 0 0 0 44 0 0 0 20 0 19 0 8679816 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874945424312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7797/tid=7814] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7814/stat : 7814 (java) S 7794 7797 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8679816 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874944371448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7815] ppid=7794 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/7797/task/7815/stat : 7815 (java) S 7794 7797 6953 0 -1 4202560 104 0 0 0 26 31 0 0 20 0 19 0 8679816 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874943319112 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7797/tid=7816] ppid=7794 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7797/task/7816/stat : 7816 (java) S 7794 7797 6953 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8679834 9856040960 126131 33554432000 1073741824 1073778376 140736763760528 139874942264360 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7797 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=588485
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=592453
# CPU time returned by wait4() is 1796.18
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1779.15
CPU time (s): 1800.02
CPU user time (s): 1796.88
CPU system time (s): 3.14
CPU usage (%): 101.173
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.59
system time used= 3.59245
maximum resident set size= 900724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36552
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49934
involuntary context switches= 56310

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5601 second user time and 16.5075 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-16 10:38:47
IDJOB=4090863
IDBENCH=79165
IDSOLVER=2551
FILE ID=node123/4090863-1466066327
RUNJOBID= node123-1466062128-6969
PBS_JOBID= 19904016
Free space on /tmp= 71636 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-chnl35_36_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-4090863-1466066327/watcher-4090863-1466066327 -o /tmp/evaluation-result-4090863-1466066327/solver-4090863-1466066327 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466062128-6969 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090863-1466066327.wbo

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

MD5SUM BENCH= 02fb8a7818433044fe5d5a9a278599da
RANDOM SEED=1390797250

node123.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.791
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.58
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.791
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.791
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.56
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.791
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.57
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.791
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.56
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.791
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.56
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.791
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.56
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.791
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30125836 kB
Buffers:            7776 kB
Cached:            41776 kB
SwapCached:         2192 kB
Active:           222692 kB
Inactive:          27292 kB
Active(anon):     201736 kB
Inactive(anon):     1392 kB
Active(file):      20956 kB
Inactive(file):    25900 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67099008 kB
Dirty:               584 kB
Writeback:             0 kB
AnonPages:       2001064 kB
Mapped:            15224 kB
Shmem:                 0 kB
Slab:             564360 kB
SReclaimable:       8436 kB
SUnreclaim:       555924 kB
KernelStack:        1584 kB
PageTables:         8284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2485944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1968128 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= 71636 MiB
End job on node123 at 2016-06-16 11:08:26