Trace number 4116761

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 Resolution PB16? (TO) 1800.09 1797.94

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round23-6.opb
MD5SUM741a06cc26bfcc11ac91a7e34a8a8d22
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 variables4288
Total number of constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4116761-1466977481.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  no objective function found
0.68/0.42	c ... done. Wall clock time 0.308s.
0.68/0.42	c declared #vars     4288
0.68/0.42	c #constraints  10848
0.68/0.42	c constraints type 
0.68/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.68/0.42	c org.sat4j.specs.Constr$1 => 920
0.68/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.68/0.42	c org.sat4j.minisat.constraints.cnf.UnitClause => 520
0.68/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.68/0.42	c 10848 constraints processed.
1.70/1.06	c cleaning 2493 clauses out of 4998 with flag 16049/5000
2.48/1.74	c cleaning 4227 clauses out of 8506 with flag 39008/11001
3.18/2.48	c cleaning 5621 clauses out of 11278 with flag 67711/18000
4.10/3.31	c cleaning 6811 clauses out of 13657 with flag 100930/26000
5.11/4.30	c cleaning 7921 clauses out of 15846 with flag 143095/35000
6.11/5.35	c cleaning 8947 clauses out of 17925 with flag 191769/45000
7.30/6.53	c cleaning 9967 clauses out of 19978 with flag 245781/56000
8.70/7.90	c cleaning 11004 clauses out of 22011 with flag 307553/68000
10.20/9.46	c cleaning 11982 clauses out of 24007 with flag 375579/81000
11.81/11.08	c cleaning 12968 clauses out of 26026 with flag 451016/95001
13.70/12.98	c cleaning 14017 clauses out of 28057 with flag 529406/110000
15.70/14.97	c cleaning 15009 clauses out of 30040 with flag 616629/126000
17.90/17.14	c cleaning 15985 clauses out of 32031 with flag 710640/143000
20.20/19.44	c cleaning 16992 clauses out of 34046 with flag 813622/161000
22.71/21.94	c cleaning 17961 clauses out of 36054 with flag 921766/180000
25.41/24.67	c cleaning 18997 clauses out of 38096 with flag 1037502/200003
28.32/27.58	c cleaning 20022 clauses out of 40096 with flag 1156220/221000
31.41/30.62	c cleaning 21030 clauses out of 42077 with flag 1284277/243003
34.71/33.98	c cleaning 21995 clauses out of 44044 with flag 1417459/266000
38.32/37.51	c cleaning 22970 clauses out of 46049 with flag 1555591/290000
42.11/41.34	c cleaning 24001 clauses out of 48079 with flag 1702440/315000
46.12/45.33	c cleaning 25023 clauses out of 50078 with flag 1854385/341000
50.22/49.42	c cleaning 26009 clauses out of 52056 with flag 2019294/368001
54.44/53.62	c cleaning 27006 clauses out of 54046 with flag 2187318/396000
58.64/57.86	c cleaning 27996 clauses out of 56041 with flag 2359440/425001
63.14/62.32	c cleaning 29010 clauses out of 58044 with flag 2535044/455000
67.64/66.85	c cleaning 29973 clauses out of 60034 with flag 2722155/486000
72.54/71.70	c cleaning 30975 clauses out of 62061 with flag 2913527/518000
77.54/76.72	c cleaning 32017 clauses out of 64086 with flag 3110547/551000
82.74/81.99	c cleaning 32979 clauses out of 66069 with flag 3312568/585000
88.34/87.56	c cleaning 34035 clauses out of 68090 with flag 3518921/620000
94.36/93.53	c cleaning 35008 clauses out of 70055 with flag 3733931/656000
100.55/99.78	c cleaning 35988 clauses out of 72047 with flag 3955006/693000
106.85/106.06	c cleaning 37002 clauses out of 74059 with flag 4184246/731000
113.65/112.87	c cleaning 37981 clauses out of 76058 with flag 4417457/770001
120.95/120.13	c cleaning 38991 clauses out of 78077 with flag 4659220/810001
128.36/127.51	c cleaning 40002 clauses out of 80085 with flag 4903535/851000
136.06/135.27	c cleaning 41016 clauses out of 82083 with flag 5156836/893000
143.57/142.75	c cleaning 41994 clauses out of 84067 with flag 5416909/936000
151.26/150.44	c cleaning 43004 clauses out of 86073 with flag 5684605/980000
159.17/158.38	c cleaning 44027 clauses out of 88070 with flag 5959161/1025001
167.67/166.81	c cleaning 45005 clauses out of 90043 with flag 6234459/1071001
176.27/175.44	c cleaning 45991 clauses out of 92037 with flag 6520343/1118000
185.17/184.38	c cleaning 46981 clauses out of 94048 with flag 6810874/1166002
194.58/193.71	c cleaning 48026 clauses out of 96065 with flag 7110888/1215000
204.27/203.48	c cleaning 49003 clauses out of 98039 with flag 7410877/1265000
214.28/213.49	c cleaning 49949 clauses out of 100036 with flag 7716215/1316000
224.78/223.95	c cleaning 51033 clauses out of 102088 with flag 8032628/1368001
235.62/234.70	c cleaning 51994 clauses out of 104054 with flag 8353387/1421000
246.53/245.65	c cleaning 53017 clauses out of 106062 with flag 8679553/1475002
257.43/256.57	c cleaning 54015 clauses out of 108043 with flag 9012253/1530000
268.93/268.07	c cleaning 55004 clauses out of 110028 with flag 9349979/1586000
280.93/280.02	c cleaning 55961 clauses out of 112024 with flag 9694056/1643000
293.23/292.31	c cleaning 57019 clauses out of 114064 with flag 10039130/1701001
306.03/305.12	c cleaning 58007 clauses out of 116044 with flag 10396197/1760000
319.14/318.22	c cleaning 58936 clauses out of 118038 with flag 10756700/1820001
332.94/332.02	c cleaning 60030 clauses out of 120101 with flag 11121413/1881000
346.51/345.52	c cleaning 60983 clauses out of 122071 with flag 11489951/1943000
360.19/359.24	c cleaning 62014 clauses out of 124089 with flag 11863551/2006001
374.70/373.73	c cleaning 63021 clauses out of 126074 with flag 12247668/2070000
389.41/388.50	c cleaning 64002 clauses out of 128053 with flag 12634754/2135000
404.83/403.81	c cleaning 65010 clauses out of 130051 with flag 13023716/2201000
420.53/419.54	c cleaning 65966 clauses out of 132042 with flag 13421330/2268001
436.73/435.72	c cleaning 67031 clauses out of 134075 with flag 13830391/2336000
453.43/452.47	c cleaning 67997 clauses out of 136045 with flag 14242193/2405001
469.86/468.88	c cleaning 68982 clauses out of 138048 with flag 14658773/2475001
486.66/485.65	c cleaning 70004 clauses out of 140065 with flag 15082191/2546000
503.76/502.78	c cleaning 70999 clauses out of 142061 with flag 15518179/2618000
521.67/520.61	c cleaning 71990 clauses out of 144062 with flag 15954383/2691000
540.07/539.08	c cleaning 73015 clauses out of 146072 with flag 16399169/2765000
559.17/558.17	c cleaning 73998 clauses out of 148059 with flag 16850796/2840002
578.92/577.80	c cleaning 74969 clauses out of 150060 with flag 17309466/2916001
598.44/597.39	c cleaning 75994 clauses out of 152090 with flag 17768267/2993000
619.23/618.11	c cleaning 77042 clauses out of 154097 with flag 18232833/3071001
640.24/639.14	c cleaning 78005 clauses out of 156054 with flag 18707245/3150000
661.55/660.47	c cleaning 79019 clauses out of 158049 with flag 19183382/3230000
683.95/682.85	c cleaning 80008 clauses out of 160030 with flag 19662054/3311000
706.32/705.15	c cleaning 80968 clauses out of 162024 with flag 20148538/3393002
729.23/728.08	c cleaning 82003 clauses out of 164055 with flag 20639010/3476001
752.64/751.49	c cleaning 82999 clauses out of 166051 with flag 21135266/3560000
776.84/775.62	c cleaning 83997 clauses out of 168052 with flag 21635427/3645000
801.35/800.19	c cleaning 85017 clauses out of 170055 with flag 22144912/3731000
826.83/825.57	c cleaning 85995 clauses out of 172038 with flag 22663137/3818000
852.34/851.00	c cleaning 87013 clauses out of 174045 with flag 23181206/3906002
878.54/877.20	c cleaning 87996 clauses out of 176030 with flag 23708864/3995000
905.35/904.06	c cleaning 88983 clauses out of 178035 with flag 24241637/4085001
933.16/931.83	c cleaning 89992 clauses out of 180052 with flag 24776546/4176001
960.52/959.15	c cleaning 90992 clauses out of 182059 with flag 25318676/4268000
988.94/987.58	c cleaning 92019 clauses out of 184067 with flag 25872346/4361000
1017.34/1015.94	c cleaning 93004 clauses out of 186048 with flag 26428861/4455000
1047.15/1045.76	c cleaning 93998 clauses out of 188044 with flag 26990402/4550000
1077.47/1075.94	c cleaning 95006 clauses out of 190046 with flag 27561437/4646000
1108.17/1106.68	c cleaning 95999 clauses out of 192040 with flag 28133701/4743000
1139.08/1137.60	c cleaning 97001 clauses out of 194042 with flag 28712449/4841001
1171.67/1170.18	c cleaning 98000 clauses out of 196040 with flag 29294527/4940000
1204.19/1202.52	c cleaning 99004 clauses out of 198041 with flag 29884164/5040001
1236.70/1235.01	c cleaning 99999 clauses out of 200036 with flag 30473744/5141000
1270.20/1268.58	c cleaning 100988 clauses out of 202037 with flag 31072060/5243000
1305.91/1304.23	c cleaning 102013 clauses out of 204050 with flag 31678461/5346001
1340.67/1338.90	c cleaning 103000 clauses out of 206036 with flag 32287877/5450000
1376.67/1374.89	c cleaning 103967 clauses out of 208036 with flag 32906347/5555000
1412.67/1410.89	c cleaning 104978 clauses out of 210071 with flag 33532438/5661002
1449.47/1447.55	c cleaning 106017 clauses out of 212091 with flag 34161014/5768000
1487.68/1485.78	c cleaning 107019 clauses out of 214074 with flag 34793062/5876000
1526.48/1524.50	c cleaning 108004 clauses out of 216056 with flag 35433064/5985001
1565.99/1564.03	c cleaning 108945 clauses out of 218051 with flag 36078142/6095000
1606.25/1604.29	c cleaning 110048 clauses out of 220106 with flag 36724669/6206000
1647.67/1645.61	c cleaning 111009 clauses out of 222058 with flag 37384887/6318000
1689.38/1687.39	c cleaning 111975 clauses out of 224049 with flag 38050444/6431000
1731.07/1728.95	c cleaning 113028 clauses out of 226074 with flag 38719327/6545000
1773.98/1771.86	c cleaning 113996 clauses out of 228046 with flag 39399324/6660000
1800.09/1797.90	c starts		: 53176
1800.09/1797.90	c conflicts		: 6737649
1800.09/1797.90	c decisions		: 56521596
1800.09/1797.90	c propagations		: 869101439
1800.09/1797.90	c inspects		: 24937519933
1800.09/1797.90	c shortcuts		: 0
1800.09/1797.90	c learnt literals	: 2
1800.09/1797.90	c learnt binary clauses	: 58
1800.09/1797.90	c learnt ternary clauses	: 797
1800.09/1797.90	c learnt constraints	: 6737647
1800.09/1797.90	c ignored constraints	: 0
1800.09/1797.90	c root simplifications	: 0
1800.09/1797.90	c removed literals (reason simplification)	: 0
1800.09/1797.90	c reason swapping (by a shorter reason)	: 0
1800.09/1797.90	c Calls to reduceDB	: 111
1800.09/1797.90	c Number of update (reduction) of LBD	: 1445634
1800.09/1797.90	c Imported unit clauses	: 0
1800.09/1797.90	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.90	c number of learned constraints concerned by reduction	: 0
1800.09/1797.90	c number of learning phase by resolution	: 0
1800.09/1797.90	c number of learning phase by cutting planes	: 0
1800.09/1797.90	c speed (assignments/second)	: 483513.2002056221
1800.09/1797.90	c non guided choices	24858
1800.09/1797.90	c timeout
1800.09/1797.93	c learnt constraints type 
1800.09/1797.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 58
1800.09/1797.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 191641
1800.09/1797.93	s UNKNOWN
1800.09/1797.93	c Total wall clock time (in seconds): 1797.816

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-4116761-1466977481/watcher-4116761-1466977481 -o /tmp/evaluation-result-4116761-1466977481/solver-4116761-1466977481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466945036-19727 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116761-1466977481.opb 

