Trace number 4080481

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.19 899.993

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-146.opb
MD5SUM132271a8a55b01af9ffef359148ae5e1
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48417
Total number of constraints1121431
Number of constraints which are clauses1007614
Number of constraints which are cardinality constraints (but not clauses)3525
Number of constraints which are nor clauses,nor cardinality constraints110292
Minimum length of a constraint2
Maximum length of a constraint690
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Glucose 2.1 dynamic restart strategy
0.09/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-4080481-1465265672.opb
0.09/0.13	c reading problem ... 
0.09/0.13	c  no objective function found
11.04/8.21	c ... done. Wall clock time 8.087s.
11.04/8.21	c declared #vars     48417
11.04/8.21	c #constraints  1123206
11.04/8.22	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
11.04/8.22	c constraints type 
11.04/8.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 773802
11.04/8.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 3527
11.04/8.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 235585
11.04/8.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 110292
11.04/8.22	c 1123206 constraints processed.
11.04/8.22	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
11.04/8.22	c constraints type 
11.04/8.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 235585
11.04/8.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 773802
11.04/8.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3527
11.04/8.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 110292
11.04/8.22	c 1123206 constraints processed.
27.39/15.76	c cleaning 0 clauses out of 5000 with flag 0/5000
40.67/22.57	c cleaning 0 clauses out of 11000 with flag 0/11000
56.94/30.62	c cleaning 2501 clauses out of 5001 with flag 226359/5001
57.25/30.71	c cleaning 0 clauses out of 18003 with flag 0/18003
75.90/39.96	c cleaning 0 clauses out of 26001 with flag 0/26001
91.35/47.56	c cleaning 4209 clauses out of 8499 with flag 631606/11000
102.39/53.09	c cleaning 0 clauses out of 35001 with flag 0/35001
113.00/58.35	c cleaning 5577 clauses out of 11290 with flag 1026088/18000
129.08/66.31	c cleaning 0 clauses out of 45001 with flag 0/45001
136.88/70.27	c cleaning 6702 clauses out of 13713 with flag 1376530/26000
161.22/82.35	c cleaning 0 clauses out of 56001 with flag 0/56001
163.61/83.60	c cleaning 7878 clauses out of 16011 with flag 1839105/35000
190.05/96.71	c cleaning 8859 clauses out of 18135 with flag 2349435/45002
203.92/103.63	c cleaning 0 clauses out of 68002 with flag 0/68002
219.99/111.63	c cleaning 9961 clauses out of 20274 with flag 2810803/56000
248.63/125.93	c cleaning 0 clauses out of 81000 with flag 0/81000
256.83/130.09	c cleaning 10979 clauses out of 22313 with flag 3300348/68000
291.18/147.11	c cleaning 11582 clauses out of 24334 with flag 3964105/81000
303.00/153.08	c cleaning 0 clauses out of 95001 with flag 0/95001
333.75/168.38	c cleaning 13024 clauses out of 26753 with flag 4731073/95001
360.82/181.85	c cleaning 0 clauses out of 110000 with flag 0/110000
383.76/193.28	c cleaning 14293 clauses out of 28728 with flag 5455087/110000
421.62/212.19	c cleaning 14836 clauses out of 30435 with flag 6212665/126000
433.48/218.08	c cleaning 0 clauses out of 126001 with flag 0/126001
482.75/242.66	c cleaning 16224 clauses out of 32599 with flag 7096097/143000
523.72/263.01	c cleaning 16868 clauses out of 34367 with flag 7857456/161000
533.31/267.85	c cleaning 0 clauses out of 143003 with flag 0/143003
587.23/294.75	c cleaning 18054 clauses out of 36495 with flag 8506142/180000
634.19/318.16	c cleaning 0 clauses out of 161000 with flag 0/161000
639.99/321.10	c cleaning 19016 clauses out of 38441 with flag 9402982/200000
693.73/347.82	c cleaning 19989 clauses out of 40425 with flag 10194240/221000
748.81/375.36	c cleaning 0 clauses out of 180002 with flag 0/180002
752.90/377.38	c cleaning 20998 clauses out of 42435 with flag 10905194/243000
811.36/406.50	c cleaning 22010 clauses out of 44436 with flag 11766777/266000
857.31/429.40	c cleaning 23101 clauses out of 46425 with flag 12364419/290000
881.70/441.62	c cleaning 0 clauses out of 200002 with flag 0/200002
918.41/459.91	c cleaning 23981 clauses out of 48325 with flag 12973561/315001
962.60/481.96	c cleaning 24942 clauses out of 50343 with flag 13511283/341000
989.98/495.61	c cleaning 26142 clauses out of 52402 with flag 13727091/368001
1005.87/503.54	c cleaning 27083 clauses out of 54259 with flag 13958192/396000
1030.07/515.60	c cleaning 28041 clauses out of 56176 with flag 14321243/425000
1043.78/522.47	c cleaning 0 clauses out of 221000 with flag 0/221000
1067.78/534.46	c cleaning 29035 clauses out of 58136 with flag 14639782/455001
1111.10/556.09	c cleaning 28648 clauses out of 60100 with flag 15109628/486000
1172.64/586.67	c cleaning 30940 clauses out of 63452 with flag 15788560/518000
1177.44/589.00	c cleaning 0 clauses out of 243001 with flag 0/243001
1201.36/600.90	c cleaning 32081 clauses out of 65513 with flag 16137945/551001
1221.03/610.62	c cleaning 33251 clauses out of 67433 with flag 16472813/585002
1245.33/622.74	c cleaning 33906 clauses out of 69180 with flag 16893871/620000
1267.32/633.74	c cleaning 35285 clauses out of 71274 with flag 17181490/656000
1295.02/647.52	c cleaning 0 clauses out of 266001 with flag 0/266001
1315.63/657.84	c cleaning 35551 clauses out of 72989 with flag 17660937/693000
1435.62/717.68	c cleaning 34641 clauses out of 75438 with flag 18837791/731000
1480.53/740.02	c cleaning 0 clauses out of 290000 with flag 0/290000
1540.47/769.93	c cleaning 36390 clauses out of 79799 with flag 19763796/770002
1606.80/803.04	c cleaning 37531 clauses out of 83407 with flag 20364306/810000
1692.99/846.46	c cleaning 38700 clauses out of 86876 with flag 21102244/851000
1704.59/852.20	c cleaning 0 clauses out of 315000 with flag 0/315000
1726.39/863.16	c cleaning 41244 clauses out of 90177 with flag 21488775/893001
1761.14/880.46	c cleaning 41594 clauses out of 91933 with flag 21892993/936001
1800.19/899.91	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.19/899.91	c starts		: 3636
1800.19/899.91	c conflicts		: 975637
1800.19/899.91	c decisions		: 58730075
1800.19/899.91	c propagations		: 933217110
1800.19/899.91	c inspects		: 6666781698
1800.19/899.91	c shortcuts		: 0
1800.19/899.91	c learnt literals	: 15
1800.19/899.91	c learnt binary clauses	: 3267
1800.19/899.91	c learnt ternary clauses	: 6917
1800.19/899.91	c learnt constraints	: 975622
1800.19/899.91	c ignored constraints	: 0
1800.19/899.91	c root simplifications	: 0
1800.19/899.91	c removed literals (reason simplification)	: 6030645
1800.19/899.91	c reason swapping (by a shorter reason)	: 0
1800.19/899.91	c Calls to reduceDB	: 39
1800.19/899.91	c Number of update (reduction) of LBD	: 526130
1800.19/899.91	c Imported unit clauses	: 0
1800.19/899.91	c number of reductions to clauses (during analyze)	: 0
1800.19/899.91	c number of learned constraints concerned by reduction	: 0
1800.19/899.91	c number of learning phase by resolution	: 0
1800.19/899.91	c number of learning phase by cutting planes	: 0
1800.19/899.91	c speed (assignments/second)	: 1046599.4105416153
1800.19/899.91	c non guided choices	4996108
1800.19/899.94	c learnt constraints type 
1800.19/899.94	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3267
1800.19/899.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 86708
1800.19/899.94	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.19/899.94	c starts		: 135
1800.19/899.94	c conflicts		: 323625
1800.19/899.94	c decisions		: 497978
1800.19/899.94	c propagations		: 360182290
1800.19/899.94	c inspects		: 4566983705
1800.19/899.94	c shortcuts		: 0
1800.19/899.94	c learnt literals	: 0
1800.19/899.94	c learnt binary clauses	: 5
1800.19/899.94	c learnt ternary clauses	: 91
1800.19/899.94	c learnt constraints	: 323624
1800.19/899.94	c ignored constraints	: 0
1800.19/899.94	c root simplifications	: 0
1800.19/899.94	c removed literals (reason simplification)	: 0
1800.19/899.94	c reason swapping (by a shorter reason)	: 0
1800.19/899.94	c Calls to reduceDB	: 21
1800.19/899.94	c Number of update (reduction) of LBD	: 0
1800.19/899.94	c Imported unit clauses	: 0
1800.19/899.94	c number of reductions to clauses (during analyze)	: 0
1800.19/899.94	c number of learned constraints concerned by reduction	: 0
1800.19/899.94	c number of learning phase by resolution	: 0
1800.19/899.94	c number of learning phase by cutting planes	: 0
1800.19/899.94	c speed (assignments/second)	: 403929.91998385097
1800.19/899.94	c non guided choices	19110
1800.19/899.96	c timeout
1800.19/899.98	c learnt constraints type 
1800.19/899.98	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 323535
1800.19/899.98	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 5
1800.19/899.98	c org.sat4j.pb.constraints.pb.MaxWatchPb => 84
1800.19/899.98	s UNKNOWN
1800.19/899.98	c Total wall clock time (in seconds): 899.85

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

