Trace number 3710026

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 specific settings 2.3.2 snapshot? (TO) 1800.03 1795.77

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K180.opb
MD5SUMf1881d1e83243719865906bde58f94f2
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21420
Total number of constraints21782
Number of constraints which are clauses21602
Number of constraints which are cardinality constraints (but not clauses)180
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint180
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 181
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
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
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710026-1338217775.opb
0.09/0.12	c reading problem ... 
0.91/0.59	c ... done. Wall clock time 0.466s.
0.91/0.59	c declared #vars     21420
0.91/0.59	c #constraints  21782
0.91/0.59	c constraints type 
0.91/0.59	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19273
0.91/0.59	c org.sat4j.minisat.constraints.card.MinWatchCard => 180
0.91/0.59	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.91/0.59	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2327
0.91/0.59	c 21782 constraints processed.
4.77/3.88	c cleaning 2449 clauses out of 4995 with flag 5000/5000
8.38/7.35	c cleaning 4233 clauses out of 8536 with flag 11000/11000
12.19/11.19	c cleaning 5581 clauses out of 11295 with flag 18000/18000
17.22/16.10	c cleaning 6705 clauses out of 13709 with flag 26000/26000
22.16/21.09	c cleaning 7612 clauses out of 16001 with flag 35000/35000
28.26/27.16	c cleaning 7719 clauses out of 18386 with flag 45000/45000
33.97/32.89	c cleaning 8854 clauses out of 21667 with flag 56000/56000
40.68/39.53	c cleaning 10137 clauses out of 24813 with flag 68000/68000
47.91/46.79	c cleaning 11249 clauses out of 27670 with flag 81000/81000
55.02/53.85	c cleaning 11191 clauses out of 30418 with flag 95000/95000
63.18/61.95	c cleaning 12245 clauses out of 34226 with flag 110000/110000
73.02/71.79	c cleaning 13411 clauses out of 37982 with flag 126001/126001
83.42/82.11	c cleaning 14353 clauses out of 41569 with flag 143000/143000
93.53/92.25	c cleaning 14866 clauses out of 45212 with flag 161000/161000
104.49/103.16	c cleaning 15529 clauses out of 49346 with flag 180000/180000
115.20/113.89	c cleaning 16926 clauses out of 53817 with flag 200000/200000
129.04/127.63	c cleaning 17929 clauses out of 57889 with flag 221000/221000
141.66/140.25	c cleaning 19027 clauses out of 61960 with flag 243000/243000
154.92/153.45	c cleaning 19100 clauses out of 65935 with flag 266002/266002
168.94/167.49	c cleaning 20966 clauses out of 70833 with flag 290000/290000
183.78/182.28	c cleaning 21178 clauses out of 74867 with flag 315000/315000
200.81/199.25	c cleaning 22702 clauses out of 79688 with flag 341000/341000
219.04/217.42	c cleaning 23910 clauses out of 83988 with flag 368002/368002
235.72/234.09	c cleaning 23938 clauses out of 88075 with flag 396002/396002
252.76/251.01	c cleaning 24780 clauses out of 93135 with flag 425000/425000
271.18/269.45	c cleaning 25794 clauses out of 98357 with flag 455002/455002
290.01/288.26	c cleaning 26793 clauses out of 103561 with flag 486000/486000
307.52/305.77	c cleaning 28000 clauses out of 108768 with flag 518000/518000
327.23/325.45	c cleaning 28677 clauses out of 113768 with flag 551000/551000
346.96/345.19	c cleaning 29849 clauses out of 119091 with flag 585000/585000
368.80/366.92	c cleaning 30530 clauses out of 124242 with flag 620000/620000
389.94/388.03	c cleaning 32184 clauses out of 129710 with flag 656000/656000
412.06/410.12	c cleaning 33072 clauses out of 134526 with flag 693000/693000
435.47/433.55	c cleaning 33504 clauses out of 139454 with flag 731000/731000
459.41/457.40	c cleaning 34281 clauses out of 144950 with flag 770000/770000
482.94/480.94	c cleaning 35223 clauses out of 150669 with flag 810000/810000
508.37/506.31	c cleaning 35421 clauses out of 156448 with flag 851002/851002
534.28/532.24	c cleaning 36739 clauses out of 163026 with flag 893001/893001
561.19/559.16	c cleaning 39197 clauses out of 169286 with flag 936000/936000
587.45/585.32	c cleaning 39903 clauses out of 174089 with flag 980000/980000
615.49/613.38	c cleaning 40084 clauses out of 179186 with flag 1025000/1025000
644.16/641.96	c cleaning 41400 clauses out of 185101 with flag 1071000/1071000
676.21/673.91	c cleaning 43303 clauses out of 190701 with flag 1118000/1118000
707.40/705.08	c cleaning 43847 clauses out of 195398 with flag 1166000/1166000
735.74/733.31	c cleaning 44006 clauses out of 200551 with flag 1215000/1215000
768.90/766.45	c cleaning 46334 clauses out of 206543 with flag 1265000/1265000
800.12/797.51	c cleaning 46274 clauses out of 211210 with flag 1316001/1316001
832.35/829.74	c cleaning 48452 clauses out of 216935 with flag 1368000/1368000
866.53/863.87	c cleaning 48343 clauses out of 221483 with flag 1421000/1421000
901.19/898.47	c cleaning 49268 clauses out of 227138 with flag 1475001/1475001
936.04/933.28	c cleaning 50857 clauses out of 232874 with flag 1530005/1530005
975.22/972.39	c cleaning 51817 clauses out of 238012 with flag 1586000/1586000
1013.80/1010.81	c cleaning 52539 clauses out of 243195 with flag 1643000/1643000
1052.75/1049.77	c cleaning 52795 clauses out of 248654 with flag 1701000/1701000
1093.40/1090.38	c cleaning 54659 clauses out of 254859 with flag 1760000/1760000
1131.47/1128.31	c cleaning 55155 clauses out of 260200 with flag 1820001/1820001
1171.77/1168.50	c cleaning 56625 clauses out of 266045 with flag 1881001/1881001
1214.51/1211.23	c cleaning 58613 clauses out of 271419 with flag 1943000/1943000
1256.38/1253.02	c cleaning 58859 clauses out of 275807 with flag 2006001/2006001
1309.83/1306.43	c cleaning 61213 clauses out of 280950 with flag 2070004/2070004
1387.58/1383.94	c cleaning 63511 clauses out of 284733 with flag 2135000/2135000
1430.68/1426.96	c cleaning 61522 clauses out of 287222 with flag 2201000/2201000
1473.32/1469.56	c cleaning 62508 clauses out of 292699 with flag 2268001/2268001
1518.80/1514.97	c cleaning 63602 clauses out of 298191 with flag 2336001/2336001
1565.36/1561.44	c cleaning 65160 clauses out of 303588 with flag 2405000/2405000
1618.42/1614.43	c cleaning 65177 clauses out of 308428 with flag 2475000/2475000
1669.18/1665.16	c cleaning 65597 clauses out of 314250 with flag 2546001/2546001
1719.86/1715.78	c cleaning 67102 clauses out of 320654 with flag 2618004/2618004
1773.24/1769.08	c cleaning 69238 clauses out of 326546 with flag 2691000/2691000
1800.03/1795.71	c starts		: 228
1800.03/1795.71	c conflicts		: 2730660
1800.03/1795.71	c decisions		: 20346344
1800.03/1795.71	c propagations		: 3288995204
1800.03/1795.71	c inspects		: 6520764288
1800.03/1795.71	c shortcuts		: 0
1800.03/1795.71	c learnt literals	: 42
1800.03/1795.71	c learnt binary clauses	: 223533
1800.03/1795.71	c learnt ternary clauses	: 247717
1800.03/1795.71	c learnt constraints	: 2730618
1800.03/1795.71	c ignored constraints	: 0
1800.03/1795.71	c root simplifications	: 270
1800.03/1795.71	c removed literals (reason simplification)	: 33697224
1800.03/1795.71	c reason swapping (by a shorter reason)	: 0
1800.03/1795.71	c Calls to reduceDB	: 69
1800.03/1795.71	c number of reductions to clauses (during analyze)	: 0
1800.03/1795.71	c number of learned constraints concerned by reduction	: 0
1800.03/1795.71	c number of learning phase by resolution	: 0
1800.03/1795.71	c number of learning phase by cutting planes	: 0
1800.03/1795.71	c speed (assignments/second)	: 1832207.5811932483
1800.03/1795.71	c non guided choices	5068
1800.03/1795.76	c learnt constraints type 
1800.03/1795.76	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 223533
1800.03/1795.76	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 73511
1800.03/1795.76	c constraints type 
1800.03/1795.76	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19273
1800.03/1795.76	c org.sat4j.minisat.constraints.card.MinWatchCard => 180
1800.03/1795.76	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1800.03/1795.76	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2327
1800.03/1795.76	c 21782 constraints processed.
1800.03/1795.76	s UNKNOWN
1800.03/1795.76	c Total wall clock time (in seconds): 1795.639

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710026-1338217775/watcher-3710026-1338217775 -o /tmp/evaluation-result-3710026-1338217775/solver-3710026-1338217775 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710026-1338217775.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 16097
/proc/meminfo: memFree=27047084/32873660 swapFree=7120/7120
[pid=16097] ppid=16095 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/16097/stat : 16097 (java) D 16095 16097 13800 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 287903236 9515008 183 33554432000 1073741824 1073778376 140737293671920 140737293662952 270330052277 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/16097/statm: 2323 183 140 9 0 71 0