pid=24177
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: 2.23 2.21 2.18 3/196 24180
/proc/meminfo: memFree=30014168/32872528 swapFree=1491540/1663236
[pid=24180] ppid=24177 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/24180/stat : 24180 (java) D 24177 24180 19710 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 30786408 2560000 46 33554432000 1073741824 1073778376 140734263418560 140734263415688 273896533287 0 0 4096 0 18446744072100764964 0 0 17 5 0 0 0 0 0
/proc/24180/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.23 2.21 2.18 3/196 24180
/proc/meminfo: memFree=30014168/32872528 swapFree=1491540/1663236
[pid=24180] ppid=24177 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/24180/stat : 24180 (java) S 24177 24180 19710 0 -1 4202496 4420 0 1 0 8 0 0 0 20 0 18 0 30786408 9787879424 6054 33554432000 1073741824 1073778376 140734263418560 140734263409696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24180/statm: 2389619 6054 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 2.23 2.21 2.18 3/196 24180
/proc/meminfo: memFree=30014168/32872528 swapFree=1491540/1663236
[pid=24180] ppid=24177 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/24180/stat : 24180 (java) S 24177 24180 19710 0 -1 4202496 4943 0 1 0 25 1 0 0 20 0 18 0 30786408 9787879424 7000 33554432000 1073741824 1073778376 140734263418560 140734263409696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24180/statm: 2389619 7000 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300246 s]
/proc/loadavg: 2.23 2.21 2.18 3/196 24180
/proc/meminfo: memFree=30014168/32872528 swapFree=1491540/1663236
[pid=24180] ppid=24177 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/24180/stat : 24180 (java) S 24177 24180 19710 0 -1 4202496 5806 0 1 0 47 1 0 0 20 0 18 0 30786408 9787879424 8998 33554432000 1073741824 1073778376 140734263418560 140734263409696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24180/statm: 2389619 8998 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700202 s]
/proc/loadavg: 2.23 2.21 2.18 3/196 24180
/proc/meminfo: memFree=30014168/32872528 swapFree=1491540/1663236
[pid=24180] ppid=24177 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/24180/stat : 24180 (java) S 24177 24180 19710 0 -1 4202496 9015 0 1 0 133 2 0 0 20 0 19 0 30786408 9856040960 15981 33554432000 1073741824 1073778376 140734263418560 140734263409696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24180/statm: 2406260 15981 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040

