Trace number 4080501

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16? (TO) 1800 895.371

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K65.opb
MD5SUMa4b90b74bc3d4958439bc17b9ac2ee03
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1039.78
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3575
Total number of constraints3707
Number of constraints which are clauses3642
Number of constraints which are cardinality constraints (but not clauses)65
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint65
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 66
Number of bits of the biggest sum of numbers7
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-2013 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 version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4080501-1465284341.opb
0.10/0.11	c reading problem ... 
0.10/0.12	c  no objective function found
0.57/0.37	c ... done. Wall clock time 0.261s.
0.57/0.37	c declared #vars     3575
0.57/0.37	c #constraints  3707
0.57/0.38	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.57/0.38	c constraints type 
0.57/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3000
0.57/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 65
0.57/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.57/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 640
0.57/0.38	c 3707 constraints processed.
0.57/0.38	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.57/0.38	c constraints type 
0.57/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 640
0.57/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3000
0.57/0.38	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 65
0.57/0.38	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.57/0.38	c 3707 constraints processed.
5.46/1.73	c cleaning 2485 clauses out of 4973 with flag 25120/5003
8.45/3.06	c cleaning 4220 clauses out of 8473 with flag 66176/11000
11.25/4.46	c cleaning 5591 clauses out of 11251 with flag 116593/18001
15.32/6.43	c cleaning 6811 clauses out of 13656 with flag 182046/26000
19.22/8.32	c cleaning 7850 clauses out of 15837 with flag 242620/35000
23.34/10.36	c cleaning 8339 clauses out of 17979 with flag 310601/45000
27.75/12.57	c cleaning 9013 clauses out of 20639 with flag 379580/56001
33.05/15.14	c cleaning 9864 clauses out of 23625 with flag 461280/68000
39.16/18.13	c cleaning 10891 clauses out of 26764 with flag 566614/81004
46.36/21.74	c cleaning 12081 clauses out of 29872 with flag 670201/95003
53.48/25.28	c cleaning 12655 clauses out of 32788 with flag 781147/110000
61.07/29.08	c cleaning 13623 clauses out of 36132 with flag 903033/126000
69.53/33.24	c cleaning 14368 clauses out of 39508 with flag 1030250/143000
78.53/37.73	c cleaning 15513 clauses out of 43141 with flag 1188343/161002
88.65/42.78	c cleaning 16231 clauses out of 46620 with flag 1341458/180002
99.25/48.04	c cleaning 17334 clauses out of 50385 with flag 1517315/200000
110.44/53.55	c cleaning 18416 clauses out of 54054 with flag 1695416/221003
122.26/59.41	c cleaning 19236 clauses out of 57634 with flag 1883322/243000
135.40/65.96	c cleaning 20396 clauses out of 61398 with flag 2082984/266000
149.92/73.15	c cleaning 21307 clauses out of 65002 with flag 2289438/290000
164.99/80.67	c cleaning 22661 clauses out of 68695 with flag 2509951/315000
182.92/89.95	c cleaning 23639 clauses out of 72034 with flag 2768946/341000
200.98/98.90	c cleaning 24738 clauses out of 75397 with flag 3052977/368002
220.48/108.64	c cleaning 25687 clauses out of 78657 with flag 3335259/396001
240.17/118.42	c cleaning 26724 clauses out of 81966 with flag 3627782/425001
260.68/128.65	c cleaning 27617 clauses out of 85243 with flag 3930138/455002
282.38/139.47	c cleaning 28604 clauses out of 88625 with flag 4282308/486001
291.80/144.17	c cleaning 0 clauses out of 5000 with flag 0/5000
306.79/151.44	c cleaning 29642 clauses out of 92023 with flag 4676205/518004
329.74/162.87	c cleaning 31130 clauses out of 95384 with flag 5115943/551007
352.03/173.93	c cleaning 32007 clauses out of 98247 with flag 5480467/585000
376.78/186.23	c cleaning 32461 clauses out of 101242 with flag 5863865/620003
402.89/199.16	c cleaning 34113 clauses out of 104779 with flag 6269568/656001
430.41/212.83	c cleaning 34953 clauses out of 107665 with flag 6697471/693000
460.89/228.59	c cleaning 35880 clauses out of 110711 with flag 7137021/731000
489.39/242.77	c cleaning 36932 clauses out of 113832 with flag 7575604/770001
520.41/258.16	c cleaning 37864 clauses out of 116899 with flag 8079367/810001
552.12/273.80	c cleaning 39150 clauses out of 120034 with flag 8578516/851000
585.53/290.32	c cleaning 39785 clauses out of 122884 with flag 9126685/893000
619.77/307.24	c cleaning 41013 clauses out of 126098 with flag 9627550/936000
656.48/325.49	c cleaning 42236 clauses out of 129085 with flag 10216949/980000
695.52/344.85	c cleaning 43285 clauses out of 131850 with flag 10790323/1025001
735.95/364.92	c cleaning 44049 clauses out of 134565 with flag 11428947/1071001
777.75/385.75	c cleaning 45230 clauses out of 137516 with flag 12000025/1118001
824.10/408.70	c cleaning 46196 clauses out of 140286 with flag 12677025/1166001
869.00/431.03	c cleaning 47262 clauses out of 143094 with flag 13396310/1215006
915.33/453.99	c cleaning 48557 clauses out of 145826 with flag 14077172/1265000
962.80/477.43	c cleaning 49365 clauses out of 148271 with flag 14737712/1316002
1015.40/504.42	c cleaning 50336 clauses out of 150908 with flag 15453820/1368004
1063.30/528.22	c cleaning 51535 clauses out of 153569 with flag 16147825/1421001
1116.47/554.62	c cleaning 52772 clauses out of 156034 with flag 16932044/1475002
1169.84/581.11	c cleaning 53517 clauses out of 158260 with flag 17641770/1530000
1222.80/607.45	c cleaning 54603 clauses out of 160747 with flag 18414263/1586004
1278.76/635.29	c cleaning 55615 clauses out of 163142 with flag 19185845/1643002
1333.29/662.33	c cleaning 56769 clauses out of 165528 with flag 19928678/1701003
1391.97/691.27	c cleaning 57926 clauses out of 167756 with flag 20725991/1760000
1452.89/721.46	c cleaning 58683 clauses out of 169830 with flag 21498809/1820001
1512.28/750.97	c cleaning 59485 clauses out of 172147 with flag 22303490/1881001
1571.14/780.10	c cleaning 60601 clauses out of 174661 with flag 23200276/1943000
1633.89/811.34	c cleaning 61720 clauses out of 177062 with flag 24044739/2006002
1697.34/842.89	c cleaning 62826 clauses out of 179341 with flag 24966793/2070001
1759.77/873.87	c cleaning 63963 clauses out of 181525 with flag 25848764/2135011
1800.00/895.30	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.00/895.30	c starts		: 13437
1800.00/895.30	c conflicts		: 2178648
1800.00/895.30	c decisions		: 10329372
1800.00/895.30	c propagations		: 596710956
1800.00/895.30	c inspects		: 6333645293
1800.00/895.30	c shortcuts		: 0
1800.00/895.30	c learnt literals	: 94
1800.00/895.30	c learnt binary clauses	: 46739
1800.00/895.30	c learnt ternary clauses	: 43734
1800.00/895.30	c learnt constraints	: 2178554
1800.00/895.30	c ignored constraints	: 0
1800.00/895.30	c root simplifications	: 0
1800.00/895.30	c removed literals (reason simplification)	: 99646479
1800.00/895.30	c reason swapping (by a shorter reason)	: 0
1800.00/895.30	c Calls to reduceDB	: 61
1800.00/895.30	c Number of update (reduction) of LBD	: 2060145
1800.00/895.30	c Imported unit clauses	: 0
1800.00/895.30	c number of reductions to clauses (during analyze)	: 0
1800.00/895.30	c number of learned constraints concerned by reduction	: 0
1800.00/895.30	c number of learning phase by resolution	: 0
1800.00/895.30	c number of learning phase by cutting planes	: 0
1800.00/895.30	c speed (assignments/second)	: 666780.22245713
1800.00/895.30	c non guided choices	81
1800.00/895.35	c learnt constraints type 
1800.00/895.35	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 46739
1800.00/895.35	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 114460
1800.00/895.35	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.00/895.35	c starts		: 34
1800.00/895.35	c conflicts		: 10529
1800.00/895.35	c decisions		: 64339
1800.00/895.35	c propagations		: 2117332
1800.00/895.35	c inspects		: 846935657
1800.00/895.35	c shortcuts		: 0
1800.00/895.35	c learnt literals	: 0
1800.00/895.35	c learnt binary clauses	: 0
1800.00/895.35	c learnt ternary clauses	: 0
1800.00/895.35	c learnt constraints	: 10529
1800.00/895.35	c ignored constraints	: 0
1800.00/895.35	c root simplifications	: 0
1800.00/895.35	c removed literals (reason simplification)	: 0
1800.00/895.35	c reason swapping (by a shorter reason)	: 0
1800.00/895.35	c Calls to reduceDB	: 1
1800.00/895.35	c Number of update (reduction) of LBD	: 0
1800.00/895.35	c Imported unit clauses	: 0
1800.00/895.35	c number of reductions to clauses (during analyze)	: 0
1800.00/895.35	c number of learned constraints concerned by reduction	: 0
1800.00/895.35	c number of learning phase by resolution	: 0
1800.00/895.35	c number of learning phase by cutting planes	: 0
1800.00/895.35	c speed (assignments/second)	: 2365.8398140699023
1800.00/895.35	c non guided choices	55
1800.00/895.35	c learnt constraints type 
1800.00/895.35	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 137
1800.00/895.35	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 715
1800.00/895.35	c org.sat4j.pb.constraints.pb.MaxWatchPb => 9677
1800.00/895.35	s UNKNOWN
1800.00/895.35	c Total wall clock time (in seconds): 895.236

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4080501-1465284341/watcher-4080501-1465284341 -o /tmp/evaluation-result-4080501-1465284341/solver-4080501-1465284341 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465276272-27594 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080501-1465284341.opb 