[startup+0.022912 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 16097
/proc/meminfo: memFree=27047084/32873660 swapFree=7120/7120
[pid=16097] ppid=16095 vsize=9014776 CPUtime=0 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 13800 0 -1 4202496 2151 0 1 0 0 0 0 0 20 0 10 0 287903236 9231130624 1831 33554432000 1073741824 1073778376 140736389067040 140736389058176 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16097/statm: 2253694 1831 1005 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776

[startup+0.100241 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 16097
/proc/meminfo: memFree=27047084/32873660 swapFree=7120/7120
[pid=16097] ppid=16095 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 13800 0 -1 4202496 4314 0 1 0 8 1 0 0 20 0 18 0 287903236 9787842560 5010 33554432000 1073741824 1073778376 140736389067040 140736389058176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16097/statm: 2389610 5010 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300231 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 16097
/proc/meminfo: memFree=27047084/32873660 swapFree=7120/7120
[pid=16097] ppid=16095 vsize=9558440 CPUtime=0.54 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 13800 0 -1 4202496 7253 0 1 0 52 2 0 0 20 0 18 0 287903236 9787842560 11047 33554432000 1073741824 1073778376 140736389067040 140736389058176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16097/statm: 2389610 11047 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558440

[startup+0.700169 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 16097
/proc/meminfo: memFree=27047084/32873660 swapFree=7120/7120
[pid=16097] ppid=16095 vsize=9625004 CPUtime=1.42 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 13800 0 -1 4202496 9270 0 1 0 138 4 0 0 20 0 19 0 287903236 9856004096 39484 33554432000 1073741824 1073778376 140736389067040 140736389058176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16097/statm: 2406251 39484 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9625004

[startup+1.50069 s]
/proc/loadavg: 1.93 2.00 1.99 3/213 16116
/proc/meminfo: memFree=26898348/32873660 swapFree=7120/7120
[pid=16097] ppid=16095 vsize=9625004 CPUtime=2.46 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 13800 0 -1 4202496 9653 0 1 0 242 4 0 0 20 0 19 0 287903236 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 140736389058176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16097/statm: 2406251 39526 2262 9 0 2396937 0
[pid=16097/tid=16099] ppid=16095 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) R 16095 16097 13800 0 -1 4202560 2618 0 1 0 143 3 0 0 20 0 19 0 287903237 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764275667512 139764216172406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764214397864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764213345320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764212292264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764211239720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764210186664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764113816104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764112763048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16107] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16107/stat : 16107 (java) S 16095 16097 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764111710504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16108] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16108/stat : 16108 (java) S 16095 16097 13800 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 287903239 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764099513192 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16109] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16109/stat : 16109 (java) S 16095 16097 13800 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 287903240 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764098459512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16110] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16110/stat : 16110 (java) S 16095 16097 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287903240 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764097406344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16111] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16111/stat : 16111 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764096355088 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16112] ppid=16095 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/16097/task/16112/stat : 16112 (java) S 16095 16097 13800 0 -1 4202560 3399 0 0 0 48 1 0 0 20 0 19 0 287903242 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764095301944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16113] ppid=16095 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/16097/task/16113/stat : 16113 (java) S 16095 16097 13800 0 -1 4202560 2436 0 0 0 46 0 0 0 20 0 19 0 287903242 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764094249400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16114] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16114/stat : 16114 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764093196536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16115] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16115/stat : 16115 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764092144200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16116] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16116/stat : 16116 (java) S 16095 16097 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287903297 9856004096 39526 33554432000 1073741824 1073778376 140736389067040 139764091090472 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9625004

