Trace number 4117980

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 PB16SAT (TO)-63175 1800.07 1776.13

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-60.opb
MD5SUMadc3547ed4b2c4df2b3dd8e3fd5cf1b5
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-83949
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
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 constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 52575
Biggest coefficient in the objective function 13565
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 6490280
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 13565
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 6490280
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)52515
Sum of products size (including duplicates)172450
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@37e893df
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@41ac1fe4
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4117980-1467216293.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  objective function found
93.49/92.61	c ... done. Wall clock time 92.495s.
93.49/92.61	c declared #vars     60
93.49/92.61	c internal #vars     52575
93.49/92.61	c #constraints  105030
93.49/92.61	c constraints type 
93.49/92.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 52515
93.49/92.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 52515
93.49/92.61	c 105030 constraints processed.
93.49/92.61	c objective function length is 52575 literals
93.94/92.83	c SATISFIABLE
93.94/92.83	c OPTIMIZING...
93.94/92.84	c Got one! Elapsed wall clock time (in seconds):92.72
93.94/92.84	o 0
94.40/93.10	c Got one! Elapsed wall clock time (in seconds):92.981
94.40/93.10	o -1711
94.88/93.21	c Got one! Elapsed wall clock time (in seconds):93.092
94.88/93.21	o -3306
94.88/93.30	c Got one! Elapsed wall clock time (in seconds):93.181
94.88/93.30	o -6103
95.06/93.39	c Got one! Elapsed wall clock time (in seconds):93.271
95.06/93.39	o -7415
95.17/93.50	c Got one! Elapsed wall clock time (in seconds):93.387
95.17/93.50	o -8680
95.53/93.63	c Got one! Elapsed wall clock time (in seconds):93.511
95.53/93.63	o -12243
95.72/93.82	c Got one! Elapsed wall clock time (in seconds):93.701
95.72/93.82	o -12402
95.82/93.99	c Got one! Elapsed wall clock time (in seconds):93.872
95.82/93.99	o -13471
95.92/94.08	c Got one! Elapsed wall clock time (in seconds):93.97
95.92/94.08	o -15494
96.02/94.19	c Got one! Elapsed wall clock time (in seconds):94.076
96.02/94.19	o -18672
96.32/94.49	c Got one! Elapsed wall clock time (in seconds):94.376
96.32/94.49	o -19533
96.73/94.77	c Got one! Elapsed wall clock time (in seconds):94.652
96.73/94.77	o -23180
97.62/95.66	c Got one! Elapsed wall clock time (in seconds):95.548
97.62/95.66	o -23888
98.22/96.22	c Got one! Elapsed wall clock time (in seconds):96.102
98.22/96.22	o -24152
98.62/96.62	c Got one! Elapsed wall clock time (in seconds):96.507
98.62/96.62	o -24673
99.36/97.22	c Got one! Elapsed wall clock time (in seconds):97.107
99.36/97.22	o -25378
99.56/97.48	c Got one! Elapsed wall clock time (in seconds):97.37
99.56/97.48	o -25513
99.77/97.65	c Got one! Elapsed wall clock time (in seconds):97.531
99.77/97.65	o -26236
99.87/97.75	c Got one! Elapsed wall clock time (in seconds):97.634
99.87/97.75	o -26852
99.97/97.82	c Got one! Elapsed wall clock time (in seconds):97.709
99.97/97.82	o -27437
100.07/97.92	c Got one! Elapsed wall clock time (in seconds):97.81
100.07/97.92	o -30815
102.03/99.82	c Got one! Elapsed wall clock time (in seconds):99.702
102.03/99.82	o -31234
103.43/101.29	c Got one! Elapsed wall clock time (in seconds):101.172
103.43/101.29	o -31709
105.65/103.26	c Got one! Elapsed wall clock time (in seconds):103.148
105.65/103.26	o -32106
106.85/104.41	c Got one! Elapsed wall clock time (in seconds):104.292
106.85/104.41	o -33001
108.45/106.03	c Got one! Elapsed wall clock time (in seconds):105.916
108.45/106.03	o -33616
109.35/106.91	c Got one! Elapsed wall clock time (in seconds):106.795
109.35/106.91	o -34769
109.75/107.36	c Got one! Elapsed wall clock time (in seconds):107.244
109.75/107.36	o -35481
110.26/107.83	c Got one! Elapsed wall clock time (in seconds):107.711
110.26/107.83	o -36226
116.69/114.03	c Got one! Elapsed wall clock time (in seconds):113.919
116.69/114.03	o -36621
119.90/117.26	c Got one! Elapsed wall clock time (in seconds):117.141
119.90/117.26	o -36811
121.50/118.84	c Got one! Elapsed wall clock time (in seconds):118.728
121.50/118.84	o -38639
122.40/119.70	c Got one! Elapsed wall clock time (in seconds):119.582
122.40/119.70	o -39027
122.90/120.29	c Got one! Elapsed wall clock time (in seconds):120.171
122.90/120.29	o -39212
123.35/120.68	c Got one! Elapsed wall clock time (in seconds):120.57
123.35/120.68	o -42705
137.74/134.54	c Got one! Elapsed wall clock time (in seconds):134.428
137.74/134.54	o -43198
148.13/144.93	c Got one! Elapsed wall clock time (in seconds):144.819
148.13/144.93	o -43253
148.99/145.30	c Got one! Elapsed wall clock time (in seconds):145.183
148.99/145.30	o -46050
161.63/157.81	c cleaning 5009 clauses out of 10017 with flag 4003/10017
170.34/166.54	c Got one! Elapsed wall clock time (in seconds):166.423
170.34/166.54	o -46759
194.25/189.54	c Got one! Elapsed wall clock time (in seconds):189.427
194.25/189.54	o -46959
200.15/195.45	c cleaning 5707 clauses out of 11416 with flag 2003/16425
215.15/210.42	c Got one! Elapsed wall clock time (in seconds):210.302
215.15/210.42	o -47333
229.46/224.24	c Got one! Elapsed wall clock time (in seconds):224.129
229.46/224.24	o -47362
235.78/230.50	c cleaning 5638 clauses out of 11281 with flag 2026/21997
240.19/234.99	c Got one! Elapsed wall clock time (in seconds):234.877
240.19/234.99	o -47493
243.39/238.20	c Got one! Elapsed wall clock time (in seconds):238.081
243.39/238.20	o -48612
268.33/262.33	c Got one! Elapsed wall clock time (in seconds):262.22
268.33/262.33	o -49931
280.93/274.96	c cleaning 6313 clauses out of 12626 with flag 4023/28980
281.33/275.31	c Got one! Elapsed wall clock time (in seconds):275.196
281.33/275.31	o -50439
291.63/285.61	c Got one! Elapsed wall clock time (in seconds):285.491
291.63/285.61	o -50458
292.73/286.74	c Got one! Elapsed wall clock time (in seconds):286.624
292.73/286.74	o -50540
293.83/287.80	c Got one! Elapsed wall clock time (in seconds):287.685
293.83/287.80	o -53092
321.21/314.06	c cleaning 6149 clauses out of 12297 with flag 8001/34964
358.23/351.03	c cleaning 6075 clauses out of 12149 with flag 20003/40965
378.16/370.73	c Got one! Elapsed wall clock time (in seconds):370.615
378.16/370.73	o -53682
391.15/383.70	c cleaning 5661 clauses out of 11326 with flag 4002/46217
424.46/417.03	c Got one! Elapsed wall clock time (in seconds):416.915
424.46/417.03	o -53683
457.11/448.77	c Got one! Elapsed wall clock time (in seconds):448.652
457.11/448.77	o -53786
463.71/455.33	c cleaning 8564 clauses out of 17128 with flag 2057/57680
475.93/467.52	c Got one! Elapsed wall clock time (in seconds):467.403
475.93/467.52	o -53847
503.02/494.04	c cleaning 7236 clauses out of 14476 with flag 8003/63592
539.11/530.18	c cleaning 6617 clauses out of 13240 with flag 20003/69592
581.04/571.88	c cleaning 6807 clauses out of 13622 with flag 34001/76591
621.03/611.49	c Got one! Elapsed wall clock time (in seconds):611.376
621.03/611.49	o -54003
639.44/629.80	c Got one! Elapsed wall clock time (in seconds):629.685
639.44/629.80	o -54227
652.74/643.13	c cleaning 9328 clauses out of 18656 with flag 4191/88432
654.35/644.76	c Got one! Elapsed wall clock time (in seconds):644.65
654.35/644.76	o -54382
657.24/647.68	c Got one! Elapsed wall clock time (in seconds):647.565
657.24/647.68	o -54402
658.04/648.49	c Got one! Elapsed wall clock time (in seconds):648.374
658.04/648.49	o -54412
658.84/649.25	c Got one! Elapsed wall clock time (in seconds):649.133
658.84/649.25	o -57196
688.39/678.38	c cleaning 7621 clauses out of 15248 with flag 10004/94352
722.57/712.05	c cleaning 6812 clauses out of 13626 with flag 22002/100351
760.31/748.98	c Got one! Elapsed wall clock time (in seconds):748.866
760.31/748.98	o -57203
791.92/780.54	c cleaning 9232 clauses out of 18464 with flag 10106/112001
830.65/818.60	c cleaning 7617 clauses out of 15233 with flag 22605/118002
863.22/850.95	c Got one! Elapsed wall clock time (in seconds):850.835
863.22/850.95	o -57495
896.09/883.23	c cleaning 9005 clauses out of 18019 with flag 10023/128405
933.17/919.91	c cleaning 7503 clauses out of 15014 with flag 22064/134405
974.54/961.07	c cleaning 7254 clauses out of 14511 with flag 36140/141405
1021.92/1008.23	c cleaning 7621 clauses out of 15258 with flag 52200/149406
1076.70/1062.43	c cleaning 8317 clauses out of 16636 with flag 70198/158405
1135.81/1120.78	c cleaning 9159 clauses out of 18319 with flag 90355/168405
1199.23/1183.42	c Got one! Elapsed wall clock time (in seconds):1183.307
1199.23/1183.42	o -57666
1234.53/1217.52	c cleaning 12229 clauses out of 24462 with flag 10053/183707
1273.16/1255.65	c cleaning 9115 clauses out of 18233 with flag 22116/189707
1291.86/1274.31	c Got one! Elapsed wall clock time (in seconds):1274.2
1291.86/1274.31	o -58063
1311.78/1294.04	c cleaning 7535 clauses out of 15072 with flag 6069/195661
1349.51/1331.24	c cleaning 6767 clauses out of 13537 with flag 18096/201661
1366.52/1348.22	c Got one! Elapsed wall clock time (in seconds):1348.104
1366.52/1348.22	o -58066
1385.85/1367.30	c cleaning 6215 clauses out of 12434 with flag 6072/207325
1391.87/1373.25	c Got one! Elapsed wall clock time (in seconds):1373.136
1391.87/1373.25	o -59205
1423.89/1404.90	c cleaning 6032 clauses out of 12066 with flag 10043/213172
1461.48/1441.95	c cleaning 6015 clauses out of 12034 with flag 22133/219172
1506.09/1486.08	c cleaning 6509 clauses out of 13020 with flag 36218/226173
1542.85/1522.48	c Got one! Elapsed wall clock time (in seconds):1522.365
1542.85/1522.48	o -59570
1569.84/1549.29	c Got one! Elapsed wall clock time (in seconds):1549.171
1569.84/1549.29	o -59757
1577.07/1556.11	c cleaning 8519 clauses out of 17039 with flag 2046/236701
1581.47/1560.56	c Got one! Elapsed wall clock time (in seconds):1560.446
1581.47/1560.56	o -59918
1588.07/1567.15	c Got one! Elapsed wall clock time (in seconds):1567.031
1588.07/1567.15	o -59966
1591.58/1570.54	c Got one! Elapsed wall clock time (in seconds):1570.43
1591.58/1570.54	o -60079
1593.58/1572.55	c Got one! Elapsed wall clock time (in seconds):1572.435
1593.58/1572.55	o -60091
1594.48/1573.49	c Got one! Elapsed wall clock time (in seconds):1573.38
1594.48/1573.49	o -60100
1594.98/1573.95	c Got one! Elapsed wall clock time (in seconds):1573.834
1594.98/1573.95	o -60123
1595.18/1574.12	c Got one! Elapsed wall clock time (in seconds):1574.009
1595.18/1574.12	o -60127
1595.38/1574.36	c Got one! Elapsed wall clock time (in seconds):1574.245
1595.38/1574.36	o -63175
1628.26/1606.89	c cleaning 8071 clauses out of 16154 with flag 10001/244335
1666.73/1645.07	c cleaning 7039 clauses out of 14084 with flag 22003/250336
1711.74/1689.58	c cleaning 7018 clauses out of 14044 with flag 36001/257335
1759.11/1736.04	c cleaning 7509 clauses out of 15026 with flag 52001/265335
1800.07/1776.10	c starts		: 77
1800.07/1776.10	c conflicts		: 271697
1800.07/1776.10	c decisions		: 276033
1800.07/1776.10	c propagations		: 867081329
1800.07/1776.10	c inspects		: 3001856417
1800.07/1776.10	c shortcuts		: 0
1800.07/1776.10	c learnt literals	: 0
1800.07/1776.10	c learnt binary clauses	: 0
1800.07/1776.10	c learnt ternary clauses	: 0
1800.07/1776.10	c learnt constraints	: 271696
1800.07/1776.10	c ignored constraints	: 0
1800.07/1776.10	c root simplifications	: 0
1800.07/1776.10	c removed literals (reason simplification)	: 0
1800.07/1776.10	c reason swapping (by a shorter reason)	: 0
1800.07/1776.10	c Calls to reduceDB	: 35
1800.07/1776.10	c Number of update (reduction) of LBD	: 193
1800.07/1776.10	c Imported unit clauses	: 0
1800.07/1776.10	c number of reductions to clauses (during analyze)	: 0
1800.07/1776.10	c number of learned constraints concerned by reduction	: 0
1800.07/1776.10	c number of learning phase by resolution	: 0
1800.07/1776.10	c number of learning phase by cutting planes	: 0
1800.07/1776.10	c speed (assignments/second)	: 515074.666346681
1800.07/1776.10	c non guided choices	0
1800.07/1776.11	c learnt constraints type 
1800.07/1776.11	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13878
1800.07/1776.11	s SATISFIABLE
1800.07/1776.11	c Found 76 solution(s)
1800.07/1776.11	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 x60 
1800.07/1776.11	c objective function=-63175
1800.07/1776.11	c Total wall clock time (in seconds): 1775.994