pid=29190
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.59 4.35 4.29 4/197 29193
/proc/meminfo: memFree=28616560/32872528 swapFree=16636/1570076
[pid=29193] ppid=29190 vsize=96272 CPUtime=0 cores=0,2,4,6
/proc/29193/stat : 29193 (java) S 29190 29193 27578 0 -1 4202496 1362 0 0 0 0 0 0 0 20 0 2 0 110366498 98582528 985 33554432000 1073741824 1073778376 140737059475920 140737059467056 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29193/statm: 24068 985 750 9 0 16774 0
[pid=29193/tid=29194] ppid=29190 vsize=96268 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29194/stat : 29194 (java) R 29190 29193 27578 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 2 0 110366498 98578432 989 33554432000 1073741824 1073778376 140737059475920 140273207709224 213410475303 0 0 0 16784584 0 0 0 -1 0 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 4.59 4.35 4.29 4/197 29193
/proc/meminfo: memFree=28616560/32872528 swapFree=16636/1570076
[pid=29193] ppid=29190 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/29193/stat : 29193 (java) S 29190 29193 27578 0 -1 4202496 4419 0 1 0 9 1 0 0 20 0 18 0 110366498 9787879424 6049 33554432000 1073741824 1073778376 140737059475920 140737059467056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29193/statm: 2389619 6049 2126 9 0 2380296 0
[pid=29193/tid=29194] ppid=29190 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/29193/task/29194/stat : 29194 (java) R 29190 29193 27578 0 -1 4202560 2384 0 1 0 7 0 0 0 20 0 18 0 110366498 9787879424 6049 33554432000 1073741824 1073778376 140737059475920 140273207713496 140273214902249 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200349 s]
/proc/loadavg: 4.59 4.35 4.29 4/197 29193
/proc/meminfo: memFree=28616560/32872528 swapFree=16636/1570076
[pid=29193] ppid=29190 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/29193/stat : 29193 (java) S 29190 29193 27578 0 -1 4202496 6378 0 1 0 28 1 0 0 20 0 18 0 110366498 9787879424 7997 33554432000 1073741824 1073778376 140737059475920 140737059467056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29193/statm: 2389619 8004 2209 9 0 2380296 0
[pid=29193/tid=29194] ppid=29190 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/29193/task/29194/stat : 29194 (java) R 29190 29193 27578 0 -1 4202560 2400 0 1 0 17 0 0 0 20 0 18 0 110366498 9787879424 8004 33554432000 1073741824 1073778376 140737059475920 140273207713496 140273210999686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300348 s]
/proc/loadavg: 4.59 4.35 4.29 4/197 29193
/proc/meminfo: memFree=28616560/32872528 swapFree=16636/1570076
[pid=29193] ppid=29190 vsize=9558476 CPUtime=0.57 cores=0,2,4,6
/proc/29193/stat : 29193 (java) S 29190 29193 27578 0 -1 4202496 7256 0 1 0 55 2 0 0 20 0 18 0 110366498 9787879424 9967 33554432000 1073741824 1073778376 140737059475920 140737059467056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29193/statm: 2389619 9967 2233 9 0 2380296 0
[pid=29193/tid=29194] ppid=29190 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/29193/task/29194/stat : 29194 (java) R 29190 29193 27578 0 -1 4202560 2403 0 1 0 26 1 0 0 20 0 18 0 110366498 9787879424 9967 33554432000 1073741824 1073778376 140737059475920 140273207713496 140273044747680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700231 s]
/proc/loadavg: 4.59 4.35 4.29 4/197 29193
/proc/meminfo: memFree=28616560/32872528 swapFree=16636/1570076
[pid=29193] ppid=29190 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/29193/stat : 29193 (java) S 29190 29193 27578 0 -1 4202496 16613 0 1 0 200 4 0 0 20 0 22 0 110366498 10060525568 22035 33554432000 1073741824 1073778376 140737059475920 140737059467056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29193/statm: 2456183 22035 2263 9 0 2446860 0
[pid=29193/tid=29194] ppid=29190 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/29193/task/29194/stat : 29194 (java) S 29190 29193 27578 0 -1 4202560 2474 0 1 0 34 2 0 0 20 0 22 0 110366498 10060525568 22035 33554432000 1073741824 1073778376 140737059475920 140273207714680 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9824732

