Trace number 4103106

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)-46 1800.13 887.088

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
MD5SUM2295cbab79cf702b6a93f1d0b8bae876
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-56
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints125982
Number of constraints which are clauses125982
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
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.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4103106-1466219637.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
2.51/1.21	c ... done. Wall clock time 1.09s.
2.51/1.21	c declared #vars     1534
2.51/1.21	c #constraints  125982
2.51/1.21	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
2.51/1.21	c constraints type 
2.51/1.21	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 125982
2.51/1.21	c 125982 constraints processed.
2.51/1.21	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
2.51/1.21	c constraints type 
2.51/1.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 125982
2.51/1.21	c 125982 constraints processed.
2.51/1.21	c objective function length is 1534 literals
2.51/1.23	c And the winner is solver1
2.70/1.72	c SATISFIABLE
2.70/1.72	c OPTIMIZING...
2.70/1.72	c Got one! Elapsed wall clock time (in seconds):1.597
2.70/1.72	o -40
2.98/1.83	c And the winner is solver0
3.48/2.22	c Got one! Elapsed wall clock time (in seconds):2.105
3.48/2.22	o -41
3.48/2.26	c And the winner is solver0
3.78/2.73	c Got one! Elapsed wall clock time (in seconds):2.61
3.78/2.73	o -42
7.21/4.23	c cleaning 2605 clauses out of 5216 with flag 10616/5216
7.44/4.37	c And the winner is solver1
7.58/4.73	c Got one! Elapsed wall clock time (in seconds):4.613
7.58/4.73	o -43
10.65/6.19	c cleaning 4045 clauses out of 8097 with flag 11743/10702
14.25/7.82	c cleaning 5024 clauses out of 10050 with flag 25620/16700
18.26/9.78	c cleaning 6007 clauses out of 12026 with flag 41648/23700
19.69/10.46	c And the winner is solver1
19.81/10.76	c Got one! Elapsed wall clock time (in seconds):10.639
19.81/10.76	o -44
22.19/11.82	c cleaning 5769 clauses out of 11541 with flag 7143/29222
25.59/13.51	c cleaning 5882 clauses out of 11770 with flag 21646/35220
30.08/15.61	c cleaning 6440 clauses out of 12888 with flag 37776/42220
34.49/17.89	c cleaning 7224 clauses out of 14448 with flag 57312/50220
39.90/20.52	c cleaning 8108 clauses out of 16224 with flag 78607/59220
48.89/25.84	c cleaning 9059 clauses out of 18117 with flag 101754/69221
55.29/29.02	c cleaning 10029 clauses out of 20057 with flag 127509/80220
63.77/33.12	c cleaning 11013 clauses out of 22029 with flag 156450/92221
74.04/38.04	c cleaning 12008 clauses out of 24015 with flag 188626/105220
84.44/43.21	c cleaning 13004 clauses out of 26008 with flag 223898/119221
96.07/49.44	c And the winner is solver1
96.07/49.81	c Got one! Elapsed wall clock time (in seconds):49.691
96.07/49.81	o -45
100.64/52.14	c cleaning 16182 clauses out of 32368 with flag 12096/138585
105.39/54.42	c cleaning 11090 clauses out of 22185 with flag 26431/144584
109.99/56.77	c cleaning 9046 clauses out of 18095 with flag 43805/151584
114.99/59.20	c cleaning 8521 clauses out of 17049 with flag 62201/159584
121.17/62.23	c cleaning 8764 clauses out of 17528 with flag 84030/168584
127.37/65.31	c cleaning 9380 clauses out of 18768 with flag 107143/178588
135.19/69.17	c cleaning 10187 clauses out of 20384 with flag 133966/189584
143.59/73.16	c cleaning 11092 clauses out of 22197 with flag 161399/201584
151.63/77.12	c cleaning 12049 clauses out of 24105 with flag 192298/214584
152.82/77.73	c And the winner is solver1
152.82/77.89	c Got one! Elapsed wall clock time (in seconds):77.771
152.82/77.89	o -46
155.24/79.12	c cleaning 8980 clauses out of 17974 with flag 9091/220502
159.66/81.13	c cleaning 7492 clauses out of 14995 with flag 23816/226503
163.66/83.18	c cleaning 7250 clauses out of 14502 with flag 40735/233502
168.25/85.46	c cleaning 7622 clauses out of 15252 with flag 60066/241502
174.51/88.31	c cleaning 8312 clauses out of 16630 with flag 81754/250502
180.53/91.32	c cleaning 9153 clauses out of 18318 with flag 106011/260502
187.65/94.79	c cleaning 10080 clauses out of 20166 with flag 131904/271503
194.44/98.16	c cleaning 11040 clauses out of 22086 with flag 159381/283503
202.44/101.94	c cleaning 12022 clauses out of 24046 with flag 189341/296503
211.87/106.44	c cleaning 13010 clauses out of 26023 with flag 224551/310502
222.47/111.71	c cleaning 14007 clauses out of 28013 with flag 262794/325502
234.79/117.62	c cleaning 15000 clauses out of 30007 with flag 301075/341503
249.73/124.48	c cleaning 16004 clauses out of 32007 with flag 342579/358503
266.53/133.72	c cleaning 16999 clauses out of 34003 with flag 384374/376503
282.86/141.65	c cleaning 17995 clauses out of 36003 with flag 429782/395502
300.81/150.45	c cleaning 19003 clauses out of 38008 with flag 478265/415502
319.30/159.45	c cleaning 19997 clauses out of 40005 with flag 528875/436502
340.87/169.91	c cleaning 20999 clauses out of 42008 with flag 582613/458502
365.35/181.83	c cleaning 22002 clauses out of 44009 with flag 640087/481502
388.81/193.17	c cleaning 23001 clauses out of 46009 with flag 697896/505504
410.06/203.26	c cleaning 23997 clauses out of 48007 with flag 755908/530503
433.10/214.14	c cleaning 25001 clauses out of 50012 with flag 819976/556505
460.28/226.75	c cleaning 26001 clauses out of 52008 with flag 884088/583502
490.94/243.49	c cleaning 26997 clauses out of 54008 with flag 951330/611503
517.09/256.30	c cleaning 28005 clauses out of 56010 with flag 1020795/640502
541.34/268.06	c cleaning 28997 clauses out of 58005 with flag 1089796/670502
569.29/281.69	c cleaning 30004 clauses out of 60010 with flag 1162889/701504
601.61/299.08	c cleaning 31002 clauses out of 62004 with flag 1237970/733502
620.25/308.25	c cleaning 0 clauses out of 7584 with flag 0/7585
634.04/314.78	c cleaning 32001 clauses out of 64002 with flag 1307331/766502
669.32/331.92	c cleaning 33001 clauses out of 66001 with flag 1379214/800502
706.57/349.92	c cleaning 34000 clauses out of 68000 with flag 1452214/835502
747.20/369.49	c cleaning 34998 clauses out of 70000 with flag 1527834/871502
788.53/389.42	c cleaning 36001 clauses out of 72002 with flag 1605196/908502
830.51/409.74	c cleaning 36999 clauses out of 74001 with flag 1685484/946502
875.71/431.56	c cleaning 38000 clauses out of 76002 with flag 1767497/985502
923.33/454.39	c cleaning 39002 clauses out of 78004 with flag 1851730/1025504
973.14/478.50	c cleaning 39998 clauses out of 80001 with flag 1937501/1066503
1026.02/506.44	c cleaning 40993 clauses out of 82003 with flag 2025497/1108503
1074.23/529.98	c cleaning 42006 clauses out of 84012 with flag 2115896/1151505
1123.38/553.81	c cleaning 42996 clauses out of 86004 with flag 2207386/1195503
1174.40/578.48	c cleaning 43993 clauses out of 88007 with flag 2301886/1240502
1229.24/604.98	c cleaning 45001 clauses out of 90016 with flag 2398287/1286504
1288.19/632.99	c cleaning 46003 clauses out of 92013 with flag 2497037/1333502
1350.89/665.54	c cleaning 47003 clauses out of 94010 with flag 2597462/1381502
1409.60/694.22	c cleaning 48005 clauses out of 96009 with flag 2700763/1430504
1475.74/726.61	c cleaning 48999 clauses out of 98003 with flag 2806196/1480503
1543.17/759.54	c cleaning 50002 clauses out of 100004 with flag 2913012/1531503
1619.42/795.89	c cleaning 50999 clauses out of 102002 with flag 3023894/1583503
1691.41/834.42	c cleaning 51999 clauses out of 104002 with flag 3135207/1636502
1758.51/867.04	c cleaning 53002 clauses out of 106003 with flag 3248868/1690502
1800.13/887.00	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.13/887.00	c starts		: 14198
1800.13/887.00	c conflicts		: 1724795
1800.13/887.00	c decisions		: 22527173
1800.13/887.00	c propagations		: 30743834
1800.13/887.00	c inspects		: 4534193484
1800.13/887.00	c shortcuts		: 0
1800.13/887.00	c learnt literals	: 0
1800.13/887.00	c learnt binary clauses	: 0
1800.13/887.00	c learnt ternary clauses	: 0
1800.13/887.00	c learnt constraints	: 1724795
1800.13/887.00	c ignored constraints	: 0
1800.13/887.00	c root simplifications	: 0
1800.13/887.00	c removed literals (reason simplification)	: 42880232
1800.13/887.00	c reason swapping (by a shorter reason)	: 0
1800.13/887.00	c Calls to reduceDB	: 73
1800.13/887.00	c Number of update (reduction) of LBD	: 78858
1800.13/887.00	c Imported unit clauses	: 0
1800.13/887.00	c number of reductions to clauses (during analyze)	: 0
1800.13/887.00	c number of learned constraints concerned by reduction	: 0
1800.13/887.00	c number of learning phase by resolution	: 0
1800.13/887.00	c number of learning phase by cutting planes	: 0
1800.13/887.00	c speed (assignments/second)	: 37996.95963357405
1800.13/887.00	c non guided choices	0
1800.13/887.03	c learnt constraints type 
1800.13/887.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87294
1800.13/887.03	c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<<
1800.13/887.03	c starts		: 43
1800.13/887.03	c conflicts		: 13042
1800.13/887.03	c decisions		: 16884
1800.13/887.03	c propagations		: 179296
1800.13/887.03	c inspects		: 727325626
1800.13/887.03	c shortcuts		: 0
1800.13/887.03	c learnt literals	: 0
1800.13/887.03	c learnt binary clauses	: 0
1800.13/887.03	c learnt ternary clauses	: 0
1800.13/887.03	c learnt constraints	: 13040
1800.13/887.03	c ignored constraints	: 0
1800.13/887.03	c root simplifications	: 0
1800.13/887.03	c removed literals (reason simplification)	: 0
1800.13/887.03	c reason swapping (by a shorter reason)	: 0
1800.13/887.03	c Calls to reduceDB	: 1
1800.13/887.03	c Number of update (reduction) of LBD	: 0
1800.13/887.03	c Imported unit clauses	: 0
1800.13/887.03	c number of reductions to clauses (during analyze)	: 0
1800.13/887.03	c number of learned constraints concerned by reduction	: 0
1800.13/887.03	c number of learning phase by resolution	: 0
1800.13/887.03	c number of learning phase by cutting planes	: 0
1800.13/887.03	c speed (assignments/second)	: 202.75517981494926
1800.13/887.03	c non guided choices	0
1800.13/887.03	c learnt constraints type 
1800.13/887.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 274
1800.13/887.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12766
1800.13/887.03	s SATISFIABLE
1800.13/887.03	c Found 7 solution(s)
1800.13/887.04	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 
1800.13/887.04	c objective function=-46
1800.13/887.04	c Total wall clock time (in seconds): 886.924

