Trace number 4089740

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 1798.34

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v101-n1.opb
MD5SUMe84b0279e26b8fa79b2606047048d40f
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 benchmark27.4818
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables303
Total number of constraints101
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 9
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.04/0.34	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.04/0.34	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.34	c See www.sat4j.org for details.
0.04/0.35	c version PB16.v20160501
0.04/0.35	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.35	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.35	c java.vm.version	19.1-b02
0.04/0.35	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.35	c sun.arch.data.model	64
0.04/0.35	c java.version		1.6.0_24
0.04/0.35	c os.name		Linux
0.04/0.35	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.35	c os.arch		amd64
0.04/0.35	c Free memory 		501472288
0.04/0.35	c Max memory 		7480803328
0.04/0.35	c Total memory 		504102912
0.04/0.35	c Number of processors 	8
0.04/0.38	c Pseudo Boolean Optimization by upper bound
0.04/0.38	c --- Begin Solver configuration ---
0.04/0.38	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.04/0.38	c Learn all clauses as in MiniSAT
0.04/0.38	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.04/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.04/0.38	c No reason simplification
0.04/0.38	c Glucose 2.1 dynamic restart strategy
0.04/0.38	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.04/0.38	c timeout=2147483s
0.04/0.38	c DB Simplification allowed=false
0.04/0.38	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.04/0.38	c --- End Solver configuration ---
0.04/0.38	c solving HOME/instance-4089740-1466032753.opb
0.04/0.38	c reading problem ... 
0.04/0.39	c  no objective function found
0.15/0.41	c ... done. Wall clock time 0.033s.
0.15/0.41	c declared #vars     303
0.15/0.41	c #constraints  202
0.15/0.41	c constraints type 
0.15/0.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 202
0.15/0.42	c 202 constraints processed.
0.76/0.75	c cleaning 2498 clauses out of 5000 with flag 23710/5000
1.20/0.96	c cleaning 4245 clauses out of 8502 with flag 55899/11000
1.54/1.22	c cleaning 5623 clauses out of 11257 with flag 96135/18000
1.84/1.60	c cleaning 6812 clauses out of 13635 with flag 144178/26001
2.35/2.03	c cleaning 7910 clauses out of 15824 with flag 195342/35002
2.85/2.54	c cleaning 8943 clauses out of 17913 with flag 249299/45001
3.45/3.18	c cleaning 9980 clauses out of 19971 with flag 320721/56002
4.15/3.87	c cleaning 10984 clauses out of 21990 with flag 389218/68001
4.94/4.67	c cleaning 11992 clauses out of 24005 with flag 472818/81000
5.84/5.60	c cleaning 12997 clauses out of 26013 with flag 566129/95000
6.94/6.68	c cleaning 13991 clauses out of 28016 with flag 659194/110000
8.04/7.75	c cleaning 15006 clauses out of 30028 with flag 761754/126003
9.24/8.92	c cleaning 16005 clauses out of 32020 with flag 865115/143001
10.54/10.23	c cleaning 16995 clauses out of 34014 with flag 965395/161000
12.03/11.71	c cleaning 17996 clauses out of 36020 with flag 1079435/180001
13.64/13.33	c cleaning 19003 clauses out of 38023 with flag 1197612/200000
15.33/15.09	c cleaning 19992 clauses out of 40020 with flag 1324402/221000
17.53/17.24	c cleaning 20997 clauses out of 42030 with flag 1488939/243002
19.63/19.31	c cleaning 22016 clauses out of 44032 with flag 1654903/266001
21.73/21.49	c cleaning 22998 clauses out of 46015 with flag 1805749/290000
24.14/23.81	c cleaning 24002 clauses out of 48018 with flag 1958272/315001
26.64/26.39	c cleaning 25001 clauses out of 50015 with flag 2126228/341000
29.34/29.07	c cleaning 25998 clauses out of 52016 with flag 2292536/368002
32.24/31.96	c cleaning 26994 clauses out of 54016 with flag 2462853/396000
35.33/35.07	c cleaning 27997 clauses out of 56022 with flag 2641550/425000
38.73/38.48	c cleaning 29000 clauses out of 58025 with flag 2851685/455000
42.83/42.53	c cleaning 29987 clauses out of 60026 with flag 3071646/486001
46.94/46.66	c cleaning 31013 clauses out of 62038 with flag 3294851/518000
50.85/50.51	c cleaning 32004 clauses out of 64026 with flag 3506249/551001
54.95/54.65	c cleaning 33000 clauses out of 66021 with flag 3739228/585000
59.65/59.40	c cleaning 33991 clauses out of 68022 with flag 3965221/620001
65.15/64.80	c cleaning 35004 clauses out of 70031 with flag 4216026/656001
69.95/69.68	c cleaning 36006 clauses out of 72026 with flag 4475887/693000
75.45/75.17	c cleaning 37002 clauses out of 74021 with flag 4738135/731001
80.85/80.56	c cleaning 38002 clauses out of 76018 with flag 4991290/770000
86.35/86.04	c cleaning 38999 clauses out of 78016 with flag 5249581/810000
92.24/91.92	c cleaning 40000 clauses out of 80017 with flag 5517058/851000
98.84/98.53	c cleaning 40998 clauses out of 82021 with flag 5796113/893004
105.95/105.61	c cleaning 41997 clauses out of 84019 with flag 6097079/936000
112.84/112.53	c cleaning 42995 clauses out of 86023 with flag 6389185/980001
119.49/119.19	c cleaning 44008 clauses out of 88028 with flag 6709167/1025001
126.19/125.84	c cleaning 44984 clauses out of 90020 with flag 7021994/1071001
133.29/132.96	c cleaning 46006 clauses out of 92035 with flag 7337091/1118000
140.59/140.21	c cleaning 47010 clauses out of 94029 with flag 7643756/1166000
148.49/148.18	c cleaning 47995 clauses out of 96021 with flag 7973558/1215002
156.71/156.39	c cleaning 49005 clauses out of 98024 with flag 8329916/1265000
165.20/164.80	c cleaning 49998 clauses out of 100019 with flag 8669963/1316000
173.80/173.46	c cleaning 51005 clauses out of 102022 with flag 9025381/1368001
182.90/182.58	c cleaning 52000 clauses out of 104016 with flag 9389988/1421000
192.30/191.92	c cleaning 52999 clauses out of 106018 with flag 9767114/1475002
201.85/201.47	c cleaning 53973 clauses out of 108017 with flag 10148550/1530000
211.65/211.30	c cleaning 55013 clauses out of 110044 with flag 10520096/1586000
221.56/221.11	c cleaning 56005 clauses out of 112031 with flag 10908963/1643000
232.56/232.17	c cleaning 57010 clauses out of 114029 with flag 11306499/1701003
243.56/243.18	c cleaning 57991 clauses out of 116016 with flag 11722357/1760000
255.76/255.34	c cleaning 59001 clauses out of 118026 with flag 12144963/1820001
267.45/267.00	c cleaning 59995 clauses out of 120024 with flag 12580180/1881000
279.25/278.80	c cleaning 61002 clauses out of 122029 with flag 13009382/1943000
291.75/291.34	c cleaning 61997 clauses out of 124028 with flag 13447463/2006001
304.57/304.13	c cleaning 63000 clauses out of 126031 with flag 13894402/2070001
317.39/316.94	c cleaning 64002 clauses out of 128030 with flag 14343381/2135000
330.59/330.11	c cleaning 64995 clauses out of 130029 with flag 14799722/2201001
345.08/344.65	c cleaning 66008 clauses out of 132033 with flag 15288161/2268000
359.09/358.61	c cleaning 66999 clauses out of 134028 with flag 15819035/2336003
373.68/373.21	c cleaning 67995 clauses out of 136026 with flag 16342421/2405000
389.10/388.64	c cleaning 68997 clauses out of 138031 with flag 16866574/2475000
405.93/405.48	c cleaning 70003 clauses out of 140036 with flag 17388121/2546002
423.04/422.56	c cleaning 71008 clauses out of 142032 with flag 17913279/2618001
439.63/439.14	c cleaning 71995 clauses out of 144024 with flag 18439311/2691001
456.73/456.21	c cleaning 72995 clauses out of 146029 with flag 18959551/2765001
474.34/473.84	c cleaning 74010 clauses out of 148033 with flag 19508546/2840000
492.54/492.05	c cleaning 75000 clauses out of 150024 with flag 20036344/2916001
510.81/510.26	c cleaning 76003 clauses out of 152024 with flag 20593489/2993001
528.91/528.31	c cleaning 76997 clauses out of 154020 with flag 21157846/3071000
548.42/547.89	c cleaning 78003 clauses out of 156026 with flag 21753419/3150003
570.62/570.01	c cleaning 78997 clauses out of 158021 with flag 22399484/3230001
591.02/590.46	c cleaning 80003 clauses out of 160024 with flag 22974547/3311001
613.32/612.78	c cleaning 80994 clauses out of 162020 with flag 23622759/3393000
634.78/634.10	c cleaning 82001 clauses out of 164027 with flag 24267543/3476001
656.99/656.35	c cleaning 82997 clauses out of 166025 with flag 24907420/3560000
680.99/680.38	c cleaning 84009 clauses out of 168029 with flag 25511571/3645001
703.89/703.20	c cleaning 85000 clauses out of 170019 with flag 26130037/3731000
731.10/730.45	c cleaning 86002 clauses out of 172019 with flag 26821026/3818000
754.62/753.80	c cleaning 86999 clauses out of 174019 with flag 27462559/3906002
780.02/779.20	c cleaning 87999 clauses out of 176019 with flag 28138755/3995001
803.72/802.97	c cleaning 88991 clauses out of 178020 with flag 28790798/4085001
829.62/828.84	c cleaning 90001 clauses out of 180028 with flag 29458258/4176000
855.74/854.89	c cleaning 91002 clauses out of 182028 with flag 30126974/4268001
882.04/881.19	c cleaning 91997 clauses out of 184026 with flag 30791899/4361001
908.44/907.58	c cleaning 92999 clauses out of 186028 with flag 31509834/4455000
935.54/934.69	c cleaning 94004 clauses out of 188030 with flag 32255501/4550001
963.48/962.46	c cleaning 94985 clauses out of 190025 with flag 32989630/4646000
997.19/996.16	c cleaning 96010 clauses out of 192041 with flag 33808182/4743001
1066.49/1065.43	c cleaning 97000 clauses out of 194033 with flag 34852064/4841003
1118.30/1117.29	c cleaning 98006 clauses out of 196031 with flag 35825916/4940001
1149.70/1148.58	c cleaning 99006 clauses out of 198025 with flag 36581654/5040001
1181.30/1180.15	c cleaning 99997 clauses out of 200019 with flag 37327756/5141001
1214.71/1213.56	c cleaning 101007 clauses out of 202021 with flag 38101302/5243000
1249.17/1247.84	c cleaning 101994 clauses out of 204015 with flag 38872675/5346001
1284.96/1283.68	c cleaning 102990 clauses out of 206020 with flag 39671470/5450000
1323.36/1322.08	c cleaning 103995 clauses out of 208030 with flag 40474362/5555000
1361.67/1360.35	c cleaning 105011 clauses out of 210035 with flag 41268867/5661000
1399.38/1397.94	c cleaning 106000 clauses out of 212024 with flag 42087193/5768000
1437.67/1436.22	c cleaning 106998 clauses out of 214024 with flag 42896611/5876000
1476.37/1474.92	c cleaning 108009 clauses out of 216026 with flag 43714176/5985000
1517.75/1516.26	c cleaning 108988 clauses out of 218017 with flag 44575812/6095000
1560.84/1559.37	c cleaning 110008 clauses out of 220029 with flag 45454802/6206000
1603.16/1601.61	c cleaning 111002 clauses out of 222022 with flag 46295879/6318001
1647.42/1645.81	c cleaning 112000 clauses out of 224021 with flag 47241236/6431002
1694.03/1692.48	c cleaning 112998 clauses out of 226020 with flag 48124628/6545001
1739.83/1738.30	c cleaning 114006 clauses out of 228021 with flag 49006180/6660000
1784.40/1782.73	c cleaning 114996 clauses out of 230015 with flag 49913139/6776000
1800.00/1798.30	c starts		: 12699
1800.00/1798.30	c conflicts		: 6828774
1800.00/1798.30	c decisions		: 9732440
1800.00/1798.30	c propagations		: 160868799
1800.00/1798.30	c inspects		: 44124467551
1800.00/1798.30	c shortcuts		: 0
1800.00/1798.30	c learnt literals	: 0
1800.00/1798.30	c learnt binary clauses	: 0
1800.00/1798.30	c learnt ternary clauses	: 0
1800.00/1798.30	c learnt constraints	: 6828774
1800.00/1798.30	c ignored constraints	: 0
1800.00/1798.30	c root simplifications	: 0
1800.00/1798.30	c removed literals (reason simplification)	: 0
1800.00/1798.30	c reason swapping (by a shorter reason)	: 0
1800.00/1798.30	c Calls to reduceDB	: 112
1800.00/1798.30	c Number of update (reduction) of LBD	: 2056904
1800.00/1798.30	c Imported unit clauses	: 0
1800.00/1798.30	c timeout
1800.00/1798.30	c number of reductions to clauses (during analyze)	: 0
1800.00/1798.30	c number of learned constraints concerned by reduction	: 0
1800.00/1798.30	c number of learning phase by resolution	: 0
1800.00/1798.30	c number of learning phase by cutting planes	: 0
1800.00/1798.30	c speed (assignments/second)	: 89476.64312420254
1800.00/1798.30	c non guided choices	20359
1800.00/1798.33	c learnt constraints type 
1800.00/1798.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 167794
1800.00/1798.33	s UNKNOWN
1800.00/1798.33	c Total wall clock time (in seconds): 1797.951

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-4089740-1466032753/watcher-4089740-1466032753 -o /tmp/evaluation-result-4089740-1466032753/solver-4089740-1466032753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466032752-15507 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089740-1466032753.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.32 1.37 1.73 2/176 15537
/proc/meminfo: memFree=30559884/32872528 swapFree=1430608/1543028
[pid=15537] ppid=15533 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/15537/stat : 15537 (java) D 15533 15537 5750 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 5324058 278528 33 33554432000 1073741824 1073778376 140734114446816 140734114443992 266426477863 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/15537/statm: 68 33 25 9 0 25 0