[startup+1.50092 s]
/proc/loadavg: 5.18 4.47 4.33 7/219 29215
/proc/meminfo: memFree=28198224/32872528 swapFree=16636/1570076
[pid=29193] ppid=29190 vsize=9824732 CPUtime=5.01 cores=0,2,4,6
/proc/29193/stat : 29193 (java) S 29190 29193 27578 0 -1 4202496 22510 0 1 0 494 7 0 0 20 0 22 0 110366498 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140737059467056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29193/statm: 2456183 47029 2277 9 0 2446860 0
[pid=29193/tid=29194] ppid=29190 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/29193/task/29194/stat : 29194 (java) S 29190 29193 27578 0 -1 4202560 2474 0 1 0 34 2 0 0 20 0 22 0 110366498 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140273207714680 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29196] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29196/stat : 29196 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366499 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140273169206184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29197] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29197/stat : 29197 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366499 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140273168153640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29198] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29198/stat : 29198 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366499 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140273167100584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29199] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29199/stat : 29199 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366499 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140273166048040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29200] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29200/stat : 29200 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366499 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140273164994984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29201] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29201/stat : 29201 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366499 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140273163942440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29202] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29202/stat : 29202 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366499 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140273044678824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29203] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29203/stat : 29203 (java) S 29190 29193 27578 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 110366499 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140273043626280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29204] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29204/stat : 29204 (java) S 29190 29193 27578 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 110366500 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140273031428968 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29205] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29205/stat : 29205 (java) S 29190 29193 27578 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 110366501 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140273030375288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29206] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29206/stat : 29206 (java) S 29190 29193 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110366501 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140273029322120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29207] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29207/stat : 29207 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366503 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140272289704720 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29208] ppid=29190 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/29193/task/29208/stat : 29208 (java) S 29190 29193 27578 0 -1 4202560 10982 0 0 0 116 2 0 0 20 0 22 0 110366503 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140272288651576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29209] ppid=29190 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/29193/task/29209/stat : 29209 (java) R 29190 29193 27578 0 -1 4202560 7673 0 0 0 121 2 0 0 20 0 22 0 110366503 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140272287599032 140273214168724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29210] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29210/stat : 29210 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366503 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140272286546168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29211] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29211/stat : 29211 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366503 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140272285493832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29212] ppid=29190 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/29193/task/29212/stat : 29212 (java) R 29190 29193 27578 0 -1 4202560 21 0 0 0 107 0 0 0 20 0 22 0 110366536 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140272284437424 140273045413117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29213] ppid=29190 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/29193/task/29213/stat : 29213 (java) R 29190 29193 27578 0 -1 4202560 80 0 0 0 108 1 0 0 20 0 22 0 110366536 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140272283386424 140273045277286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29214] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29214/stat : 29214 (java) S 29190 29193 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110366537 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140272282334504 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29215] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29215/stat : 29215 (java) S 29190 29193 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110366537 10060525568 47029 33554432000 1073741824 1073778376 140737059475920 140272281281960 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 9824732

