Trace number 3742396

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
PB11: Sat4j Res//CP 2.3.0? (TO) 1800.15 907.174

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K163.opb
MD5SUM5c9e224cdd9eef3594ee47236fa33798
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 variables19397
Total number of constraints19725
Number of constraints which are clauses19562
Number of constraints which are cardinality constraints (but not clauses)163
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint163
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 164
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.07/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.11	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.11	c Number of processors 	8
0.07/0.14	c Pseudo Boolean Optimization
0.07/0.14	c ManyCore solver with 2 solvers running in parallel
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.14	c Expensive reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	c Glucose learned constraints deletion strategy
0.07/0.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=false
0.07/0.14	c --- End Solver configuration ---
0.07/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.14	c No reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	c Glucose learned constraints deletion strategy
0.07/0.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=false
0.07/0.14	c --- End Solver configuration ---
0.07/0.14	c solving HOME/instance-3742396-1338766346.opb
0.07/0.14	c reading problem ... 
1.16/0.64	c ... done. Wall clock time 0.502s.
1.16/0.64	c #vars     19397
1.16/0.64	c #constraints  19725
1.16/0.64	c constraints type 
1.16/0.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17454
1.16/0.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 163
1.16/0.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2106
1.16/0.64	c constraints type 
1.16/0.64	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2106
1.16/0.64	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17454
1.16/0.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 163
8.79/3.71	c cleaning 2480 clauses out of 4995 with flag 5000/5000
15.91/7.20	c cleaning 4190 clauses out of 8508 with flag 11002/11002
22.66/10.63	c cleaning 5536 clauses out of 11314 with flag 18001/18001
31.30/14.91	c cleaning 6878 clauses out of 13770 with flag 26000/26000
41.13/19.83	c cleaning 7723 clauses out of 15892 with flag 35001/35001
52.06/25.31	c cleaning 8800 clauses out of 18167 with flag 45000/45000
64.18/31.40	c cleaning 9881 clauses out of 20366 with flag 56003/56003
82.89/40.86	c cleaning 10983 clauses out of 22475 with flag 68000/68000
96.95/47.90	c cleaning 11945 clauses out of 24491 with flag 81000/81000
115.31/57.13	c cleaning 13025 clauses out of 26539 with flag 95000/95000
131.81/65.49	c cleaning 13960 clauses out of 28512 with flag 110001/110001
155.74/77.45	c cleaning 15059 clauses out of 30550 with flag 126000/126000
181.23/90.21	c cleaning 15894 clauses out of 32491 with flag 143001/143001
207.96/103.67	c cleaning 16851 clauses out of 34595 with flag 161000/161000
233.64/116.52	c cleaning 18086 clauses out of 36744 with flag 180000/180000
258.11/128.81	c cleaning 19123 clauses out of 38657 with flag 200000/200000
288.35/144.08	c cleaning 19340 clauses out of 39534 with flag 220000/220000
311.62/155.75	c cleaning 19793 clauses out of 40191 with flag 240002/240002
346.69/173.33	c cleaning 19899 clauses out of 40397 with flag 260002/260002
368.35/184.28	c cleaning 19791 clauses out of 40488 with flag 280000/280000
401.57/200.99	c cleaning 19358 clauses out of 40695 with flag 300000/300000
461.25/230.82	c cleaning 19169 clauses out of 41340 with flag 320003/320003
485.08/242.84	c cleaning 18707 clauses out of 42160 with flag 340000/340000
529.78/265.23	c cleaning 18770 clauses out of 43453 with flag 360001/360001
675.19/338.00	c cleaning 19852 clauses out of 44685 with flag 380003/380003
701.21/351.11	c cleaning 18322 clauses out of 44828 with flag 400000/400000
725.85/363.53	c cleaning 18805 clauses out of 46506 with flag 420000/420000
750.44/375.92	c cleaning 18529 clauses out of 47702 with flag 440002/440002
775.26/388.52	c cleaning 19035 clauses out of 49173 with flag 460004/460004
798.45/400.24	c cleaning 18440 clauses out of 50129 with flag 480001/480001
824.85/413.60	c cleaning 18827 clauses out of 51688 with flag 500000/500000
850.83/426.70	c cleaning 18857 clauses out of 52859 with flag 520001/520001
883.83/443.34	c cleaning 19019 clauses out of 54001 with flag 540000/540000
907.77/455.44	c cleaning 18805 clauses out of 54982 with flag 560000/560000
915.25/459.34	c cleaning 0 clauses out of 5000 with flag 0/5000
930.06/466.79	c cleaning 18696 clauses out of 56179 with flag 580002/580002
953.96/478.98	c cleaning 18804 clauses out of 57479 with flag 600000/600000
984.09/494.19	c cleaning 18705 clauses out of 58675 with flag 620000/620000
1007.99/506.20	c cleaning 18823 clauses out of 59970 with flag 640000/640000
1047.53/526.13	c cleaning 19240 clauses out of 61146 with flag 660000/660000
1092.87/549.06	c cleaning 19196 clauses out of 61911 with flag 680005/680005
1116.76/561.13	c cleaning 18840 clauses out of 62710 with flag 700000/700000
1143.88/574.89	c cleaning 18537 clauses out of 63870 with flag 720000/720000
1170.57/588.32	c cleaning 18801 clauses out of 65334 with flag 740002/740002
1199.01/602.84	c cleaning 18601 clauses out of 66531 with flag 760000/760000
1228.06/617.57	c cleaning 18837 clauses out of 67930 with flag 780000/780000
1256.80/632.05	c cleaning 19248 clauses out of 69093 with flag 800000/800000
1282.12/644.85	c cleaning 18948 clauses out of 69845 with flag 820000/820000
1306.96/657.53	c cleaning 18832 clauses out of 70898 with flag 840001/840001
1399.15/703.78	c cleaning 19159 clauses out of 72067 with flag 860002/860002
1426.56/717.63	c cleaning 18563 clauses out of 72902 with flag 880000/880000
1455.06/732.05	c cleaning 18845 clauses out of 74339 with flag 900000/900000
1479.46/744.53	c cleaning 19012 clauses out of 75494 with flag 920000/920000
1503.34/756.70	c cleaning 18761 clauses out of 76485 with flag 940003/940003
1542.40/776.37	c cleaning 19026 clauses out of 77722 with flag 960001/960001
1573.68/792.11	c cleaning 19304 clauses out of 78697 with flag 980002/980002
1603.83/807.58	c cleaning 18894 clauses out of 79393 with flag 1000002/1000002
1635.47/823.55	c cleaning 18830 clauses out of 80497 with flag 1020000/1020000
1660.71/836.34	c cleaning 18713 clauses out of 81667 with flag 1040000/1040000
1690.37/851.34	c cleaning 19262 clauses out of 82954 with flag 1060000/1060000
1715.28/864.14	c cleaning 18920 clauses out of 83692 with flag 1080000/1080000
1755.77/884.53	c cleaning 19341 clauses out of 84773 with flag 1100001/1100001
1788.20/900.91	c cleaning 19095 clauses out of 85428 with flag 1120002/1120002
1800.15/907.11	c starts		: 184
1800.15/907.11	c conflicts		: 1129701
1800.15/907.11	c decisions		: 37139320
1800.15/907.11	c propagations		: 891473309
1800.15/907.11	c inspects		: 1586256143
1800.15/907.11	c shortcuts		: 0
1800.15/907.11	c learnt literals	: 104
1800.15/907.11	c learnt binary clauses	: 57463
1800.15/907.11	c learnt ternary clauses	: 64650
1800.15/907.11	c learnt constraints	: 1129597
1800.15/907.11	c ignored constraints	: 0
1800.15/907.11	c root simplifications	: 0
1800.15/907.11	c removed literals (reason simplification)	: 10684152
1800.15/907.11	c reason swapping (by a shorter reason)	: 0
1800.15/907.11	c Calls to reduceDB	: 62
1800.15/907.11	c number of reductions to clauses (during analyze)	: 0
1800.15/907.11	c number of learned constraints concerned by reduction	: 0
1800.15/907.11	c number of learning phase by resolution	: 0
1800.15/907.11	c number of learning phase by cutting planes	: 0
1800.15/907.11	c speed (assignments/second)	: 983457.2974916957
1800.15/907.11	c non guided choices	39209
1800.15/907.14	c learnt constraints type 
1800.15/907.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 57467
1800.15/907.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18621
1800.15/907.14	c constraints type 
1800.15/907.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17454
1800.15/907.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 163
1800.15/907.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2106
1800.15/907.14	c constraints type 
1800.15/907.14	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2106
1800.15/907.14	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17454
1800.15/907.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 163
1800.15/907.14	s UNKNOWN
1800.15/907.14	c Total wall clock time (in seconds): 907.006

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-3742396-1338766346/watcher-3742396-1338766346 -o /tmp/evaluation-result-3742396-1338766346/solver-3742396-1338766346 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742396-1338766346.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.84 3.92 3.90 5/197 16066
/proc/meminfo: memFree=27461024/32873844 swapFree=7116/7116
[pid=16066] ppid=16064 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/16066/stat : 16066 (java) R 16064 16066 13088 0 -1 4202496 96 0 0 0 0 0 0 0 20 0 1 0 342759559 3653632 49 33554432000 1073741824 1073778376 140733196376304 140733196373432 240556010791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16066/statm: 1408 52 41 9 0 30 0