pid=16017
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.88 3.93 3.90 4/198 16020
/proc/meminfo: memFree=29036068/32872528 swapFree=11372/178980
[pid=16020] ppid=16017 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/16020/stat : 16020 (java) R 16017 16020 8839 0 -1 4202496 435 0 0 0 0 0 0 0 20 0 1 0 108501981 9379840 89 33554432000 1073741824 1073778376 140733993262384 140733993259512 224922339584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16020/statm: 2290 106 80 9 0 38 0

[startup+0.100064 s]
/proc/loadavg: 3.88 3.93 3.90 4/198 16020
/proc/meminfo: memFree=29036068/32872528 swapFree=11372/178980
[pid=16020] ppid=16017 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/16020/stat : 16020 (java) S 16017 16020 8839 0 -1 4202496 4407 0 1 0 8 1 0 0 20 0 18 0 108501981 9787879424 5530 33554432000 1073741824 1073778376 140733993262384 140733993253520 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16020/statm: 2389619 5530 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200233 s]
/proc/loadavg: 3.88 3.93 3.90 4/198 16020
/proc/meminfo: memFree=29036068/32872528 swapFree=11372/178980
[pid=16020] ppid=16017 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/16020/stat : 16020 (java) S 16017 16020 8839 0 -1 4202496 4679 0 1 0 21 1 0 0 20 0 18 0 108501981 9787879424 9359 33554432000 1073741824 1073778376 140733993262384 140733993253520 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16020/statm: 2389619 9359 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300242 s]
/proc/loadavg: 3.88 3.93 3.90 4/198 16020
/proc/meminfo: memFree=29036068/32872528 swapFree=11372/178980
[pid=16020] ppid=16017 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/16020/stat : 16020 (java) S 16017 16020 8839 0 -1 4202496 5481 0 1 0 45 1 0 0 20 0 18 0 108501981 9787879424 11436 33554432000 1073741824 1073778376 140733993262384 140733993253520 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16020/statm: 2389619 11436 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700248 s]
/proc/loadavg: 3.88 3.93 3.90 4/198 16020
/proc/meminfo: memFree=29036068/32872528 swapFree=11372/178980
[pid=16020] ppid=16017 vsize=9558476 CPUtime=1.35 cores=1,3,5,7
/proc/16020/stat : 16020 (java) S 16017 16020 8839 0 -1 4202496 12311 0 1 0 130 5 0 0 20 0 18 0 108501981 9787879424 44720 33554432000 1073741824 1073778376 140733993262384 140733993253520 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16020/statm: 2389619 44720 2264 9 0 2380296 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9558476