[startup+3.10093 s]
/proc/loadavg: 5.18 4.47 4.33 5/219 29215
/proc/meminfo: memFree=28100480/32872528 swapFree=16636/1570076
[pid=29193] ppid=29190 vsize=9824732 CPUtime=8.65 cores=0,2,4,6
/proc/29193/stat : 29193 (java) S 29190 29193 27578 0 -1 4202496 23043 0 1 0 852 13 0 0 20 0 22 0 110366498 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140737059467056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29193/statm: 2456183 62815 2293 9 0 2446860 0
[pid=29193/tid=29194] ppid=29190 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/29193/task/29194/stat : 29194 (java) S 29190 29193 27578 0 -1 4202560 2474 0 1 0 34 2 0 0 20 0 22 0 110366498 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140273207714680 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29196] ppid=29190 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/29193/task/29196/stat : 29196 (java) S 29190 29193 27578 0 -1 4202560 103 0 0 0 5 0 0 0 20 0 22 0 110366499 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140273169206184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29197] ppid=29190 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/29193/task/29197/stat : 29197 (java) S 29190 29193 27578 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 110366499 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140273168153640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29198] ppid=29190 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/29193/task/29198/stat : 29198 (java) S 29190 29193 27578 0 -1 4202560 87 0 0 0 1 0 0 0 20 0 22 0 110366499 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140273167100584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29199] ppid=29190 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/29193/task/29199/stat : 29199 (java) S 29190 29193 27578 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 110366499 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140273166048040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29200] ppid=29190 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/29193/task/29200/stat : 29200 (java) S 29190 29193 27578 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 110366499 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140273164994984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29201] ppid=29190 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/29193/task/29201/stat : 29201 (java) S 29190 29193 27578 0 -1 4202560 111 0 0 0 5 0 0 0 20 0 22 0 110366499 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140273163942440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29202] ppid=29190 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/29193/task/29202/stat : 29202 (java) S 29190 29193 27578 0 -1 4202560 88 0 0 0 1 0 0 0 20 0 22 0 110366499 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140273044678824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29203] ppid=29190 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/29193/task/29203/stat : 29203 (java) S 29190 29193 27578 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 110366499 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140273043626280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29204] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29204/stat : 29204 (java) S 29190 29193 27578 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 110366500 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140273031428968 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29205] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29205/stat : 29205 (java) S 29190 29193 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110366501 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140273030375288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29206] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29206/stat : 29206 (java) S 29190 29193 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110366501 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140273029322120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29207] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29207/stat : 29207 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366503 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140272289704720 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29208] ppid=29190 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/29193/task/29208/stat : 29208 (java) S 29190 29193 27578 0 -1 4202560 10989 0 0 0 133 2 0 0 20 0 22 0 110366503 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140272288651576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29209] ppid=29190 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/29193/task/29209/stat : 29209 (java) S 29190 29193 27578 0 -1 4202560 7674 0 0 0 132 2 0 0 20 0 22 0 110366503 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140272287599032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29210] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29210/stat : 29210 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366503 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140272286546168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29211] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29211/stat : 29211 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366503 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140272285493832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29212] ppid=29190 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/29193/task/29212/stat : 29212 (java) R 29190 29193 27578 0 -1 4202560 21 0 0 0 258 0 0 0 20 0 22 0 110366536 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140272284438256 140273045493405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29213] ppid=29190 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/29193/task/29213/stat : 29213 (java) R 29190 29193 27578 0 -1 4202560 90 0 0 0 259 2 0 0 20 0 22 0 110366536 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140272283385432 140273045470518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29214] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29214/stat : 29214 (java) S 29190 29193 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110366537 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140272282334504 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29215] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29215/stat : 29215 (java) S 29190 29193 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110366537 10060525568 62815 33554432000 1073741824 1073778376 140737059475920 140272281281960 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.65
Current children cumulated vsize (KiB) 9824732