[startup+0.100062 s]
/proc/loadavg: 1.32 1.37 1.73 2/176 15537
/proc/meminfo: memFree=30559884/32872528 swapFree=1430608/1543028
[pid=15537] ppid=15533 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/15537/stat : 15537 (java) S 15533 15537 5750 0 -1 4202496 1262 0 20 0 0 0 0 0 20 0 2 0 5324058 95129600 917 33554432000 1073741824 1073778376 140734114446816 140734114437952 266439000125 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/15537/statm: 23225 917 697 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 92900

[startup+0.200199 s]
/proc/loadavg: 1.32 1.37 1.73 2/176 15537
/proc/meminfo: memFree=30559884/32872528 swapFree=1430608/1543028
[pid=15537] ppid=15533 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/15537/stat : 15537 (java) S 15533 15537 5750 0 -1 4202496 2967 0 27 0 0 1 0 0 20 0 11 0 5324058 9310650368 3616 33554432000 1073741824 1073778376 140734114446816 140734114437952 266439000125 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/15537/statm: 2273108 3616 1644 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.300201 s]
/proc/loadavg: 1.32 1.37 1.73 2/176 15537
/proc/meminfo: memFree=30559884/32872528 swapFree=1430608/1543028
[pid=15537] ppid=15533 vsize=9558428 CPUtime=0.04 cores=0,2,4,6
/proc/15537/stat : 15537 (java) S 15533 15537 5750 0 -1 4202496 3236 0 27 0 3 1 0 0 20 0 18 0 5324058 9787830272 4394 33554432000 1073741824 1073778376 140734114446816 140734114437952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/15537/statm: 2389607 4394 1761 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558428

