Trace number 4100053

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.08 1771.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb
MD5SUM08c9d2f9c7022678189ff579f66c642f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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.031995
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2976
Total number of constraints116
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 2976
Biggest coefficient in the objective function 6132
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 526551
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 526551
Number of bits of the biggest sum of numbers20
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@587bd9f2
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@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4100053-1466209792.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.27/0.28	c ... done. Wall clock time 0.172s.
0.27/0.28	c declared #vars     2976
0.27/0.28	c #constraints  136
0.27/0.28	c constraints type 
0.27/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9
0.27/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 127
0.27/0.29	c 136 constraints processed.
0.27/0.29	c objective function length is 2976 literals
1.57/0.80	c cleaning 2495 clauses out of 5000 with flag 18435/5000
1.88/1.15	c cleaning 4242 clauses out of 8505 with flag 40727/11000
2.31/1.56	c cleaning 5635 clauses out of 11270 with flag 66559/18007
2.81/2.07	c cleaning 6800 clauses out of 13628 with flag 99472/26000
3.43/2.65	c cleaning 7864 clauses out of 15829 with flag 138707/35001
4.03/3.27	c cleaning 8977 clauses out of 17968 with flag 178409/45004
4.83/4.03	c cleaning 9973 clauses out of 19987 with flag 224641/56000
5.65/4.81	c cleaning 10974 clauses out of 22021 with flag 273933/68007
6.55/5.72	c cleaning 12013 clauses out of 24041 with flag 343276/81001
7.45/6.69	c cleaning 12992 clauses out of 26027 with flag 402781/95000
8.55/7.74	c cleaning 13999 clauses out of 28035 with flag 477484/110000
9.87/9.09	c cleaning 15010 clauses out of 30037 with flag 546186/126001
11.07/10.27	c cleaning 15998 clauses out of 32026 with flag 623713/143000
12.47/11.63	c cleaning 16983 clauses out of 34031 with flag 714861/161003
14.14/13.20	c cleaning 18012 clauses out of 36045 with flag 831393/180000
15.74/14.88	c cleaning 19005 clauses out of 38033 with flag 926554/200000
17.45/16.56	c cleaning 20001 clauses out of 40029 with flag 1039761/221001
19.29/18.38	c cleaning 21001 clauses out of 42027 with flag 1170500/243000
21.19/20.29	c cleaning 21996 clauses out of 44026 with flag 1303159/266000
23.29/22.36	c cleaning 22984 clauses out of 46030 with flag 1448358/290000
25.55/24.53	c cleaning 24002 clauses out of 48046 with flag 1605311/315000
27.65/26.68	c cleaning 24992 clauses out of 50045 with flag 1751625/341001
30.18/29.02	c cleaning 25954 clauses out of 52052 with flag 1888377/368000
32.68/31.55	c cleaning 27007 clauses out of 54100 with flag 2063201/396002
35.44/34.21	c cleaning 28041 clauses out of 56092 with flag 2276463/425001
38.58/37.23	c cleaning 29018 clauses out of 58057 with flag 2535853/455007
41.80/40.39	c cleaning 30003 clauses out of 60032 with flag 2766312/486000
44.60/43.17	c cleaning 30994 clauses out of 62031 with flag 3034139/518002
47.92/46.33	c cleaning 31999 clauses out of 64035 with flag 3271816/551000
50.92/49.22	c cleaning 32997 clauses out of 66036 with flag 3471434/585000
54.10/52.33	c cleaning 34005 clauses out of 68039 with flag 3716275/620000
57.81/55.99	c cleaning 34990 clauses out of 70035 with flag 4007817/656001
61.77/59.80	c cleaning 35964 clauses out of 72045 with flag 4258558/693001
65.64/63.68	c cleaning 37007 clauses out of 74080 with flag 4532437/731000
69.63/67.56	c cleaning 38021 clauses out of 76073 with flag 4797434/770000
74.18/71.97	c cleaning 39017 clauses out of 78052 with flag 5090741/810000
78.43/76.19	c cleaning 39994 clauses out of 80035 with flag 5411269/851000
82.68/80.35	c cleaning 41017 clauses out of 82043 with flag 5757600/893002
87.38/84.90	c cleaning 41997 clauses out of 84024 with flag 6153273/936000
92.23/89.72	c cleaning 43005 clauses out of 86031 with flag 6499819/980004
97.69/95.14	c cleaning 43983 clauses out of 88022 with flag 6909553/1025000
102.91/100.25	c cleaning 44993 clauses out of 90039 with flag 7271505/1071000
107.76/105.04	c cleaning 46008 clauses out of 92047 with flag 7646746/1118001
113.43/110.64	c cleaning 46963 clauses out of 94040 with flag 8043539/1166002
119.05/116.16	c cleaning 47976 clauses out of 96077 with flag 8456430/1215002
124.98/121.90	c cleaning 49021 clauses out of 98099 with flag 8891105/1265000
131.19/128.06	c cleaning 50040 clauses out of 100079 with flag 9354600/1316001
137.27/134.07	c cleaning 51011 clauses out of 102038 with flag 9845432/1368000
143.36/140.05	c cleaning 52004 clauses out of 104030 with flag 10264427/1421003
150.17/146.78	c cleaning 53003 clauses out of 106026 with flag 10792194/1475003
157.37/153.84	c cleaning 53981 clauses out of 108020 with flag 11341348/1530000
164.61/161.00	c cleaning 54965 clauses out of 110039 with flag 11858496/1586000
172.52/168.75	c cleaning 55988 clauses out of 112074 with flag 12399478/1643000
180.13/176.21	c cleaning 57010 clauses out of 114089 with flag 12948462/1701003
187.66/183.66	c cleaning 58023 clauses out of 116077 with flag 13530440/1760001
195.93/191.70	c cleaning 59002 clauses out of 118053 with flag 14139279/1820000
204.46/200.19	c cleaning 60004 clauses out of 120053 with flag 14824175/1881002
212.61/208.19	c cleaning 61008 clauses out of 122047 with flag 15464042/1943000
221.58/216.99	c cleaning 62011 clauses out of 124039 with flag 16104653/2006000
230.36/225.54	c cleaning 62995 clauses out of 126028 with flag 16742330/2070000
239.26/234.39	c cleaning 63982 clauses out of 128033 with flag 17426211/2135000
248.61/243.58	c cleaning 65002 clauses out of 130051 with flag 18172575/2201000
257.60/252.33	c cleaning 66002 clauses out of 132049 with flag 18914864/2268000
266.29/260.96	c cleaning 67016 clauses out of 134049 with flag 19704073/2336002
275.54/270.04	c cleaning 67982 clauses out of 136031 with flag 20397161/2405000
285.70/280.07	c cleaning 68981 clauses out of 138049 with flag 21178375/2475000
296.14/290.36	c cleaning 70016 clauses out of 140068 with flag 21884283/2546000
306.67/300.79	c cleaning 71005 clauses out of 142052 with flag 22745525/2618000
317.34/311.24	c cleaning 72008 clauses out of 144048 with flag 23585594/2691001
328.12/321.84	c cleaning 72951 clauses out of 146039 with flag 24430358/2765000
338.68/332.30	c cleaning 74028 clauses out of 148088 with flag 25243462/2840000
350.22/343.62	c cleaning 74945 clauses out of 150063 with flag 26189160/2916003
361.80/355.04	c cleaning 76015 clauses out of 152115 with flag 27049927/2993000
373.29/366.32	c cleaning 77028 clauses out of 154100 with flag 27891621/3071000
385.08/377.93	c cleaning 78030 clauses out of 156080 with flag 28805461/3150008
397.97/390.68	c cleaning 79013 clauses out of 158043 with flag 29739400/3230001
410.16/402.69	c cleaning 79992 clauses out of 160029 with flag 30694696/3311000
422.21/414.54	c cleaning 81012 clauses out of 162040 with flag 31637464/3393003
434.03/426.14	c cleaning 81988 clauses out of 164025 with flag 32592388/3476000
446.36/438.29	c cleaning 83017 clauses out of 166038 with flag 33562747/3560001
459.53/451.21	c cleaning 84002 clauses out of 168020 with flag 34615555/3645000
473.41/464.87	c cleaning 85001 clauses out of 170018 with flag 35660420/3731000
486.02/477.29	c cleaning 85953 clauses out of 172018 with flag 36699891/3818001
499.85/490.82	c cleaning 87012 clauses out of 174064 with flag 37684891/3906000
514.21/505.04	c cleaning 88005 clauses out of 176054 with flag 38621976/3995002
527.98/518.64	c cleaning 88997 clauses out of 178047 with flag 39618777/4085000
542.59/533.06	c cleaning 89998 clauses out of 180059 with flag 40750207/4176009
557.91/548.16	c cleaning 91004 clauses out of 182052 with flag 41854153/4268000
572.83/562.73	c cleaning 91985 clauses out of 184048 with flag 42979594/4361000
588.32/578.00	c cleaning 93020 clauses out of 186069 with flag 44180617/4455006
603.42/592.92	c cleaning 93980 clauses out of 188044 with flag 45208545/4550001
619.79/609.00	c cleaning 95004 clauses out of 190063 with flag 46286692/4646000
635.81/624.80	c cleaning 96026 clauses out of 192065 with flag 47400951/4743006
652.07/640.77	c cleaning 97016 clauses out of 194033 with flag 48551571/4841000
668.22/656.67	c cleaning 97987 clauses out of 196017 with flag 49712736/4940000
685.47/673.65	c cleaning 98989 clauses out of 198030 with flag 51029502/5040000
703.32/691.22	c cleaning 100006 clauses out of 200041 with flag 52302671/5141000
720.61/708.28	c cleaning 101013 clauses out of 202035 with flag 53607858/5243000
738.33/725.62	c cleaning 101988 clauses out of 204026 with flag 54840349/5346004
755.31/742.31	c cleaning 102973 clauses out of 206034 with flag 55998854/5450000
773.83/760.64	c cleaning 104009 clauses out of 208069 with flag 57316691/5555008
792.66/779.10	c cleaning 105002 clauses out of 210052 with flag 58664131/5661000
811.68/797.87	c cleaning 105984 clauses out of 212050 with flag 59913616/5768000
830.61/816.44	c cleaning 107023 clauses out of 214068 with flag 61378891/5876002
851.75/837.21	c cleaning 107995 clauses out of 216043 with flag 62726353/5985000
871.64/856.82	c cleaning 109022 clauses out of 218048 with flag 64135009/6095000
892.15/877.06	c cleaning 110003 clauses out of 220026 with flag 65542081/6206000
912.32/896.90	c cleaning 110999 clauses out of 222023 with flag 66946318/6318000
932.76/917.01	c cleaning 111987 clauses out of 224026 with flag 68336083/6431002
953.45/937.48	c cleaning 113007 clauses out of 226037 with flag 69836503/6545000
975.69/959.31	c cleaning 114011 clauses out of 228032 with flag 71246229/6660002
996.68/980.10	c cleaning 114976 clauses out of 230019 with flag 72641289/6776000
1018.92/1002.09	c cleaning 116004 clauses out of 232044 with flag 74150409/6893001
1040.06/1022.86	c cleaning 117015 clauses out of 234039 with flag 75413467/7011000
1061.94/1044.39	c cleaning 117958 clauses out of 236024 with flag 76810661/7130000
1084.60/1066.62	c cleaning 118995 clauses out of 238066 with flag 78372068/7250000
1106.32/1088.02	c cleaning 120022 clauses out of 240075 with flag 79750744/7371004
1126.03/1107.46	c cleaning 120974 clauses out of 242049 with flag 81194837/7493000
1148.80/1129.87	c cleaning 122036 clauses out of 244077 with flag 82550872/7616002
1171.51/1152.19	c cleaning 123001 clauses out of 246039 with flag 83927953/7740000
1194.65/1174.93	c cleaning 124009 clauses out of 248038 with flag 85291419/7865000
1218.98/1199.05	c cleaning 124981 clauses out of 250029 with flag 86867479/7991000
1243.27/1223.06	c cleaning 126012 clauses out of 252048 with flag 88338108/8118000
1267.53/1246.96	c cleaning 127009 clauses out of 254036 with flag 89903379/8246000
1292.93/1272.04	c cleaning 128008 clauses out of 256027 with flag 91562052/8375000
1317.87/1296.62	c cleaning 128973 clauses out of 258019 with flag 93095304/8505000
1342.57/1321.05	c cleaning 129979 clauses out of 260047 with flag 94714316/8636001
1368.74/1346.89	c cleaning 130978 clauses out of 262067 with flag 96406559/8768000
1395.23/1372.87	c cleaning 132005 clauses out of 264089 with flag 98133146/8901000
1422.34/1399.59	c cleaning 132997 clauses out of 266084 with flag 99891522/9035000
1448.07/1424.93	c cleaning 134042 clauses out of 268088 with flag 101459373/9170001
1477.44/1453.86	c cleaning 135016 clauses out of 270045 with flag 103327638/9306000
1508.45/1484.40	c cleaning 135995 clauses out of 272029 with flag 105102956/9443000
1537.90/1513.48	c cleaning 136992 clauses out of 274036 with flag 106810340/9581002
1565.89/1541.10	c cleaning 137999 clauses out of 276043 with flag 108541207/9720001
1596.10/1570.78	c cleaning 139016 clauses out of 278043 with flag 110218277/9860000
1625.56/1599.87	c cleaning 139988 clauses out of 280028 with flag 111884035/10001001
1659.72/1633.52	c cleaning 140981 clauses out of 282039 with flag 113636054/10143000
1689.09/1662.46	c cleaning 142000 clauses out of 284059 with flag 115408906/10286001
1719.07/1692.02	c cleaning 143025 clauses out of 286064 with flag 117057829/10430006
1752.25/1724.70	c cleaning 144011 clauses out of 288036 with flag 118887160/10575003
1782.78/1754.82	c cleaning 144980 clauses out of 290022 with flag 120700275/10721000
1800.08/1771.70	c starts		: 48250
1800.08/1771.70	c conflicts		: 10816247
1800.08/1771.70	c decisions		: 87437774
1800.08/1771.70	c propagations		: 440938520
1800.08/1771.70	c inspects		: 22829813793
1800.08/1771.70	c shortcuts		: 0
1800.08/1771.70	c learnt literals	: 0
1800.08/1771.70	c learnt binary clauses	: 0
1800.08/1771.70	c learnt ternary clauses	: 0
1800.08/1771.70	c learnt constraints	: 10816247
1800.08/1771.70	c ignored constraints	: 0
1800.08/1771.70	c root simplifications	: 0
1800.08/1771.70	c removed literals (reason simplification)	: 0
1800.08/1771.70	c reason swapping (by a shorter reason)	: 0
1800.08/1771.70	c Calls to reduceDB	: 142
1800.08/1771.70	c Number of update (reduction) of LBD	: 5370322
1800.08/1771.70	c Imported unit clauses	: 0
1800.08/1771.70	c number of reductions to clauses (during analyze)	: 0
1800.08/1771.70	c number of learned constraints concerned by reduction	: 0
1800.08/1771.70	c number of learning phase by resolution	: 0
1800.08/1771.70	c number of learning phase by cutting planes	: 0
1800.08/1771.70	c speed (assignments/second)	: 248920.78078312025
1800.08/1771.70	c timeout
1800.08/1771.70	c non guided choices	14950
1800.08/1771.73	c learnt constraints type 
1800.08/1771.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 240289
1800.08/1771.73	s UNKNOWN
1800.08/1771.73	c Total wall clock time (in seconds): 1771.62

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-4100053-1466209792/watcher-4100053-1466209792 -o /tmp/evaluation-result-4100053-1466209792/solver-4100053-1466209792 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15532 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100053-1466209792.opb 