[startup+6.30095 s]
/proc/loadavg: 5.18 4.47 4.33 5/219 29215
/proc/meminfo: memFree=27910832/32872528 swapFree=16636/1570076
[pid=29193] ppid=29190 vsize=9824732 CPUtime=15.12 cores=0,2,4,6
/proc/29193/stat : 29193 (java) S 29190 29193 27578 0 -1 4202496 23702 0 1 0 1491 21 0 0 20 0 22 0 110366498 10060525568 104664 33554432000 1073741824 1073778376 140737059475920 140737059467056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29193/statm: 2456183 104664 2293 9 0 2446860 0
[pid=29193/tid=29194] ppid=29190 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/29193/task/29194/stat : 29194 (java) S 29190 29193 27578 0 -1 4202560 2474 0 1 0 34 2 0 0 20 0 22 0 110366498 10060525568 104664 33554432000 1073741824 1073778376 140737059475920 140273207714680 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29196] ppid=29190 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/29193/task/29196/stat : 29196 (java) S 29190 29193 27578 0 -1 4202560 146 0 0 0 6 2 0 0 20 0 22 0 110366499 10060525568 104664 33554432000 1073741824 1073778376 140737059475920 140273169206184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29197] ppid=29190 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/29193/task/29197/stat : 29197 (java) S 29190 29193 27578 0 -1 4202560 64 0 0 0 5 2 0 0 20 0 22 0 110366499 10060525568 104664 33554432000 1073741824 1073778376 140737059475920 140273168153640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29198] ppid=29190 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/29193/task/29198/stat : 29198 (java) S 29190 29193 27578 0 -1 4202560 105 0 0 0 3 0 0 0 20 0 22 0 110366499 10060525568 104664 33554432000 1073741824 1073778376 140737059475920 140273167100584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29199] ppid=29190 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/29193/task/29199/stat : 29199 (java) S 29190 29193 27578 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 22 0 110366499 10060525568 104664 33554432000 1073741824 1073778376 140737059475920 140273166048040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29200] ppid=29190 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/29193/task/29200/stat : 29200 (java) S 29190 29193 27578 0 -1 4202560 50 0 0 0 4 0 0 0 20 0 22 0 110366499 10060525568 104664 33554432000 1073741824 1073778376 140737059475920 140273164994984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29201] ppid=29190 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/29193/task/29201/stat : 29201 (java) S 29190 29193 27578 0 -1 4202560 170 0 0 0 8 2 0 0 20 0 22 0 110366499 10060525568 104664 33554432000 1073741824 1073778376 140737059475920 140273163942440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29202] ppid=29190 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/29193/task/29202/stat : 29202 (java) S 29190 29193 27578 0 -1 4202560 106 0 0 0 4 0 0 0 20 0 22 0 110366499 10060525568 104664 33554432000 1073741824 1073778376 140737059475920 140273044678824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29203] ppid=29190 vsize=9824732 CPUtime=0.08 cores=0,2,4,6

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