[startup+1.50086 s]
/proc/loadavg: 2.23 2.21 2.18 4/215 24199
/proc/meminfo: memFree=29957164/32872528 swapFree=1491540/1663236
[pid=24180] ppid=24177 vsize=9625040 CPUtime=2.25 cores=1,3,5,7
/proc/24180/stat : 24180 (java) S 24177 24180 19710 0 -1 4202496 9657 0 1 0 223 2 0 0 20 0 19 0 30786408 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140734263409696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24180/statm: 2406260 16293 2270 9 0 2396937 0
[pid=24180/tid=24182] ppid=24177 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/24180/task/24182/stat : 24182 (java) R 24177 24180 19710 0 -1 4202560 2465 0 1 0 144 1 0 0 20 0 19 0 30786409 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641991823488 140641932207421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24183] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24183/stat : 24183 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641930553896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24184] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24184/stat : 24184 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641929501096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24185] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24185/stat : 24185 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641928448296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24186] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24186/stat : 24186 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641927395496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24180/tid=24187] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24187/stat : 24187 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641830648872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24188] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24188/stat : 24188 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641829596072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24189] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24189/stat : 24189 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641828543272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24180/tid=24190] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24190/stat : 24190 (java) S 24177 24180 19710 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641827490472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24191] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24191/stat : 24191 (java) S 24177 24180 19710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641815292392 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24192] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24192/stat : 24192 (java) S 24177 24180 19710 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641814238456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24193] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24193/stat : 24193 (java) S 24177 24180 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641813185544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24194] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24194/stat : 24194 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641812134032 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24195] ppid=24177 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/24180/task/24195/stat : 24195 (java) S 24177 24180 19710 0 -1 4202560 4085 0 0 0 44 0 0 0 20 0 19 0 30786415 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641811082168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24196] ppid=24177 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/24180/task/24196/stat : 24196 (java) S 24177 24180 19710 0 -1 4202560 1830 0 0 0 32 0 0 0 20 0 19 0 30786415 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641810029368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24197] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24197/stat : 24197 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641808976760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24198] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24198/stat : 24198 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641807924168 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24199] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24199/stat : 24199 (java) S 24177 24180 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30786452 9856040960 16293 33554432000 1073741824 1073778376 140734263418560 140641806869672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.23 2.21 2.18 3/215 24199
/proc/meminfo: memFree=29954496/32872528 swapFree=1491540/1663236
[pid=24180] ppid=24177 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/24180/stat : 24180 (java) S 24177 24180 19710 0 -1 4202496 9660 0 1 0 386 3 0 0 20 0 19 0 30786408 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140734263409696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24180/statm: 2406260 17317 2270 9 0 2396937 0
[pid=24180/tid=24182] ppid=24177 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/24180/task/24182/stat : 24182 (java) R 24177 24180 19710 0 -1 4202560 2468 0 1 0 302 2 0 0 20 0 19 0 30786409 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641991814864 140641932128864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24183] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24183/stat : 24183 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641930553896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24184] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24184/stat : 24184 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641929501096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24185] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24185/stat : 24185 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641928448296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24186] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24186/stat : 24186 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641927395496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24180/tid=24187] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24187/stat : 24187 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641830648872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24188] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24188/stat : 24188 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641829596072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24189] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24189/stat : 24189 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641828543272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24180/tid=24190] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24190/stat : 24190 (java) S 24177 24180 19710 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641827490472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24191] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24191/stat : 24191 (java) S 24177 24180 19710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641815292392 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24192] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24192/stat : 24192 (java) S 24177 24180 19710 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641814238456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24193] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24193/stat : 24193 (java) S 24177 24180 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641813185544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24194] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24194/stat : 24194 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641812134032 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24195] ppid=24177 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/24180/task/24195/stat : 24195 (java) S 24177 24180 19710 0 -1 4202560 4085 0 0 0 46 0 0 0 20 0 19 0 30786415 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641811082168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24196] ppid=24177 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/24180/task/24196/stat : 24196 (java) S 24177 24180 19710 0 -1 4202560 1830 0 0 0 34 0 0 0 20 0 19 0 30786415 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641810029368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24197] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24197/stat : 24197 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641808976760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24198] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24198/stat : 24198 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641807924168 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24199] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24199/stat : 24199 (java) S 24177 24180 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30786452 9856040960 17317 33554432000 1073741824 1073778376 140734263418560 140641806869672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 2.29 2.22 2.19 3/215 24199
/proc/meminfo: memFree=29946896/32872528 swapFree=1491540/1663236
[pid=24180] ppid=24177 vsize=9625040 CPUtime=7.1 cores=1,3,5,7
/proc/24180/stat : 24180 (java) S 24177 24180 19710 0 -1 4202496 9666 0 1 0 707 3 0 0 20 0 19 0 30786408 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140734263409696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24180/statm: 2406260 19074 2271 9 0 2396937 0
[pid=24180/tid=24182] ppid=24177 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/24180/task/24182/stat : 24182 (java) R 24177 24180 19710 0 -1 4202560 2473 0 1 0 622 2 0 0 20 0 19 0 30786409 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641991814848 140641932175559 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24183] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24183/stat : 24183 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641930553896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24184] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24184/stat : 24184 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641929501096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24185] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24185/stat : 24185 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641928448296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24186] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24186/stat : 24186 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641927395496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24180/tid=24187] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24187/stat : 24187 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641830648872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24188] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24188/stat : 24188 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641829596072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24189] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24189/stat : 24189 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641828543272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24180/tid=24190] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24190/stat : 24190 (java) S 24177 24180 19710 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30786411 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641827490472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24191] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24191/stat : 24191 (java) S 24177 24180 19710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641815292392 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24192] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24192/stat : 24192 (java) S 24177 24180 19710 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641814238456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24193] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24193/stat : 24193 (java) S 24177 24180 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641813185544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24194] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24194/stat : 24194 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641812134032 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24195] ppid=24177 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/24180/task/24195/stat : 24195 (java) S 24177 24180 19710 0 -1 4202560 4085 0 0 0 47 0 0 0 20 0 19 0 30786415 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641811082168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24196] ppid=24177 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/24180/task/24196/stat : 24196 (java) S 24177 24180 19710 0 -1 4202560 1830 0 0 0 35 0 0 0 20 0 19 0 30786415 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641810029368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24197] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24197/stat : 24197 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641808976760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24198] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24198/stat : 24198 (java) S 24177 24180 19710 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641807924168 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24199] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24199/stat : 24199 (java) S 24177 24180 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30786452 9856040960 19074 33554432000 1073741824 1073778376 140734263418560 140641806869672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 9625040


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