[startup+3.10073 s]
/proc/loadavg: 1.93 2.00 1.99 3/213 16116
/proc/meminfo: memFree=26897596/32873660 swapFree=7120/7120
[pid=16097] ppid=16095 vsize=9625004 CPUtime=4.06 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 13800 0 -1 4202496 9656 0 1 0 402 4 0 0 20 0 19 0 287903236 9856004096 39527 33554432000 1073741824 1073778376 140736389067040 140736389058176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16097/statm: 2406251 39527 2262 9 0 2396937 0
[pid=16097/tid=16099] ppid=16095 vsize=9625004 CPUtime=3.06 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) R 16095 16097 13800 0 -1 4202560 2620 0 1 0 303 3 0 0 20 0 19 0 287903237 9856004096 39527 33554432000 1073741824 1073778376 140736389067040 139764275667592 139764216098101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39527 33554432000 1073741824 1073778376 140736389067040 139764214397864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39527 33554432000 1073741824 1073778376 140736389067040 139764213345320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39527 33554432000 1073741824 1073778376 140736389067040 139764212292264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39527 33554432000 1073741824 1073778376 140736389067040 139764211239720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 39527 33554432000 1073741824 1073778376 140736389067040 139764210186664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 40039 33554432000 1073741824 1073778376 140736389067040 139764113816104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 40039 33554432000 1073741824 1073778376 140736389067040 139764112763048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16107] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16107/stat : 16107 (java) S 16095 16097 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 40039 33554432000 1073741824 1073778376 140736389067040 139764111710504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16108] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16108/stat : 16108 (java) S 16095 16097 13800 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 287903239 9856004096 40039 33554432000 1073741824 1073778376 140736389067040 139764099513192 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16109] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16109/stat : 16109 (java) S 16095 16097 13800 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 287903240 9856004096 40039 33554432000 1073741824 1073778376 140736389067040 139764098459512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16110] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16110/stat : 16110 (java) S 16095 16097 13800 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287903240 9856004096 40039 33554432000 1073741824 1073778376 140736389067040 139764097406344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16111] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16111/stat : 16111 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 40039 33554432000 1073741824 1073778376 140736389067040 139764096355088 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16112] ppid=16095 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/16097/task/16112/stat : 16112 (java) S 16095 16097 13800 0 -1 4202560 3399 0 0 0 48 1 0 0 20 0 19 0 287903242 9856004096 40039 33554432000 1073741824 1073778376 140736389067040 139764095301944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16113] ppid=16095 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/16097/task/16113/stat : 16113 (java) S 16095 16097 13800 0 -1 4202560 2436 0 0 0 46 0 0 0 20 0 19 0 287903242 9856004096 40039 33554432000 1073741824 1073778376 140736389067040 139764094249400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16114] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16114/stat : 16114 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 40039 33554432000 1073741824 1073778376 140736389067040 139764093196536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16115] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16115/stat : 16115 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 40039 33554432000 1073741824 1073778376 140736389067040 139764092144200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16116] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16116/stat : 16116 (java) S 16095 16097 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287903297 9856004096 40039 33554432000 1073741824 1073778376 140736389067040 139764091090472 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 9625004