/proc/29193/task/29198/stat : 29198 (java) S 29190 29193 27578 0 -1 4202560 670 0 0 0 345 16 0 0 20 0 22 0 110366499 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140273167100584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29199] ppid=29190 vsize=9824732 CPUtime=3.63 cores=0,2,4,6
/proc/29193/task/29199/stat : 29199 (java) S 29190 29193 27578 0 -1 4202560 670 0 0 0 346 17 0 0 20 0 22 0 110366499 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140273166048040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29200] ppid=29190 vsize=9824732 CPUtime=3.29 cores=0,2,4,6
/proc/29193/task/29200/stat : 29200 (java) S 29190 29193 27578 0 -1 4202560 567 0 0 0 314 15 0 0 20 0 22 0 110366499 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140273164994984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29201] ppid=29190 vsize=9824732 CPUtime=3.92 cores=0,2,4,6
/proc/29193/task/29201/stat : 29201 (java) S 29190 29193 27578 0 -1 4202560 899 0 0 0 375 17 0 0 20 0 22 0 110366499 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140273163942440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29202] ppid=29190 vsize=9824732 CPUtime=3.3 cores=0,2,4,6
/proc/29193/task/29202/stat : 29202 (java) S 29190 29193 27578 0 -1 4202560 699 0 0 0 314 16 0 0 20 0 22 0 110366499 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140273044678824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29203] ppid=29190 vsize=9824732 CPUtime=3.64 cores=0,2,4,6
/proc/29193/task/29203/stat : 29203 (java) S 29190 29193 27578 0 -1 4202560 714 0 0 0 346 18 0 0 20 0 22 0 110366499 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140273043626280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29204] ppid=29190 vsize=9824732 CPUtime=3.84 cores=0,2,4,6
/proc/29193/task/29204/stat : 29204 (java) S 29190 29193 27578 0 -1 4202560 2246 0 0 0 377 7 0 0 20 0 22 0 110366500 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140273031428968 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29205] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29205/stat : 29205 (java) S 29190 29193 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110366501 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140273030375288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29206] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29206/stat : 29206 (java) S 29190 29193 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110366501 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140273029322120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29207] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29207/stat : 29207 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366503 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140272289704720 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29208] ppid=29190 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/29193/task/29208/stat : 29208 (java) S 29190 29193 27578 0 -1 4202560 10989 0 0 0 138 2 0 0 20 0 22 0 110366503 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140272288651576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29209] ppid=29190 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/29193/task/29209/stat : 29209 (java) S 29190 29193 27578 0 -1 4202560 8189 0 0 0 172 2 0 0 20 0 22 0 110366503 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140272287599032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29210] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29210/stat : 29210 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366503 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140272286546168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29211] ppid=29190 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/29193/task/29211/stat : 29211 (java) S 29190 29193 27578 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 110366503 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140272285493832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29212] ppid=29190 vsize=9824732 CPUtime=868.31 cores=0,2,4,6
/proc/29193/task/29212/stat : 29212 (java) R 29190 29193 27578 0 -1 4202560 97 0 0 0 86815 16 0 0 20 0 22 0 110366536 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140272284430736 140273045335517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29213] ppid=29190 vsize=9824732 CPUtime=868.29 cores=0,2,4,6
/proc/29193/task/29213/stat : 29213 (java) R 29190 29193 27578 0 -1 4202560 1350 0 0 0 86780 49 0 0 20 0 22 0 110366536 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140272283384576 140273045622660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29214] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29214/stat : 29214 (java) S 29190 29193 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110366537 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140272282334504 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29215] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29215/stat : 29215 (java) S 29190 29193 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110366537 10060525568 970047 33554432000 1073741824 1073778376 140737059475920 140272281281960 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1776.79
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.301 s]
/proc/loadavg: 4.17 4.01 4.12 5/220 29509
/proc/meminfo: memFree=23061252/32872528 swapFree=16636/1570076
[pid=29193] ppid=29190 vsize=9824732 CPUtime=1800 cores=0,2,4,6
/proc/29193/stat : 29193 (java) S 29190 29193 27578 0 -1 4202496 32510 0 1 0 179799 201 0 0 20 0 22 0 110366498 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140737059467056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29193/statm: 2456183 972462 2302 9 0 2446860 0
[pid=29193/tid=29194] ppid=29190 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/29193/task/29194/stat : 29194 (java) S 29190 29193 27578 0 -1 4202560 2489 0 1 0 37 3 0 0 20 0 22 0 110366498 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273207714680 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29196] ppid=29190 vsize=9824732 CPUtime=3.69 cores=0,2,4,6
/proc/29193/task/29196/stat : 29196 (java) S 29190 29193 27578 0 -1 4202560 662 0 0 0 352 17 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273169206184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29197] ppid=29190 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/29193/task/29197/stat : 29197 (java) S 29190 29193 27578 0 -1 4202560 555 0 0 0 299 14 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273168153640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29198] ppid=29190 vsize=9824732 CPUtime=3.68 cores=0,2,4,6
/proc/29193/task/29198/stat : 29198 (java) S 29190 29193 27578 0 -1 4202560 671 0 0 0 352 16 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273167100584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29199] ppid=29190 vsize=9824732 CPUtime=3.66 cores=0,2,4,6
/proc/29193/task/29199/stat : 29199 (java) S 29190 29193 27578 0 -1 4202560 671 0 0 0 349 17 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273166048040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29200] ppid=29190 vsize=9824732 CPUtime=3.32 cores=0,2,4,6
/proc/29193/task/29200/stat : 29200 (java) S 29190 29193 27578 0 -1 4202560 567 0 0 0 317 15 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273164994984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29201] ppid=29190 vsize=9824732 CPUtime=4.01 cores=0,2,4,6
/proc/29193/task/29201/stat : 29201 (java) S 29190 29193 27578 0 -1 4202560 901 0 0 0 384 17 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273163942440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29202] ppid=29190 vsize=9824732 CPUtime=3.33 cores=0,2,4,6
/proc/29193/task/29202/stat : 29202 (java) S 29190 29193 27578 0 -1 4202560 701 0 0 0 317 16 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273044678824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29203] ppid=29190 vsize=9824732 CPUtime=3.67 cores=0,2,4,6
/proc/29193/task/29203/stat : 29203 (java) S 29190 29193 27578 0 -1 4202560 716 0 0 0 349 18 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273043626280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29204] ppid=29190 vsize=9824732 CPUtime=6.78 cores=0,2,4,6
/proc/29193/task/29204/stat : 29204 (java) S 29190 29193 27578 0 -1 4202560 2635 0 0 0 671 7 0 0 20 0 22 0 110366500 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273031428968 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29205] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29205/stat : 29205 (java) S 29190 29193 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110366501 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273030375288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29206] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29206/stat : 29206 (java) S 29190 29193 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110366501 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273029322120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29207] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29207/stat : 29207 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366503 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272289704720 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29208] ppid=29190 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/29193/task/29208/stat : 29208 (java) S 29190 29193 27578 0 -1 4202560 10989 0 0 0 138 2 0 0 20 0 22 0 110366503 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272288651576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29209] ppid=29190 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/29193/task/29209/stat : 29209 (java) S 29190 29193 27578 0 -1 4202560 8189 0 0 0 172 2 0 0 20 0 22 0 110366503 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272287599032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29210] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29210/stat : 29210 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366503 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272286546168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29211] ppid=29190 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/29193/task/29211/stat : 29211 (java) S 29190 29193 27578 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 110366503 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272285493832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29212] ppid=29190 vsize=9824732 CPUtime=878.25 cores=0,2,4,6
/proc/29193/task/29212/stat : 29212 (java) R 29190 29193 27578 0 -1 4202560 97 0 0 0 87809 16 0 0 20 0 22 0 110366536 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272284437680 140273045349251 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29213] ppid=29190 vsize=9824732 CPUtime=878.22 cores=0,2,4,6
/proc/29193/task/29213/stat : 29213 (java) R 29190 29193 27578 0 -1 4202560 1350 0 0 0 87773 49 0 0 20 0 22 0 110366536 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272283385824 140273045434953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29214] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29214/stat : 29214 (java) S 29190 29193 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110366537 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272282334504 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29215] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29215/stat : 29215 (java) S 29190 29193 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110366537 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272281281960 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824732

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

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