Verifier Data 

OK	-63175

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

pid=6410
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.27 2.25 2.19 3/196 6413
/proc/meminfo: memFree=27006012/32872528 swapFree=1483896/1661724
[pid=6413] ppid=6410 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/6413/stat : 6413 (java) R 6410 6413 4818 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 2581822 278528 26 33554432000 1073741824 1073778376 140736120414864 140737334597336 273896512081 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6413/statm: 68 33 25 9 0 25 0

[startup+0.100059 s]
/proc/loadavg: 2.27 2.25 2.19 3/196 6413
/proc/meminfo: memFree=27006012/32872528 swapFree=1483896/1661724
[pid=6413] ppid=6410 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/6413/stat : 6413 (java) S 6410 6413 4818 0 -1 4202496 4466 0 1 0 8 0 0 0 20 0 18 0 2581822 9787879424 5579 33554432000 1073741824 1073778376 140736120414864 140736120406000 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6413/statm: 2389619 5579 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200216 s]
/proc/loadavg: 2.27 2.25 2.19 3/196 6413
/proc/meminfo: memFree=27006012/32872528 swapFree=1483896/1661724
[pid=6413] ppid=6410 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/6413/stat : 6413 (java) S 6410 6413 4818 0 -1 4202496 4700 0 1 0 22 1 0 0 20 0 18 0 2581822 9787879424 6300 33554432000 1073741824 1073778376 140736120414864 140736120406000 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6413/statm: 2389619 6300 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300222 s]
/proc/loadavg: 2.27 2.25 2.19 3/196 6413
/proc/meminfo: memFree=27006012/32872528 swapFree=1483896/1661724
[pid=6413] ppid=6410 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/6413/stat : 6413 (java) S 6410 6413 4818 0 -1 4202496 5592 0 1 0 44 1 0 0 20 0 18 0 2581822 9787879424 7470 33554432000 1073741824 1073778376 140736120414864 140736120406000 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6413/statm: 2389619 7470 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700161 s]
/proc/loadavg: 2.27 2.25 2.19 3/196 6413
/proc/meminfo: memFree=27006012/32872528 swapFree=1483896/1661724
[pid=6413] ppid=6410 vsize=9558476 CPUtime=1.04 cores=0,2,4,6
/proc/6413/stat : 6413 (java) S 6410 6413 4818 0 -1 4202496 7314 0 1 0 103 1 0 0 20 0 18 0 2581822 9787879424 10672 33554432000 1073741824 1073778376 140736120414864 140736120406000 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6413/statm: 2389619 10672 2242 9 0 2380296 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9558476