[startup+0.0940209 s]
/proc/loadavg: 3.84 3.92 3.90 5/197 16066
/proc/meminfo: memFree=27461024/32873844 swapFree=7116/7116
[pid=16066] ppid=16064 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/16066/stat : 16066 (java) S 16064 16066 13088 0 -1 4202496 4476 0 1 0 5 1 0 0 20 0 18 0 342759559 11864465408 12328 33554432000 1073741824 1073778376 140735067509440 140735067500576 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16066/statm: 2896598 12329 1766 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.100291 s]
/proc/loadavg: 3.84 3.92 3.90 5/197 16066
/proc/meminfo: memFree=27461024/32873844 swapFree=7116/7116
[pid=16066] ppid=16064 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/16066/stat : 16066 (java) S 16064 16066 13088 0 -1 4202496 4523 0 1 0 6 1 0 0 20 0 18 0 342759559 11864465408 12375 33554432000 1073741824 1073778376 140735067509440 140735067500576 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16066/statm: 2896598 12375 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300295 s]
/proc/loadavg: 3.84 3.92 3.90 5/197 16066
/proc/meminfo: memFree=27461024/32873844 swapFree=7116/7116
[pid=16066] ppid=16064 vsize=11586392 CPUtime=0.53 cores=1,3,5,7
/proc/16066/stat : 16066 (java) S 16064 16066 13088 0 -1 4202496 8253 0 1 0 51 2 0 0 20 0 18 0 342759559 11864465408 17337 33554432000 1073741824 1073778376 140735067509440 140735067500576 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16066/statm: 2896598 17337 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 11586392