[startup+895.301 s]
/proc/loadavg: 4.17 4.01 4.12 5/220 29509
/proc/meminfo: memFree=23061252/32872528 swapFree=16636/1570076
[pid=29193] ppid=29190 vsize=9824732 CPUtime=1800 cores=0,2,4,6
/proc/29193/stat : 29193 (java) S 29190 29193 27578 0 -1 4202496 32510 0 1 0 179799 201 0 0 20 0 22 0 110366498 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140737059467056 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29193/statm: 2456183 972462 2302 9 0 2446860 0
[pid=29193/tid=29194] ppid=29190 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/29193/task/29194/stat : 29194 (java) S 29190 29193 27578 0 -1 4202560 2489 0 1 0 37 3 0 0 20 0 22 0 110366498 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273207714680 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29196] ppid=29190 vsize=9824732 CPUtime=3.69 cores=0,2,4,6
/proc/29193/task/29196/stat : 29196 (java) S 29190 29193 27578 0 -1 4202560 662 0 0 0 352 17 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273169206184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29197] ppid=29190 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/29193/task/29197/stat : 29197 (java) S 29190 29193 27578 0 -1 4202560 555 0 0 0 299 14 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273168153640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29198] ppid=29190 vsize=9824732 CPUtime=3.68 cores=0,2,4,6
/proc/29193/task/29198/stat : 29198 (java) S 29190 29193 27578 0 -1 4202560 671 0 0 0 352 16 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273167100584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29199] ppid=29190 vsize=9824732 CPUtime=3.66 cores=0,2,4,6
/proc/29193/task/29199/stat : 29199 (java) S 29190 29193 27578 0 -1 4202560 671 0 0 0 349 17 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273166048040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29200] ppid=29190 vsize=9824732 CPUtime=3.32 cores=0,2,4,6
/proc/29193/task/29200/stat : 29200 (java) S 29190 29193 27578 0 -1 4202560 567 0 0 0 317 15 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273164994984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29201] ppid=29190 vsize=9824732 CPUtime=4.01 cores=0,2,4,6
/proc/29193/task/29201/stat : 29201 (java) S 29190 29193 27578 0 -1 4202560 901 0 0 0 384 17 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273163942440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29202] ppid=29190 vsize=9824732 CPUtime=3.33 cores=0,2,4,6
/proc/29193/task/29202/stat : 29202 (java) S 29190 29193 27578 0 -1 4202560 701 0 0 0 317 16 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273044678824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29203] ppid=29190 vsize=9824732 CPUtime=3.67 cores=0,2,4,6
/proc/29193/task/29203/stat : 29203 (java) S 29190 29193 27578 0 -1 4202560 716 0 0 0 349 18 0 0 20 0 22 0 110366499 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273043626280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29204] ppid=29190 vsize=9824732 CPUtime=6.78 cores=0,2,4,6
/proc/29193/task/29204/stat : 29204 (java) S 29190 29193 27578 0 -1 4202560 2635 0 0 0 671 7 0 0 20 0 22 0 110366500 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273031428968 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29205] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29205/stat : 29205 (java) S 29190 29193 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110366501 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273030375288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29206] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29206/stat : 29206 (java) S 29190 29193 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110366501 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140273029322120 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29207] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29207/stat : 29207 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366503 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272289704720 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29208] ppid=29190 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/29193/task/29208/stat : 29208 (java) S 29190 29193 27578 0 -1 4202560 10989 0 0 0 138 2 0 0 20 0 22 0 110366503 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272288651576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29193/tid=29209] ppid=29190 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/29193/task/29209/stat : 29209 (java) S 29190 29193 27578 0 -1 4202560 8189 0 0 0 172 2 0 0 20 0 22 0 110366503 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272287599032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29210] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29210/stat : 29210 (java) S 29190 29193 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110366503 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272286546168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29211] ppid=29190 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/29193/task/29211/stat : 29211 (java) S 29190 29193 27578 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 110366503 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272285493832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29193/tid=29212] ppid=29190 vsize=9824732 CPUtime=878.25 cores=0,2,4,6
/proc/29193/task/29212/stat : 29212 (java) R 29190 29193 27578 0 -1 4202560 97 0 0 0 87809 16 0 0 20 0 22 0 110366536 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272284437680 140273045349251 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29213] ppid=29190 vsize=9824732 CPUtime=878.22 cores=0,2,4,6
/proc/29193/task/29213/stat : 29213 (java) R 29190 29193 27578 0 -1 4202560 1350 0 0 0 87773 49 0 0 20 0 22 0 110366536 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272283385824 140273045434953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29193/tid=29214] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29214/stat : 29214 (java) S 29190 29193 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110366537 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272282334504 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29193/tid=29215] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29193/task/29215/stat : 29215 (java) S 29190 29193 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110366537 10060525568 972462 33554432000 1073741824 1073778376 140737059475920 140272281281960 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824732