pid=16993
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: 2.11 2.21 2.18 3/194 16996
/proc/meminfo: memFree=26911904/32872528 swapFree=1542984/1696284
[pid=16996] ppid=16993 vsize=9324 CPUtime=0 cores=0,2,4,6
/proc/16996/stat : 16996 (java) R 16993 16996 15516 0 -1 4202496 529 0 0 0 0 0 0 0 20 0 1 0 23025864 9547776 182 33554432000 1073741824 1073778376 140733625698032 140733625680760 270707541376 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16996/statm: 2323 182 140 9 0 71 0

[startup+0.10021 s]
/proc/loadavg: 2.11 2.21 2.18 3/194 16996
/proc/meminfo: memFree=26911904/32872528 swapFree=1542984/1696284
[pid=16996] ppid=16993 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/16996/stat : 16996 (java) S 16993 16996 15516 0 -1 4202496 4400 0 1 0 8 1 0 0 20 0 18 0 23025864 9787879424 6027 33554432000 1073741824 1073778376 140733625698032 140733625689168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16996/statm: 2389619 6027 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 2.11 2.21 2.18 3/194 16996
/proc/meminfo: memFree=26911904/32872528 swapFree=1542984/1696284
[pid=16996] ppid=16993 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/16996/stat : 16996 (java) S 16993 16996 15516 0 -1 4202496 5033 0 1 0 26 1 0 0 20 0 18 0 23025864 9787879424 6981 33554432000 1073741824 1073778376 140733625698032 140733625689168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16996/statm: 2389619 6981 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300215 s]
/proc/loadavg: 2.11 2.21 2.18 3/194 16996
/proc/meminfo: memFree=26911904/32872528 swapFree=1542984/1696284
[pid=16996] ppid=16993 vsize=9558476 CPUtime=0.56 cores=0,2,4,6
/proc/16996/stat : 16996 (java) S 16993 16996 15516 0 -1 4202496 8829 0 1 0 53 3 0 0 20 0 18 0 23025864 9787879424 10943 33554432000 1073741824 1073778376 140733625698032 140733625689168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16996/statm: 2389619 10943 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476