[startup+6.30073 s]
/proc/loadavg: 1.94 2.00 1.99 3/213 16116
/proc/meminfo: memFree=26876876/32873660 swapFree=7120/7120
[pid=16097] ppid=16095 vsize=9625004 CPUtime=7.34 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 13800 0 -1 4202496 9728 0 1 0 729 5 0 0 20 0 19 0 287903236 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 140736389058176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16097/statm: 2406251 44511 2287 9 0 2396937 0
[pid=16097/tid=16099] ppid=16095 vsize=9625004 CPUtime=6.21 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) R 16095 16097 13800 0 -1 4202560 2625 0 1 0 618 3 0 0 20 0 19 0 287903237 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764275667432 139764216191776 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 13800 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764214397864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 13800 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764213345320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764212292264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 13800 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764211239720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764210186664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 13800 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764113816104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 13800 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764112763048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16107] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16107/stat : 16107 (java) S 16095 16097 13800 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287903238 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764111710504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16108] ppid=16095 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/16097/task/16108/stat : 16108 (java) S 16095 16097 13800 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 287903239 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764099513192 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16109] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16109/stat : 16109 (java) S 16095 16097 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287903240 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764098459512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16110] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16110/stat : 16110 (java) S 16095 16097 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287903240 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764097406344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16111] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16111/stat : 16111 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764096355088 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16112] ppid=16095 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/16097/task/16112/stat : 16112 (java) S 16095 16097 13800 0 -1 4202560 3405 0 0 0 51 1 0 0 20 0 19 0 287903242 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764095301944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16113] ppid=16095 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/16097/task/16113/stat : 16113 (java) S 16095 16097 13800 0 -1 4202560 2444 0 0 0 49 0 0 0 20 0 19 0 287903242 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764094249400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16114] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16114/stat : 16114 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764093196536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16115] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16115/stat : 16115 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764092144200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16116] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16116/stat : 16116 (java) S 16095 16097 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287903297 9856004096 44511 33554432000 1073741824 1073778376 140736389067040 139764091090472 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=16097/tid=16112] ppid=16095 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/16097/task/16112/stat : 16112 (java) S 16095 16097 13800 0 -1 4202560 3441 0 0 0 69 1 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764095301944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16113] ppid=16095 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/16097/task/16113/stat : 16113 (java) S 16095 16097 13800 0 -1 4202560 2444 0 0 0 53 0 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764094249400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16114] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16114/stat : 16114 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764093196536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16115] ppid=16095 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/16097/task/16115/stat : 16115 (java) S 16095 16097 13800 0 -1 4202560 99 0 0 0 23 20 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764092144200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16116] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16116/stat : 16116 (java) S 16095 16097 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287903297 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764091090472 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1726.53
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/213 16190
/proc/meminfo: memFree=26658280/32873660 swapFree=7120/7120
[pid=16097] ppid=16095 vsize=9625004 CPUtime=1786.63 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 13800 0 -1 4202496 11238 0 1 0 178602 61 0 0 20 0 19 0 287903236 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 140736389058176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16097/statm: 2406251 105582 2288 9 0 2396937 0
[pid=16097/tid=16099] ppid=16095 vsize=9625004 CPUtime=1772.14 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) R 16095 16097 13800 0 -1 4202560 2694 0 1 0 177184 30 0 0 20 0 19 0 287903237 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764275667232 139764216215714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 13800 0 -1 4202560 157 0 0 0 43 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764214397864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 13800 0 -1 4202560 167 0 0 0 48 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764213345320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 13800 0 -1 4202560 171 0 0 0 49 3 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764212292264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 13800 0 -1 4202560 151 0 0 0 46 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764211239720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 13800 0 -1 4202560 227 0 0 0 53 6 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764210186664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 13800 0 -1 4202560 193 0 0 0 43 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764113816104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 13800 0 -1 4202560 80 0 0 0 50 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764112763048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16107] ppid=16095 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/16097/task/16107/stat : 16107 (java) S 16095 16097 13800 0 -1 4202560 73 0 0 0 44 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764111710504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16108] ppid=16095 vsize=9625004 CPUtime=4.13 cores=0,2,4,6
/proc/16097/task/16108/stat : 16108 (java) S 16095 16097 13800 0 -1 4202560 151 0 0 0 412 1 0 0 20 0 19 0 287903239 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764099513192 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16109] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16109/stat : 16109 (java) S 16095 16097 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287903240 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764098459512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16110] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16110/stat : 16110 (java) S 16095 16097 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287903240 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764097406344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16111] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16111/stat : 16111 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764096355088 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16112] ppid=16095 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/16097/task/16112/stat : 16112 (java) S 16095 16097 13800 0 -1 4202560 3441 0 0 0 69 1 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764095301944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16113] ppid=16095 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/16097/task/16113/stat : 16113 (java) S 16095 16097 13800 0 -1 4202560 2444 0 0 0 53 0 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764094249400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16114] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16114/stat : 16114 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764093196536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16115] ppid=16095 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/16097/task/16115/stat : 16115 (java) S 16095 16097 13800 0 -1 4202560 103 0 0 0 24 21 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764092144200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16116] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16116/stat : 16116 (java) S 16095 16097 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287903297 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764091090472 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1786.63
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 16190
/proc/meminfo: memFree=26650088/32873660 swapFree=7120/7120
[pid=16097] ppid=16095 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 13800 0 -1 4202496 11238 0 1 0 179942 61 0 0 20 0 19 0 287903236 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 140736389058176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16097/statm: 2406251 105582 2288 9 0 2396937 0
[pid=16097/tid=16099] ppid=16095 vsize=9625004 CPUtime=1785.51 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) R 16095 16097 13800 0 -1 4202560 2694 0 1 0 178520 31 0 0 20 0 19 0 287903237 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764275667232 139764216077645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 13800 0 -1 4202560 157 0 0 0 43 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764214397864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 13800 0 -1 4202560 167 0 0 0 48 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764213345320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 13800 0 -1 4202560 171 0 0 0 49 3 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764212292264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 13800 0 -1 4202560 151 0 0 0 46 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764211239720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 13800 0 -1 4202560 227 0 0 0 53 6 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764210186664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 13800 0 -1 4202560 193 0 0 0 43 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764113816104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 13800 0 -1 4202560 80 0 0 0 50 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764112763048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16107] ppid=16095 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/16097/task/16107/stat : 16107 (java) S 16095 16097 13800 0 -1 4202560 73 0 0 0 44 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764111710504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16108] ppid=16095 vsize=9625004 CPUtime=4.13 cores=0,2,4,6
/proc/16097/task/16108/stat : 16108 (java) S 16095 16097 13800 0 -1 4202560 151 0 0 0 412 1 0 0 20 0 19 0 287903239 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764099513192 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16109] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16109/stat : 16109 (java) S 16095 16097 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287903240 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764098459512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16110] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16110/stat : 16110 (java) S 16095 16097 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287903240 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764097406344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16111] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16111/stat : 16111 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764096355088 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16112] ppid=16095 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/16097/task/16112/stat : 16112 (java) S 16095 16097 13800 0 -1 4202560 3441 0 0 0 69 1 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764095301944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16113] ppid=16095 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/16097/task/16113/stat : 16113 (java) S 16095 16097 13800 0 -1 4202560 2444 0 0 0 53 0 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764094249400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16114] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16114/stat : 16114 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764093196536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16115] ppid=16095 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/16097/task/16115/stat : 16115 (java) S 16095 16097 13800 0 -1 4202560 103 0 0 0 24 21 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764092144200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16116] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16116/stat : 16116 (java) S 16095 16097 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287903297 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764091090472 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

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