[startup+0.70021 s]
/proc/loadavg: 3.84 3.92 3.90 5/197 16066
/proc/meminfo: memFree=27461024/32873844 swapFree=7116/7116
[pid=16066] ppid=16064 vsize=11852648 CPUtime=1.43 cores=1,3,5,7
/proc/16066/stat : 16066 (java) S 16064 16066 13088 0 -1 4202496 9767 0 1 0 138 5 0 0 20 0 22 0 342759559 12137111552 47953 33554432000 1073741824 1073778376 140735067509440 140735067500576 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16066/statm: 2963162 47953 2256 9 0 2953849 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 11852648

[startup+1.5008 s]
/proc/loadavg: 3.84 3.92 3.90 7/219 16088
/proc/meminfo: memFree=27250168/32873844 swapFree=7116/7116
[pid=16066] ppid=16064 vsize=11852648 CPUtime=4.16 cores=1,3,5,7
/proc/16066/stat : 16066 (java) S 16064 16066 13088 0 -1 4202496 20731 0 1 0 405 11 0 0 20 0 22 0 342759559 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 140735067500576 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16066/statm: 2963162 89789 2263 9 0 2953849 0
[pid=16066/tid=16068] ppid=16064 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/16066/task/16068/stat : 16068 (java) S 16064 16066 13088 0 -1 4202560 3493 0 1 0 57 3 0 0 20 0 22 0 342759560 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951907493016 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16069] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16069/stat : 16069 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951846222632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16070] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16070/stat : 16070 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951743462056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16071] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16071/stat : 16071 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951742409768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16072] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16072/stat : 16072 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951741356968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16073] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16073/stat : 16073 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951740303656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16074] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16074/stat : 16074 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951739250856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16075] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16075/stat : 16075 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951738198568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16076] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16076/stat : 16076 (java) S 16064 16066 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951737145768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16077] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16077/stat : 16077 (java) S 16064 16066 13088 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342759564 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951724948200 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16078] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16078/stat : 16078 (java) S 16064 16066 13088 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342759565 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951723894264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16079] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16079/stat : 16079 (java) S 16064 16066 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342759565 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951722841864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16080] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16080/stat : 16080 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759567 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951721790352 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16081] ppid=16064 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/16066/task/16081/stat : 16081 (java) S 16064 16066 13088 0 -1 4202560 3907 0 0 0 79 0 0 0 20 0 22 0 342759568 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951720736952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16082] ppid=16064 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/16066/task/16082/stat : 16082 (java) S 16064 16066 13088 0 -1 4202560 11958 0 0 0 100 3 0 0 20 0 22 0 342759568 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951719684152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16083] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16083/stat : 16083 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759568 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951718632056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16084] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16084/stat : 16084 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759568 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951717579464 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16085] ppid=16064 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/16066/task/16085/stat : 16085 (java) R 16064 16066 13088 0 -1 4202560 31 0 0 0 82 0 0 0 20 0 22 0 342759624 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951716524936 139951848185548 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16086] ppid=16064 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/16066/task/16086/stat : 16086 (java) R 16064 16066 13088 0 -1 4202560 140 0 0 0 80 3 0 0 20 0 22 0 342759624 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951715471640 139951848262336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16087] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16087/stat : 16087 (java) S 16064 16066 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342759626 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951714420392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16088] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16088/stat : 16088 (java) S 16064 16066 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342759626 12137111552 89789 33554432000 1073741824 1073778376 140735067509440 139951713367592 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 11852648