Child status: 143

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

Real time (s): 895.371
CPU time (s): 1800
CPU user time (s): 1797.99
CPU system time (s): 2.01
CPU usage (%): 201.034
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.59
system time used= 2.43063
maximum resident set size= 3889964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32543
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23963
involuntary context switches= 27048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32404 second user time and 8.30074 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 09:25:41
IDJOB=4080501
IDBENCH=90217
IDSOLVER=2543
FILE ID=node140/4080501-1465284341
RUNJOBID= node140-1465276272-27594
PBS_JOBID= 19843305
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K65.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080501-1465284341/watcher-4080501-1465284341 -o /tmp/evaluation-result-4080501-1465284341/solver-4080501-1465284341 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465276272-27594 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080501-1465284341.opb

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

MD5SUM BENCH= a4b90b74bc3d4958439bc17b9ac2ee03
RANDOM SEED=1373138953

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28625808 kB
Buffers:          128564 kB
Cached:           307796 kB
SwapCached:         1688 kB
Active:          1566972 kB
Inactive:         358452 kB
Active(anon):    1488868 kB
Inactive(anon):     2692 kB
Active(file):      78104 kB
Inactive(file):   355760 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098688 kB
Dirty:              1660 kB
Writeback:             0 kB
AnonPages:       2921204 kB
Mapped:            15444 kB
Shmem:                 0 kB
Slab:             603776 kB
SReclaimable:      47640 kB
SUnreclaim:       556136 kB
KernelStack:        1800 kB
PageTables:         9440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3858016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2873344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node140 at 2016-06-07 09:40:37