Solver just ended. Dumping a history of the last processes samples

[startup+1795.7 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 16190
/proc/meminfo: memFree=26650088/32873660 swapFree=7120/7120
[pid=16097] ppid=16095 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/16097/stat : 16097 (java) S 16095 16097 13800 0 -1 4202496 11238 0 1 0 179942 61 0 0 20 0 19 0 287903236 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 140736389058176 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16097/statm: 2406251 105582 2288 9 0 2396937 0
[pid=16097/tid=16099] ppid=16095 vsize=9625004 CPUtime=1785.51 cores=0,2,4,6
/proc/16097/task/16099/stat : 16099 (java) R 16095 16097 13800 0 -1 4202560 2694 0 1 0 178520 31 0 0 20 0 19 0 287903237 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764275667232 139764216077645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16100] ppid=16095 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/16097/task/16100/stat : 16100 (java) S 16095 16097 13800 0 -1 4202560 157 0 0 0 43 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764214397864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16101] ppid=16095 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/16097/task/16101/stat : 16101 (java) S 16095 16097 13800 0 -1 4202560 167 0 0 0 48 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764213345320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16102] ppid=16095 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/16097/task/16102/stat : 16102 (java) S 16095 16097 13800 0 -1 4202560 171 0 0 0 49 3 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764212292264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16103] ppid=16095 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/16097/task/16103/stat : 16103 (java) S 16095 16097 13800 0 -1 4202560 151 0 0 0 46 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764211239720 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16097/tid=16104] ppid=16095 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/16097/task/16104/stat : 16104 (java) S 16095 16097 13800 0 -1 4202560 227 0 0 0 53 6 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764210186664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16105] ppid=16095 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/16097/task/16105/stat : 16105 (java) S 16095 16097 13800 0 -1 4202560 193 0 0 0 43 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764113816104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16106] ppid=16095 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/16097/task/16106/stat : 16106 (java) S 16095 16097 13800 0 -1 4202560 80 0 0 0 50 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764112763048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16107] ppid=16095 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/16097/task/16107/stat : 16107 (java) S 16095 16097 13800 0 -1 4202560 73 0 0 0 44 4 0 0 20 0 19 0 287903238 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764111710504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16108] ppid=16095 vsize=9625004 CPUtime=4.13 cores=0,2,4,6
/proc/16097/task/16108/stat : 16108 (java) S 16095 16097 13800 0 -1 4202560 151 0 0 0 412 1 0 0 20 0 19 0 287903239 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764099513192 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16109] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16109/stat : 16109 (java) S 16095 16097 13800 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287903240 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764098459512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16110] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16110/stat : 16110 (java) S 16095 16097 13800 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287903240 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764097406344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16111] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16111/stat : 16111 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764096355088 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16097/tid=16112] ppid=16095 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/16097/task/16112/stat : 16112 (java) S 16095 16097 13800 0 -1 4202560 3441 0 0 0 69 1 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764095301944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16113] ppid=16095 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/16097/task/16113/stat : 16113 (java) S 16095 16097 13800 0 -1 4202560 2444 0 0 0 53 0 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764094249400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16114] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16114/stat : 16114 (java) S 16095 16097 13800 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764093196536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16097/tid=16115] ppid=16095 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/16097/task/16115/stat : 16115 (java) S 16095 16097 13800 0 -1 4202560 103 0 0 0 24 21 0 0 20 0 19 0 287903242 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764092144200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16097/tid=16116] ppid=16095 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/16097/task/16116/stat : 16116 (java) S 16095 16097 13800 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287903297 9856004096 105582 33554432000 1073741824 1073778376 140736389067040 139764091090472 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16097 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=818146
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=11846
# CPU time returned by wait4() is 1795.83
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.77
CPU time (s): 1800.03
CPU user time (s): 1799.42
CPU system time (s): 0.61
CPU usage (%): 100.237
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.82
system time used= 1.01185
maximum resident set size= 422452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11271
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39874
involuntary context switches= 19471