[startup+0.700167 s]
/proc/loadavg: 1.32 1.37 1.73 2/176 15537
/proc/meminfo: memFree=30559884/32872528 swapFree=1430608/1543028
[pid=15537] ppid=15533 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/15537/stat : 15537 (java) S 15533 15537 5750 0 -1 4202496 8405 0 29 0 73 3 0 0 20 0 19 0 5324058 9856040960 8655 33554432000 1073741824 1073778376 140734114446816 140734114437952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/15537/statm: 2406260 8655 2246 9 0 2396937 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 9625040

[startup+1.5007 s]
/proc/loadavg: 1.37 1.38 1.73 3/213 15574
/proc/meminfo: memFree=30459584/32872528 swapFree=1430608/1543028
[pid=15537] ppid=15533 vsize=9625040 CPUtime=1.84 cores=0,2,4,6
/proc/15537/stat : 15537 (java) S 15533 15537 5750 0 -1 4202496 14712 0 29 0 180 4 0 0 20 0 19 0 5324058 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140734114437952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/15537/statm: 2406260 13239 2257 9 0 2396937 0
[pid=15537/tid=15540] ppid=15533 vsize=9625040 CPUtime=1.2 cores=0,2,4,6
/proc/15537/task/15540/stat : 15540 (java) R 15533 15537 5750 0 -1 4202560 2387 0 7 0 118 2 0 0 20 0 19 0 5324067 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547852631760 140547721822102 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0
[pid=15537/tid=15548] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15548/stat : 15548 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547841702824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15550] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15550/stat : 15550 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547840650280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15551] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15551/stat : 15551 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547693689512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15537/tid=15552] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15552/stat : 15552 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547692636968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15553] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15553/stat : 15553 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547691583912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15554] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15554/stat : 15554 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547690531368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15555] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15555/stat : 15555 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547689478312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15556] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15556/stat : 15556 (java) S 15533 15537 5750 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547688425768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15557] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15557/stat : 15557 (java) S 15533 15537 5750 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5324077 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547676228456 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15559] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15559/stat : 15559 (java) S 15533 15537 5750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5324078 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547675174776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15561] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15561/stat : 15561 (java) S 15533 15537 5750 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5324078 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547674121608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15563] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15563/stat : 15563 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547673070352 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15565] ppid=15533 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/15537/task/15565/stat : 15565 (java) S 15533 15537 5750 0 -1 4202560 6732 0 1 0 32 1 0 0 20 0 19 0 5324087 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547672017208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15566] ppid=15533 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15537/task/15566/stat : 15566 (java) S 15533 15537 5750 0 -1 4202560 4343 0 1 0 26 0 0 0 20 0 19 0 5324087 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547670964664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15569] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15569/stat : 15569 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547669911800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15571] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15571/stat : 15571 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547668859464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15574] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15574/stat : 15574 (java) S 15533 15537 5750 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5324100 9856040960 13239 33554432000 1073741824 1073778376 140734114446816 140547667805736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 1.37 1.38 1.73 3/213 15574
/proc/meminfo: memFree=30450524/32872528 swapFree=1430608/1543028
[pid=15537] ppid=15533 vsize=9625040 CPUtime=3.45 cores=0,2,4,6
/proc/15537/stat : 15537 (java) S 15533 15537 5750 0 -1 4202496 14715 0 29 0 341 4 0 0 20 0 19 0 5324058 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140734114437952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/15537/statm: 2406260 14775 2257 9 0 2396937 0
[pid=15537/tid=15540] ppid=15533 vsize=9625040 CPUtime=2.79 cores=0,2,4,6
/proc/15537/task/15540/stat : 15540 (java) R 15533 15537 5750 0 -1 4202560 2390 0 7 0 277 2 0 0 20 0 19 0 5324067 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547852631760 140547721712118 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0
[pid=15537/tid=15548] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15548/stat : 15548 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547841702824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15550] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15550/stat : 15550 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547840650280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15551] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15551/stat : 15551 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547693689512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15537/tid=15552] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15552/stat : 15552 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547692636968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15553] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15553/stat : 15553 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547691583912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15554] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15554/stat : 15554 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547690531368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15555] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15555/stat : 15555 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547689478312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15556] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15556/stat : 15556 (java) S 15533 15537 5750 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547688425768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15557] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15557/stat : 15557 (java) S 15533 15537 5750 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5324077 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547676228456 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15559] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15559/stat : 15559 (java) S 15533 15537 5750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5324078 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547675174776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15561] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15561/stat : 15561 (java) S 15533 15537 5750 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5324078 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547674121608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15563] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15563/stat : 15563 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547673070352 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15565] ppid=15533 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/15537/task/15565/stat : 15565 (java) S 15533 15537 5750 0 -1 4202560 6732 0 1 0 33 1 0 0 20 0 19 0 5324087 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547672017208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15566] ppid=15533 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/15537/task/15566/stat : 15566 (java) S 15533 15537 5750 0 -1 4202560 4343 0 1 0 27 0 0 0 20 0 19 0 5324087 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547670964664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15569] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15569/stat : 15569 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547669911800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15571] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15571/stat : 15571 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547668859464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15574] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15574/stat : 15574 (java) S 15533 15537 5750 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5324100 9856040960 14775 33554432000 1073741824 1073778376 140734114446816 140547667805736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 1.42 1.39 1.73 3/213 15574
/proc/meminfo: memFree=30441024/32872528 swapFree=1430608/1543028
[pid=15537] ppid=15533 vsize=9625040 CPUtime=6.63 cores=0,2,4,6
/proc/15537/stat : 15537 (java) S 15533 15537 5750 0 -1 4202496 14724 0 29 0 658 5 0 0 20 0 19 0 5324058 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140734114437952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/15537/statm: 2406260 16026 2258 9 0 2396937 0
[pid=15537/tid=15540] ppid=15533 vsize=9625040 CPUtime=5.96 cores=0,2,4,6
/proc/15537/task/15540/stat : 15540 (java) R 15533 15537 5750 0 -1 4202560 2398 0 7 0 594 2 0 0 20 0 19 0 5324067 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547852631760 140547721711612 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0
[pid=15537/tid=15548] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15548/stat : 15548 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547841702824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15550] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15550/stat : 15550 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547840650280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15551] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15551/stat : 15551 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547693689512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15537/tid=15552] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15552/stat : 15552 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547692636968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15553] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15553/stat : 15553 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547691583912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15554] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15554/stat : 15554 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547690531368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15555] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15555/stat : 15555 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547689478312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15556] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15556/stat : 15556 (java) S 15533 15537 5750 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5324073 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547688425768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15557] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15557/stat : 15557 (java) S 15533 15537 5750 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5324077 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547676228456 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15559] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15559/stat : 15559 (java) S 15533 15537 5750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5324078 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547675174776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15561] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15561/stat : 15561 (java) S 15533 15537 5750 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5324078 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547674121608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15563] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15563/stat : 15563 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547673070352 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15565] ppid=15533 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/15537/task/15565/stat : 15565 (java) S 15533 15537 5750 0 -1 4202560 6732 0 1 0 33 1 0 0 20 0 19 0 5324087 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547672017208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15566] ppid=15533 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/15537/task/15566/stat : 15566 (java) S 15533 15537 5750 0 -1 4202560 4343 0 1 0 27 0 0 0 20 0 19 0 5324087 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547670964664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15569] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15569/stat : 15569 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547669911800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15571] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15571/stat : 15571 (java) S 15533 15537 5750 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547668859464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15574] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15574/stat : 15574 (java) S 15533 15537 5750 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5324100 9856040960 16026 33554432000 1073741824 1073778376 140734114446816 140547667805736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (KiB) 9625040


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