[startup+1.50082 s]
/proc/loadavg: 3.88 3.93 3.90 4/216 16038
/proc/meminfo: memFree=28730324/32872528 swapFree=11372/178980
[pid=16020] ppid=16017 vsize=9558476 CPUtime=2.64 cores=1,3,5,7
/proc/16020/stat : 16020 (java) S 16017 16020 8839 0 -1 4202496 13366 0 1 0 249 15 0 0 20 0 18 0 108501981 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 140733993253520 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16020/statm: 2389619 93083 2264 9 0 2380296 0
[pid=16020/tid=16022] ppid=16017 vsize=9558476 CPUtime=1.34 cores=1,3,5,7
/proc/16020/task/16022/stat : 16022 (java) R 16017 16020 8839 0 -1 4202560 2528 0 1 0 129 5 0 0 20 0 18 0 108501982 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139993105313112 139992932802925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16023] ppid=16017 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/16020/task/16023/stat : 16023 (java) S 16017 16020 8839 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 18 0 108501984 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139993066805800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16024] ppid=16017 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/16020/task/16024/stat : 16024 (java) S 16017 16020 8839 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 18 0 108501984 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139993065753000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16025] ppid=16017 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/16020/task/16025/stat : 16025 (java) S 16017 16020 8839 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 18 0 108501984 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139993064700200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16026] ppid=16017 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/16020/task/16026/stat : 16026 (java) S 16017 16020 8839 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 18 0 108501984 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139993063647400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16027] ppid=16017 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/16020/task/16027/stat : 16027 (java) S 16017 16020 8839 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 18 0 108501984 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139993062595624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16028] ppid=16017 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/16020/task/16028/stat : 16028 (java) S 16017 16020 8839 0 -1 4202560 23 0 0 0 6 0 0 0 20 0 18 0 108501984 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139993061542824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16029] ppid=16017 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/16020/task/16029/stat : 16029 (java) S 16017 16020 8839 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 18 0 108501984 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139993060490024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16030] ppid=16017 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/16020/task/16030/stat : 16030 (java) S 16017 16020 8839 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 18 0 108501984 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139993059437224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16031] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16031/stat : 16031 (java) S 16017 16020 8839 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 108501985 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139992929122792 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16032] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108501985 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139992928068856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108501985 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139992927015944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108501988 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139992925964432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 8839 0 -1 4202560 3723 0 0 0 43 0 0 0 20 0 18 0 108501988 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139992924912568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9558476 CPUtime=0.41 cores=1,3,5,7
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 8839 0 -1 4202560 5440 0 0 0 39 2 0 0 20 0 18 0 108501988 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139992923859768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108501988 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139992922807160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108501988 9787879424 93083 33554432000 1073741824 1073778376 140733993262384 139992921754568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 9558476