Verifier Data 

OK	-46

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-4103106-1466219637/watcher-4103106-1466219637 -o /tmp/evaluation-result-4103106-1466219637/solver-4103106-1466219637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16278 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103106-1466219637.opb 

pid=20638
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: 4.43 4.36 4.21 5/197 20641
/proc/meminfo: memFree=24814236/32872528 swapFree=1556504/1720024
[pid=20641] ppid=20638 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/20641/stat : 20641 (java) R 20638 20641 16262 0 -1 4202496 481 0 0 0 0 0 0 0 20 0 1 0 24012324 9515008 136 33554432000 1073741824 1073778376 140736838964448 140736838961576 270329721529 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20641/statm: 2323 147 106 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 4.43 4.36 4.21 5/197 20641
/proc/meminfo: memFree=24814236/32872528 swapFree=1556504/1720024
[pid=20641] ppid=20638 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/20641/stat : 20641 (java) S 20638 20641 16262 0 -1 4202496 4439 0 1 0 8 1 0 0 20 0 18 0 24012324 9787879424 5568 33554432000 1073741824 1073778376 140736838964448 140736838955584 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20641/statm: 2389619 5568 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200224 s]
/proc/loadavg: 4.43 4.36 4.21 5/197 20641
/proc/meminfo: memFree=24814236/32872528 swapFree=1556504/1720024
[pid=20641] ppid=20638 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/20641/stat : 20641 (java) S 20638 20641 16262 0 -1 4202496 4993 0 1 0 25 1 0 0 20 0 18 0 24012324 9787879424 6520 33554432000 1073741824 1073778376 140736838964448 140736838955584 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20641/statm: 2389619 6520 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300232 s]
/proc/loadavg: 4.43 4.36 4.21 5/197 20641
/proc/meminfo: memFree=24814236/32872528 swapFree=1556504/1720024
[pid=20641] ppid=20638 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/20641/stat : 20641 (java) S 20638 20641 16262 0 -1 4202496 5876 0 1 0 45 1 0 0 20 0 18 0 24012324 9787879424 8059 33554432000 1073741824 1073778376 140736838964448 140736838955584 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20641/statm: 2389619 8059 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700195 s]
/proc/loadavg: 4.43 4.36 4.21 5/197 20641
/proc/meminfo: memFree=24814236/32872528 swapFree=1556504/1720024
[pid=20641] ppid=20638 vsize=9559084 CPUtime=1.63 cores=0,2,4,6
/proc/20641/stat : 20641 (java) S 20638 20641 16262 0 -1 4202496 23712 0 1 0 158 5 0 0 20 0 18 0 24012324 9788502016 33124 33554432000 1073741824 1073778376 140736838964448 140736838955584 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20641/statm: 2389771 33124 2244 9 0 2380448 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9559084

