Trace number 4095991

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.04 1799.14

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
subsetcard/normalized-subsetcard-eq-fixedbandwidth-60.opb
MD5SUMc773d9ed9f4f0f34f10d998d7759854e
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables241
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)120
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 8
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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4095991-1466100690.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  no objective function found
0.09/0.14	c ... done. Wall clock time 0.028s.
0.09/0.14	c declared #vars     241
0.09/0.14	c #constraints  240
0.09/0.14	c constraints type 
0.09/0.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 240
0.09/0.14	c 240 constraints processed.
0.67/0.41	c cleaning 2492 clauses out of 5000 with flag 22843/5000
1.00/0.61	c cleaning 4249 clauses out of 8509 with flag 49804/11001
1.20/0.84	c cleaning 5616 clauses out of 11259 with flag 81970/18000
1.51/1.13	c cleaning 6815 clauses out of 13644 with flag 121249/26001
1.92/1.52	c cleaning 7903 clauses out of 15828 with flag 167600/35000
2.32/1.96	c cleaning 8946 clauses out of 17926 with flag 217892/45001
2.82/2.49	c cleaning 9975 clauses out of 19981 with flag 274746/56002
3.52/3.10	c cleaning 10991 clauses out of 22004 with flag 335901/68000
4.22/3.80	c cleaning 11996 clauses out of 24013 with flag 404938/81000
4.93/4.58	c cleaning 13001 clauses out of 26017 with flag 477519/95000
5.82/5.46	c cleaning 14001 clauses out of 28017 with flag 564760/110001
6.82/6.45	c cleaning 14998 clauses out of 30016 with flag 655777/126001
7.92/7.51	c cleaning 15999 clauses out of 32018 with flag 751687/143001
9.12/8.74	c cleaning 16997 clauses out of 34018 with flag 843274/161000
10.52/10.10	c cleaning 17999 clauses out of 36021 with flag 945253/180000
12.12/11.73	c cleaning 18998 clauses out of 38022 with flag 1057609/200000
13.72/13.35	c cleaning 20003 clauses out of 40025 with flag 1173052/221001
15.61/15.24	c cleaning 20996 clauses out of 42021 with flag 1296018/243000
17.52/17.14	c cleaning 21994 clauses out of 44025 with flag 1421947/266000
19.61/19.20	c cleaning 23004 clauses out of 46032 with flag 1551974/290001
21.81/21.45	c cleaning 24003 clauses out of 48027 with flag 1690638/315000
24.21/23.86	c cleaning 25000 clauses out of 50025 with flag 1835193/341001
26.82/26.41	c cleaning 26004 clauses out of 52024 with flag 1984748/368000
29.52/29.16	c cleaning 27007 clauses out of 54020 with flag 2141877/396000
32.52/32.13	c cleaning 27997 clauses out of 56013 with flag 2310419/425000
35.62/35.27	c cleaning 29000 clauses out of 58016 with flag 2481610/455000
39.02/38.62	c cleaning 29997 clauses out of 60016 with flag 2662961/486000
42.61/42.21	c cleaning 31003 clauses out of 62019 with flag 2846193/518000
46.31/45.98	c cleaning 31994 clauses out of 64016 with flag 3029649/551000
50.21/49.87	c cleaning 33001 clauses out of 66022 with flag 3222687/585000
54.51/54.10	c cleaning 34001 clauses out of 68021 with flag 3423276/620000
58.82/58.50	c cleaning 35008 clauses out of 70023 with flag 3619604/656003
63.51/63.14	c cleaning 35996 clauses out of 72012 with flag 3827860/693000
68.41/68.07	c cleaning 36998 clauses out of 74017 with flag 4044354/731001
73.72/73.38	c cleaning 38002 clauses out of 76019 with flag 4270308/770001
79.21/78.80	c cleaning 38997 clauses out of 78016 with flag 4504972/810000
84.91/84.56	c cleaning 39999 clauses out of 80019 with flag 4744887/851000
91.31/90.98	c cleaning 40999 clauses out of 82020 with flag 4985243/893000
97.61/97.22	c cleaning 41999 clauses out of 84023 with flag 5236150/936002
103.95/103.56	c cleaning 43007 clauses out of 86023 with flag 5487083/980001
110.24/109.89	c cleaning 44001 clauses out of 88016 with flag 5750915/1025001
117.05/116.68	c cleaning 44994 clauses out of 90014 with flag 6015327/1071000
124.14/123.79	c cleaning 46001 clauses out of 92020 with flag 6278312/1118000
131.45/131.08	c cleaning 46996 clauses out of 94019 with flag 6551015/1166000
138.94/138.54	c cleaning 47997 clauses out of 96023 with flag 6830700/1215000
146.84/146.47	c cleaning 49003 clauses out of 98027 with flag 7117452/1265001
155.24/154.80	c cleaning 50003 clauses out of 100028 with flag 7405065/1316005
163.73/163.36	c cleaning 51001 clauses out of 102020 with flag 7693796/1368000
172.63/172.22	c cleaning 51999 clauses out of 104020 with flag 7992524/1421001
181.83/181.48	c cleaning 53006 clauses out of 106021 with flag 8298021/1475001
191.43/191.06	c cleaning 54000 clauses out of 108015 with flag 8608438/1530001
201.13/200.79	c cleaning 55007 clauses out of 110018 with flag 8924728/1586004
211.43/211.02	c cleaning 55996 clauses out of 112007 with flag 9255692/1643000
221.93/221.55	c cleaning 56992 clauses out of 114011 with flag 9577579/1701000
233.13/232.70	c cleaning 57993 clauses out of 116019 with flag 9907764/1760000
245.04/244.66	c cleaning 59005 clauses out of 118027 with flag 10240521/1820001
256.75/256.37	c cleaning 60000 clauses out of 120022 with flag 10579403/1881001
269.21/268.71	c cleaning 61002 clauses out of 122023 with flag 10922315/1943002
281.31/280.86	c cleaning 61999 clauses out of 124020 with flag 11276946/2006001
293.90/293.50	c cleaning 62998 clauses out of 126021 with flag 11626928/2070001
306.70/306.29	c cleaning 64001 clauses out of 128023 with flag 11979806/2135001
319.90/319.47	c cleaning 65002 clauses out of 130021 with flag 12345193/2201000
333.60/333.19	c cleaning 66006 clauses out of 132020 with flag 12713126/2268001
347.92/347.43	c cleaning 67006 clauses out of 134013 with flag 13078079/2336000
362.73/362.24	c cleaning 67994 clauses out of 136007 with flag 13446829/2405000
377.73/377.21	c cleaning 69001 clauses out of 138014 with flag 13832041/2475001
393.12/392.64	c cleaning 69991 clauses out of 140012 with flag 14224296/2546000
408.92/408.45	c cleaning 71000 clauses out of 142021 with flag 14618145/2618000
425.52/425.10	c cleaning 72002 clauses out of 144024 with flag 15011092/2691003
442.63/442.19	c cleaning 72999 clauses out of 146020 with flag 15405407/2765001
459.83/459.38	c cleaning 74000 clauses out of 148020 with flag 15809609/2840000
477.61/477.10	c cleaning 74999 clauses out of 150020 with flag 16210170/2916000
495.21/494.65	c cleaning 76005 clauses out of 152025 with flag 16633462/2993004
512.80/512.24	c cleaning 76995 clauses out of 154016 with flag 17067953/3071000
531.50/530.95	c cleaning 78001 clauses out of 156022 with flag 17480744/3150001
550.50/549.96	c cleaning 79001 clauses out of 158021 with flag 17911610/3230001
570.10/569.59	c cleaning 80002 clauses out of 160019 with flag 18342399/3311000
590.40/589.87	c cleaning 80995 clauses out of 162017 with flag 18784386/3393000
611.81/611.21	c cleaning 82002 clauses out of 164022 with flag 19213686/3476000
632.71/632.15	c cleaning 83001 clauses out of 166021 with flag 19668082/3560001
654.31/653.77	c cleaning 83999 clauses out of 168020 with flag 20116598/3645001
676.51/675.93	c cleaning 84998 clauses out of 170020 with flag 20569590/3731000
699.02/698.40	c cleaning 86007 clauses out of 172023 with flag 21028109/3818001
722.27/721.68	c cleaning 86997 clauses out of 174016 with flag 21474188/3906001
745.86/745.21	c cleaning 87992 clauses out of 176018 with flag 21937800/3995000
770.47/769.87	c cleaning 89006 clauses out of 178026 with flag 22404683/4085000
795.27/794.62	c cleaning 89994 clauses out of 180021 with flag 22861860/4176001
820.37/819.73	c cleaning 91003 clauses out of 182027 with flag 23327893/4268001
845.97/845.30	c cleaning 92005 clauses out of 184024 with flag 23802834/4361001
872.66/872.00	c cleaning 93001 clauses out of 186019 with flag 24290036/4455001
900.17/899.55	c cleaning 94003 clauses out of 188018 with flag 24770099/4550001
928.38/927.77	c cleaning 95005 clauses out of 190015 with flag 25258863/4646001
955.78/955.13	c cleaning 96001 clauses out of 192011 with flag 25764232/4743002
984.85/984.10	c cleaning 96993 clauses out of 194008 with flag 26243164/4841000
1014.64/1013.90	c cleaning 97998 clauses out of 196015 with flag 26741113/4940000
1044.55/1043.89	c cleaning 98995 clauses out of 198018 with flag 27239163/5040001
1075.26/1074.55	c cleaning 100002 clauses out of 200022 with flag 27742228/5141000
1107.37/1106.68	c cleaning 101008 clauses out of 202022 with flag 28247022/5243002
1140.47/1139.78	c cleaning 101985 clauses out of 204012 with flag 28760797/5346000
1173.86/1173.11	c cleaning 103006 clauses out of 206027 with flag 29268458/5450000
1208.07/1207.31	c cleaning 104002 clauses out of 208021 with flag 29780779/5555000
1243.17/1242.42	c cleaning 104999 clauses out of 210019 with flag 30312821/5661000
1276.85/1276.04	c cleaning 105998 clauses out of 212020 with flag 30842830/5768000
1311.75/1310.92	c cleaning 107010 clauses out of 214022 with flag 31380058/5876000
1346.55/1345.79	c cleaning 107995 clauses out of 216012 with flag 31921183/5985000
1383.67/1382.81	c cleaning 109005 clauses out of 218017 with flag 32455797/6095000
1421.65/1420.84	c cleaning 110000 clauses out of 220014 with flag 32998212/6206002
1460.15/1459.39	c cleaning 110998 clauses out of 222012 with flag 33536169/6318000
1499.66/1498.82	c cleaning 112000 clauses out of 224016 with flag 34080538/6431002
1539.55/1538.71	c cleaning 112998 clauses out of 226014 with flag 34633962/6545000
1580.13/1579.26	c cleaning 114002 clauses out of 228016 with flag 35192274/6660000
1620.04/1619.10	c cleaning 115003 clauses out of 230016 with flag 35758872/6776002
1662.85/1661.93	c cleaning 115996 clauses out of 232012 with flag 36313382/6893001
1706.15/1705.25	c cleaning 116995 clauses out of 234015 with flag 36872723/7011000
1748.96/1748.04	c cleaning 118006 clauses out of 236022 with flag 37439883/7130002
1794.24/1793.34	c cleaning 118997 clauses out of 238015 with flag 38006078/7250001
1800.04/1799.11	c starts		: 21066
1800.04/1799.11	c conflicts		: 7271500
1800.04/1799.11	c decisions		: 10391279
1800.04/1799.11	c propagations		: 134914489
1800.04/1799.11	c inspects		: 40769043403
1800.04/1799.11	c shortcuts		: 0
1800.04/1799.11	c learnt literals	: 0
1800.04/1799.11	c learnt binary clauses	: 0
1800.04/1799.11	c learnt ternary clauses	: 0
1800.04/1799.11	c learnt constraints	: 7271500
1800.04/1799.11	c ignored constraints	: 0
1800.04/1799.11	c root simplifications	: 0
1800.04/1799.11	c removed literals (reason simplification)	: 0
1800.04/1799.11	c reason swapping (by a shorter reason)	: 0
1800.04/1799.11	c Calls to reduceDB	: 116
1800.04/1799.11	c Number of update (reduction) of LBD	: 1939747
1800.04/1799.11	c Imported unit clauses	: 0
1800.04/1799.11	c number of reductions to clauses (during analyze)	: 0
1800.04/1799.11	c number of learned constraints concerned by reduction	: 0
1800.04/1799.11	c timeout
1800.04/1799.11	c number of learning phase by resolution	: 0
1800.04/1799.11	c number of learning phase by cutting planes	: 0
1800.04/1799.11	c speed (assignments/second)	: 74995.70085654903
1800.04/1799.11	c non guided choices	25939
1800.04/1799.13	c learnt constraints type 
1800.04/1799.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 140517
1800.04/1799.13	s UNKNOWN
1800.04/1799.13	c Total wall clock time (in seconds): 1799.019

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-4095991-1466100690/watcher-4095991-1466100690 -o /tmp/evaluation-result-4095991-1466100690/solver-4095991-1466100690 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466097090-29312 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4095991-1466100690.opb 