[startup+3.10086 s]
/proc/loadavg: 3.84 3.92 3.90 5/219 16088
/proc/meminfo: memFree=26945840/32873844 swapFree=7116/7116
[pid=16066] ppid=16064 vsize=11852648 CPUtime=7.5 cores=1,3,5,7
/proc/16066/stat : 16066 (java) S 16064 16066 13088 0 -1 4202496 21000 0 1 0 730 20 0 0 20 0 22 0 342759559 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 140735067500576 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16066/statm: 2963162 212696 2264 9 0 2953849 0
[pid=16066/tid=16068] ppid=16064 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/16066/task/16068/stat : 16068 (java) S 16064 16066 13088 0 -1 4202560 3493 0 1 0 57 3 0 0 20 0 22 0 342759560 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951907493016 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16069] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16069/stat : 16069 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951846222632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16070] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16070/stat : 16070 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951743462056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16071] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16071/stat : 16071 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951742409768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16072] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16072/stat : 16072 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951741356968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16073] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16073/stat : 16073 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951740303656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16074] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16074/stat : 16074 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951739250856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16075] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16075/stat : 16075 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951738198568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16076] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16076/stat : 16076 (java) S 16064 16066 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951737145768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16077] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16077/stat : 16077 (java) S 16064 16066 13088 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342759564 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951724948200 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16078] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16078/stat : 16078 (java) S 16064 16066 13088 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342759565 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951723894264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16079] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16079/stat : 16079 (java) S 16064 16066 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342759565 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951722841864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16080] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16080/stat : 16080 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759567 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951721790352 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16081] ppid=16064 vsize=11852648 CPUtime=0.85 cores=1,3,5,7
/proc/16066/task/16081/stat : 16081 (java) S 16064 16066 13088 0 -1 4202560 3921 0 0 0 85 0 0 0 20 0 22 0 342759568 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951720736952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16082] ppid=16064 vsize=11852648 CPUtime=1.14 cores=1,3,5,7
/proc/16066/task/16082/stat : 16082 (java) S 16064 16066 13088 0 -1 4202560 11971 0 0 0 111 3 0 0 20 0 22 0 342759568 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951719684152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16083] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16083/stat : 16083 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759568 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951718632056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16084] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16084/stat : 16084 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759568 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951717579464 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16085] ppid=16064 vsize=11852648 CPUtime=2.4 cores=1,3,5,7
/proc/16066/task/16085/stat : 16085 (java) R 16064 16066 13088 0 -1 4202560 33 0 0 0 240 0 0 0 20 0 22 0 342759624 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951716524752 139951847970219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16086] ppid=16064 vsize=11852648 CPUtime=2.43 cores=1,3,5,7
/proc/16066/task/16086/stat : 16086 (java) R 16064 16066 13088 0 -1 4202560 380 0 0 0 231 12 0 0 20 0 22 0 342759624 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951715472360 139951848299020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16087] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16087/stat : 16087 (java) S 16064 16066 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342759626 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951714420392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16088] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16088/stat : 16088 (java) S 16064 16066 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342759626 12137111552 212696 33554432000 1073741824 1073778376 140735067509440 139951713367592 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 11852648

