Trace number 4080553

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.07 893.776

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K106.opb
MD5SUMafe4117ba13dcfbcd06fd88e1353402a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark115.216
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7208
Total number of constraints7422
Number of constraints which are clauses7316
Number of constraints which are cardinality constraints (but not clauses)106
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint106
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 107
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4080553-1465276272.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  no objective function found
1.11/0.50	c ... done. Wall clock time 0.392s.
1.11/0.50	c declared #vars     7208
1.11/0.50	c #constraints  7422
1.11/0.50	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.11/0.50	c constraints type 
1.11/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5949
1.11/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 106
1.11/0.50	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1.11/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1365
1.11/0.50	c 7422 constraints processed.
1.11/0.50	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.11/0.50	c constraints type 
1.11/0.50	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1365
1.11/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5949
1.11/0.50	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 106
1.11/0.50	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.11/0.50	c 7422 constraints processed.
6.33/2.24	c cleaning 2494 clauses out of 4994 with flag 23888/5000
10.19/3.82	c cleaning 4231 clauses out of 8495 with flag 60624/11000
13.86/5.69	c cleaning 5629 clauses out of 11257 with flag 102677/18000
18.11/7.76	c cleaning 6765 clauses out of 13620 with flag 150823/26000
23.23/10.23	c cleaning 7895 clauses out of 15852 with flag 206294/35000
28.43/12.87	c cleaning 8945 clauses out of 17958 with flag 264215/45004
34.37/15.77	c cleaning 9420 clauses out of 19994 with flag 322120/56000
40.77/18.97	c cleaning 10042 clauses out of 22568 with flag 387257/68000
48.52/22.78	c cleaning 10805 clauses out of 25516 with flag 457728/81001
57.07/26.99	c cleaning 11935 clauses out of 28709 with flag 533125/95000
65.54/31.19	c cleaning 12630 clauses out of 31770 with flag 622113/110001
74.33/35.52	c cleaning 13558 clauses out of 35137 with flag 710258/126000
85.04/40.89	c cleaning 14519 clauses out of 38582 with flag 807396/143004
95.73/46.15	c cleaning 15018 clauses out of 42057 with flag 906832/161000
106.95/51.76	c cleaning 16027 clauses out of 46038 with flag 1013065/180001
119.42/57.92	c cleaning 16836 clauses out of 50007 with flag 1124542/200003
132.30/64.39	c cleaning 17927 clauses out of 54168 with flag 1246973/221002
147.17/71.73	c cleaning 18533 clauses out of 58233 with flag 1380297/243000
162.88/79.51	c cleaning 19796 clauses out of 62702 with flag 1517492/266003
179.51/88.19	c cleaning 20266 clauses out of 66901 with flag 1658578/290001
195.11/95.95	c cleaning 21232 clauses out of 71633 with flag 1818150/315000
212.38/104.51	c cleaning 22040 clauses out of 76401 with flag 1985311/341002
232.08/114.35	c cleaning 23097 clauses out of 81357 with flag 2156063/368000
251.68/124.15	c cleaning 23989 clauses out of 86257 with flag 2336072/396000
256.68/126.59	c cleaning 0 clauses out of 5000 with flag 0/5000
272.90/134.53	c cleaning 24656 clauses out of 91274 with flag 2526171/425007
296.87/146.81	c cleaning 25717 clauses out of 96610 with flag 2718332/455000
320.90/158.88	c cleaning 26780 clauses out of 101895 with flag 2915050/486004
345.61/171.15	c cleaning 27624 clauses out of 107109 with flag 3127224/518000
371.88/184.29	c cleaning 28639 clauses out of 112484 with flag 3351901/551000
399.28/197.82	c cleaning 29424 clauses out of 117842 with flag 3576343/585000
427.02/211.64	c cleaning 30605 clauses out of 123417 with flag 3821074/620000
457.11/226.53	c cleaning 31258 clauses out of 128812 with flag 4070429/656001
488.92/242.32	c cleaning 32247 clauses out of 134552 with flag 4328256/693000
521.78/258.51	c cleaning 33541 clauses out of 140305 with flag 4590580/731001
553.04/274.01	c cleaning 34216 clauses out of 145762 with flag 4860476/770000
588.96/291.81	c cleaning 35332 clauses out of 151546 with flag 5141148/810000
626.86/310.49	c cleaning 36053 clauses out of 157214 with flag 5443383/851000
667.81/331.44	c cleaning 37316 clauses out of 163160 with flag 5753808/893000
705.78/350.33	c cleaning 38121 clauses out of 168843 with flag 6066537/936000
746.39/370.56	c cleaning 39021 clauses out of 174724 with flag 6392397/980002
788.69/391.40	c cleaning 40102 clauses out of 180699 with flag 6734417/1025000
827.31/410.77	c cleaning 40927 clauses out of 186597 with flag 7074137/1071000
870.76/432.30	c cleaning 41900 clauses out of 192669 with flag 7438666/1118000
922.04/457.48	c cleaning 43023 clauses out of 198771 with flag 7817371/1166003
971.44/481.99	c cleaning 44002 clauses out of 204746 with flag 8188963/1215001
1025.77/510.14	c cleaning 44865 clauses out of 210742 with flag 8587080/1265000
1077.25/535.75	c cleaning 45876 clauses out of 216877 with flag 8995399/1316001
1129.68/561.84	c cleaning 47012 clauses out of 222999 with flag 9413361/1368001
1182.71/588.20	c cleaning 48090 clauses out of 228986 with flag 9850653/1421001
1240.66/616.93	c cleaning 48933 clauses out of 234895 with flag 10284652/1475000
1301.74/647.10	c cleaning 49987 clauses out of 240962 with flag 10740423/1530000
1363.36/677.68	c cleaning 50830 clauses out of 246979 with flag 11208355/1586004
1427.53/709.48	c cleaning 51757 clauses out of 253145 with flag 11691045/1643000
1495.65/743.14	c cleaning 52914 clauses out of 259392 with flag 12185365/1701004
1567.12/778.52	c cleaning 54003 clauses out of 265474 with flag 12676104/1760000
1638.01/813.74	c cleaning 55027 clauses out of 271472 with flag 13199413/1820001
1712.94/850.77	c cleaning 55828 clauses out of 277444 with flag 13722231/1881000
1792.07/889.87	c cleaning 56889 clauses out of 283616 with flag 14286530/1943001
1800.07/893.70	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.07/893.70	c starts		: 13088
1800.07/893.70	c conflicts		: 1951366
1800.07/893.70	c decisions		: 37162305
1800.07/893.70	c propagations		: 761922697
1800.07/893.70	c inspects		: 4739032005
1800.07/893.70	c shortcuts		: 0
1800.07/893.70	c learnt literals	: 130
1800.07/893.70	c learnt binary clauses	: 90140
1800.07/893.70	c learnt ternary clauses	: 93953
1800.07/893.70	c learnt constraints	: 1951236
1800.07/893.70	c ignored constraints	: 0
1800.07/893.70	c root simplifications	: 0
1800.07/893.70	c removed literals (reason simplification)	: 22709763
1800.07/893.70	c reason swapping (by a shorter reason)	: 0
1800.07/893.70	c Calls to reduceDB	: 58
1800.07/893.70	c Number of update (reduction) of LBD	: 1508449
1800.07/893.70	c Imported unit clauses	: 0
1800.07/893.70	c number of reductions to clauses (during analyze)	: 0
1800.07/893.70	c number of learned constraints concerned by reduction	: 0
1800.07/893.70	c number of learning phase by resolution	: 0
1800.07/893.70	c number of learning phase by cutting planes	: 0
1800.07/893.70	c speed (assignments/second)	: 853036.3640841972
1800.07/893.70	c non guided choices	10035
1800.07/893.75	c learnt constraints type 
1800.07/893.75	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 90140
1800.07/893.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 144952
1800.07/893.75	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.07/893.75	c starts		: 35
1800.07/893.75	c conflicts		: 10850
1800.07/893.75	c decisions		: 108252
1800.07/893.75	c propagations		: 4007081
1800.07/893.75	c inspects		: 818979475
1800.07/893.75	c shortcuts		: 0
1800.07/893.75	c learnt literals	: 0
1800.07/893.75	c learnt binary clauses	: 0
1800.07/893.75	c learnt ternary clauses	: 0
1800.07/893.75	c learnt constraints	: 10850
1800.07/893.75	c ignored constraints	: 0
1800.07/893.75	c root simplifications	: 0
1800.07/893.75	c removed literals (reason simplification)	: 0
1800.07/893.75	c reason swapping (by a shorter reason)	: 0
1800.07/893.75	c Calls to reduceDB	: 1
1800.07/893.75	c Number of update (reduction) of LBD	: 0
1800.07/893.75	c Imported unit clauses	: 0
1800.07/893.75	c number of reductions to clauses (during analyze)	: 0
1800.07/893.75	c number of learned constraints concerned by reduction	: 0
1800.07/893.75	c number of learning phase by resolution	: 0
1800.07/893.75	c number of learning phase by cutting planes	: 0
1800.07/893.75	c speed (assignments/second)	: 4486.032231159773
1800.07/893.75	c non guided choices	294
1800.07/893.76	c learnt constraints type 
1800.07/893.76	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 282
1800.07/893.76	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1364
1800.07/893.76	c org.sat4j.pb.constraints.pb.MaxWatchPb => 9204
1800.07/893.76	s UNKNOWN
1800.07/893.76	c Total wall clock time (in seconds): 893.649

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