pid=29731
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.00 2.00 2.00 3/194 29734
/proc/meminfo: memFree=31714664/32872528 swapFree=7268/7268
[pid=29734] ppid=29731 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/29734/stat : 29734 (java) R 29731 29734 29295 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 12113839 9445376 94 33554432000 1073741824 1073778376 140736833110512 140736833107640 243756217783 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29734/statm: 2306 95 75 9 0 38 0

[startup+0.100125 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 29734
/proc/meminfo: memFree=31714664/32872528 swapFree=7268/7268
[pid=29734] ppid=29731 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/29734/stat : 29734 (java) S 29731 29734 29295 0 -1 4202496 4395 0 1 0 8 1 0 0 20 0 18 0 12113839 9787879424 6020 33554432000 1073741824 1073778376 140736833110512 140736833101648 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29734/statm: 2389619 6020 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200326 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 29734
/proc/meminfo: memFree=31714664/32872528 swapFree=7268/7268
[pid=29734] ppid=29731 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/29734/stat : 29734 (java) S 29731 29734 29295 0 -1 4202496 6475 0 1 0 27 1 0 0 20 0 19 0 12113839 9856040960 7226 33554432000 1073741824 1073778376 140736833110512 140736833101648 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29734/statm: 2406260 7226 2235 9 0 2396937 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9625040

[startup+0.300332 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 29734
/proc/meminfo: memFree=31714664/32872528 swapFree=7268/7268
[pid=29734] ppid=29731 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/29734/stat : 29734 (java) S 29731 29734 29295 0 -1 4202496 7046 0 1 0 49 1 0 0 20 0 19 0 12113839 9856040960 7738 33554432000 1073741824 1073778376 140736833110512 140736833101648 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29734/statm: 2406260 7738 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.700258 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 29734
/proc/meminfo: memFree=31714664/32872528 swapFree=7268/7268
[pid=29734] ppid=29731 vsize=9625040 CPUtime=1.1 cores=1,3,5,7
/proc/29734/stat : 29734 (java) S 29731 29734 29295 0 -1 4202496 9083 0 1 0 108 2 0 0 20 0 19 0 12113839 9856040960 8848 33554432000 1073741824 1073778376 140736833110512 140736833101648 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29734/statm: 2406260 8848 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29753
/proc/meminfo: memFree=31687344/32872528 swapFree=7268/7268
[pid=29734] ppid=29731 vsize=9625040 CPUtime=1.92 cores=1,3,5,7
/proc/29734/stat : 29734 (java) S 29731 29734 29295 0 -1 4202496 9087 0 1 0 190 2 0 0 20 0 19 0 12113839 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140736833101648 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29734/statm: 2406260 9362 2250 9 0 2396937 0
[pid=29734/tid=29736] ppid=29731 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/29734/task/29736/stat : 29736 (java) R 29731 29734 29295 0 -1 4202560 2403 0 1 0 146 0 0 0 20 0 19 0 12113840 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309561639176 140309418143345 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29734/tid=29737] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29737/stat : 29737 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309539739944 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29738] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29738/stat : 29738 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309538687144 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29739] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29739/stat : 29739 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309537634856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29734/tid=29740] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29740/stat : 29740 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309536582056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29734/tid=29741] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29741/stat : 29741 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309199579944 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29742] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29742/stat : 29742 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309198527144 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29734/tid=29743] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29743/stat : 29743 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309197474856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29744] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29744/stat : 29744 (java) S 29731 29734 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309196422056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29745] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29745/stat : 29745 (java) S 29731 29734 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12113842 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309184223464 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29746] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29746/stat : 29746 (java) S 29731 29734 29295 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12113843 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309183169528 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29747] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29747/stat : 29747 (java) S 29731 29734 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12113843 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309182117128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29748] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29748/stat : 29748 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309181065616 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29749] ppid=29731 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/29734/task/29749/stat : 29749 (java) S 29731 29734 29295 0 -1 4202560 1443 0 0 0 16 0 0 0 20 0 19 0 12113845 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309180013240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29750] ppid=29731 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/29734/task/29750/stat : 29750 (java) S 29731 29734 29295 0 -1 4202560 3970 0 0 0 26 0 0 0 20 0 19 0 12113845 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309178960440 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29751] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29751/stat : 29751 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309177908344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29752] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29752/stat : 29752 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309176855752 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29753] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29753/stat : 29753 (java) S 29731 29734 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12113854 9856040960 9362 33554432000 1073741824 1073778376 140736833110512 140309175800744 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29753
/proc/meminfo: memFree=31682876/32872528 swapFree=7268/7268
[pid=29734] ppid=29731 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/29734/stat : 29734 (java) S 29731 29734 29295 0 -1 4202496 9090 0 1 0 350 2 0 0 20 0 19 0 12113839 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140736833101648 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29734/statm: 2406260 10386 2250 9 0 2396937 0
[pid=29734/tid=29736] ppid=29731 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/29734/task/29736/stat : 29736 (java) R 29731 29734 29295 0 -1 4202560 2406 0 1 0 305 0 0 0 20 0 19 0 12113840 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309561639296 140309418340080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29734/tid=29737] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29737/stat : 29737 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309539739944 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29738] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29738/stat : 29738 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309538687144 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29739] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29739/stat : 29739 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309537634856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29734/tid=29740] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29740/stat : 29740 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309536582056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29734/tid=29741] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29741/stat : 29741 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309199579944 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29742] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29742/stat : 29742 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309198527144 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29734/tid=29743] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29743/stat : 29743 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309197474856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29744] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29744/stat : 29744 (java) S 29731 29734 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309196422056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29745] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29745/stat : 29745 (java) S 29731 29734 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12113842 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309184223464 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29746] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29746/stat : 29746 (java) S 29731 29734 29295 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12113843 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309183169528 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29747] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29747/stat : 29747 (java) S 29731 29734 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12113843 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309182117128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29748] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29748/stat : 29748 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309181065616 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29749] ppid=29731 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/29734/task/29749/stat : 29749 (java) S 29731 29734 29295 0 -1 4202560 1443 0 0 0 16 0 0 0 20 0 19 0 12113845 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309180013240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29750] ppid=29731 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/29734/task/29750/stat : 29750 (java) S 29731 29734 29295 0 -1 4202560 3970 0 0 0 26 0 0 0 20 0 19 0 12113845 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309178960440 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29751] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29751/stat : 29751 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309177908344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29752] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29752/stat : 29752 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309176855752 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29753] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29753/stat : 29753 (java) S 29731 29734 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12113854 9856040960 10386 33554432000 1073741824 1073778376 140736833110512 140309175800744 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29753
/proc/meminfo: memFree=31674548/32872528 swapFree=7268/7268
[pid=29734] ppid=29731 vsize=9625040 CPUtime=6.72 cores=1,3,5,7
/proc/29734/stat : 29734 (java) S 29731 29734 29295 0 -1 4202496 9096 0 1 0 670 2 0 0 20 0 19 0 12113839 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140736833101648 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29734/statm: 2406260 12371 2251 9 0 2396937 0
[pid=29734/tid=29736] ppid=29731 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/29734/task/29736/stat : 29736 (java) R 29731 29734 29295 0 -1 4202560 2411 0 1 0 625 0 0 0 20 0 19 0 12113840 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309561630416 140309418127196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29734/tid=29737] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29737/stat : 29737 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309539739944 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29738] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29738/stat : 29738 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309538687144 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29739] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29739/stat : 29739 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309537634856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29734/tid=29740] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29740/stat : 29740 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309536582056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29734/tid=29741] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29741/stat : 29741 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309199579944 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29742] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29742/stat : 29742 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309198527144 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29734/tid=29743] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29743/stat : 29743 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309197474856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29744] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29744/stat : 29744 (java) S 29731 29734 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12113841 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309196422056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29745] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29745/stat : 29745 (java) S 29731 29734 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12113842 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309184223464 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29746] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29746/stat : 29746 (java) S 29731 29734 29295 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12113843 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309183169528 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29747] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29747/stat : 29747 (java) S 29731 29734 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12113843 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309182117128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29748] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29748/stat : 29748 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309181065616 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29749] ppid=29731 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/29734/task/29749/stat : 29749 (java) S 29731 29734 29295 0 -1 4202560 1443 0 0 0 16 0 0 0 20 0 19 0 12113845 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309180013240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29750] ppid=29731 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/29734/task/29750/stat : 29750 (java) S 29731 29734 29295 0 -1 4202560 3970 0 0 0 26 0 0 0 20 0 19 0 12113845 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309178960440 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29751] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29751/stat : 29751 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309177908344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29752] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29752/stat : 29752 (java) S 29731 29734 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309176855752 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29753] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29753/stat : 29753 (java) S 29731 29734 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12113854 9856040960 12371 33554432000 1073741824 1073778376 140736833110512 140309175800744 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 9625040


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