[startup+6.30093 s]
/proc/loadavg: 3.85 3.92 3.90 4/219 16088
/proc/meminfo: memFree=26384696/32873844 swapFree=7116/7116
[pid=16066] ppid=16064 vsize=11852648 CPUtime=14.1 cores=1,3,5,7
/proc/16066/stat : 16066 (java) S 16064 16066 13088 0 -1 4202496 21923 0 1 0 1382 28 0 0 20 0 22 0 342759559 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 140735067500576 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16066/statm: 2963162 270588 2290 9 0 2953849 0
[pid=16066/tid=16068] ppid=16064 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/16066/task/16068/stat : 16068 (java) S 16064 16066 13088 0 -1 4202560 3493 0 1 0 57 3 0 0 20 0 22 0 342759560 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951907493016 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16069] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16069/stat : 16069 (java) S 16064 16066 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951846222632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16070] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16070/stat : 16070 (java) S 16064 16066 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951743462056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16071] ppid=16064 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/16066/task/16071/stat : 16071 (java) S 16064 16066 13088 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 342759563 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951742409768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16072] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16072/stat : 16072 (java) S 16064 16066 13088 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951741356968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16073] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16073/stat : 16073 (java) S 16064 16066 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951740303656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16074] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16074/stat : 16074 (java) S 16064 16066 13088 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951739250856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16075] ppid=16064 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/16066/task/16075/stat : 16075 (java) S 16064 16066 13088 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 342759563 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951738198568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16076] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16076/stat : 16076 (java) S 16064 16066 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342759563 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951737145768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16077] ppid=16064 vsize=11852648 CPUtime=0.05 cores=1,3,5,7
/proc/16066/task/16077/stat : 16077 (java) S 16064 16066 13088 0 -1 4202560 39 0 0 0 5 0 0 0 20 0 22 0 342759564 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951724948200 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16078] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16078/stat : 16078 (java) S 16064 16066 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342759565 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951723894264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16079] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16079/stat : 16079 (java) S 16064 16066 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342759565 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951722841864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16080] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16080/stat : 16080 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759567 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951721790352 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16081] ppid=16064 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/16066/task/16081/stat : 16081 (java) S 16064 16066 13088 0 -1 4202560 4648 0 0 0 98 0 0 0 20 0 22 0 342759568 12137111552 270588 33554432000 1073741824 1073778376 140735067509440 139951720736952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