[startup+3.10076 s]
/proc/loadavg: 3.73 3.89 3.89 4/216 16038
/proc/meminfo: memFree=28406060/32872528 swapFree=11372/178980
[pid=16020] ppid=16017 vsize=9558476 CPUtime=4.59 cores=1,3,5,7
/proc/16020/stat : 16020 (java) S 16017 16020 8839 0 -1 4202496 13958 0 1 0 430 29 0 0 20 0 18 0 108501981 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 140733993253520 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16020/statm: 2389619 170721 2264 9 0 2380296 0
[pid=16020/tid=16022] ppid=16017 vsize=9558476 CPUtime=2.81 cores=1,3,5,7
/proc/16020/task/16022/stat : 16022 (java) R 16017 16020 8839 0 -1 4202560 2639 0 1 0 271 10 0 0 20 0 18 0 108501982 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139993105305520 139992932756744 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16023] ppid=16017 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/16020/task/16023/stat : 16023 (java) S 16017 16020 8839 0 -1 4202560 36 0 0 0 5 1 0 0 20 0 18 0 108501984 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139993066805800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16024] ppid=16017 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/16020/task/16024/stat : 16024 (java) S 16017 16020 8839 0 -1 4202560 38 0 0 0 5 3 0 0 20 0 18 0 108501984 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139993065753000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16025] ppid=16017 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/16020/task/16025/stat : 16025 (java) S 16017 16020 8839 0 -1 4202560 50 0 0 0 5 1 0 0 20 0 18 0 108501984 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139993064700200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16026] ppid=16017 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/16020/task/16026/stat : 16026 (java) S 16017 16020 8839 0 -1 4202560 46 0 0 0 5 1 0 0 20 0 18 0 108501984 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139993063647400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16027] ppid=16017 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/16020/task/16027/stat : 16027 (java) S 16017 16020 8839 0 -1 4202560 56 0 0 0 7 2 0 0 20 0 18 0 108501984 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139993062595624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16028] ppid=16017 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/16020/task/16028/stat : 16028 (java) S 16017 16020 8839 0 -1 4202560 38 0 0 0 8 2 0 0 20 0 18 0 108501984 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139993061542824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16029] ppid=16017 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/16020/task/16029/stat : 16029 (java) S 16017 16020 8839 0 -1 4202560 92 0 0 0 15 3 0 0 20 0 18 0 108501984 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139993060490024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16030] ppid=16017 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/16020/task/16030/stat : 16030 (java) S 16017 16020 8839 0 -1 4202560 65 0 0 0 11 3 0 0 20 0 18 0 108501984 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139993059437224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16031] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16031/stat : 16031 (java) S 16017 16020 8839 0 -1 4202560 481 0 0 0 0 0 0 0 20 0 18 0 108501985 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139992929122792 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16032] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108501985 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139992928068856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108501985 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139992927015944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108501988 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139992925964432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 8839 0 -1 4202560 3723 0 0 0 45 0 0 0 20 0 18 0 108501988 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139992924912568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9558476 CPUtime=0.41 cores=1,3,5,7
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 8839 0 -1 4202560 5440 0 0 0 39 2 0 0 20 0 18 0 108501988 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139992923859768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108501988 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139992922807160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108501988 9787879424 170721 33554432000 1073741824 1073778376 140733993262384 139992921754568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 9558476