[startup+1.50076 s]
/proc/loadavg: 2.27 2.25 2.19 3/214 6431
/proc/meminfo: memFree=26968108/32872528 swapFree=1483896/1661724
[pid=6413] ppid=6410 vsize=9558476 CPUtime=1.89 cores=0,2,4,6
/proc/6413/stat : 6413 (java) S 6410 6413 4818 0 -1 4202496 7334 0 1 0 187 2 0 0 20 0 18 0 2581822 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140736120406000 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6413/statm: 2389619 12735 2249 9 0 2380296 0
[pid=6413/tid=6415] ppid=6410 vsize=9558476 CPUtime=1.45 cores=0,2,4,6
/proc/6413/task/6415/stat : 6415 (java) R 6410 6413 4818 0 -1 4202560 2470 0 1 0 143 2 0 0 20 0 18 0 2581823 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365366181584 140365306298390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6416] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6416/stat : 6416 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365304920488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6417] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6417/stat : 6417 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365303867944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6418] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6418/stat : 6418 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365207910568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6419] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6419/stat : 6419 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365206858024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6420] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6420/stat : 6420 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365205805992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6421] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6421/stat : 6421 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365204753448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6422] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6422/stat : 6422 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365203700392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6423] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6423/stat : 6423 (java) S 6410 6413 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365202647848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6424] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6424/stat : 6424 (java) S 6410 6413 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2581826 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365190449512 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6425] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6425/stat : 6425 (java) S 6410 6413 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2581826 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365189395832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6426] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6426/stat : 6426 (java) S 6410 6413 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2581826 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365188342664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6427] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6427/stat : 6427 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581828 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365187291408 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6428] ppid=6410 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/6413/task/6428/stat : 6428 (java) S 6410 6413 4818 0 -1 4202560 2034 0 0 0 24 0 0 0 20 0 18 0 2581828 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365186239288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6429] ppid=6410 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/6413/task/6429/stat : 6429 (java) S 6410 6413 4818 0 -1 4202560 1569 0 0 0 16 0 0 0 20 0 18 0 2581828 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365185186744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6430] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6430/stat : 6430 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581828 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365184133880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6431] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6431/stat : 6431 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581828 9787879424 12735 33554432000 1073741824 1073778376 140736120414864 140365183081544 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9558476