/proc/16066/statm: 2963162 968517 2291 9 0 2953849 0
[pid=16066/tid=16068] ppid=16064 vsize=11852648 CPUtime=0.65 cores=1,3,5,7
/proc/16066/task/16068/stat : 16068 (java) S 16064 16066 13088 0 -1 4202560 3517 0 1 0 60 5 0 0 20 0 22 0 342759560 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951907493016 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16069] ppid=16064 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/16066/task/16069/stat : 16069 (java) S 16064 16066 13088 0 -1 4202560 178 0 0 0 130 6 0 0 20 0 22 0 342759563 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951846222632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16070] ppid=16064 vsize=11852648 CPUtime=1.47 cores=1,3,5,7
/proc/16066/task/16070/stat : 16070 (java) S 16064 16066 13088 0 -1 4202560 158 0 0 0 140 7 0 0 20 0 22 0 342759563 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951743462056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16071] ppid=16064 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/16066/task/16071/stat : 16071 (java) S 16064 16066 13088 0 -1 4202560 160 0 0 0 126 5 0 0 20 0 22 0 342759563 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951742409768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16072] ppid=16064 vsize=11852648 CPUtime=1.27 cores=1,3,5,7
/proc/16066/task/16072/stat : 16072 (java) S 16064 16066 13088 0 -1 4202560 160 0 0 0 122 5 0 0 20 0 22 0 342759563 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951741356968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16073] ppid=16064 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/16066/task/16073/stat : 16073 (java) S 16064 16066 13088 0 -1 4202560 168 0 0 0 124 7 0 0 20 0 22 0 342759563 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951740303656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16074] ppid=16064 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/16066/task/16074/stat : 16074 (java) S 16064 16066 13088 0 -1 4202560 139 0 0 0 122 4 0 0 20 0 22 0 342759563 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951739250856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16075] ppid=16064 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/16066/task/16075/stat : 16075 (java) S 16064 16066 13088 0 -1 4202560 119 0 0 0 121 4 0 0 20 0 22 0 342759563 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951738198568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16076] ppid=16064 vsize=11852648 CPUtime=1.29 cores=1,3,5,7
/proc/16066/task/16076/stat : 16076 (java) S 16064 16066 13088 0 -1 4202560 147 0 0 0 124 5 0 0 20 0 22 0 342759563 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951737145768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16077] ppid=16064 vsize=11852648 CPUtime=19.89 cores=1,3,5,7
/proc/16066/task/16077/stat : 16077 (java) S 16064 16066 13088 0 -1 4202560 162 0 0 0 1982 7 0 0 20 0 22 0 342759564 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951724948200 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16078] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16078/stat : 16078 (java) S 16064 16066 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342759565 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951723894264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16079] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16079/stat : 16079 (java) S 16064 16066 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342759565 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951722841864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16080] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16080/stat : 16080 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759567 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951721790352 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16081] ppid=16064 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/16066/task/16081/stat : 16081 (java) S 16064 16066 13088 0 -1 4202560 5301 0 0 0 105 2 0 0 20 0 22 0 342759568 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951720736952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16082] ppid=16064 vsize=11852648 CPUtime=1.78 cores=1,3,5,7
/proc/16066/task/16082/stat : 16082 (java) S 16064 16066 13088 0 -1 4202560 12124 0 0 0 175 3 0 0 20 0 22 0 342759568 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951719684152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16083] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16083/stat : 16083 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759568 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951718632056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16084] ppid=16064 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/16066/task/16084/stat : 16084 (java) S 16064 16066 13088 0 -1 4202560 51 0 0 0 20 22 0 0 20 0 22 0 342759568 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951717579464 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16085] ppid=16064 vsize=11852648 CPUtime=856.3 cores=1,3,5,7
/proc/16066/task/16085/stat : 16085 (java) R 16064 16066 13088 0 -1 4202560 98 0 0 0 85616 14 0 0 20 0 22 0 342759624 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951716523792 139951848053895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16086] ppid=16064 vsize=11852648 CPUtime=856.3 cores=1,3,5,7
/proc/16066/task/16086/stat : 16086 (java) R 16064 16066 13088 0 -1 4202560 1650 0 0 0 85563 67 0 0 20 0 22 0 342759624 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951715471944 139951848211425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16087] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16087/stat : 16087 (java) S 16064 16066 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342759626 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951714420392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16088] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16088/stat : 16088 (java) S 16064 16066 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342759626 12137111552 968517 33554432000 1073741824 1073778376 140735067509440 139951713367592 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1751.29
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+907.101 s]
/proc/loadavg: 3.89 3.97 3.95 5/219 16157
/proc/meminfo: memFree=23472576/32873844 swapFree=7116/7116
[pid=16066] ppid=16064 vsize=11852648 CPUtime=1800.15 cores=1,3,5,7
/proc/16066/stat : 16066 (java) S 16064 16066 13088 0 -1 4202496 25435 0 1 0 179872 143 0 0 20 0 22 0 342759559 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 140735067500576 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16066/statm: 2963162 982861 2291 9 0 2953849 0
[pid=16066/tid=16068] ppid=16064 vsize=11852648 CPUtime=0.66 cores=1,3,5,7
/proc/16066/task/16068/stat : 16068 (java) S 16064 16066 13088 0 -1 4202560 3518 0 1 0 61 5 0 0 20 0 22 0 342759560 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951907493016 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16069] ppid=16064 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/16066/task/16069/stat : 16069 (java) S 16064 16066 13088 0 -1 4202560 196 0 0 0 139 6 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951846222632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16070] ppid=16064 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/16066/task/16070/stat : 16070 (java) S 16064 16066 13088 0 -1 4202560 178 0 0 0 149 7 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951743462056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16071] ppid=16064 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/16066/task/16071/stat : 16071 (java) S 16064 16066 13088 0 -1 4202560 167 0 0 0 132 5 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951742409768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16072] ppid=16064 vsize=11852648 CPUtime=1.34 cores=1,3,5,7
/proc/16066/task/16072/stat : 16072 (java) S 16064 16066 13088 0 -1 4202560 174 0 0 0 128 6 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951741356968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16073] ppid=16064 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/16066/task/16073/stat : 16073 (java) S 16064 16066 13088 0 -1 4202560 182 0 0 0 127 8 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951740303656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16074] ppid=16064 vsize=11852648 CPUtime=1.3 cores=1,3,5,7
/proc/16066/task/16074/stat : 16074 (java) S 16064 16066 13088 0 -1 4202560 150 0 0 0 125 5 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951739250856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16075] ppid=16064 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/16066/task/16075/stat : 16075 (java) S 16064 16066 13088 0 -1 4202560 129 0 0 0 127 4 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951738198568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16076] ppid=16064 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/16066/task/16076/stat : 16076 (java) S 16064 16066 13088 0 -1 4202560 159 0 0 0 130 6 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951737145768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16077] ppid=16064 vsize=11852648 CPUtime=20.9 cores=1,3,5,7
/proc/16066/task/16077/stat : 16077 (java) S 16064 16066 13088 0 -1 4202560 165 0 0 0 2083 7 0 0 20 0 22 0 342759564 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951724948200 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16078] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16078/stat : 16078 (java) S 16064 16066 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342759565 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951723894264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16079] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16079/stat : 16079 (java) S 16064 16066 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342759565 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951722841864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16080] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16080/stat : 16080 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759567 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951721790352 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16081] ppid=16064 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/16066/task/16081/stat : 16081 (java) S 16064 16066 13088 0 -1 4202560 5301 0 0 0 105 2 0 0 20 0 22 0 342759568 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951720736952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16082] ppid=16064 vsize=11852648 CPUtime=1.78 cores=1,3,5,7
/proc/16066/task/16082/stat : 16082 (java) S 16064 16066 13088 0 -1 4202560 12124 0 0 0 175 3 0 0 20 0 22 0 342759568 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951719684152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16083] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16083/stat : 16083 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759568 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951718632056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16084] ppid=16064 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/16066/task/16084/stat : 16084 (java) S 16064 16066 13088 0 -1 4202560 53 0 0 0 21 23 0 0 20 0 22 0 342759568 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951717579464 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16085] ppid=16064 vsize=11852648 CPUtime=879.89 cores=1,3,5,7
/proc/16066/task/16085/stat : 16085 (java) R 16064 16066 13088 0 -1 4202560 99 0 0 0 87975 14 0 0 20 0 22 0 342759624 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951716524736 139951847970303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16086] ppid=16064 vsize=11852648 CPUtime=879.89 cores=1,3,5,7
/proc/16066/task/16086/stat : 16086 (java) R 16064 16066 13088 0 -1 4202560 1652 0 0 0 87922 67 0 0 20 0 22 0 342759624 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951715469760 139951848299382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16087] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16087/stat : 16087 (java) S 16064 16066 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342759626 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951714420392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16088] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16088/stat : 16088 (java) S 16064 16066 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342759626 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951713367592 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 11852648

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

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