[startup+1.50084 s]
/proc/loadavg: 4.43 4.36 4.21 5/215 20659
/proc/meminfo: memFree=24613976/32872528 swapFree=1556504/1720024
[pid=20641] ppid=20638 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/20641/stat : 20641 (java) S 20638 20641 16262 0 -1 4202496 24128 0 1 0 261 9 0 0 20 0 19 0 24012324 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140736838955584 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20641/statm: 2456183 56223 2273 9 0 2446860 0
[pid=20641/tid=20643] ppid=20638 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/20641/task/20643/stat : 20643 (java) S 20638 20641 16262 0 -1 4202560 2541 0 1 0 110 2 0 0 20 0 19 0 24012325 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459928273784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20644] ppid=20638 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/20641/task/20644/stat : 20644 (java) S 20638 20641 16262 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 24012326 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459772300200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20645] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20645/stat : 20645 (java) S 20638 20641 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24012326 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459771247656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20646] ppid=20638 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/20641/task/20646/stat : 20646 (java) S 20638 20641 16262 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 24012326 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459770194600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20647] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20647/stat : 20647 (java) S 20638 20641 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24012326 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459769142056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20648] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20648/stat : 20648 (java) S 20638 20641 16262 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 24012326 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459768089000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20649] ppid=20638 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20641/task/20649/stat : 20649 (java) S 20638 20641 16262 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 24012326 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459767036456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20650] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20650/stat : 20650 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24012326 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459765983400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20651] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20651/stat : 20651 (java) S 20638 20641 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24012326 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459764930856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20652] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20652/stat : 20652 (java) S 20638 20641 16262 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 24012327 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459752520552 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20653] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20653/stat : 20653 (java) S 20638 20641 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24012328 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459751466872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20654] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20654/stat : 20654 (java) S 20638 20641 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24012328 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459750413704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20655] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20655/stat : 20655 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24012330 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459749362448 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20656] ppid=20638 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/20641/task/20656/stat : 20656 (java) S 20638 20641 16262 0 -1 4202560 8903 0 0 0 64 2 0 0 20 0 19 0 24012330 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459748309304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20657] ppid=20638 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/20641/task/20657/stat : 20657 (java) S 20638 20641 16262 0 -1 4202560 11265 0 0 0 65 3 0 0 20 0 19 0 24012330 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459747256760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20658] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20658/stat : 20658 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24012330 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459746203896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20659] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20659/stat : 20659 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24012330 10060525568 56223 33554432000 1073741824 1073778376 140736838964448 140459745151560 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 9824732