[startup+3.10082 s]
/proc/loadavg: 2.32 2.26 2.20 3/214 6431
/proc/meminfo: memFree=26947568/32872528 swapFree=1483896/1661724
[pid=6413] ppid=6410 vsize=9558476 CPUtime=3.7 cores=0,2,4,6
/proc/6413/stat : 6413 (java) S 6410 6413 4818 0 -1 4202496 12555 0 1 0 367 3 0 0 20 0 18 0 2581822 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140736120406000 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6413/statm: 2389619 17716 2250 9 0 2380296 0
[pid=6413/tid=6415] ppid=6410 vsize=9558476 CPUtime=3.04 cores=0,2,4,6
/proc/6413/task/6415/stat : 6415 (java) R 6410 6413 4818 0 -1 4202560 2477 0 1 0 302 2 0 0 20 0 18 0 2581823 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365366188168 140365306298222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6416] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6416/stat : 6416 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365304920488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6417] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6417/stat : 6417 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365303867944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6418] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6418/stat : 6418 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365207910568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6419] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6419/stat : 6419 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365206858024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6420] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6420/stat : 6420 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365205805992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6421] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6421/stat : 6421 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365204753448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6422] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6422/stat : 6422 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365203700392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6423] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6423/stat : 6423 (java) S 6410 6413 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365202647848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6424] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6424/stat : 6424 (java) S 6410 6413 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2581826 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365190449512 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6425] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6425/stat : 6425 (java) S 6410 6413 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2581826 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365189395832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6426] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6426/stat : 6426 (java) S 6410 6413 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2581826 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365188342664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6427] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6427/stat : 6427 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581828 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365187291408 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6428] ppid=6410 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/6413/task/6428/stat : 6428 (java) S 6410 6413 4818 0 -1 4202560 6376 0 0 0 38 2 0 0 20 0 18 0 2581828 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365186239288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6429] ppid=6410 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/6413/task/6429/stat : 6429 (java) S 6410 6413 4818 0 -1 4202560 2441 0 0 0 22 0 0 0 20 0 18 0 2581828 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365185186744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6430] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6430/stat : 6430 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581828 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365184133880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6431] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6431/stat : 6431 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581828 9787879424 17716 33554432000 1073741824 1073778376 140736120414864 140365183081544 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9558476