pid=27622
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: 1.10 1.17 1.46 2/177 27625
/proc/meminfo: memFree=30137432/32872528 swapFree=16636/1570076
[pid=27625] ppid=27622 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/27625/stat : 27625 (java) S 27622 27625 27578 0 -1 4202496 1295 0 0 0 0 0 0 0 20 0 2 0 109559538 95129600 927 33554432000 1073741824 1073778376 140733456668736 140733456659872 213422997565 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27625/statm: 23225 927 703 9 0 16769 0
[pid=27625/tid=27627] ppid=27622 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (java) D 27622 27625 27578 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 109559538 95129600 927 33554432000 1073741824 1073778376 140733456668736 139948514295336 213410475303 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 1.10 1.17 1.46 2/177 27625
/proc/meminfo: memFree=30137432/32872528 swapFree=16636/1570076
[pid=27625] ppid=27622 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/27625/stat : 27625 (java) S 27622 27625 27578 0 -1 4202496 4483 0 1 0 10 1 0 0 20 0 18 0 109559538 9787879424 6113 33554432000 1073741824 1073778376 140733456668736 140733456659872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27625/statm: 2389619 6113 2156 9 0 2380296 0
[pid=27625/tid=27627] ppid=27622 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (java) R 27622 27625 27578 0 -1 4202560 2392 0 1 0 7 0 0 0 20 0 18 0 109559538 9787879424 6113 33554432000 1073741824 1073778376 140733456668736 139948514298784 213423023373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200324 s]
/proc/loadavg: 1.10 1.17 1.46 2/177 27625
/proc/meminfo: memFree=30137432/32872528 swapFree=16636/1570076
[pid=27625] ppid=27622 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/27625/stat : 27625 (java) S 27622 27625 27578 0 -1 4202496 6722 0 1 0 29 1 0 0 20 0 18 0 109559538 9787879424 8683 33554432000 1073741824 1073778376 140733456668736 140733456659872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27625/statm: 2389619 8683 2222 9 0 2380296 0
[pid=27625/tid=27627] ppid=27622 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (java) R 27622 27625 27578 0 -1 4202560 2405 0 1 0 17 0 0 0 20 0 18 0 109559538 9787879424 8683 33554432000 1073741824 1073778376 140733456668736 139948514298784 139948517585767 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300347 s]
/proc/loadavg: 1.10 1.17 1.46 2/177 27625
/proc/meminfo: memFree=30137432/32872528 swapFree=16636/1570076
[pid=27625] ppid=27622 vsize=9558476 CPUtime=0.59 cores=1,3,5,7
/proc/27625/stat : 27625 (java) S 27622 27625 27578 0 -1 4202496 7217 0 1 0 57 2 0 0 20 0 18 0 109559538 9787879424 10466 33554432000 1073741824 1073778376 140733456668736 140733456659872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27625/statm: 2389619 10466 2237 9 0 2380296 0
[pid=27625/tid=27627] ppid=27622 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (java) R 27622 27625 27578 0 -1 4202560 2408 0 1 0 27 0 0 0 20 0 18 0 109559538 9787879424 10466 33554432000 1073741824 1073778376 140733456668736 139948514298784 139948372231981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558476