[startup+3.10076 s]
/proc/loadavg: 4.43 4.36 4.21 3/216 20666
/proc/meminfo: memFree=24595724/32872528 swapFree=1556504/1720024
[pid=20641] ppid=20638 vsize=9824732 CPUtime=4.81 cores=0,2,4,6
/proc/20641/stat : 20641 (java) S 20638 20641 16262 0 -1 4202496 28833 0 1 0 467 14 0 0 20 0 22 0 24012324 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140736838955584 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20641/statm: 2456183 56528 2285 9 0 2446860 0
[pid=20641/tid=20643] ppid=20638 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/20641/task/20643/stat : 20643 (java) S 20638 20641 16262 0 -1 4202560 2546 0 1 0 112 2 0 0 20 0 22 0 24012325 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459928273784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20644] ppid=20638 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/20641/task/20644/stat : 20644 (java) S 20638 20641 16262 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 24012326 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459772300200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20645] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20645/stat : 20645 (java) S 20638 20641 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24012326 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459771247656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20646] ppid=20638 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/20641/task/20646/stat : 20646 (java) S 20638 20641 16262 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 24012326 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459770194600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20647] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20647/stat : 20647 (java) S 20638 20641 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24012326 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459769142056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20648] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20648/stat : 20648 (java) S 20638 20641 16262 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 24012326 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459768089000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20649] ppid=20638 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/20641/task/20649/stat : 20649 (java) S 20638 20641 16262 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 24012326 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459767036456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20650] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20650/stat : 20650 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012326 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459765983400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20651] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20651/stat : 20651 (java) S 20638 20641 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24012326 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459764930856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20652] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20652/stat : 20652 (java) S 20638 20641 16262 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 24012327 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459752520552 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20653] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20653/stat : 20653 (java) S 20638 20641 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24012328 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459751466872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20654] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20654/stat : 20654 (java) S 20638 20641 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24012328 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459750413704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20655] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20655/stat : 20655 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012330 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459749362448 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20656] ppid=20638 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/20641/task/20656/stat : 20656 (java) S 20638 20641 16262 0 -1 4202560 13499 0 0 0 126 3 0 0 20 0 22 0 24012330 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459748309304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20641/tid=20657] ppid=20638 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/20641/task/20657/stat : 20657 (java) S 20638 20641 16262 0 -1 4202560 11328 0 0 0 106 3 0 0 20 0 22 0 24012330 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459747256760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20658] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20658/stat : 20658 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012330 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459746203896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20659] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20659/stat : 20659 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012330 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459745151560 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20666] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20666/stat : 20666 (java) S 20638 20641 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24012497 10060525568 56528 33554432000 1073741824 1073778376 140736838964448 140459740889896 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 9824732