[startup+6.30086 s]
/proc/loadavg: 2.32 2.26 2.20 3/214 6431
/proc/meminfo: memFree=26933380/32872528 swapFree=1483896/1661724
[pid=6413] ppid=6410 vsize=9558476 CPUtime=6.92 cores=0,2,4,6
/proc/6413/stat : 6413 (java) S 6410 6413 4818 0 -1 4202496 12566 0 1 0 689 3 0 0 20 0 18 0 2581822 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140736120406000 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6413/statm: 2389619 20802 2252 9 0 2380296 0
[pid=6413/tid=6415] ppid=6410 vsize=9558476 CPUtime=6.24 cores=0,2,4,6
/proc/6413/task/6415/stat : 6415 (java) R 6410 6413 4818 0 -1 4202560 2485 0 1 0 622 2 0 0 20 0 18 0 2581823 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365366190072 140365306297952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6416] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6416/stat : 6416 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365304920488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6417] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6417/stat : 6417 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365303867944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6418] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6418/stat : 6418 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365207910568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6419] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6419/stat : 6419 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365206858024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6420] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6420/stat : 6420 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365205805992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6421] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6421/stat : 6421 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365204753448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6422] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6422/stat : 6422 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365203700392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6423] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6423/stat : 6423 (java) S 6410 6413 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2581824 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365202647848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6424] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6424/stat : 6424 (java) S 6410 6413 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2581826 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365190449512 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6425] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6425/stat : 6425 (java) S 6410 6413 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2581826 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365189395832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6426] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6426/stat : 6426 (java) S 6410 6413 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2581826 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365188342664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6427] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6427/stat : 6427 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581828 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365187291408 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6428] ppid=6410 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/6413/task/6428/stat : 6428 (java) S 6410 6413 4818 0 -1 4202560 6376 0 0 0 38 2 0 0 20 0 18 0 2581828 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365186239288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6429] ppid=6410 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/6413/task/6429/stat : 6429 (java) S 6410 6413 4818 0 -1 4202560 2443 0 0 0 25 0 0 0 20 0 18 0 2581828 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365185186744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6430] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6430/stat : 6430 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2581828 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365184133880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6431] ppid=6410 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6431/stat : 6431 (java) S 6410 6413 4818 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 2581828 9787879424 20802 33554432000 1073741824 1073778376 140736120414864 140365183081544 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 9558476

[startup+12.7008 s]
/proc/loadavg: 2.27 2.25 2.19 3/214 6431
/proc/meminfo: memFree=26916612/32872528 swapFree=1483896/1661724
[pid=6413] ppid=6410 vsize=9558476 CPUtime=13.33 cores=0,2,4,6
/proc/6413/stat : 6413 (java) S 6410 6413 4818 0 -1 4202496 12578 0 1 0 1329 4 0 0 20 0 18 0 2581822 9787879424 25510 33554432000 1073741824 1073778376 140736120414864 140736120406000 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6413/statm: 2389619 25510 2252 9 0 2380296 0

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