[startup+0.700245 s]
/proc/loadavg: 1.10 1.17 1.46 2/177 27625
/proc/meminfo: memFree=30137432/32872528 swapFree=16636/1570076
[pid=27625] ppid=27622 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/27625/stat : 27625 (java) S 27622 27625 27578 0 -1 4202496 20926 0 1 0 183 6 0 0 20 0 22 0 109559538 10060525568 30891 33554432000 1073741824 1073778376 140733456668736 140733456659872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27625/statm: 2456183 30891 2256 9 0 2446860 0
[pid=27625/tid=27627] ppid=27622 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (java) S 27622 27625 27578 0 -1 4202560 2444 0 1 0 47 1 0 0 20 0 22 0 109559538 10060525568 30891 33554432000 1073741824 1073778376 140733456668736 139948514300792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 1.10 1.17 1.46 8/219 27667
/proc/meminfo: memFree=29918624/32872528 swapFree=16636/1570076
[pid=27625] ppid=27622 vsize=9824732 CPUtime=4.51 cores=1,3,5,7
/proc/27625/stat : 27625 (java) S 27622 27625 27578 0 -1 4202496 20966 0 1 0 445 6 0 0 20 0 22 0 109559538 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 140733456659872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27625/statm: 2456183 35992 2275 9 0 2446860 0
[pid=27625/tid=27627] ppid=27622 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (java) S 27622 27625 27578 0 -1 4202560 2444 0 1 0 47 1 0 0 20 0 22 0 109559538 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948514300792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27636] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27636/stat : 27636 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559539 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948492401576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27637] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27637/stat : 27637 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559539 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948491349032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27638] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27638/stat : 27638 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559539 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948288109224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27639] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27639/stat : 27639 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559539 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948287056680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27640] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27640/stat : 27640 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559539 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948286003624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27641] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27641/stat : 27641 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559539 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948284951080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27642] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27642/stat : 27642 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559539 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948283898024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27643] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27643/stat : 27643 (java) S 27622 27625 27578 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109559539 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948282845480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27647] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27647/stat : 27647 (java) S 27622 27625 27578 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109559540 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948270648168 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27648] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27648/stat : 27648 (java) S 27622 27625 27578 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 109559541 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948269594488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27649] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27649/stat : 27649 (java) S 27622 27625 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109559541 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948268541320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27655] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27655/stat : 27655 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559543 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948267490064 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27656] ppid=27622 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/27625/task/27656/stat : 27656 (java) S 27622 27625 27578 0 -1 4202560 7395 0 0 0 103 2 0 0 20 0 22 0 109559543 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948266436920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27657] ppid=27622 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/27625/task/27657/stat : 27657 (java) S 27622 27625 27578 0 -1 4202560 9784 0 0 0 94 4 0 0 20 0 22 0 109559543 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948265384376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27658] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27658/stat : 27658 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559543 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948264331512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27659] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27659/stat : 27659 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559543 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948263279176 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27664] ppid=27622 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/27625/task/27664/stat : 27664 (java) R 27622 27625 27578 0 -1 4202560 22 0 0 0 97 0 0 0 20 0 22 0 109559589 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948262224840 139948372861454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27665] ppid=27622 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/27625/task/27665/stat : 27665 (java) R 27622 27625 27578 0 -1 4202560 42 0 0 0 96 0 0 0 20 0 22 0 109559589 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948261172056 139948373014543 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27666] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27666/stat : 27666 (java) S 27622 27625 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109559590 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948260119848 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27667] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27667/stat : 27667 (java) S 27622 27625 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109559590 10060525568 35992 33554432000 1073741824 1073778376 140733456668736 139948259067304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 9824732