[startup+6.30093 s]
/proc/loadavg: 4.48 4.37 4.21 5/219 20675
/proc/meminfo: memFree=24350320/32872528 swapFree=1556504/1720024
[pid=20641] ppid=20638 vsize=9824732 CPUtime=11.05 cores=0,2,4,6
/proc/20641/stat : 20641 (java) S 20638 20641 16262 0 -1 4202496 29492 0 1 0 1071 34 0 0 20 0 22 0 24012324 10060525568 160387 33554432000 1073741824 1073778376 140736838964448 140736838955584 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20641/statm: 2456183 160387 2293 9 0 2446860 0
[pid=20641/tid=20643] ppid=20638 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/20641/task/20643/stat : 20643 (java) S 20638 20641 16262 0 -1 4202560 2546 0 1 0 112 2 0 0 20 0 22 0 24012325 10060525568 160387 33554432000 1073741824 1073778376 140736838964448 140459928273784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20644] ppid=20638 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/20641/task/20644/stat : 20644 (java) S 20638 20641 16262 0 -1 4202560 39 0 0 0 5 1 0 0 20 0 22 0 24012326 10060525568 160387 33554432000 1073741824 1073778376 140736838964448 140459772300200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20645] ppid=20638 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/20641/task/20645/stat : 20645 (java) S 20638 20641 16262 0 -1 4202560 60 0 0 0 6 3 0 0 20 0 22 0 24012326 10060525568 160387 33554432000 1073741824 1073778376 140736838964448 140459771247656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20646] ppid=20638 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/20641/task/20646/stat : 20646 (java) S 20638 20641 16262 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 22 0 24012326 10060525568 160387 33554432000 1073741824 1073778376 140736838964448 140459770194600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20647] ppid=20638 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/20641/task/20647/stat : 20647 (java) S 20638 20641 16262 0 -1 4202560 48 0 0 0 2 2 0 0 20 0 22 0 24012326 10060525568 160387 33554432000 1073741824 1073778376 140736838964448 140459769142056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20648] ppid=20638 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/20641/task/20648/stat : 20648 (java) S 20638 20641 16262 0 -1 4202560 34 0 0 0 3 2 0 0 20 0 22 0 24012326 10060525568 160387 33554432000 1073741824 1073778376 140736838964448 140459768089000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20649] ppid=20638 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/20641/task/20649/stat : 20649 (java) S 20638 20641 16262 0 -1 4202560 43 0 0 0 7 2 0 0 20 0 22 0 24012326 10060525568 160387 33554432000 1073741824 1073778376 140736838964448 140459767036456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20650] ppid=20638 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/20641/task/20650/stat : 20650 (java) S 20638 20641 16262 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 22 0 24012326 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459765983400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20651] ppid=20638 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/20641/task/20651/stat : 20651 (java) S 20638 20641 16262 0 -1 4202560 51 0 0 0 6 3 0 0 20 0 22 0 24012326 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459764930856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20652] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20652/stat : 20652 (java) S 20638 20641 16262 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 24012327 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459752520552 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20653] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20653/stat : 20653 (java) S 20638 20641 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24012328 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459751466872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20641/tid=20654] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20654/stat : 20654 (java) S 20638 20641 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24012328 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459750413704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20641/tid=20655] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20655/stat : 20655 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012330 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459749362448 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20656] ppid=20638 vsize=9824732 CPUtime=1.45 cores=0,2,4,6
/proc/20641/task/20656/stat : 20656 (java) S 20638 20641 16262 0 -1 4202560 13516 0 0 0 142 3 0 0 20 0 22 0 24012330 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459748309304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20657] ppid=20638 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/20641/task/20657/stat : 20657 (java) S 20638 20641 16262 0 -1 4202560 11407 0 0 0 130 3 0 0 20 0 22 0 24012330 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459747256760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20641/tid=20658] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20658/stat : 20658 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012330 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459746203896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20659] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20659/stat : 20659 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012330 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459745151560 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20641/tid=20672] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20672/stat : 20672 (java) S 20638 20641 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24012598 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459741942824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20673] ppid=20638 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/20641/task/20673/stat : 20673 (java) R 20638 20641 16262 0 -1 4202560 10 0 0 0 146 0 0 0 20 0 22 0 24012798 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459744038896 140459801924727 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20674] ppid=20638 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/20641/task/20674/stat : 20674 (java) R 20638 20641 16262 0 -1 4202560 83 0 0 0 146 2 0 0 20 0 22 0 24012798 10060525568 160899 33554432000 1073741824 1073778376 140736838964448 140459742992376 140459802035834 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20675] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