[startup+6.30085 s]
/proc/loadavg: 3.73 3.89 3.89 4/216 16038
/proc/meminfo: memFree=27727200/32872528 swapFree=11372/178980
[pid=16020] ppid=16017 vsize=9558476 CPUtime=8.49 cores=1,3,5,7
/proc/16020/stat : 16020 (java) S 16017 16020 8839 0 -1 4202496 15931 0 1 0 792 57 0 0 20 0 18 0 108501981 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 140733993253520 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16020/statm: 2389619 332803 2264 9 0 2380296 0
[pid=16020/tid=16022] ppid=16017 vsize=9558476 CPUtime=5.75 cores=1,3,5,7
/proc/16020/task/16022/stat : 16022 (java) R 16017 16020 8839 0 -1 4202560 3331 0 1 0 557 18 0 0 20 0 18 0 108501982 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139993105305520 139992932756865 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16023] ppid=16017 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/16020/task/16023/stat : 16023 (java) S 16017 16020 8839 0 -1 4202560 170 0 0 0 19 6 0 0 20 0 18 0 108501984 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139993066805800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16024] ppid=16017 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/16020/task/16024/stat : 16024 (java) S 16017 16020 8839 0 -1 4202560 68 0 0 0 13 4 0 0 20 0 18 0 108501984 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139993065753000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16025] ppid=16017 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/16020/task/16025/stat : 16025 (java) S 16017 16020 8839 0 -1 4202560 154 0 0 0 11 4 0 0 20 0 18 0 108501984 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139993064700200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16026] ppid=16017 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/16020/task/16026/stat : 16026 (java) S 16017 16020 8839 0 -1 4202560 160 0 0 0 13 3 0 0 20 0 18 0 108501984 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139993063647400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16027] ppid=16017 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/16020/task/16027/stat : 16027 (java) S 16017 16020 8839 0 -1 4202560 79 0 0 0 12 3 0 0 20 0 18 0 108501984 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139993062595624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16028] ppid=16017 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/16020/task/16028/stat : 16028 (java) S 16017 16020 8839 0 -1 4202560 113 0 0 0 20 5 0 0 20 0 18 0 108501984 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139993061542824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16029] ppid=16017 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/16020/task/16029/stat : 16029 (java) S 16017 16020 8839 0 -1 4202560 237 0 0 0 24 6 0 0 20 0 18 0 108501984 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139993060490024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16030] ppid=16017 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/16020/task/16030/stat : 16030 (java) S 16017 16020 8839 0 -1 4202560 179 0 0 0 23 6 0 0 20 0 18 0 108501984 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139993059437224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16031] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16031/stat : 16031 (java) S 16017 16020 8839 0 -1 4202560 1023 0 0 0 0 0 0 0 20 0 18 0 108501985 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139992929122792 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16032] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 108501985 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139992928068856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 108501985 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139992927015944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108501988 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139992925964432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 8839 0 -1 4202560 3723 0 0 0 45 0 0 0 20 0 18 0 108501988 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139992924912568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9558476 CPUtime=0.41 cores=1,3,5,7
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 8839 0 -1 4202560 5440 0 0 0 39 2 0 0 20 0 18 0 108501988 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139992923859768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108501988 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139992922807160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 108501988 9787879424 332803 33554432000 1073741824 1073778376 140733993262384 139992921754568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 9558476