[startup+3.10086 s]
/proc/loadavg: 1.10 1.17 1.46 19/219 27667
/proc/meminfo: memFree=29720008/32872528 swapFree=16636/1570076
[pid=27625] ppid=27622 vsize=9824732 CPUtime=8.69 cores=1,3,5,7
/proc/27625/stat : 27625 (java) S 27622 27625 27578 0 -1 4202496 24310 0 1 0 855 14 0 0 20 0 22 0 109559538 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 140733456659872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27625/statm: 2456183 62251 2292 9 0 2446860 0
[pid=27625/tid=27627] ppid=27622 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (java) S 27622 27625 27578 0 -1 4202560 2444 0 1 0 47 1 0 0 20 0 22 0 109559538 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948514300792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27636] ppid=27622 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/27625/task/27636/stat : 27636 (java) S 27622 27625 27578 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 22 0 109559539 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948492401576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27637] ppid=27622 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27625/task/27637/stat : 27637 (java) S 27622 27625 27578 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 109559539 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948491349032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27638] ppid=27622 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27625/task/27638/stat : 27638 (java) S 27622 27625 27578 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 109559539 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948288109224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27639] ppid=27622 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/27625/task/27639/stat : 27639 (java) S 27622 27625 27578 0 -1 4202560 27 0 0 0 5 1 0 0 20 0 22 0 109559539 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948287056680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27640] ppid=27622 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27625/task/27640/stat : 27640 (java) S 27622 27625 27578 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 109559539 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948286003624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27641] ppid=27622 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27625/task/27641/stat : 27641 (java) S 27622 27625 27578 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 22 0 109559539 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948284951080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27642] ppid=27622 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27625/task/27642/stat : 27642 (java) S 27622 27625 27578 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 109559539 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948283898024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27643] ppid=27622 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27625/task/27643/stat : 27643 (java) S 27622 27625 27578 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 109559539 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948282845480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27647] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27647/stat : 27647 (java) S 27622 27625 27578 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 109559540 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948270648168 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27648] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27648/stat : 27648 (java) S 27622 27625 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109559541 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948269594488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27649] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27649/stat : 27649 (java) S 27622 27625 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109559541 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948268541320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27655] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27655/stat : 27655 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559543 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948267490064 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27656] ppid=27622 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/27625/task/27656/stat : 27656 (java) S 27622 27625 27578 0 -1 4202560 10510 0 0 0 152 3 0 0 20 0 22 0 109559543 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948266436920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27657] ppid=27622 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/27625/task/27657/stat : 27657 (java) S 27622 27625 27578 0 -1 4202560 9798 0 0 0 132 4 0 0 20 0 22 0 109559543 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948265384376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27658] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27658/stat : 27658 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559543 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948264331512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27659] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27659/stat : 27659 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559543 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948263279176 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27664] ppid=27622 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/27625/task/27664/stat : 27664 (java) R 27622 27625 27578 0 -1 4202560 23 0 0 0 245 0 0 0 20 0 22 0 109559589 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948262222976 139948372927225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27665] ppid=27622 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/27625/task/27665/stat : 27665 (java) R 27622 27625 27578 0 -1 4202560 70 0 0 0 243 1 0 0 20 0 22 0 109559589 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948261171592 139948373309833 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27666] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27666/stat : 27666 (java) S 27622 27625 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109559590 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948260119848 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27667] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27667/stat : 27667 (java) S 27622 27625 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109559590 10060525568 62251 33554432000 1073741824 1073778376 140733456668736 139948259067304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 9824732