[pid=20641/tid=20651] ppid=20638 vsize=9824732 CPUtime=14.47 cores=0,2,4,6
/proc/20641/task/20651/stat : 20651 (java) S 20638 20641 16262 0 -1 4202560 1855 0 0 0 1390 57 0 0 20 0 22 0 24012326 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459764930856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20641/tid=20652] ppid=20638 vsize=9824732 CPUtime=28.57 cores=0,2,4,6
/proc/20641/task/20652/stat : 20652 (java) S 20638 20641 16262 0 -1 4202560 10546 0 0 0 2843 14 0 0 20 0 22 0 24012327 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459752520552 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20653] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20653/stat : 20653 (java) S 20638 20641 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24012328 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459751466872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20654] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20654/stat : 20654 (java) S 20638 20641 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24012328 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459750413704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20655] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20655/stat : 20655 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012330 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459749362448 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20656] ppid=20638 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/20641/task/20656/stat : 20656 (java) S 20638 20641 16262 0 -1 4202560 13596 0 0 0 200 3 0 0 20 0 22 0 24012330 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459748309304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20657] ppid=20638 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/20641/task/20657/stat : 20657 (java) S 20638 20641 16262 0 -1 4202560 11419 0 0 0 138 3 0 0 20 0 22 0 24012330 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459747256760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20641/tid=20658] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20658/stat : 20658 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012330 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459746203896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20659] ppid=20638 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/20641/task/20659/stat : 20659 (java) S 20638 20641 16262 0 -1 4202560 46 0 0 0 16 16 0 0 20 0 22 0 24012330 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459745151560 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20672] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20672/stat : 20672 (java) S 20638 20641 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24012598 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459741942824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20683] ppid=20638 vsize=9824732 CPUtime=690.8 cores=0,2,4,6
/proc/20641/task/20683/stat : 20683 (java) R 20638 20641 16262 0 -1 4202560 46 0 0 0 69069 11 0 0 20 0 22 0 24020113 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459744045344 140459801960545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20684] ppid=20638 vsize=9824732 CPUtime=690.81 cores=0,2,4,6
/proc/20641/task/20684/stat : 20684 (java) R 20638 20641 16262 0 -1 4202560 71 0 0 0 69070 11 0 0 20 0 22 0 24020113 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459740888256 140459802201273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20685] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20685/stat : 20685 (java) S 20638 20641 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24020113 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459742996008 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1666.4
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.13 4.28 4.25 5/219 20782
/proc/meminfo: memFree=19599960/32872528 swapFree=1556504/1720024
[pid=20641] ppid=20638 vsize=9824732 CPUtime=1790.14 cores=0,2,4,6
/proc/20641/stat : 20641 (java) S 20638 20641 16262 0 -1 4202496 56561 0 1 0 178515 499 0 0 20 0 22 0 24012324 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140736838955584 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20641/statm: 2456183 1518006 2301 9 0 2446860 0
[pid=20641/tid=20643] ppid=20638 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/20641/task/20643/stat : 20643 (java) S 20638 20641 16262 0 -1 4202560 2593 0 1 0 115 5 0 0 20 0 22 0 24012325 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459928273784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20644] ppid=20638 vsize=9824732 CPUtime=13.92 cores=0,2,4,6
/proc/20641/task/20644/stat : 20644 (java) S 20638 20641 16262 0 -1 4202560 1928 0 0 0 1345 47 0 0 20 0 22 0 24012326 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459772300200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20645] ppid=20638 vsize=9824732 CPUtime=15.72 cores=0,2,4,6
/proc/20641/task/20645/stat : 20645 (java) S 20638 20641 16262 0 -1 4202560 2206 0 0 0 1515 57 0 0 20 0 22 0 24012326 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459771247656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20646] ppid=20638 vsize=9824732 CPUtime=15.48 cores=0,2,4,6
/proc/20641/task/20646/stat : 20646 (java) S 20638 20641 16262 0 -1 4202560 2327 0 0 0 1491 57 0 0 20 0 22 0 24012326 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459770194600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20647] ppid=20638 vsize=9824732 CPUtime=15.01 cores=0,2,4,6
/proc/20641/task/20647/stat : 20647 (java) S 20638 20641 16262 0 -1 4202560 2041 0 0 0 1454 47 0 0 20 0 22 0 24012326 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459769142056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20641/tid=20648] ppid=20638 vsize=9824732 CPUtime=13.86 cores=0,2,4,6
/proc/20641/task/20648/stat : 20648 (java) S 20638 20641 16262 0 -1 4202560 1851 0 0 0 1335 51 0 0 20 0 22 0 24012326 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459768089000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20649] ppid=20638 vsize=9824732 CPUtime=14.79 cores=0,2,4,6
/proc/20641/task/20649/stat : 20649 (java) S 20638 20641 16262 0 -1 4202560 1772 0 0 0 1423 56 0 0 20 0 22 0 24012326 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459767036456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20650] ppid=20638 vsize=9824732 CPUtime=13.59 cores=0,2,4,6
/proc/20641/task/20650/stat : 20650 (java) S 20638 20641 16262 0 -1 4202560 1532 0 0 0 1313 46 0 0 20 0 22 0 24012326 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459765983400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20651] ppid=20638 vsize=9824732 CPUtime=15.61 cores=0,2,4,6
/proc/20641/task/20651/stat : 20651 (java) S 20638 20641 16262 0 -1 4202560 1855 0 0 0 1504 57 0 0 20 0 22 0 24012326 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459764930856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20652] ppid=20638 vsize=9824732 CPUtime=28.59 cores=0,2,4,6
/proc/20641/task/20652/stat : 20652 (java) S 20638 20641 16262 0 -1 4202560 10622 0 0 0 2843 16 0 0 20 0 22 0 24012327 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459752520552 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20653] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20653/stat : 20653 (java) S 20638 20641 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24012328 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459751466872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20654] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20654/stat : 20654 (java) S 20638 20641 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24012328 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459750413704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20655] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20655/stat : 20655 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012330 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459749362448 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20656] ppid=20638 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/20641/task/20656/stat : 20656 (java) S 20638 20641 16262 0 -1 4202560 13596 0 0 0 200 3 0 0 20 0 22 0 24012330 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459748309304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20657] ppid=20638 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/20641/task/20657/stat : 20657 (java) S 20638 20641 16262 0 -1 4202560 11419 0 0 0 138 3 0 0 20 0 22 0 24012330 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459747256760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20641/tid=20658] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20658/stat : 20658 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012330 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459746203896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20659] ppid=20638 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/20641/task/20659/stat : 20659 (java) S 20638 20641 16262 0 -1 4202560 50 0 0 0 16 18 0 0 20 0 22 0 24012330 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459745151560 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20672] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20672/stat : 20672 (java) S 20638 20641 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24012598 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459741942824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20683] ppid=20638 vsize=9824732 CPUtime=748.66 cores=0,2,4,6
/proc/20641/task/20683/stat : 20683 (java) R 20638 20641 16262 0 -1 4202560 48 0 0 0 74854 12 0 0 20 0 22 0 24020113 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459744045360 140459801872070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20641/tid=20684] ppid=20638 vsize=9824732 CPUtime=748.68 cores=0,2,4,6
/proc/20641/task/20684/stat : 20684 (java) R 20638 20641 16262 0 -1 4202560 76 0 0 0 74856 12 0 0 20 0 22 0 24020113 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459740888320 140459802201343 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20685] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20685/stat : 20685 (java) S 20638 20641 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24020113 10060525568 1518006 33554432000 1073741824 1073778376 140736838964448 140459742996008 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1790.14
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+887.001 s]
/proc/loadavg: 4.60 4.38 4.28 6/219 20782
/proc/meminfo: memFree=19599344/32872528 swapFree=1556504/1720024
[pid=20641] ppid=20638 vsize=9824732 CPUtime=1799.98 cores=0,2,4,6
/proc/20641/stat : 20641 (java) S 20638 20641 16262 0 -1 4202496 56562 0 1 0 179499 499 0 0 20 0 22 0 24012324 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140736838955584 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20641/statm: 2456183 1518000 2301 9 0 2446860 0
[pid=20641/tid=20643] ppid=20638 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/20641/task/20643/stat : 20643 (java) S 20638 20641 16262 0 -1 4202560 2593 0 1 0 115 5 0 0 20 0 22 0 24012325 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459928273784 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20644] ppid=20638 vsize=9824732 CPUtime=14.03 cores=0,2,4,6
/proc/20641/task/20644/stat : 20644 (java) S 20638 20641 16262 0 -1 4202560 1928 0 0 0 1356 47 0 0 20 0 22 0 24012326 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459772300200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20645] ppid=20638 vsize=9824732 CPUtime=15.95 cores=0,2,4,6
/proc/20641/task/20645/stat : 20645 (java) S 20638 20641 16262 0 -1 4202560 2206 0 0 0 1537 58 0 0 20 0 22 0 24012326 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459771247656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20646] ppid=20638 vsize=9824732 CPUtime=15.59 cores=0,2,4,6
/proc/20641/task/20646/stat : 20646 (java) S 20638 20641 16262 0 -1 4202560 2327 0 0 0 1502 57 0 0 20 0 22 0 24012326 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459770194600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20647] ppid=20638 vsize=9824732 CPUtime=15.12 cores=0,2,4,6
/proc/20641/task/20647/stat : 20647 (java) S 20638 20641 16262 0 -1 4202560 2041 0 0 0 1465 47 0 0 20 0 22 0 24012326 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459769142056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20648] ppid=20638 vsize=9824732 CPUtime=13.93 cores=0,2,4,6
/proc/20641/task/20648/stat : 20648 (java) S 20638 20641 16262 0 -1 4202560 1851 0 0 0 1342 51 0 0 20 0 22 0 24012326 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459768089000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20649] ppid=20638 vsize=9824732 CPUtime=14.86 cores=0,2,4,6
/proc/20641/task/20649/stat : 20649 (java) S 20638 20641 16262 0 -1 4202560 1772 0 0 0 1430 56 0 0 20 0 22 0 24012326 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459767036456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20650] ppid=20638 vsize=9824732 CPUtime=13.7 cores=0,2,4,6
/proc/20641/task/20650/stat : 20650 (java) S 20638 20641 16262 0 -1 4202560 1532 0 0 0 1324 46 0 0 20 0 22 0 24012326 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459765983400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20651] ppid=20638 vsize=9824732 CPUtime=15.71 cores=0,2,4,6
/proc/20641/task/20651/stat : 20651 (java) S 20638 20641 16262 0 -1 4202560 1855 0 0 0 1514 57 0 0 20 0 22 0 24012326 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459764930856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20652] ppid=20638 vsize=9824732 CPUtime=28.59 cores=0,2,4,6
/proc/20641/task/20652/stat : 20652 (java) S 20638 20641 16262 0 -1 4202560 10622 0 0 0 2843 16 0 0 20 0 22 0 24012327 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459752520552 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20653] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20653/stat : 20653 (java) S 20638 20641 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24012328 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459751466872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20654] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20654/stat : 20654 (java) S 20638 20641 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24012328 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459750413704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20655] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20655/stat : 20655 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012330 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459749362448 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20656] ppid=20638 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/20641/task/20656/stat : 20656 (java) S 20638 20641 16262 0 -1 4202560 13596 0 0 0 200 3 0 0 20 0 22 0 24012330 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459748309304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20641/tid=20657] ppid=20638 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/20641/task/20657/stat : 20657 (java) S 20638 20641 16262 0 -1 4202560 11419 0 0 0 138 3 0 0 20 0 22 0 24012330 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459747256760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20641/tid=20658] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20658/stat : 20658 (java) S 20638 20641 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24012330 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459746203896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20659] ppid=20638 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/20641/task/20659/stat : 20659 (java) S 20638 20641 16262 0 -1 4202560 50 0 0 0 16 18 0 0 20 0 22 0 24012330 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459745151560 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20672] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20672/stat : 20672 (java) S 20638 20641 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24012598 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459741942824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20641/tid=20683] ppid=20638 vsize=9824732 CPUtime=753.1 cores=0,2,4,6
/proc/20641/task/20683/stat : 20683 (java) R 20638 20641 16262 0 -1 4202560 48 0 0 0 75298 12 0 0 20 0 22 0 24020113 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459744045360 140459801925047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20641/tid=20684] ppid=20638 vsize=9824732 CPUtime=753.13 cores=0,2,4,6
/proc/20641/task/20684/stat : 20684 (java) R 20638 20641 16262 0 -1 4202560 77 0 0 0 75301 12 0 0 20 0 22 0 24020113 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459740888256 140459802200766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20641/tid=20685] ppid=20638 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20641/task/20685/stat : 20685 (java) S 20638 20641 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24020113 10060525568 1518000 33554432000 1073741824 1073778376 140736838964448 140459742996008 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 9824732

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 20641 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20641 and gives
#  childrusage.ru_utime.tv_sec=1790
#  childrusage.ru_utime.tv_usec=580790
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=409177
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1799.98
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.149986
#  lost CPU user time (s): 0.169991
#  lost CPU system time (s): -0.02