[pid=24180/tid=24199] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24199/stat : 24199 (java) S 24177 24180 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30786452 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641806869672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1724.47
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.26 2.27 2.21 3/215 24344
/proc/meminfo: memFree=29630144/32872528 swapFree=1491540/1663236
[pid=24180] ppid=24177 vsize=9625040 CPUtime=1784.48 cores=1,3,5,7
/proc/24180/stat : 24180 (java) S 24177 24180 19710 0 -1 4202496 11500 0 1 0 178388 60 0 0 20 0 19 0 30786408 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140734263409696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24180/statm: 2406260 87302 2285 9 0 2396937 0
[pid=24180/tid=24182] ppid=24177 vsize=9625040 CPUtime=1777.24 cores=1,3,5,7
/proc/24180/task/24182/stat : 24182 (java) R 24177 24180 19710 0 -1 4202560 2531 0 1 0 177693 31 0 0 20 0 19 0 30786409 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641991814944 140641932207421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24183] ppid=24177 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/24180/task/24183/stat : 24183 (java) S 24177 24180 19710 0 -1 4202560 80 0 0 0 13 2 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641930553896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24180/tid=24184] ppid=24177 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/24180/task/24184/stat : 24184 (java) S 24177 24180 19710 0 -1 4202560 218 0 0 0 12 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641929501096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24185] ppid=24177 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/24180/task/24185/stat : 24185 (java) S 24177 24180 19710 0 -1 4202560 135 0 0 0 10 2 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641928448296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24186] ppid=24177 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/24180/task/24186/stat : 24186 (java) S 24177 24180 19710 0 -1 4202560 251 0 0 0 15 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641927395496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24187] ppid=24177 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/24180/task/24187/stat : 24187 (java) S 24177 24180 19710 0 -1 4202560 71 0 0 0 15 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641830648872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24180/tid=24188] ppid=24177 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/24180/task/24188/stat : 24188 (java) S 24177 24180 19710 0 -1 4202560 88 0 0 0 12 2 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641829596072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24189] ppid=24177 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/24180/task/24189/stat : 24189 (java) S 24177 24180 19710 0 -1 4202560 224 0 0 0 17 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641828543272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24190] ppid=24177 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/24180/task/24190/stat : 24190 (java) S 24177 24180 19710 0 -1 4202560 169 0 0 0 17 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641827490472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24191] ppid=24177 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/24180/task/24191/stat : 24191 (java) S 24177 24180 19710 0 -1 4202560 50 0 0 0 1 2 0 0 20 0 19 0 30786412 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641815292392 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24192] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24192/stat : 24192 (java) S 24177 24180 19710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641814238456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24193] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24193/stat : 24193 (java) S 24177 24180 19710 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641813185544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24194] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24194/stat : 24194 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641812134032 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24195] ppid=24177 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/24180/task/24195/stat : 24195 (java) S 24177 24180 19710 0 -1 4202560 4486 0 0 0 50 0 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641811082168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24196] ppid=24177 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/24180/task/24196/stat : 24196 (java) S 24177 24180 19710 0 -1 4202560 1830 0 0 0 35 0 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641810029368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24197] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24197/stat : 24197 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641808976760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24198] ppid=24177 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/24180/task/24198/stat : 24198 (java) S 24177 24180 19710 0 -1 4202560 104 0 0 0 32 44 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641807924168 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24199] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24199/stat : 24199 (java) S 24177 24180 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30786452 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641806869672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.9 s]
/proc/loadavg: 2.36 2.29 2.22 4/215 24344
/proc/meminfo: memFree=29630268/32872528 swapFree=1491540/1663236
[pid=24180] ppid=24177 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/24180/stat : 24180 (java) S 24177 24180 19710 0 -1 4202496 11500 0 1 0 179948 61 0 0 20 0 19 0 30786408 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140734263409696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24180/statm: 2406260 87302 2285 9 0 2396937 0
[pid=24180/tid=24182] ppid=24177 vsize=9625040 CPUtime=1792.8 cores=1,3,5,7
/proc/24180/task/24182/stat : 24182 (java) R 24177 24180 19710 0 -1 4202560 2531 0 1 0 179249 31 0 0 20 0 19 0 30786409 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641991814944 140641932160373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24183] ppid=24177 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/24180/task/24183/stat : 24183 (java) S 24177 24180 19710 0 -1 4202560 80 0 0 0 13 2 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641930553896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24180/tid=24184] ppid=24177 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/24180/task/24184/stat : 24184 (java) S 24177 24180 19710 0 -1 4202560 218 0 0 0 12 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641929501096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24185] ppid=24177 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/24180/task/24185/stat : 24185 (java) S 24177 24180 19710 0 -1 4202560 135 0 0 0 10 2 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641928448296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24186] ppid=24177 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/24180/task/24186/stat : 24186 (java) S 24177 24180 19710 0 -1 4202560 251 0 0 0 15 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641927395496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24187] ppid=24177 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/24180/task/24187/stat : 24187 (java) S 24177 24180 19710 0 -1 4202560 71 0 0 0 15 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641830648872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24180/tid=24188] ppid=24177 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/24180/task/24188/stat : 24188 (java) S 24177 24180 19710 0 -1 4202560 88 0 0 0 12 2 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641829596072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24189] ppid=24177 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/24180/task/24189/stat : 24189 (java) S 24177 24180 19710 0 -1 4202560 224 0 0 0 17 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641828543272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24190] ppid=24177 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/24180/task/24190/stat : 24190 (java) S 24177 24180 19710 0 -1 4202560 169 0 0 0 17 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641827490472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24191] ppid=24177 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/24180/task/24191/stat : 24191 (java) S 24177 24180 19710 0 -1 4202560 50 0 0 0 1 2 0 0 20 0 19 0 30786412 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641815292392 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24192] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24192/stat : 24192 (java) S 24177 24180 19710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641814238456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24193] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24193/stat : 24193 (java) S 24177 24180 19710 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641813185544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24194] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24194/stat : 24194 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641812134032 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24195] ppid=24177 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/24180/task/24195/stat : 24195 (java) S 24177 24180 19710 0 -1 4202560 4486 0 0 0 50 0 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641811082168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24196] ppid=24177 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/24180/task/24196/stat : 24196 (java) S 24177 24180 19710 0 -1 4202560 1830 0 0 0 35 0 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641810029368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24197] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24197/stat : 24197 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641808976760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24198] ppid=24177 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/24180/task/24198/stat : 24198 (java) S 24177 24180 19710 0 -1 4202560 104 0 0 0 32 45 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641807924168 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24199] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24199/stat : 24199 (java) S 24177 24180 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30786452 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641806869672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

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 24180 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.9 s]
/proc/loadavg: 2.36 2.29 2.22 4/215 24344
/proc/meminfo: memFree=29630268/32872528 swapFree=1491540/1663236
[pid=24180] ppid=24177 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/24180/stat : 24180 (java) S 24177 24180 19710 0 -1 4202496 11500 0 1 0 179948 61 0 0 20 0 19 0 30786408 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140734263409696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24180/statm: 2406260 87302 2285 9 0 2396937 0
[pid=24180/tid=24182] ppid=24177 vsize=9625040 CPUtime=1792.8 cores=1,3,5,7
/proc/24180/task/24182/stat : 24182 (java) R 24177 24180 19710 0 -1 4202560 2531 0 1 0 179249 31 0 0 20 0 19 0 30786409 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641991814944 140641932160373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24183] ppid=24177 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/24180/task/24183/stat : 24183 (java) S 24177 24180 19710 0 -1 4202560 80 0 0 0 13 2 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641930553896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24180/tid=24184] ppid=24177 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/24180/task/24184/stat : 24184 (java) S 24177 24180 19710 0 -1 4202560 218 0 0 0 12 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641929501096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24185] ppid=24177 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/24180/task/24185/stat : 24185 (java) S 24177 24180 19710 0 -1 4202560 135 0 0 0 10 2 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641928448296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24186] ppid=24177 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/24180/task/24186/stat : 24186 (java) S 24177 24180 19710 0 -1 4202560 251 0 0 0 15 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641927395496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24187] ppid=24177 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/24180/task/24187/stat : 24187 (java) S 24177 24180 19710 0 -1 4202560 71 0 0 0 15 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641830648872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24180/tid=24188] ppid=24177 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/24180/task/24188/stat : 24188 (java) S 24177 24180 19710 0 -1 4202560 88 0 0 0 12 2 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641829596072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24189] ppid=24177 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/24180/task/24189/stat : 24189 (java) S 24177 24180 19710 0 -1 4202560 224 0 0 0 17 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641828543272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24190] ppid=24177 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/24180/task/24190/stat : 24190 (java) S 24177 24180 19710 0 -1 4202560 169 0 0 0 17 3 0 0 20 0 19 0 30786411 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641827490472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24191] ppid=24177 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/24180/task/24191/stat : 24191 (java) S 24177 24180 19710 0 -1 4202560 50 0 0 0 1 2 0 0 20 0 19 0 30786412 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641815292392 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24192] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24192/stat : 24192 (java) S 24177 24180 19710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641814238456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24193] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24193/stat : 24193 (java) S 24177 24180 19710 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30786412 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641813185544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24194] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24194/stat : 24194 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641812134032 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24195] ppid=24177 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/24180/task/24195/stat : 24195 (java) S 24177 24180 19710 0 -1 4202560 4486 0 0 0 50 0 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641811082168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24196] ppid=24177 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/24180/task/24196/stat : 24196 (java) S 24177 24180 19710 0 -1 4202560 1830 0 0 0 35 0 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641810029368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24180/tid=24197] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24197/stat : 24197 (java) S 24177 24180 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641808976760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24180/tid=24198] ppid=24177 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/24180/task/24198/stat : 24198 (java) S 24177 24180 19710 0 -1 4202560 104 0 0 0 32 45 0 0 20 0 19 0 30786415 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641807924168 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24180/tid=24199] ppid=24177 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24180/task/24199/stat : 24199 (java) S 24177 24180 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30786452 9856040960 87302 33554432000 1073741824 1073778376 140734263418560 140641806869672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1797.94
CPU time (s): 1800.09
CPU user time (s): 1799.48
CPU system time (s): 0.61
CPU usage (%): 100.12
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.96
system time used= 1.13083
maximum resident set size= 352672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11718
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38388
involuntary context switches= 4633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0143 second user time and 13.8199 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-26 23:44:41
IDJOB=4116761
IDBENCH=109510
IDSOLVER=2546
FILE ID=node134/4116761-1466977481
RUNJOBID= node134-1466945036-19727
PBS_JOBID= 19976362
Free space on /tmp= 71692 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-6.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116761-1466977481/watcher-4116761-1466977481 -o /tmp/evaluation-result-4116761-1466977481/solver-4116761-1466977481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466945036-19727 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116761-1466977481.opb

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

MD5SUM BENCH= 741a06cc26bfcc11ac91a7e34a8a8d22
RANDOM SEED=1744583182

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30014440 kB
Buffers:           41568 kB
Cached:           117808 kB
SwapCached:         1316 kB
Active:           359872 kB
Inactive:         134864 kB
Active(anon):     334980 kB
Inactive(anon):     2488 kB
Active(file):      24892 kB
Inactive(file):   132376 kB
Unevictable:     1663236 kB
Mlocked:         1491540 kB
SwapTotal:      67108856 kB
SwapFree:       67099128 kB
Dirty:              1248 kB
Writeback:             0 kB
AnonPages:       1996988 kB
Mapped:            15324 kB
Shmem:                 0 kB
Slab:             566176 kB
SReclaimable:       9804 kB
SUnreclaim:       556372 kB
KernelStack:        1608 kB
PageTables:         7868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2399012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    493568 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= 71692 MiB
End job on node134 at 2016-06-27 00:14:39