[startup+6.301 s]
/proc/loadavg: 1.41 1.24 1.48 6/219 27667
/proc/meminfo: memFree=29399312/32872528 swapFree=16636/1570076
[pid=27625] ppid=27622 vsize=9824732 CPUtime=15.25 cores=1,3,5,7
/proc/27625/stat : 27625 (java) S 27622 27625 27578 0 -1 4202496 24783 0 1 0 1502 23 0 0 20 0 22 0 109559538 10060525568 137715 33554432000 1073741824 1073778376 140733456668736 140733456659872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27625/statm: 2456183 137715 2292 9 0 2446860 0
[pid=27625/tid=27627] ppid=27622 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (java) S 27622 27625 27578 0 -1 4202560 2444 0 1 0 47 1 0 0 20 0 22 0 109559538 10060525568 137715 33554432000 1073741824 1073778376 140733456668736 139948514300792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27636] ppid=27622 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/27625/task/27636/stat : 27636 (java) S 27622 27625 27578 0 -1 4202560 46 0 0 0 5 2 0 0 20 0 22 0 109559539 10060525568 137715 33554432000 1073741824 1073778376 140733456668736 139948492401576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27637] ppid=27622 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/27625/task/27637/stat : 27637 (java) S 27622 27625 27578 0 -1 4202560 75 0 0 0 7 2 0 0 20 0 22 0 109559539 10060525568 137715 33554432000 1073741824 1073778376 140733456668736 139948491349032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27638] ppid=27622 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/27625/task/27638/stat : 27638 (java) S 27622 27625 27578 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 22 0 109559539 10060525568 137715 33554432000 1073741824 1073778376 140733456668736 139948288109224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27639] ppid=27622 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/27625/task/27639/stat : 27639 (java) S 27622 27625 27578 0 -1 4202560 37 0 0 0 7 2 0 0 20 0 22 0 109559539 10060525568 137715 33554432000 1073741824 1073778376 140733456668736 139948287056680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27640] ppid=27622 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/27625/task/27640/stat : 27640 (java) S 27622 27625 27578 0 -1 4202560 44 0 0 0 3 1 0 0 20 0 22 0 109559539 10060525568 137715 33554432000 1073741824 1073778376 140733456668736 139948286003624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27641] ppid=27622 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/27625/task/27641/stat : 27641 (java) S 27622 27625 27578 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 22 0 109559539 10060525568 137715 33554432000 1073741824 1073778376 140733456668736 139948284951080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27642] ppid=27622 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27625/task/27642/stat : 27642 (java) S 27622 27625 27578 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 109559539 10060525568 137715 33554432000 1073741824 1073778376 140733456668736 139948283898024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27643] ppid=27622 vsize=9824732 CPUtime=0.09 cores=1,3,5,7

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