[startup+0.700177 s]
/proc/loadavg: 2.11 2.21 2.18 3/194 16996
/proc/meminfo: memFree=26911904/32872528 swapFree=1542984/1696284
[pid=16996] ppid=16993 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/16996/stat : 16996 (java) S 16993 16996 15516 0 -1 4202496 10403 0 1 0 139 3 0 0 20 0 19 0 23025864 9856040960 14217 33554432000 1073741824 1073778376 140733625698032 140733625689168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16996/statm: 2406260 14217 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.11 2.21 2.18 3/213 17015
/proc/meminfo: memFree=26849884/32872528 swapFree=1542984/1696284
[pid=16996] ppid=16993 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/16996/stat : 16996 (java) S 16993 16996 15516 0 -1 4202496 10425 0 1 0 227 4 0 0 20 0 19 0 23025864 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 140733625689168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16996/statm: 2406260 21392 2263 9 0 2396937 0
[pid=16996/tid=16998] ppid=16993 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (java) R 16993 16996 15516 0 -1 4202560 2434 0 1 0 144 2 0 0 20 0 19 0 23025865 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680757645720 139680608275278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=16999] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025866 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680730098216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17000] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17000/stat : 17000 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680729045416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17001] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17001/stat : 17001 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680727992616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17002] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17002/stat : 17002 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680726939816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=17003] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17003/stat : 17003 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680596667432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17004] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17004/stat : 17004 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680595614632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=17005] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17005/stat : 17005 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680594561832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17006] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17006/stat : 17006 (java) S 16993 16996 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680593509032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17007] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17007/stat : 17007 (java) S 16993 16996 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680110995944 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17008] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17008/stat : 17008 (java) S 16993 16996 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680109942008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17009] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17009/stat : 17009 (java) S 16993 16996 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680108889096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17010] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17010/stat : 17010 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680107837584 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17011] ppid=16993 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/16996/task/17011/stat : 17011 (java) S 16993 16996 15516 0 -1 4202560 2542 0 0 0 38 0 0 0 20 0 19 0 23025871 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680106785720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17012] ppid=16993 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/16996/task/17012/stat : 17012 (java) S 16993 16996 15516 0 -1 4202560 4172 0 0 0 42 2 0 0 20 0 19 0 23025871 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680105732920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17013] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17013/stat : 17013 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680104680312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17014] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17014/stat : 17014 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680103627720 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=17015] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17015/stat : 17015 (java) S 16993 16996 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23025895 9856040960 21392 33554432000 1073741824 1073778376 140733625698032 139680102573224 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 2.11 2.21 2.18 3/213 17015
/proc/meminfo: memFree=26812276/32872528 swapFree=1542984/1696284
[pid=16996] ppid=16993 vsize=9625040 CPUtime=3.93 cores=0,2,4,6
/proc/16996/stat : 16996 (java) S 16993 16996 15516 0 -1 4202496 10451 0 1 0 389 4 0 0 20 0 19 0 23025864 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 140733625689168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16996/statm: 2406260 34192 2263 9 0 2396937 0
[pid=16996/tid=16998] ppid=16993 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (java) R 16993 16996 15516 0 -1 4202560 2460 0 1 0 303 3 0 0 20 0 19 0 23025865 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680757643600 139680608275453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=16999] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025866 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680730098216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17000] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17000/stat : 17000 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680729045416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17001] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17001/stat : 17001 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680727992616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17002] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17002/stat : 17002 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680726939816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=17003] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17003/stat : 17003 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680596667432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17004] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17004/stat : 17004 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680595614632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=17005] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17005/stat : 17005 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680594561832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17006] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17006/stat : 17006 (java) S 16993 16996 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680593509032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17007] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17007/stat : 17007 (java) S 16993 16996 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680110995944 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17008] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17008/stat : 17008 (java) S 16993 16996 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680109942008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17009] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17009/stat : 17009 (java) S 16993 16996 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680108889096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17010] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17010/stat : 17010 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680107837584 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17011] ppid=16993 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/16996/task/17011/stat : 17011 (java) S 16993 16996 15516 0 -1 4202560 2542 0 0 0 40 0 0 0 20 0 19 0 23025871 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680106785720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17012] ppid=16993 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/16996/task/17012/stat : 17012 (java) S 16993 16996 15516 0 -1 4202560 4172 0 0 0 42 2 0 0 20 0 19 0 23025871 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680105732920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17013] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17013/stat : 17013 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680104680312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17014] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17014/stat : 17014 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680103627720 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=17015] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17015/stat : 17015 (java) S 16993 16996 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23025895 9856040960 34192 33554432000 1073741824 1073778376 140733625698032 139680102573224 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.10 2.21 2.17 4/213 17015
/proc/meminfo: memFree=26741996/32872528 swapFree=1542984/1696284
[pid=16996] ppid=16993 vsize=9625040 CPUtime=7.15 cores=0,2,4,6
/proc/16996/stat : 16996 (java) S 16993 16996 15516 0 -1 4202496 10506 0 1 0 709 6 0 0 20 0 19 0 23025864 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 140733625689168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16996/statm: 2406260 44347 2277 9 0 2396937 0
[pid=16996/tid=16998] ppid=16993 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (java) R 16993 16996 15516 0 -1 4202560 2481 0 1 0 621 3 0 0 20 0 19 0 23025865 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680757636800 139680608364372 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=16999] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (java) S 16993 16996 15516 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 23025866 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680730098216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17000] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17000/stat : 17000 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680729045416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17001] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17001/stat : 17001 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680727992616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17002] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17002/stat : 17002 (java) S 16993 16996 15516 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680726939816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17003] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17003/stat : 17003 (java) S 16993 16996 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680596667432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17004] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17004/stat : 17004 (java) S 16993 16996 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680595614632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17005] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17005/stat : 17005 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680594561832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17006] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17006/stat : 17006 (java) S 16993 16996 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23025867 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680593509032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17007] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17007/stat : 17007 (java) S 16993 16996 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680110995944 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17008] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17008/stat : 17008 (java) S 16993 16996 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680109942008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17009] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17009/stat : 17009 (java) S 16993 16996 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680108889096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17010] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17010/stat : 17010 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680107837584 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17011] ppid=16993 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/16996/task/17011/stat : 17011 (java) S 16993 16996 15516 0 -1 4202560 2542 0 0 0 40 0 0 0 20 0 19 0 23025871 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680106785720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17012] ppid=16993 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/16996/task/17012/stat : 17012 (java) S 16993 16996 15516 0 -1 4202560 4172 0 0 0 42 2 0 0 20 0 19 0 23025871 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680105732920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17013] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17013/stat : 17013 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680104680312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17014] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17014/stat : 17014 (java) S 16993 16996 15516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680103627720 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=17015] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17015/stat : 17015 (java) S 16993 16996 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23025895 9856040960 44347 33554432000 1073741824 1073778376 140733625698032 139680102573224 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 9625040


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