[pid=15537/tid=15574] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15574/stat : 15574 (java) S 15533 15537 5750 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5324100 9856040960 106205 33554432000 1073741824 1073778376 140734114446816 140547667805736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1723.93
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.18 2.23 2.13 3/213 15619
/proc/meminfo: memFree=29901884/32872528 swapFree=1430608/1543028
[pid=15537] ppid=15533 vsize=9625040 CPUtime=1784 cores=0,2,4,6
/proc/15537/stat : 15537 (java) S 15533 15537 5750 0 -1 4202496 16591 0 29 0 178342 58 0 0 20 0 19 0 5324058 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140734114437952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/15537/statm: 2406260 108761 2272 9 0 2396937 0
[pid=15537/tid=15540] ppid=15533 vsize=9625040 CPUtime=1776.88 cores=0,2,4,6
/proc/15537/task/15540/stat : 15540 (java) R 15533 15537 5750 0 -1 4202560 2464 0 7 0 177656 32 0 0 20 0 19 0 5324067 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547852639472 140547721736748 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0
[pid=15537/tid=15548] ppid=15533 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/15537/task/15548/stat : 15548 (java) S 15533 15537 5750 0 -1 4202560 187 0 0 0 16 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547841702824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15550] ppid=15533 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/15537/task/15550/stat : 15550 (java) S 15533 15537 5750 0 -1 4202560 213 0 0 0 18 3 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547840650280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15551] ppid=15533 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/15537/task/15551/stat : 15551 (java) S 15533 15537 5750 0 -1 4202560 101 0 0 0 15 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547693689512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15552] ppid=15533 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/15537/task/15552/stat : 15552 (java) S 15533 15537 5750 0 -1 4202560 59 0 0 0 13 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547692636968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15553] ppid=15533 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15537/task/15553/stat : 15553 (java) S 15533 15537 5750 0 -1 4202560 198 0 0 0 18 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547691583912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15554] ppid=15533 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/15537/task/15554/stat : 15554 (java) S 15533 15537 5750 0 -1 4202560 209 0 0 0 19 5 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547690531368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15555] ppid=15533 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/15537/task/15555/stat : 15555 (java) S 15533 15537 5750 0 -1 4202560 220 0 0 0 15 3 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547689478312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15537/tid=15556] ppid=15533 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/15537/task/15556/stat : 15556 (java) S 15533 15537 5750 0 -1 4202560 333 0 0 0 16 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547688425768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15557] ppid=15533 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15537/task/15557/stat : 15557 (java) S 15533 15537 5750 0 -1 4202560 71 0 0 0 0 2 0 0 20 0 19 0 5324077 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547676228456 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15559] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15559/stat : 15559 (java) S 15533 15537 5750 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5324078 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547675174776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15561] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15561/stat : 15561 (java) S 15533 15537 5750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5324078 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547674121608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15563] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15563/stat : 15563 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547673070352 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15565] ppid=15533 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/15537/task/15565/stat : 15565 (java) S 15533 15537 5750 0 -1 4202560 6853 0 1 0 35 1 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547672017208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15566] ppid=15533 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/15537/task/15566/stat : 15566 (java) S 15533 15537 5750 0 -1 4202560 4343 0 1 0 27 0 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547670964664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15569] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15569/stat : 15569 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547669911800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15571] ppid=15533 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/15537/task/15571/stat : 15571 (java) S 15533 15537 5750 0 -1 4202560 104 0 0 0 26 25 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547668859464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15574] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15574/stat : 15574 (java) S 15533 15537 5750 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5324100 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547667805736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.3 s]
/proc/loadavg: 2.14 2.21 2.13 3/213 15619
/proc/meminfo: memFree=29902260/32872528 swapFree=1430608/1543028
[pid=15537] ppid=15533 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/15537/stat : 15537 (java) S 15533 15537 5750 0 -1 4202496 16591 0 29 0 179942 58 0 0 20 0 19 0 5324058 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140734114437952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/15537/statm: 2406260 108761 2272 9 0 2396937 0
[pid=15537/tid=15540] ppid=15533 vsize=9625040 CPUtime=1792.84 cores=0,2,4,6
/proc/15537/task/15540/stat : 15540 (java) R 15533 15537 5750 0 -1 4202560 2464 0 7 0 179252 32 0 0 20 0 19 0 5324067 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547852631760 140547721822269 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0
[pid=15537/tid=15548] ppid=15533 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/15537/task/15548/stat : 15548 (java) S 15533 15537 5750 0 -1 4202560 187 0 0 0 16 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547841702824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15550] ppid=15533 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/15537/task/15550/stat : 15550 (java) S 15533 15537 5750 0 -1 4202560 213 0 0 0 18 3 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547840650280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15551] ppid=15533 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/15537/task/15551/stat : 15551 (java) S 15533 15537 5750 0 -1 4202560 101 0 0 0 15 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547693689512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15552] ppid=15533 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/15537/task/15552/stat : 15552 (java) S 15533 15537 5750 0 -1 4202560 59 0 0 0 13 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547692636968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15553] ppid=15533 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15537/task/15553/stat : 15553 (java) S 15533 15537 5750 0 -1 4202560 198 0 0 0 18 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547691583912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15554] ppid=15533 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/15537/task/15554/stat : 15554 (java) S 15533 15537 5750 0 -1 4202560 209 0 0 0 19 5 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547690531368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15555] ppid=15533 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/15537/task/15555/stat : 15555 (java) S 15533 15537 5750 0 -1 4202560 220 0 0 0 15 3 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547689478312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15537/tid=15556] ppid=15533 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/15537/task/15556/stat : 15556 (java) S 15533 15537 5750 0 -1 4202560 333 0 0 0 16 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547688425768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15557] ppid=15533 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15537/task/15557/stat : 15557 (java) S 15533 15537 5750 0 -1 4202560 71 0 0 0 0 2 0 0 20 0 19 0 5324077 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547676228456 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15559] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15559/stat : 15559 (java) S 15533 15537 5750 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5324078 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547675174776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15561] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15561/stat : 15561 (java) S 15533 15537 5750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5324078 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547674121608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15563] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15563/stat : 15563 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547673070352 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15565] ppid=15533 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/15537/task/15565/stat : 15565 (java) S 15533 15537 5750 0 -1 4202560 6853 0 1 0 35 1 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547672017208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15566] ppid=15533 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/15537/task/15566/stat : 15566 (java) S 15533 15537 5750 0 -1 4202560 4343 0 1 0 27 0 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547670964664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15569] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15569/stat : 15569 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547669911800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15571] ppid=15533 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/15537/task/15571/stat : 15571 (java) S 15533 15537 5750 0 -1 4202560 104 0 0 0 26 25 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547668859464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15574] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15574/stat : 15574 (java) S 15533 15537 5750 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5324100 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547667805736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 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 15537 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1798.3 s]
/proc/loadavg: 2.14 2.21 2.13 3/213 15619
/proc/meminfo: memFree=29902260/32872528 swapFree=1430608/1543028
[pid=15537] ppid=15533 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/15537/stat : 15537 (java) S 15533 15537 5750 0 -1 4202496 16591 0 29 0 179942 58 0 0 20 0 19 0 5324058 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140734114437952 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/15537/statm: 2406260 108761 2272 9 0 2396937 0
[pid=15537/tid=15540] ppid=15533 vsize=9625040 CPUtime=1792.84 cores=0,2,4,6
/proc/15537/task/15540/stat : 15540 (java) R 15533 15537 5750 0 -1 4202560 2464 0 7 0 179252 32 0 0 20 0 19 0 5324067 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547852631760 140547721822269 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0
[pid=15537/tid=15548] ppid=15533 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/15537/task/15548/stat : 15548 (java) S 15533 15537 5750 0 -1 4202560 187 0 0 0 16 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547841702824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15550] ppid=15533 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/15537/task/15550/stat : 15550 (java) S 15533 15537 5750 0 -1 4202560 213 0 0 0 18 3 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547840650280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15551] ppid=15533 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/15537/task/15551/stat : 15551 (java) S 15533 15537 5750 0 -1 4202560 101 0 0 0 15 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547693689512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15552] ppid=15533 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/15537/task/15552/stat : 15552 (java) S 15533 15537 5750 0 -1 4202560 59 0 0 0 13 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547692636968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15553] ppid=15533 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15537/task/15553/stat : 15553 (java) S 15533 15537 5750 0 -1 4202560 198 0 0 0 18 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547691583912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15537/tid=15554] ppid=15533 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/15537/task/15554/stat : 15554 (java) S 15533 15537 5750 0 -1 4202560 209 0 0 0 19 5 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547690531368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15555] ppid=15533 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/15537/task/15555/stat : 15555 (java) S 15533 15537 5750 0 -1 4202560 220 0 0 0 15 3 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547689478312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15537/tid=15556] ppid=15533 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/15537/task/15556/stat : 15556 (java) S 15533 15537 5750 0 -1 4202560 333 0 0 0 16 4 0 0 20 0 19 0 5324073 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547688425768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15557] ppid=15533 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15537/task/15557/stat : 15557 (java) S 15533 15537 5750 0 -1 4202560 71 0 0 0 0 2 0 0 20 0 19 0 5324077 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547676228456 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15559] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15559/stat : 15559 (java) S 15533 15537 5750 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5324078 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547675174776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15561] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15561/stat : 15561 (java) S 15533 15537 5750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5324078 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547674121608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15563] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15563/stat : 15563 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547673070352 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15565] ppid=15533 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/15537/task/15565/stat : 15565 (java) S 15533 15537 5750 0 -1 4202560 6853 0 1 0 35 1 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547672017208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15537/tid=15566] ppid=15533 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/15537/task/15566/stat : 15566 (java) S 15533 15537 5750 0 -1 4202560 4343 0 1 0 27 0 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547670964664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15569] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15569/stat : 15569 (java) S 15533 15537 5750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547669911800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15571] ppid=15533 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/15537/task/15571/stat : 15571 (java) S 15533 15537 5750 0 -1 4202560 104 0 0 0 26 25 0 0 20 0 19 0 5324087 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547668859464 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15537/tid=15574] ppid=15533 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15537/task/15574/stat : 15574 (java) S 15533 15537 5750 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5324100 9856040960 108761 33554432000 1073741824 1073778376 140734114446816 140547667805736 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1798.34
CPU time (s): 1800
CPU user time (s): 1799.42
CPU system time (s): 0.58
CPU usage (%): 100.092
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.87
system time used= 1.05384
maximum resident set size= 435200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16637
page faults= 29
swaps= 0
block input operations= 11344
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38698
involuntary context switches= 8150

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73713 second user time and 7.09992 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-16 01:19:13
IDJOB=4089740
IDBENCH=107449
IDSOLVER=2546
FILE ID=node116/4089740-1466032753
RUNJOBID= node116-1466032752-15507
PBS_JOBID= 19902807
Free space on /tmp= 71644 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v101-n1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089740-1466032753/watcher-4089740-1466032753 -o /tmp/evaluation-result-4089740-1466032753/solver-4089740-1466032753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466032752-15507 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4089740-1466032753.opb

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

MD5SUM BENCH= e84b0279e26b8fa79b2606047048d40f
RANDOM SEED=609234848

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30563460 kB
Buffers:           19624 kB
Cached:            43012 kB
SwapCached:         3088 kB
Active:            25072 kB
Inactive:          40952 kB
Active(anon):       2848 kB
Inactive(anon):     3412 kB
Active(file):      22224 kB
Inactive(file):    37540 kB
Unevictable:     1543028 kB
Mlocked:         1430608 kB
SwapTotal:      67108856 kB
SwapFree:       67099412 kB
Dirty:              1568 kB
Writeback:             0 kB
AnonPages:       1545320 kB
Mapped:             6904 kB
Shmem:                 0 kB
Slab:             566524 kB
SReclaimable:      10840 kB
SUnreclaim:       555684 kB
KernelStack:        1376 kB
PageTables:         6840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1640188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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= 71640 MiB
End job on node116 at 2016-06-16 01:49:12