/proc/27625/task/27638/stat : 27638 (java) R 27622 27625 27578 0 -1 4202560 627 0 0 0 399 17 0 0 20 0 22 0 109559539 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948288109400 139948516771529 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27639] ppid=27622 vsize=9824732 CPUtime=4.02 cores=1,3,5,7
/proc/27625/task/27639/stat : 27639 (java) R 27622 27625 27578 0 -1 4202560 729 0 0 0 382 20 0 0 20 0 22 0 109559539 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948287056856 139948518475951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27640] ppid=27622 vsize=9824732 CPUtime=4.07 cores=1,3,5,7
/proc/27625/task/27640/stat : 27640 (java) R 27622 27625 27578 0 -1 4202560 734 0 0 0 387 20 0 0 20 0 22 0 109559539 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948286003800 139948518475954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27641] ppid=27622 vsize=9824732 CPUtime=4.03 cores=1,3,5,7
/proc/27625/task/27641/stat : 27641 (java) R 27622 27625 27578 0 -1 4202560 650 0 0 0 384 19 0 0 20 0 22 0 109559539 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948284951256 139948521196002 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27642] ppid=27622 vsize=9824732 CPUtime=3.95 cores=1,3,5,7
/proc/27625/task/27642/stat : 27642 (java) R 27622 27625 27578 0 -1 4202560 554 0 0 0 378 17 0 0 20 0 22 0 109559539 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948283898024 139948521197960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27643] ppid=27622 vsize=9824732 CPUtime=4.15 cores=1,3,5,7
/proc/27625/task/27643/stat : 27643 (java) R 27622 27625 27578 0 -1 4202560 635 0 0 0 399 16 0 0 20 0 22 0 109559539 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948282845360 139948517578594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27647] ppid=27622 vsize=9824732 CPUtime=5.53 cores=1,3,5,7
/proc/27625/task/27647/stat : 27647 (java) S 27622 27625 27578 0 -1 4202560 2518 0 0 0 541 12 0 0 20 0 22 0 109559540 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948270647048 213423010876 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27648] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27648/stat : 27648 (java) S 27622 27625 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109559541 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948269594488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27649] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27649/stat : 27649 (java) S 27622 27625 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109559541 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948268541320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27655] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27655/stat : 27655 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559543 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948267490064 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27656] ppid=27622 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/27625/task/27656/stat : 27656 (java) S 27622 27625 27578 0 -1 4202560 11248 0 0 0 184 3 0 0 20 0 22 0 109559543 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948266436920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27657] ppid=27622 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/27625/task/27657/stat : 27657 (java) S 27622 27625 27578 0 -1 4202560 9804 0 0 0 152 4 0 0 20 0 22 0 109559543 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948265384376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27658] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27658/stat : 27658 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559543 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948264331512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27659] ppid=27622 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/27625/task/27659/stat : 27659 (java) S 27622 27625 27578 0 -1 4202560 50 0 0 0 15 21 0 0 20 0 22 0 109559543 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948263279176 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27664] ppid=27622 vsize=9824732 CPUtime=865.32 cores=1,3,5,7
/proc/27625/task/27664/stat : 27664 (java) S 27622 27625 27578 0 -1 4202560 228 0 0 0 86518 14 0 0 20 0 22 0 109559589 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948262223896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27665] ppid=27622 vsize=9824732 CPUtime=865.13 cores=1,3,5,7
/proc/27625/task/27665/stat : 27665 (java) S 27622 27625 27578 0 -1 4202560 1785 0 0 0 86467 46 0 0 20 0 22 0 109559589 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948261170248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27666] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27666/stat : 27666 (java) S 27622 27625 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109559590 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948260119848 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27667] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27667/stat : 27667 (java) S 27622 27625 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109559590 10060525568 977439 33554432000 1073741824 1073778376 140733456668736 139948259067304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1776.87
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+893.701 s]
/proc/loadavg: 4.47 4.13 3.18 5/219 27688
/proc/meminfo: memFree=22270500/32872528 swapFree=16636/1570076
[pid=27625] ppid=27622 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7
/proc/27625/stat : 27625 (java) S 27622 27625 27578 0 -1 4202496 34826 0 1 0 179782 225 0 0 20 0 22 0 109559538 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 140733456659872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27625/statm: 2456183 989726 2301 9 0 2446860 0
[pid=27625/tid=27627] ppid=27622 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (java) S 27622 27625 27578 0 -1 4202560 2465 0 1 0 49 4 0 0 20 0 22 0 109559538 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948514300792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27636] ppid=27622 vsize=9824732 CPUtime=4.12 cores=1,3,5,7
/proc/27625/task/27636/stat : 27636 (java) S 27622 27625 27578 0 -1 4202560 775 0 0 0 389 23 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948492401576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27637] ppid=27622 vsize=9824732 CPUtime=3.99 cores=1,3,5,7
/proc/27625/task/27637/stat : 27637 (java) S 27622 27625 27578 0 -1 4202560 708 0 0 0 383 16 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948491349032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27638] ppid=27622 vsize=9824732 CPUtime=4.29 cores=1,3,5,7
/proc/27625/task/27638/stat : 27638 (java) S 27622 27625 27578 0 -1 4202560 635 0 0 0 411 18 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948288109224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27639] ppid=27622 vsize=9824732 CPUtime=4.08 cores=1,3,5,7
/proc/27625/task/27639/stat : 27639 (java) S 27622 27625 27578 0 -1 4202560 735 0 0 0 388 20 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948287056680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27640] ppid=27622 vsize=9824732 CPUtime=4.15 cores=1,3,5,7
/proc/27625/task/27640/stat : 27640 (java) S 27622 27625 27578 0 -1 4202560 737 0 0 0 395 20 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948286003624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27641] ppid=27622 vsize=9824732 CPUtime=4.14 cores=1,3,5,7
/proc/27625/task/27641/stat : 27641 (java) S 27622 27625 27578 0 -1 4202560 661 0 0 0 394 20 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948284951080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27642] ppid=27622 vsize=9824732 CPUtime=4.06 cores=1,3,5,7
/proc/27625/task/27642/stat : 27642 (java) S 27622 27625 27578 0 -1 4202560 562 0 0 0 388 18 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948283898024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27643] ppid=27622 vsize=9824732 CPUtime=4.31 cores=1,3,5,7
/proc/27625/task/27643/stat : 27643 (java) S 27622 27625 27578 0 -1 4202560 645 0 0 0 415 16 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948282845480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27647] ppid=27622 vsize=9824732 CPUtime=5.53 cores=1,3,5,7
/proc/27625/task/27647/stat : 27647 (java) S 27622 27625 27578 0 -1 4202560 2520 0 0 0 541 12 0 0 20 0 22 0 109559540 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948270648168 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27648] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27648/stat : 27648 (java) S 27622 27625 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109559541 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948269594488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27649] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27649/stat : 27649 (java) S 27622 27625 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109559541 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948268541320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27655] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27655/stat : 27655 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559543 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948267490064 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27656] ppid=27622 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/27625/task/27656/stat : 27656 (java) S 27622 27625 27578 0 -1 4202560 11248 0 0 0 184 3 0 0 20 0 22 0 109559543 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948266436920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27657] ppid=27622 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/27625/task/27657/stat : 27657 (java) S 27622 27625 27578 0 -1 4202560 9804 0 0 0 152 4 0 0 20 0 22 0 109559543 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948265384376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27658] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27658/stat : 27658 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559543 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948264331512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27659] ppid=27622 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/27625/task/27659/stat : 27659 (java) S 27622 27625 27578 0 -1 4202560 52 0 0 0 15 21 0 0 20 0 22 0 109559543 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948263279176 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27664] ppid=27622 vsize=9824732 CPUtime=876.45 cores=1,3,5,7
/proc/27625/task/27664/stat : 27664 (java) R 27622 27625 27578 0 -1 4202560 228 0 0 0 87631 14 0 0 20 0 22 0 109559589 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948262223776 139948372903228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27665] ppid=27622 vsize=9824732 CPUtime=876.26 cores=1,3,5,7
/proc/27625/task/27665/stat : 27665 (java) R 27622 27625 27578 0 -1 4202560 1785 0 0 0 87580 46 0 0 20 0 22 0 109559589 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948261170336 139948373081095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27666] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27666/stat : 27666 (java) S 27622 27625 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109559590 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948260119848 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27667] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27667/stat : 27667 (java) S 27622 27625 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109559590 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948259067304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 27625 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+893.701 s]
/proc/loadavg: 4.47 4.13 3.18 5/219 27688
/proc/meminfo: memFree=22270500/32872528 swapFree=16636/1570076
[pid=27625] ppid=27622 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7
/proc/27625/stat : 27625 (java) S 27622 27625 27578 0 -1 4202496 34826 0 1 0 179782 225 0 0 20 0 22 0 109559538 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 140733456659872 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27625/statm: 2456183 989726 2301 9 0 2446860 0
[pid=27625/tid=27627] ppid=27622 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/27625/task/27627/stat : 27627 (java) S 27622 27625 27578 0 -1 4202560 2465 0 1 0 49 4 0 0 20 0 22 0 109559538 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948514300792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27636] ppid=27622 vsize=9824732 CPUtime=4.12 cores=1,3,5,7
/proc/27625/task/27636/stat : 27636 (java) S 27622 27625 27578 0 -1 4202560 775 0 0 0 389 23 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948492401576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27637] ppid=27622 vsize=9824732 CPUtime=3.99 cores=1,3,5,7
/proc/27625/task/27637/stat : 27637 (java) S 27622 27625 27578 0 -1 4202560 708 0 0 0 383 16 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948491349032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27638] ppid=27622 vsize=9824732 CPUtime=4.29 cores=1,3,5,7
/proc/27625/task/27638/stat : 27638 (java) S 27622 27625 27578 0 -1 4202560 635 0 0 0 411 18 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948288109224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27639] ppid=27622 vsize=9824732 CPUtime=4.08 cores=1,3,5,7
/proc/27625/task/27639/stat : 27639 (java) S 27622 27625 27578 0 -1 4202560 735 0 0 0 388 20 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948287056680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27640] ppid=27622 vsize=9824732 CPUtime=4.15 cores=1,3,5,7
/proc/27625/task/27640/stat : 27640 (java) S 27622 27625 27578 0 -1 4202560 737 0 0 0 395 20 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948286003624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27641] ppid=27622 vsize=9824732 CPUtime=4.14 cores=1,3,5,7
/proc/27625/task/27641/stat : 27641 (java) S 27622 27625 27578 0 -1 4202560 661 0 0 0 394 20 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948284951080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27642] ppid=27622 vsize=9824732 CPUtime=4.06 cores=1,3,5,7
/proc/27625/task/27642/stat : 27642 (java) S 27622 27625 27578 0 -1 4202560 562 0 0 0 388 18 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948283898024 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27643] ppid=27622 vsize=9824732 CPUtime=4.31 cores=1,3,5,7
/proc/27625/task/27643/stat : 27643 (java) S 27622 27625 27578 0 -1 4202560 645 0 0 0 415 16 0 0 20 0 22 0 109559539 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948282845480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27647] ppid=27622 vsize=9824732 CPUtime=5.53 cores=1,3,5,7
/proc/27625/task/27647/stat : 27647 (java) S 27622 27625 27578 0 -1 4202560 2520 0 0 0 541 12 0 0 20 0 22 0 109559540 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948270648168 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27648] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27648/stat : 27648 (java) S 27622 27625 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109559541 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948269594488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27649] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27649/stat : 27649 (java) S 27622 27625 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109559541 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948268541320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27655] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27655/stat : 27655 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559543 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948267490064 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27656] ppid=27622 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/27625/task/27656/stat : 27656 (java) S 27622 27625 27578 0 -1 4202560 11248 0 0 0 184 3 0 0 20 0 22 0 109559543 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948266436920 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27657] ppid=27622 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/27625/task/27657/stat : 27657 (java) S 27622 27625 27578 0 -1 4202560 9804 0 0 0 152 4 0 0 20 0 22 0 109559543 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948265384376 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27625/tid=27658] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27658/stat : 27658 (java) S 27622 27625 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109559543 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948264331512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27625/tid=27659] ppid=27622 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/27625/task/27659/stat : 27659 (java) S 27622 27625 27578 0 -1 4202560 52 0 0 0 15 21 0 0 20 0 22 0 109559543 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948263279176 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27664] ppid=27622 vsize=9824732 CPUtime=876.45 cores=1,3,5,7
/proc/27625/task/27664/stat : 27664 (java) R 27622 27625 27578 0 -1 4202560 228 0 0 0 87631 14 0 0 20 0 22 0 109559589 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948262223776 139948372903228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27625/tid=27665] ppid=27622 vsize=9824732 CPUtime=876.26 cores=1,3,5,7
/proc/27625/task/27665/stat : 27665 (java) R 27622 27625 27578 0 -1 4202560 1785 0 0 0 87580 46 0 0 20 0 22 0 109559589 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948261170336 139948373081095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27666] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27666/stat : 27666 (java) S 27622 27625 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109559590 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948260119848 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27625/tid=27667] ppid=27622 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27625/task/27667/stat : 27667 (java) S 27622 27625 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109559590 10060525568 989726 33554432000 1073741824 1073778376 140733456668736 139948259067304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824732