[pid=16996/tid=17015] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17015/stat : 17015 (java) S 16993 16996 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23025895 9856040960 147431 33554432000 1073741824 1073778376 140733625698032 139680102573224 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1688.99
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.24 2.26 2.24 4/213 17124
/proc/meminfo: memFree=25947052/32872528 swapFree=1542984/1696284
[pid=16996] ppid=16993 vsize=9625040 CPUtime=1749.81 cores=0,2,4,6
/proc/16996/stat : 16996 (java) S 16993 16996 15516 0 -1 4202496 28546 0 1 0 174809 172 0 0 20 0 19 0 23025864 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 140733625689168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16996/statm: 2406260 136733 2286 9 0 2396937 0
[pid=16996/tid=16998] ppid=16993 vsize=9625040 CPUtime=1701.62 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (java) R 16993 16996 15516 0 -1 4202560 2996 0 1 0 170130 32 0 0 20 0 19 0 23025865 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680757644736 139680608330390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=16999] ppid=16993 vsize=9625040 CPUtime=4.62 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (java) S 16993 16996 15516 0 -1 4202560 2048 0 0 0 446 16 0 0 20 0 19 0 23025866 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680730098216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17000] ppid=16993 vsize=9625040 CPUtime=4.64 cores=0,2,4,6
/proc/16996/task/17000/stat : 17000 (java) S 16993 16996 15516 0 -1 4202560 1940 0 0 0 449 15 0 0 20 0 19 0 23025867 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680729045416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17001] ppid=16993 vsize=9625040 CPUtime=4.58 cores=0,2,4,6
/proc/16996/task/17001/stat : 17001 (java) S 16993 16996 15516 0 -1 4202560 1374 0 0 0 441 17 0 0 20 0 19 0 23025867 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680727992616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17002] ppid=16993 vsize=9625040 CPUtime=4.77 cores=0,2,4,6
/proc/16996/task/17002/stat : 17002 (java) S 16993 16996 15516 0 -1 4202560 2504 0 0 0 457 20 0 0 20 0 19 0 23025867 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680726939816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17003] ppid=16993 vsize=9625040 CPUtime=4.8 cores=0,2,4,6
/proc/16996/task/17003/stat : 17003 (java) S 16993 16996 15516 0 -1 4202560 2502 0 0 0 464 16 0 0 20 0 19 0 23025867 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680596667432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=17004] ppid=16993 vsize=9625040 CPUtime=4.7 cores=0,2,4,6
/proc/16996/task/17004/stat : 17004 (java) S 16993 16996 15516 0 -1 4202560 2048 0 0 0 453 17 0 0 20 0 19 0 23025867 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680595614632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17005] ppid=16993 vsize=9625040 CPUtime=4.47 cores=0,2,4,6
/proc/16996/task/17005/stat : 17005 (java) S 16993 16996 15516 0 -1 4202560 1551 0 0 0 432 15 0 0 20 0 19 0 23025867 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680594561832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17006] ppid=16993 vsize=9625040 CPUtime=4.61 cores=0,2,4,6
/proc/16996/task/17006/stat : 17006 (java) S 16993 16996 15516 0 -1 4202560 2336 0 0 0 443 18 0 0 20 0 19 0 23025867 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680593509032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17007] ppid=16993 vsize=9625040 CPUtime=5.46 cores=0,2,4,6
/proc/16996/task/17007/stat : 17007 (java) S 16993 16996 15516 0 -1 4202560 1163 0 0 0 539 7 0 0 20 0 19 0 23025868 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680110995944 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17008] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17008/stat : 17008 (java) S 16993 16996 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680109942008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17009] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17009/stat : 17009 (java) S 16993 16996 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680108889096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17010] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17010/stat : 17010 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680107837584 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17011] ppid=16993 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/16996/task/17011/stat : 17011 (java) S 16993 16996 15516 0 -1 4202560 2549 0 0 0 43 0 0 0 20 0 19 0 23025871 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680106785720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17012] ppid=16993 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/16996/task/17012/stat : 17012 (java) S 16993 16996 15516 0 -1 4202560 4172 0 0 0 42 2 0 0 20 0 19 0 23025871 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680105732920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17013] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17013/stat : 17013 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680104680312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17014] ppid=16993 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/16996/task/17014/stat : 17014 (java) S 16993 16996 15516 0 -1 4202560 100 0 0 0 25 27 0 0 20 0 19 0 23025871 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680103627720 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17015] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17015/stat : 17015 (java) S 16993 16996 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23025895 9856040960 136733 33554432000 1073741824 1073778376 140733625698032 139680102573224 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1749.81
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1771.7 s]
/proc/loadavg: 2.31 2.28 2.25 3/213 17125
/proc/meminfo: memFree=25976220/32872528 swapFree=1542984/1696284
[pid=16996] ppid=16993 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/16996/stat : 16996 (java) S 16993 16996 15516 0 -1 4202496 30099 0 1 0 179829 179 0 0 20 0 19 0 23025864 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 140733625689168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16996/statm: 2406260 142022 2286 9 0 2396937 0
[pid=16996/tid=16998] ppid=16993 vsize=9625040 CPUtime=1750.34 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (java) R 16993 16996 15516 0 -1 4202560 3011 0 1 0 175001 33 0 0 20 0 19 0 23025865 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680757644608 139680608330390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=16999] ppid=16993 vsize=9625040 CPUtime=4.73 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (java) S 16993 16996 15516 0 -1 4202560 2277 0 0 0 457 16 0 0 20 0 19 0 23025866 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680730098216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17000] ppid=16993 vsize=9625040 CPUtime=4.79 cores=0,2,4,6
/proc/16996/task/17000/stat : 17000 (java) S 16993 16996 15516 0 -1 4202560 1950 0 0 0 463 16 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680729045416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17001] ppid=16993 vsize=9625040 CPUtime=4.72 cores=0,2,4,6
/proc/16996/task/17001/stat : 17001 (java) S 16993 16996 15516 0 -1 4202560 1390 0 0 0 454 18 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680727992616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17002] ppid=16993 vsize=9625040 CPUtime=4.93 cores=0,2,4,6
/proc/16996/task/17002/stat : 17002 (java) S 16993 16996 15516 0 -1 4202560 2840 0 0 0 473 20 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680726939816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17003] ppid=16993 vsize=9625040 CPUtime=4.96 cores=0,2,4,6
/proc/16996/task/17003/stat : 17003 (java) S 16993 16996 15516 0 -1 4202560 2558 0 0 0 479 17 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680596667432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17004] ppid=16993 vsize=9625040 CPUtime=4.86 cores=0,2,4,6
/proc/16996/task/17004/stat : 17004 (java) S 16993 16996 15516 0 -1 4202560 2327 0 0 0 467 19 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680595614632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17005] ppid=16993 vsize=9625040 CPUtime=4.64 cores=0,2,4,6
/proc/16996/task/17005/stat : 17005 (java) S 16993 16996 15516 0 -1 4202560 1568 0 0 0 448 16 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680594561832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17006] ppid=16993 vsize=9625040 CPUtime=4.75 cores=0,2,4,6
/proc/16996/task/17006/stat : 17006 (java) S 16993 16996 15516 0 -1 4202560 2911 0 0 0 456 19 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680593509032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17007] ppid=16993 vsize=9625040 CPUtime=5.67 cores=0,2,4,6
/proc/16996/task/17007/stat : 17007 (java) S 16993 16996 15516 0 -1 4202560 1179 0 0 0 560 7 0 0 20 0 19 0 23025868 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680110995944 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=17008] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17008/stat : 17008 (java) S 16993 16996 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680109942008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17009] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17009/stat : 17009 (java) S 16993 16996 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680108889096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17010] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17010/stat : 17010 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680107837584 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17011] ppid=16993 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/16996/task/17011/stat : 17011 (java) S 16993 16996 15516 0 -1 4202560 2549 0 0 0 43 0 0 0 20 0 19 0 23025871 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680106785720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17012] ppid=16993 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/16996/task/17012/stat : 17012 (java) S 16993 16996 15516 0 -1 4202560 4172 0 0 0 42 2 0 0 20 0 19 0 23025871 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680105732920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17013] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17013/stat : 17013 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680104680312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17014] ppid=16993 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/16996/task/17014/stat : 17014 (java) S 16993 16996 15516 0 -1 4202560 104 0 0 0 26 27 0 0 20 0 19 0 23025871 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680103627720 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=17015] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17015/stat : 17015 (java) S 16993 16996 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23025895 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680102573224 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 16996 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1771.7 s]
/proc/loadavg: 2.31 2.28 2.25 3/213 17125
/proc/meminfo: memFree=25976220/32872528 swapFree=1542984/1696284
[pid=16996] ppid=16993 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/16996/stat : 16996 (java) S 16993 16996 15516 0 -1 4202496 30099 0 1 0 179829 179 0 0 20 0 19 0 23025864 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 140733625689168 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16996/statm: 2406260 142022 2286 9 0 2396937 0
[pid=16996/tid=16998] ppid=16993 vsize=9625040 CPUtime=1750.34 cores=0,2,4,6
/proc/16996/task/16998/stat : 16998 (java) R 16993 16996 15516 0 -1 4202560 3011 0 1 0 175001 33 0 0 20 0 19 0 23025865 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680757644608 139680608330390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=16999] ppid=16993 vsize=9625040 CPUtime=4.73 cores=0,2,4,6
/proc/16996/task/16999/stat : 16999 (java) S 16993 16996 15516 0 -1 4202560 2277 0 0 0 457 16 0 0 20 0 19 0 23025866 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680730098216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17000] ppid=16993 vsize=9625040 CPUtime=4.79 cores=0,2,4,6
/proc/16996/task/17000/stat : 17000 (java) S 16993 16996 15516 0 -1 4202560 1950 0 0 0 463 16 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680729045416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17001] ppid=16993 vsize=9625040 CPUtime=4.72 cores=0,2,4,6
/proc/16996/task/17001/stat : 17001 (java) S 16993 16996 15516 0 -1 4202560 1390 0 0 0 454 18 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680727992616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17002] ppid=16993 vsize=9625040 CPUtime=4.93 cores=0,2,4,6
/proc/16996/task/17002/stat : 17002 (java) S 16993 16996 15516 0 -1 4202560 2840 0 0 0 473 20 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680726939816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17003] ppid=16993 vsize=9625040 CPUtime=4.96 cores=0,2,4,6
/proc/16996/task/17003/stat : 17003 (java) S 16993 16996 15516 0 -1 4202560 2558 0 0 0 479 17 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680596667432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17004] ppid=16993 vsize=9625040 CPUtime=4.86 cores=0,2,4,6
/proc/16996/task/17004/stat : 17004 (java) S 16993 16996 15516 0 -1 4202560 2327 0 0 0 467 19 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680595614632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17005] ppid=16993 vsize=9625040 CPUtime=4.64 cores=0,2,4,6
/proc/16996/task/17005/stat : 17005 (java) S 16993 16996 15516 0 -1 4202560 1568 0 0 0 448 16 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680594561832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17006] ppid=16993 vsize=9625040 CPUtime=4.75 cores=0,2,4,6
/proc/16996/task/17006/stat : 17006 (java) S 16993 16996 15516 0 -1 4202560 2911 0 0 0 456 19 0 0 20 0 19 0 23025867 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680593509032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17007] ppid=16993 vsize=9625040 CPUtime=5.67 cores=0,2,4,6
/proc/16996/task/17007/stat : 17007 (java) S 16993 16996 15516 0 -1 4202560 1179 0 0 0 560 7 0 0 20 0 19 0 23025868 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680110995944 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=17008] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17008/stat : 17008 (java) S 16993 16996 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680109942008 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17009] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17009/stat : 17009 (java) S 16993 16996 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23025868 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680108889096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16996/tid=17010] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17010/stat : 17010 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680107837584 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16996/tid=17011] ppid=16993 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/16996/task/17011/stat : 17011 (java) S 16993 16996 15516 0 -1 4202560 2549 0 0 0 43 0 0 0 20 0 19 0 23025871 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680106785720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17012] ppid=16993 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/16996/task/17012/stat : 17012 (java) S 16993 16996 15516 0 -1 4202560 4172 0 0 0 42 2 0 0 20 0 19 0 23025871 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680105732920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17013] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17013/stat : 17013 (java) S 16993 16996 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23025871 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680104680312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16996/tid=17014] ppid=16993 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/16996/task/17014/stat : 17014 (java) S 16993 16996 15516 0 -1 4202560 104 0 0 0 26 27 0 0 20 0 19 0 23025871 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680103627720 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16996/tid=17015] ppid=16993 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16996/task/17015/stat : 17015 (java) S 16993 16996 15516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23025895 9856040960 142022 33554432000 1073741824 1073778376 140733625698032 139680102573224 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1771.74
CPU time (s): 1800.08
CPU user time (s): 1798.29
CPU system time (s): 1.79
CPU usage (%): 101.599
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.86
system time used= 2.24166
maximum resident set size= 610292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30139
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54545
involuntary context switches= 75557

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8725 second user time and 13.5319 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-18 02:29:52
IDJOB=4100053
IDBENCH=1567
IDSOLVER=2546
FILE ID=node125/4100053-1466209792
RUNJOBID= node125-1466206074-15532
PBS_JOBID= 19918152
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100053-1466209792/watcher-4100053-1466209792 -o /tmp/evaluation-result-4100053-1466209792/solver-4100053-1466209792 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15532 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4100053-1466209792.opb

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

MD5SUM BENCH= 08c9d2f9c7022678189ff579f66c642f
RANDOM SEED=1078432062

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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.683
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:        26912192 kB
Buffers:           39968 kB
Cached:            76488 kB
SwapCached:          684 kB
Active:          3486820 kB
Inactive:          67204 kB
Active(anon):    3439064 kB
Inactive(anon):      996 kB
Active(file):      47756 kB
Inactive(file):    66208 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098192 kB
Dirty:               820 kB
Writeback:             0 kB
AnonPages:       5239996 kB
Mapped:            15384 kB
Shmem:                 0 kB
Slab:             570500 kB
SReclaimable:      14332 kB
SUnreclaim:       556168 kB
KernelStack:        1760 kB
PageTables:        14296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5557080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3657728 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= 71720 MiB
End job on node125 at 2016-06-18 02:59:24