Real time (s): 887.088
CPU time (s): 1800.13
CPU user time (s): 1795.16
CPU system time (s): 4.97
CPU usage (%): 202.926
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.58
system time used= 5.40918
maximum resident set size= 6072112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56600
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26505
involuntary context switches= 65739

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71413 second user time and 7.15391 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-18 05:13:57
IDJOB=4103106
IDBENCH=2269
IDSOLVER=2543
FILE ID=node117/4103106-1466219637
RUNJOBID= node117-1466206104-16278
PBS_JOBID= 19918159
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103106-1466219637/watcher-4103106-1466219637 -o /tmp/evaluation-result-4103106-1466219637/solver-4103106-1466219637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16278 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4103106-1466219637.opb

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

MD5SUM BENCH= 2295cbab79cf702b6a93f1d0b8bae876
RANDOM SEED=980427570

node117.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.912
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.82
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.912
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.912
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.912
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.912
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.54
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.912
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.912
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.54
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.912
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:        24814144 kB
Buffers:          156284 kB
Cached:          1772380 kB
SwapCached:            0 kB
Active:          3761496 kB
Inactive:        1808780 kB
Active(anon):    3644156 kB
Inactive(anon):      176 kB
Active(file):     117340 kB
Inactive(file):  1808604 kB
Unevictable:     1720024 kB
Mlocked:         1556504 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3968 kB
Writeback:             0 kB
AnonPages:       5308076 kB
Mapped:            21184 kB
Shmem:               204 kB
Slab:             621044 kB
SReclaimable:      65056 kB
SUnreclaim:       555988 kB
KernelStack:        1792 kB
PageTables:        14920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6005252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3661824 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= 71736 MiB
End job on node117 at 2016-06-18 05:28:44