[pid=29734/tid=29753] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29753/stat : 29753 (java) S 29731 29734 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12113854 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309175800744 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1723.25
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/212 29862
/proc/meminfo: memFree=31405672/32872528 swapFree=7268/7268
[pid=29734] ppid=29731 vsize=9625040 CPUtime=1783.24 cores=1,3,5,7
/proc/29734/stat : 29734 (java) S 29731 29734 29295 0 -1 4202496 10413 0 1 0 178297 27 0 0 20 0 19 0 12113839 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140736833101648 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29734/statm: 2406260 59411 2266 9 0 2396937 0
[pid=29734/tid=29736] ppid=29731 vsize=9625040 CPUtime=1777.55 cores=1,3,5,7
/proc/29734/task/29736/stat : 29736 (java) R 29731 29734 29295 0 -1 4202560 2473 0 1 0 177725 30 0 0 20 0 19 0 12113840 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309561630512 140309418143387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29734/tid=29737] ppid=29731 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/29734/task/29737/stat : 29737 (java) S 29731 29734 29295 0 -1 4202560 40 0 0 0 6 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309539739944 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29734/tid=29738] ppid=29731 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/29734/task/29738/stat : 29738 (java) S 29731 29734 29295 0 -1 4202560 77 0 0 0 7 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309538687144 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29739] ppid=29731 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/29734/task/29739/stat : 29739 (java) S 29731 29734 29295 0 -1 4202560 113 0 0 0 6 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309537634856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29734/tid=29740] ppid=29731 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/29734/task/29740/stat : 29740 (java) S 29731 29734 29295 0 -1 4202560 189 0 0 0 9 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309536582056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29741] ppid=29731 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/29734/task/29741/stat : 29741 (java) S 29731 29734 29295 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309199579944 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29742] ppid=29731 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/29734/task/29742/stat : 29742 (java) S 29731 29734 29295 0 -1 4202560 177 0 0 0 6 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309198527144 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29743] ppid=29731 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/29734/task/29743/stat : 29743 (java) S 29731 29734 29295 0 -1 4202560 97 0 0 0 4 1 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309197474856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29744] ppid=29731 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/29734/task/29744/stat : 29744 (java) S 29731 29734 29295 0 -1 4202560 10 0 0 0 5 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309196422056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29745] ppid=29731 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/29734/task/29745/stat : 29745 (java) S 29731 29734 29295 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 12113842 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309184223464 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29746] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29746/stat : 29746 (java) S 29731 29734 29295 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12113843 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309183169528 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29747] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29747/stat : 29747 (java) S 29731 29734 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12113843 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309182117128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29748] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29748/stat : 29748 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309181065616 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29749] ppid=29731 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/29734/task/29749/stat : 29749 (java) S 29731 29734 29295 0 -1 4202560 1854 0 0 0 19 0 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309180013240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29750] ppid=29731 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/29734/task/29750/stat : 29750 (java) S 29731 29734 29295 0 -1 4202560 3970 0 0 0 26 0 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309178960440 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29751] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29751/stat : 29751 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309177908344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29752] ppid=29731 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/29734/task/29752/stat : 29752 (java) S 29731 29734 29295 0 -1 4202560 104 0 0 0 25 27 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309176855752 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29753] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29753/stat : 29753 (java) S 29731 29734 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12113854 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309175800744 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1783.24
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29863
/proc/meminfo: memFree=31405664/32872528 swapFree=7268/7268
[pid=29734] ppid=29731 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/29734/stat : 29734 (java) S 29731 29734 29295 0 -1 4202496 10413 0 1 0 179977 27 0 0 20 0 19 0 12113839 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140736833101648 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29734/statm: 2406260 59411 2266 9 0 2396937 0
[pid=29734/tid=29736] ppid=29731 vsize=9625040 CPUtime=1794.31 cores=1,3,5,7
/proc/29734/task/29736/stat : 29736 (java) R 29731 29734 29295 0 -1 4202560 2473 0 1 0 179401 30 0 0 20 0 19 0 12113840 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309561630512 140309418143387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29734/tid=29737] ppid=29731 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/29734/task/29737/stat : 29737 (java) S 29731 29734 29295 0 -1 4202560 40 0 0 0 6 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309539739944 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29734/tid=29738] ppid=29731 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/29734/task/29738/stat : 29738 (java) S 29731 29734 29295 0 -1 4202560 77 0 0 0 7 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309538687144 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29739] ppid=29731 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/29734/task/29739/stat : 29739 (java) S 29731 29734 29295 0 -1 4202560 113 0 0 0 6 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309537634856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29734/tid=29740] ppid=29731 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/29734/task/29740/stat : 29740 (java) S 29731 29734 29295 0 -1 4202560 189 0 0 0 9 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309536582056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29741] ppid=29731 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/29734/task/29741/stat : 29741 (java) S 29731 29734 29295 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309199579944 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29742] ppid=29731 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/29734/task/29742/stat : 29742 (java) S 29731 29734 29295 0 -1 4202560 177 0 0 0 6 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309198527144 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29743] ppid=29731 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/29734/task/29743/stat : 29743 (java) S 29731 29734 29295 0 -1 4202560 97 0 0 0 4 1 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309197474856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29744] ppid=29731 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/29734/task/29744/stat : 29744 (java) S 29731 29734 29295 0 -1 4202560 10 0 0 0 5 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309196422056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29745] ppid=29731 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/29734/task/29745/stat : 29745 (java) S 29731 29734 29295 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 12113842 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309184223464 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29746] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29746/stat : 29746 (java) S 29731 29734 29295 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12113843 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309183169528 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29747] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29747/stat : 29747 (java) S 29731 29734 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12113843 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309182117128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29748] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29748/stat : 29748 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309181065616 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29749] ppid=29731 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/29734/task/29749/stat : 29749 (java) S 29731 29734 29295 0 -1 4202560 1854 0 0 0 19 0 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309180013240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29750] ppid=29731 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/29734/task/29750/stat : 29750 (java) S 29731 29734 29295 0 -1 4202560 3970 0 0 0 26 0 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309178960440 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29751] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29751/stat : 29751 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309177908344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29752] ppid=29731 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/29734/task/29752/stat : 29752 (java) S 29731 29734 29295 0 -1 4202560 104 0 0 0 25 27 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309176855752 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29753] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29753/stat : 29753 (java) S 29731 29734 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12113854 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309175800744 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 29734 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29863
/proc/meminfo: memFree=31405664/32872528 swapFree=7268/7268
[pid=29734] ppid=29731 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/29734/stat : 29734 (java) S 29731 29734 29295 0 -1 4202496 10413 0 1 0 179977 27 0 0 20 0 19 0 12113839 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140736833101648 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29734/statm: 2406260 59411 2266 9 0 2396937 0
[pid=29734/tid=29736] ppid=29731 vsize=9625040 CPUtime=1794.31 cores=1,3,5,7
/proc/29734/task/29736/stat : 29736 (java) R 29731 29734 29295 0 -1 4202560 2473 0 1 0 179401 30 0 0 20 0 19 0 12113840 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309561630512 140309418143387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29734/tid=29737] ppid=29731 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/29734/task/29737/stat : 29737 (java) S 29731 29734 29295 0 -1 4202560 40 0 0 0 6 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309539739944 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29734/tid=29738] ppid=29731 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/29734/task/29738/stat : 29738 (java) S 29731 29734 29295 0 -1 4202560 77 0 0 0 7 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309538687144 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29739] ppid=29731 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/29734/task/29739/stat : 29739 (java) S 29731 29734 29295 0 -1 4202560 113 0 0 0 6 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309537634856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29734/tid=29740] ppid=29731 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/29734/task/29740/stat : 29740 (java) S 29731 29734 29295 0 -1 4202560 189 0 0 0 9 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309536582056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29741] ppid=29731 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/29734/task/29741/stat : 29741 (java) S 29731 29734 29295 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309199579944 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29742] ppid=29731 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/29734/task/29742/stat : 29742 (java) S 29731 29734 29295 0 -1 4202560 177 0 0 0 6 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309198527144 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29743] ppid=29731 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/29734/task/29743/stat : 29743 (java) S 29731 29734 29295 0 -1 4202560 97 0 0 0 4 1 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309197474856 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29744] ppid=29731 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/29734/task/29744/stat : 29744 (java) S 29731 29734 29295 0 -1 4202560 10 0 0 0 5 0 0 0 20 0 19 0 12113841 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309196422056 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29745] ppid=29731 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/29734/task/29745/stat : 29745 (java) S 29731 29734 29295 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 12113842 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309184223464 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29746] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29746/stat : 29746 (java) S 29731 29734 29295 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12113843 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309183169528 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29747] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29747/stat : 29747 (java) S 29731 29734 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12113843 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309182117128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29748] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29748/stat : 29748 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309181065616 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29749] ppid=29731 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/29734/task/29749/stat : 29749 (java) S 29731 29734 29295 0 -1 4202560 1854 0 0 0 19 0 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309180013240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29750] ppid=29731 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/29734/task/29750/stat : 29750 (java) S 29731 29734 29295 0 -1 4202560 3970 0 0 0 26 0 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309178960440 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29751] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29751/stat : 29751 (java) S 29731 29734 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309177908344 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29734/tid=29752] ppid=29731 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/29734/task/29752/stat : 29752 (java) S 29731 29734 29295 0 -1 4202560 104 0 0 0 25 27 0 0 20 0 19 0 12113845 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309176855752 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29734/tid=29753] ppid=29731 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29734/task/29753/stat : 29753 (java) S 29731 29734 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12113854 9856040960 59411 33554432000 1073741824 1073778376 140736833110512 140309175800744 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29734 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=368062
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=723889
# CPU time returned by wait4() is 1796.09
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1799.14
CPU time (s): 1800.04
CPU user time (s): 1799.77
CPU system time (s): 0.27
CPU usage (%): 100.05
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.37
system time used= 0.723889
maximum resident set size= 237824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10464
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38130
involuntary context switches= 2808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8455 second user time and 13.9899 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-16 20:11:30
IDJOB=4095991
IDBENCH=107550
IDSOLVER=2546
FILE ID=node151/4095991-1466100690
RUNJOBID= node151-1466097090-29312
PBS_JOBID= 19904038
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-60.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095991-1466100690/watcher-4095991-1466100690 -o /tmp/evaluation-result-4095991-1466100690/solver-4095991-1466100690 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466097090-29312 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4095991-1466100690.opb

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

MD5SUM BENCH= c773d9ed9f4f0f34f10d998d7759854e
RANDOM SEED=93233627

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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.56
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.103
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:        31715348 kB
Buffers:           49300 kB
Cached:            98360 kB
SwapCached:        61592 kB
Active:           296336 kB
Inactive:         154412 kB
Active(anon):     242556 kB
Inactive(anon):    62776 kB
Active(file):      53780 kB
Inactive(file):    91636 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:               820 kB
Writeback:             0 kB
AnonPages:        280200 kB
Mapped:            15280 kB
Shmem:                 0 kB
Slab:             569132 kB
SReclaimable:      12716 kB
SUnreclaim:       556416 kB
KernelStack:        1760 kB
PageTables:         4868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     724068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 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= 71748 MiB
End job on node151 at 2016-06-16 20:41:29