runsolver used 5.64014 second user time and 14.6328 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-28 17:09:35
IDJOB=3710026
IDBENCH=90186
IDSOLVER=2289
FILE ID=node117/3710026-1338217775
RUNJOBID= node117-1338194296-13816
PBS_JOBID= 14624597
Free space on /tmp= 70048 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K180.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710026-1338217775/watcher-3710026-1338217775 -o /tmp/evaluation-result-3710026-1338217775/solver-3710026-1338217775 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710026-1338217775.opb

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

MD5SUM BENCH= f1881d1e83243719865906bde58f94f2
RANDOM SEED=1377522181

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		: 2667.148
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	: 5334.29
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		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        27047876 kB
Buffers:          586448 kB
Cached:          4121276 kB
SwapCached:            0 kB
Active:          2682188 kB
Inactive:        2228264 kB
Active(anon):     186636 kB
Inactive(anon):    11352 kB
Active(file):    2495552 kB
Inactive(file):  2216912 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2408 kB
Writeback:             0 kB
AnonPages:        206224 kB
Mapped:            22560 kB
Shmem:               200 kB
Slab:             773684 kB
SReclaimable:     217516 kB
SUnreclaim:       556168 kB
KernelStack:        1600 kB
PageTables:         4624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     699752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70048 MiB
End job on node117 at 2012-05-28 17:39:33