[startup+12.7009 s]
/proc/loadavg: 3.67 3.88 3.89 5/220 16042
/proc/meminfo: memFree=26662832/32872528 swapFree=11372/178980
[pid=16020] ppid=16017 vsize=9824732 CPUtime=21.15 cores=1,3,5,7
/proc/16020/stat : 16020 (java) S 16017 16020 8839 0 -1 4202496 21336 0 1 0 2022 93 0 0 20 0 22 0 108501981 10060525568 620768 33554432000 1073741824 1073778376 140733993262384 140733993253520 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16020/statm: 2456183 620768 2282 9 0 2446860 0

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

/proc/16020/task/16025/stat : 16025 (java) S 16017 16020 8839 0 -1 4202560 532 0 0 0 148 12 0 0 20 0 22 0 108501984 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139993064700200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16026] ppid=16017 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/16020/task/16026/stat : 16026 (java) S 16017 16020 8839 0 -1 4202560 541 0 0 0 179 16 0 0 20 0 22 0 108501984 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139993063647400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16027] ppid=16017 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/16020/task/16027/stat : 16027 (java) S 16017 16020 8839 0 -1 4202560 486 0 0 0 157 14 0 0 20 0 22 0 108501984 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139993062595624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16028] ppid=16017 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/16020/task/16028/stat : 16028 (java) S 16017 16020 8839 0 -1 4202560 503 0 0 0 171 12 0 0 20 0 22 0 108501984 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139993061542824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16029] ppid=16017 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/16020/task/16029/stat : 16029 (java) S 16017 16020 8839 0 -1 4202560 616 0 0 0 197 17 0 0 20 0 22 0 108501984 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139993060490024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16030] ppid=16017 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/16020/task/16030/stat : 16030 (java) S 16017 16020 8839 0 -1 4202560 588 0 0 0 183 16 0 0 20 0 22 0 108501984 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139993059437224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16031] ppid=16017 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/16020/task/16031/stat : 16031 (java) S 16017 16020 8839 0 -1 4202560 2407 0 0 0 162 6 0 0 20 0 22 0 108501985 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139992929122792 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16032] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108501985 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139992928068856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108501985 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139992927015944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108501988 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139992925964432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 8839 0 -1 4202560 7631 0 0 0 126 2 0 0 20 0 22 0 108501988 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139992924912568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 8839 0 -1 4202560 11275 0 0 0 146 2 0 0 20 0 22 0 108501988 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139992923859768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108501988 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139992922807160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 8839 0 -1 4202560 51 0 0 0 19 18 0 0 20 0 22 0 108501988 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139992921754568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16039] ppid=16017 vsize=9824732 CPUtime=866.68 cores=1,3,5,7
/proc/16020/task/16039/stat : 16039 (java) R 16017 16020 8839 0 -1 4202560 53 0 0 0 86654 14 0 0 20 0 22 0 108502804 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139992920690704 139992933192767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16040] ppid=16017 vsize=9824732 CPUtime=866.61 cores=1,3,5,7
/proc/16020/task/16040/stat : 16040 (java) R 16017 16020 8839 0 -1 4202560 466 0 0 0 86643 18 0 0 20 0 22 0 108502804 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139992919644848 139992933334994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16041] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16041/stat : 16041 (java) S 16017 16020 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108502806 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139992918594472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16042] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16042/stat : 16042 (java) S 16017 16020 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108502806 10060525568 833981 33554432000 1073741824 1073778376 140733993262384 139992917541672 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.95
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.908 s]
/proc/loadavg: 4.03 4.08 3.99 5/219 16335
/proc/meminfo: memFree=25647532/32872528 swapFree=11372/178980
[pid=16020] ppid=16017 vsize=9824732 CPUtime=1800.19 cores=1,3,5,7
/proc/16020/stat : 16020 (java) S 16017 16020 8839 0 -1 4202496 31103 0 1 0 179846 173 0 0 20 0 22 0 108501981 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 140733993253520 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16020/statm: 2456183 833986 2297 9 0 2446860 0
[pid=16020/tid=16022] ppid=16017 vsize=9824732 CPUtime=7.5 cores=1,3,5,7
/proc/16020/task/16022/stat : 16022 (java) S 16017 16020 8839 0 -1 4202560 3795 0 1 0 716 34 0 0 20 0 22 0 108501982 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993105314680 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16023] ppid=16017 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/16020/task/16023/stat : 16023 (java) S 16017 16020 8839 0 -1 4202560 536 0 0 0 193 15 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993066805800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16024] ppid=16017 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/16020/task/16024/stat : 16024 (java) S 16017 16020 8839 0 -1 4202560 347 0 0 0 174 12 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993065753000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16025] ppid=16017 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/16020/task/16025/stat : 16025 (java) S 16017 16020 8839 0 -1 4202560 532 0 0 0 150 12 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993064700200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16026] ppid=16017 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/16020/task/16026/stat : 16026 (java) S 16017 16020 8839 0 -1 4202560 541 0 0 0 181 16 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993063647400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16027] ppid=16017 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/16020/task/16027/stat : 16027 (java) S 16017 16020 8839 0 -1 4202560 488 0 0 0 158 14 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993062595624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16028] ppid=16017 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/16020/task/16028/stat : 16028 (java) S 16017 16020 8839 0 -1 4202560 503 0 0 0 174 12 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993061542824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16029] ppid=16017 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/16020/task/16029/stat : 16029 (java) S 16017 16020 8839 0 -1 4202560 618 0 0 0 198 17 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993060490024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16030] ppid=16017 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/16020/task/16030/stat : 16030 (java) S 16017 16020 8839 0 -1 4202560 588 0 0 0 185 16 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993059437224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16031] ppid=16017 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/16020/task/16031/stat : 16031 (java) S 16017 16020 8839 0 -1 4202560 2409 0 0 0 162 6 0 0 20 0 22 0 108501985 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992929122792 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16032] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108501985 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992928068856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108501985 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992927015944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108501988 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992925964432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 8839 0 -1 4202560 7631 0 0 0 126 2 0 0 20 0 22 0 108501988 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992924912568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 8839 0 -1 4202560 11275 0 0 0 146 2 0 0 20 0 22 0 108501988 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992923859768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108501988 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992922807160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 8839 0 -1 4202560 53 0 0 0 19 19 0 0 20 0 22 0 108501988 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992921754568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16039] ppid=16017 vsize=9824732 CPUtime=884.19 cores=1,3,5,7
/proc/16020/task/16039/stat : 16039 (java) R 16017 16020 8839 0 -1 4202560 54 0 0 0 88405 14 0 0 20 0 22 0 108502804 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992920698416 139992933262940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16040] ppid=16017 vsize=9824732 CPUtime=884.13 cores=1,3,5,7
/proc/16020/task/16040/stat : 16040 (java) R 16017 16020 8839 0 -1 4202560 466 0 0 0 88395 18 0 0 20 0 22 0 108502804 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992919644848 139992933334195 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16041] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16041/stat : 16041 (java) S 16017 16020 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108502806 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992918594472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16042] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16042/stat : 16042 (java) S 16017 16020 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108502806 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992917541672 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
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 16020 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+899.908 s]
/proc/loadavg: 4.03 4.08 3.99 5/219 16335
/proc/meminfo: memFree=25647532/32872528 swapFree=11372/178980
[pid=16020] ppid=16017 vsize=9824732 CPUtime=1800.19 cores=1,3,5,7
/proc/16020/stat : 16020 (java) S 16017 16020 8839 0 -1 4202496 31103 0 1 0 179846 173 0 0 20 0 22 0 108501981 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 140733993253520 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16020/statm: 2456183 833986 2297 9 0 2446860 0
[pid=16020/tid=16022] ppid=16017 vsize=9824732 CPUtime=7.5 cores=1,3,5,7
/proc/16020/task/16022/stat : 16022 (java) S 16017 16020 8839 0 -1 4202560 3795 0 1 0 716 34 0 0 20 0 22 0 108501982 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993105314680 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16023] ppid=16017 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/16020/task/16023/stat : 16023 (java) S 16017 16020 8839 0 -1 4202560 536 0 0 0 193 15 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993066805800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16024] ppid=16017 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/16020/task/16024/stat : 16024 (java) S 16017 16020 8839 0 -1 4202560 347 0 0 0 174 12 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993065753000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16025] ppid=16017 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/16020/task/16025/stat : 16025 (java) S 16017 16020 8839 0 -1 4202560 532 0 0 0 150 12 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993064700200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16026] ppid=16017 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/16020/task/16026/stat : 16026 (java) S 16017 16020 8839 0 -1 4202560 541 0 0 0 181 16 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993063647400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16027] ppid=16017 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/16020/task/16027/stat : 16027 (java) S 16017 16020 8839 0 -1 4202560 488 0 0 0 158 14 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993062595624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16028] ppid=16017 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/16020/task/16028/stat : 16028 (java) S 16017 16020 8839 0 -1 4202560 503 0 0 0 174 12 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993061542824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16029] ppid=16017 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/16020/task/16029/stat : 16029 (java) S 16017 16020 8839 0 -1 4202560 618 0 0 0 198 17 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993060490024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16030] ppid=16017 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/16020/task/16030/stat : 16030 (java) S 16017 16020 8839 0 -1 4202560 588 0 0 0 185 16 0 0 20 0 22 0 108501984 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139993059437224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16031] ppid=16017 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/16020/task/16031/stat : 16031 (java) S 16017 16020 8839 0 -1 4202560 2409 0 0 0 162 6 0 0 20 0 22 0 108501985 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992929122792 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16032] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16032/stat : 16032 (java) S 16017 16020 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108501985 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992928068856 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16033] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16033/stat : 16033 (java) S 16017 16020 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 108501985 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992927015944 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16034] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16034/stat : 16034 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108501988 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992925964432 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16020/tid=16035] ppid=16017 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/16020/task/16035/stat : 16035 (java) S 16017 16020 8839 0 -1 4202560 7631 0 0 0 126 2 0 0 20 0 22 0 108501988 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992924912568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16036] ppid=16017 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/16020/task/16036/stat : 16036 (java) S 16017 16020 8839 0 -1 4202560 11275 0 0 0 146 2 0 0 20 0 22 0 108501988 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992923859768 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16037] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16037/stat : 16037 (java) S 16017 16020 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108501988 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992922807160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16020/tid=16038] ppid=16017 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/16020/task/16038/stat : 16038 (java) S 16017 16020 8839 0 -1 4202560 53 0 0 0 19 19 0 0 20 0 22 0 108501988 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992921754568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16039] ppid=16017 vsize=9824732 CPUtime=884.19 cores=1,3,5,7
/proc/16020/task/16039/stat : 16039 (java) R 16017 16020 8839 0 -1 4202560 54 0 0 0 88405 14 0 0 20 0 22 0 108502804 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992920698416 139992933262940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16040] ppid=16017 vsize=9824732 CPUtime=884.13 cores=1,3,5,7
/proc/16020/task/16040/stat : 16040 (java) R 16017 16020 8839 0 -1 4202560 466 0 0 0 88395 18 0 0 20 0 22 0 108502804 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992919644848 139992933334195 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16020/tid=16041] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16041/stat : 16041 (java) S 16017 16020 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108502806 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992918594472 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16020/tid=16042] ppid=16017 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16020/task/16042/stat : 16042 (java) S 16017 16020 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 108502806 10060525568 833986 33554432000 1073741824 1073778376 140733993262384 139992917541672 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16020 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=89256
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=261656
# CPU time returned by wait4() is 1796.35
# while last known CPU time is 1800.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 899.993
CPU time (s): 1800.19
CPU user time (s): 1798.46
CPU system time (s): 1.73
CPU usage (%): 200.023
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.09
system time used= 2.26166
maximum resident set size= 3336060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31136
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23404
involuntary context switches= 27989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68329 second user time and 8.74467 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-07 04:14:33
IDJOB=4080481
IDBENCH=89637
IDSOLVER=2543
FILE ID=node105/4080481-1465265672
RUNJOBID= node105-1465255598-8856
PBS_JOBID= 19843277
Free space on /tmp= 71688 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-146.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080481-1465265672/watcher-4080481-1465265672 -o /tmp/evaluation-result-4080481-1465265672/solver-4080481-1465265672 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465255598-8856 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080481-1465265672.opb

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

MD5SUM BENCH= 132271a8a55b01af9ffef359148ae5e1
RANDOM SEED=1952123051

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29036596 kB
Buffers:           77640 kB
Cached:           233052 kB
SwapCached:         1780 kB
Active:          2770204 kB
Inactive:         164640 kB
Active(anon):    2625244 kB
Inactive(anon):     1544 kB
Active(file):     144960 kB
Inactive(file):   163096 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098480 kB
Dirty:             50692 kB
Writeback:             0 kB
AnonPages:       2813020 kB
Mapped:            15368 kB
Shmem:                 0 kB
Slab:             574364 kB
SReclaimable:      17160 kB
SUnreclaim:       557204 kB
KernelStack:        1608 kB
PageTables:         9892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3147192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2756608 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= 71688 MiB
End job on node105 at 2016-06-07 04:29:33