[startup+907.101 s]
/proc/loadavg: 3.89 3.97 3.95 5/219 16157
/proc/meminfo: memFree=23472576/32873844 swapFree=7116/7116
[pid=16066] ppid=16064 vsize=11852648 CPUtime=1800.15 cores=1,3,5,7
/proc/16066/stat : 16066 (java) S 16064 16066 13088 0 -1 4202496 25435 0 1 0 179872 143 0 0 20 0 22 0 342759559 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 140735067500576 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16066/statm: 2963162 982861 2291 9 0 2953849 0
[pid=16066/tid=16068] ppid=16064 vsize=11852648 CPUtime=0.66 cores=1,3,5,7
/proc/16066/task/16068/stat : 16068 (java) S 16064 16066 13088 0 -1 4202560 3518 0 1 0 61 5 0 0 20 0 22 0 342759560 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951907493016 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16069] ppid=16064 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/16066/task/16069/stat : 16069 (java) S 16064 16066 13088 0 -1 4202560 196 0 0 0 139 6 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951846222632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16070] ppid=16064 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/16066/task/16070/stat : 16070 (java) S 16064 16066 13088 0 -1 4202560 178 0 0 0 149 7 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951743462056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16071] ppid=16064 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/16066/task/16071/stat : 16071 (java) S 16064 16066 13088 0 -1 4202560 167 0 0 0 132 5 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951742409768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16072] ppid=16064 vsize=11852648 CPUtime=1.34 cores=1,3,5,7
/proc/16066/task/16072/stat : 16072 (java) S 16064 16066 13088 0 -1 4202560 174 0 0 0 128 6 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951741356968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16073] ppid=16064 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/16066/task/16073/stat : 16073 (java) S 16064 16066 13088 0 -1 4202560 182 0 0 0 127 8 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951740303656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16074] ppid=16064 vsize=11852648 CPUtime=1.3 cores=1,3,5,7
/proc/16066/task/16074/stat : 16074 (java) S 16064 16066 13088 0 -1 4202560 150 0 0 0 125 5 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951739250856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16075] ppid=16064 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/16066/task/16075/stat : 16075 (java) S 16064 16066 13088 0 -1 4202560 129 0 0 0 127 4 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951738198568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16076] ppid=16064 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/16066/task/16076/stat : 16076 (java) S 16064 16066 13088 0 -1 4202560 159 0 0 0 130 6 0 0 20 0 22 0 342759563 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951737145768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16077] ppid=16064 vsize=11852648 CPUtime=20.9 cores=1,3,5,7
/proc/16066/task/16077/stat : 16077 (java) S 16064 16066 13088 0 -1 4202560 165 0 0 0 2083 7 0 0 20 0 22 0 342759564 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951724948200 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16078] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16078/stat : 16078 (java) S 16064 16066 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342759565 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951723894264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16079] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16079/stat : 16079 (java) S 16064 16066 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342759565 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951722841864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16080] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16080/stat : 16080 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759567 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951721790352 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16081] ppid=16064 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/16066/task/16081/stat : 16081 (java) S 16064 16066 13088 0 -1 4202560 5301 0 0 0 105 2 0 0 20 0 22 0 342759568 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951720736952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16066/tid=16082] ppid=16064 vsize=11852648 CPUtime=1.78 cores=1,3,5,7
/proc/16066/task/16082/stat : 16082 (java) S 16064 16066 13088 0 -1 4202560 12124 0 0 0 175 3 0 0 20 0 22 0 342759568 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951719684152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16083] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16083/stat : 16083 (java) S 16064 16066 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342759568 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951718632056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16066/tid=16084] ppid=16064 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/16066/task/16084/stat : 16084 (java) S 16064 16066 13088 0 -1 4202560 53 0 0 0 21 23 0 0 20 0 22 0 342759568 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951717579464 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16085] ppid=16064 vsize=11852648 CPUtime=879.89 cores=1,3,5,7
/proc/16066/task/16085/stat : 16085 (java) R 16064 16066 13088 0 -1 4202560 99 0 0 0 87975 14 0 0 20 0 22 0 342759624 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951716524736 139951847970303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16086] ppid=16064 vsize=11852648 CPUtime=879.89 cores=1,3,5,7
/proc/16066/task/16086/stat : 16086 (java) R 16064 16066 13088 0 -1 4202560 1652 0 0 0 87922 67 0 0 20 0 22 0 342759624 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951715469760 139951848299382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16066/tid=16087] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16087/stat : 16087 (java) S 16064 16066 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342759626 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951714420392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16066/tid=16088] ppid=16064 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16066/task/16088/stat : 16088 (java) S 16064 16066 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342759626 12137111552 982861 33554432000 1073741824 1073778376 140735067509440 139951713367592 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 11852648