Child status: 143

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

Real time (s): 893.776
CPU time (s): 1800.07
CPU user time (s): 1797.82
CPU system time (s): 2.25
CPU usage (%): 201.401
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.45
system time used= 2.72358
maximum resident set size= 3959020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34860
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24240
involuntary context switches= 30879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82596 second user time and 6.24205 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 07:11:12
IDJOB=4080553
IDBENCH=90124
IDSOLVER=2543
FILE ID=node140/4080553-1465276272
RUNJOBID= node140-1465276272-27595
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/ShortestPathTate/normalized-TateBritain_K106.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080553-1465276272/watcher-4080553-1465276272 -o /tmp/evaluation-result-4080553-1465276272/solver-4080553-1465276272 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465276272-27595 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080553-1465276272.opb

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

MD5SUM BENCH= afe4117ba13dcfbcd06fd88e1353402a
RANDOM SEED=1499581496

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:        30139728 kB
Buffers:          122060 kB
Cached:           301232 kB
SwapCached:         1688 kB
Active:            76204 kB
Inactive:         349676 kB
Active(anon):       2588 kB
Inactive(anon):     2748 kB
Active(file):      73616 kB
Inactive(file):   346928 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098688 kB
Dirty:              2396 kB
Writeback:             0 kB
AnonPages:       1572996 kB
Mapped:             6760 kB
Shmem:                 0 kB
Slab:             602828 kB
SReclaimable:      47268 kB
SUnreclaim:       555560 kB
KernelStack:        1336 kB
PageTables:         7020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1688324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1556480 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 07:26:06