[pid=6413/tid=6433] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6433/stat : 6433 (java) S 6410 6413 4818 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2591092 9856040960 743565 33554432000 1073741824 1073778376 140736120414864 140365181977640 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1684.24
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.27 2.24 2.22 3/215 6540
/proc/meminfo: memFree=23880952/32872528 swapFree=1483896/1661724
[pid=6413] ppid=6410 vsize=9625040 CPUtime=1745.03 cores=0,2,4,6
/proc/6413/stat : 6413 (java) S 6410 6413 4818 0 -1 4202496 138956 0 1 0 173971 532 0 0 20 0 19 0 2581822 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140736120406000 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6413/statm: 2406260 743632 2301 9 0 2396937 0
[pid=6413/tid=6415] ppid=6410 vsize=9625040 CPUtime=1705.06 cores=0,2,4,6
/proc/6413/task/6415/stat : 6415 (java) R 6410 6413 4818 0 -1 4202560 3350 0 1 0 170471 35 0 0 20 0 19 0 2581823 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365366189312 140365306830881 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6416] ppid=6410 vsize=9625040 CPUtime=3.28 cores=0,2,4,6
/proc/6413/task/6416/stat : 6416 (java) S 6410 6413 4818 0 -1 4202560 16949 0 0 0 274 54 0 0 20 0 19 0 2581824 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365304920488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6417] ppid=6410 vsize=9625040 CPUtime=3.68 cores=0,2,4,6
/proc/6413/task/6417/stat : 6417 (java) S 6410 6413 4818 0 -1 4202560 13129 0 0 0 297 71 0 0 20 0 19 0 2581824 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365303867944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6418] ppid=6410 vsize=9625040 CPUtime=3.74 cores=0,2,4,6
/proc/6413/task/6418/stat : 6418 (java) S 6410 6413 4818 0 -1 4202560 13903 0 0 0 303 71 0 0 20 0 19 0 2581824 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365207910568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6419] ppid=6410 vsize=9625040 CPUtime=3.51 cores=0,2,4,6
/proc/6413/task/6419/stat : 6419 (java) S 6410 6413 4818 0 -1 4202560 10838 0 0 0 296 55 0 0 20 0 19 0 2581824 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365206858024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6420] ppid=6410 vsize=9625040 CPUtime=3.44 cores=0,2,4,6
/proc/6413/task/6420/stat : 6420 (java) S 6410 6413 4818 0 -1 4202560 14757 0 0 0 279 65 0 0 20 0 19 0 2581824 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365205805992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6421] ppid=6410 vsize=9625040 CPUtime=3.12 cores=0,2,4,6
/proc/6413/task/6421/stat : 6421 (java) S 6410 6413 4818 0 -1 4202560 11954 0 0 0 260 52 0 0 20 0 19 0 2581824 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365204753448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6422] ppid=6410 vsize=9625040 CPUtime=3.62 cores=0,2,4,6
/proc/6413/task/6422/stat : 6422 (java) S 6410 6413 4818 0 -1 4202560 15648 0 0 0 303 59 0 0 20 0 19 0 2581824 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365203700392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6423] ppid=6410 vsize=9625040 CPUtime=3.44 cores=0,2,4,6
/proc/6413/task/6423/stat : 6423 (java) S 6410 6413 4818 0 -1 4202560 15727 0 0 0 280 64 0 0 20 0 19 0 2581824 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365202647848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6424] ppid=6410 vsize=9625040 CPUtime=5.45 cores=0,2,4,6
/proc/6413/task/6424/stat : 6424 (java) S 6410 6413 4818 0 -1 4202560 5391 0 0 0 541 4 0 0 20 0 19 0 2581826 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365190449512 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6425] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6425/stat : 6425 (java) S 6410 6413 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2581826 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365189395832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6426] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6426/stat : 6426 (java) S 6410 6413 4818 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2581826 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365188342664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6427] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6427/stat : 6427 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2581828 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365187291408 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6428] ppid=6410 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/6413/task/6428/stat : 6428 (java) S 6410 6413 4818 0 -1 4202560 9400 0 0 0 105 2 0 0 20 0 19 0 2581828 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365186239288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6429] ppid=6410 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/6413/task/6429/stat : 6429 (java) S 6410 6413 4818 0 -1 4202560 6551 0 0 0 81 0 0 0 20 0 19 0 2581828 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365185186744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6430] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6430/stat : 6430 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2581828 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365184133880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6431] ppid=6410 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/6413/task/6431/stat : 6431 (java) S 6410 6413 4818 0 -1 4202560 100 0 0 0 35 34 0 0 20 0 19 0 2581828 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365183081544 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6433] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6433/stat : 6433 (java) S 6410 6413 4818 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2591092 9856040960 743632 33554432000 1073741824 1073778376 140736120414864 140365181977640 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1745.03
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.1 s]
/proc/loadavg: 2.23 2.23 2.22 3/215 6540
/proc/meminfo: memFree=23889828/32872528 swapFree=1483896/1661724
[pid=6413] ppid=6410 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/6413/stat : 6413 (java) S 6410 6413 4818 0 -1 4202496 139132 0 1 0 179474 533 0 0 20 0 19 0 2581822 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140736120406000 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6413/statm: 2406260 743738 2301 9 0 2396937 0
[pid=6413/tid=6415] ppid=6410 vsize=9625040 CPUtime=1758.29 cores=0,2,4,6
/proc/6413/task/6415/stat : 6415 (java) R 6410 6413 4818 0 -1 4202560 3355 0 1 0 175793 36 0 0 20 0 19 0 2581823 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365366189312 140365306682445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6416] ppid=6410 vsize=9625040 CPUtime=3.48 cores=0,2,4,6
/proc/6413/task/6416/stat : 6416 (java) S 6410 6413 4818 0 -1 4202560 16949 0 0 0 294 54 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365304920488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6417] ppid=6410 vsize=9625040 CPUtime=3.94 cores=0,2,4,6
/proc/6413/task/6417/stat : 6417 (java) S 6410 6413 4818 0 -1 4202560 13129 0 0 0 323 71 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365303867944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6418] ppid=6410 vsize=9625040 CPUtime=3.94 cores=0,2,4,6
/proc/6413/task/6418/stat : 6418 (java) S 6410 6413 4818 0 -1 4202560 13919 0 0 0 323 71 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365207910568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6419] ppid=6410 vsize=9625040 CPUtime=3.8 cores=0,2,4,6
/proc/6413/task/6419/stat : 6419 (java) S 6410 6413 4818 0 -1 4202560 10844 0 0 0 325 55 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365206858024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6420] ppid=6410 vsize=9625040 CPUtime=3.6 cores=0,2,4,6
/proc/6413/task/6420/stat : 6420 (java) S 6410 6413 4818 0 -1 4202560 14757 0 0 0 295 65 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365205805992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6421] ppid=6410 vsize=9625040 CPUtime=3.33 cores=0,2,4,6
/proc/6413/task/6421/stat : 6421 (java) S 6410 6413 4818 0 -1 4202560 11957 0 0 0 281 52 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365204753448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6422] ppid=6410 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/6413/task/6422/stat : 6422 (java) S 6410 6413 4818 0 -1 4202560 15649 0 0 0 319 59 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365203700392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6423] ppid=6410 vsize=9625040 CPUtime=3.62 cores=0,2,4,6
/proc/6413/task/6423/stat : 6423 (java) S 6410 6413 4818 0 -1 4202560 15727 0 0 0 298 64 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365202647848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6424] ppid=6410 vsize=9625040 CPUtime=5.45 cores=0,2,4,6
/proc/6413/task/6424/stat : 6424 (java) S 6410 6413 4818 0 -1 4202560 5532 0 0 0 541 4 0 0 20 0 19 0 2581826 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365190449512 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6425] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6425/stat : 6425 (java) S 6410 6413 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2581826 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365189395832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6426] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6426/stat : 6426 (java) S 6410 6413 4818 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2581826 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365188342664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6427] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6427/stat : 6427 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2581828 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365187291408 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6428] ppid=6410 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/6413/task/6428/stat : 6428 (java) S 6410 6413 4818 0 -1 4202560 9400 0 0 0 105 2 0 0 20 0 19 0 2581828 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365186239288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6429] ppid=6410 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/6413/task/6429/stat : 6429 (java) S 6410 6413 4818 0 -1 4202560 6551 0 0 0 81 0 0 0 20 0 19 0 2581828 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365185186744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6430] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6430/stat : 6430 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2581828 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365184133880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6431] ppid=6410 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/6413/task/6431/stat : 6431 (java) S 6410 6413 4818 0 -1 4202560 104 0 0 0 37 35 0 0 20 0 19 0 2581828 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365183081544 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6433] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6433/stat : 6433 (java) S 6410 6413 4818 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2591092 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365181977640 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 6413 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1776.1 s]
/proc/loadavg: 2.23 2.23 2.22 3/215 6540
/proc/meminfo: memFree=23889828/32872528 swapFree=1483896/1661724
[pid=6413] ppid=6410 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/6413/stat : 6413 (java) S 6410 6413 4818 0 -1 4202496 139132 0 1 0 179474 533 0 0 20 0 19 0 2581822 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140736120406000 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6413/statm: 2406260 743738 2301 9 0 2396937 0
[pid=6413/tid=6415] ppid=6410 vsize=9625040 CPUtime=1758.29 cores=0,2,4,6
/proc/6413/task/6415/stat : 6415 (java) R 6410 6413 4818 0 -1 4202560 3355 0 1 0 175793 36 0 0 20 0 19 0 2581823 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365366189312 140365306682445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6416] ppid=6410 vsize=9625040 CPUtime=3.48 cores=0,2,4,6
/proc/6413/task/6416/stat : 6416 (java) S 6410 6413 4818 0 -1 4202560 16949 0 0 0 294 54 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365304920488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6417] ppid=6410 vsize=9625040 CPUtime=3.94 cores=0,2,4,6
/proc/6413/task/6417/stat : 6417 (java) S 6410 6413 4818 0 -1 4202560 13129 0 0 0 323 71 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365303867944 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6418] ppid=6410 vsize=9625040 CPUtime=3.94 cores=0,2,4,6
/proc/6413/task/6418/stat : 6418 (java) S 6410 6413 4818 0 -1 4202560 13919 0 0 0 323 71 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365207910568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6419] ppid=6410 vsize=9625040 CPUtime=3.8 cores=0,2,4,6
/proc/6413/task/6419/stat : 6419 (java) S 6410 6413 4818 0 -1 4202560 10844 0 0 0 325 55 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365206858024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6420] ppid=6410 vsize=9625040 CPUtime=3.6 cores=0,2,4,6
/proc/6413/task/6420/stat : 6420 (java) S 6410 6413 4818 0 -1 4202560 14757 0 0 0 295 65 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365205805992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6421] ppid=6410 vsize=9625040 CPUtime=3.33 cores=0,2,4,6
/proc/6413/task/6421/stat : 6421 (java) S 6410 6413 4818 0 -1 4202560 11957 0 0 0 281 52 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365204753448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6422] ppid=6410 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/6413/task/6422/stat : 6422 (java) S 6410 6413 4818 0 -1 4202560 15649 0 0 0 319 59 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365203700392 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6423] ppid=6410 vsize=9625040 CPUtime=3.62 cores=0,2,4,6
/proc/6413/task/6423/stat : 6423 (java) S 6410 6413 4818 0 -1 4202560 15727 0 0 0 298 64 0 0 20 0 19 0 2581824 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365202647848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6424] ppid=6410 vsize=9625040 CPUtime=5.45 cores=0,2,4,6
/proc/6413/task/6424/stat : 6424 (java) S 6410 6413 4818 0 -1 4202560 5532 0 0 0 541 4 0 0 20 0 19 0 2581826 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365190449512 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6425] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6425/stat : 6425 (java) S 6410 6413 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2581826 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365189395832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6426] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6426/stat : 6426 (java) S 6410 6413 4818 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2581826 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365188342664 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6427] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6427/stat : 6427 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2581828 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365187291408 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6413/tid=6428] ppid=6410 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/6413/task/6428/stat : 6428 (java) S 6410 6413 4818 0 -1 4202560 9400 0 0 0 105 2 0 0 20 0 19 0 2581828 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365186239288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6413/tid=6429] ppid=6410 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/6413/task/6429/stat : 6429 (java) S 6410 6413 4818 0 -1 4202560 6551 0 0 0 81 0 0 0 20 0 19 0 2581828 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365185186744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6413/tid=6430] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6430/stat : 6430 (java) S 6410 6413 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2581828 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365184133880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6431] ppid=6410 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/6413/task/6431/stat : 6431 (java) S 6410 6413 4818 0 -1 4202560 104 0 0 0 37 35 0 0 20 0 19 0 2581828 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365183081544 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6413/tid=6433] ppid=6410 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6413/task/6433/stat : 6433 (java) S 6410 6413 4818 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2591092 9856040960 743738 33554432000 1073741824 1073778376 140736120414864 140365181977640 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6413 and gives
#  childrusage.ru_utime.tv_sec=1790
#  childrusage.ru_utime.tv_usec=279836
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=821115
# CPU time returned by wait4() is 1796.1
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1776.13
CPU time (s): 1800.07
CPU user time (s): 1794.74
CPU system time (s): 5.33
CPU usage (%): 101.348
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.28
system time used= 5.82111
maximum resident set size= 4599432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139169
page faults= 1
swaps= 0
block input operations= 248
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47550
involuntary context switches= 13117

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.84926 second user time and 6.67298 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-29 18:04:53
IDJOB=4117980
IDBENCH=111420
IDSOLVER=2546
FILE ID=node134/4117980-1467216293
RUNJOBID= node134-1467208989-4834
PBS_JOBID= 19997576
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-60.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117980-1467216293/watcher-4117980-1467216293 -o /tmp/evaluation-result-4117980-1467216293/solver-4117980-1467216293 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4834 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4117980-1467216293.opb

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

MD5SUM BENCH= adc3547ed4b2c4df2b3dd8e3fd5cf1b5
RANDOM SEED=1802002089

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27006648 kB
Buffers:          121756 kB
Cached:          2987124 kB
SwapCached:            0 kB
Active:           480296 kB
Inactive:        2977804 kB
Active(anon):     352056 kB
Inactive(anon):        0 kB
Active(file):     128240 kB
Inactive(file):  2977804 kB
Unevictable:     1661724 kB
Mlocked:         1483896 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1636 kB
Writeback:             0 kB
AnonPages:       2160280 kB
Mapped:            21592 kB
Shmem:               216 kB
Slab:             611196 kB
SReclaimable:      55100 kB
SUnreclaim:       556096 kB
KernelStack:        1688 kB
PageTables:         8168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2444964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    641024 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= 71708 MiB
End job on node134 at 2016-06-29 18:34:29