Child status: 143

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

Real time (s): 907.174
CPU time (s): 1800.15
CPU user time (s): 1798.72
CPU system time (s): 1.43
CPU usage (%): 198.435
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.25
system time used= 1.85272
maximum resident set size= 3933620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25470
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24912
involuntary context switches= 34489

runsolver used 3.35249 second user time and 9.1936 second system time

The end

Launcher Data 

Begin job on node146 at 2012-06-04 01:32:26
IDJOB=3742396
IDBENCH=90172
IDSOLVER=2328
FILE ID=node146/3742396-1338766346
RUNJOBID= node146-1338749727-13105
PBS_JOBID= 14636806
Free space on /tmp= 70904 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K163.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742396-1338766346/watcher-3742396-1338766346 -o /tmp/evaluation-result-3742396-1338766346/solver-3742396-1338766346 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742396-1338766346.opb

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

MD5SUM BENCH= 5c9e224cdd9eef3594ee47236fa33798
RANDOM SEED=1545394733

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
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.034
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.034
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.034
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27461552 kB
Buffers:          325172 kB
Cached:           611992 kB
SwapCached:         1792 kB
Active:          4079668 kB
Inactive:         500608 kB
Active(anon):    3643776 kB
Inactive(anon):     1664 kB
Active(file):     435892 kB
Inactive(file):   498944 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099888 kB
Dirty:              1648 kB
Writeback:             0 kB
AnonPages:       3655408 kB
Mapped:            17196 kB
Shmem:                 0 kB
Slab:             678116 kB
SReclaimable:     118000 kB
SUnreclaim:       560116 kB
KernelStack:        1632 kB
PageTables:        11408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10462608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3602432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70904 MiB
End job on node146 at 2012-06-04 01:47:36