Trace number 4084647

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.06 1791.07

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K90.opb
MD5SUMa811647d9332337c7e73474eee26f5b9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6120
Total number of constraints6302
Number of constraints which are clauses6212
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint90
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 91
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4084647-1465282918.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  no objective function found
0.55/0.38	c ... done. Wall clock time 0.269s.
0.55/0.38	c declared #vars     6120
0.55/0.38	c #constraints  6302
0.55/0.38	c constraints type 
0.55/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5053
0.55/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 90
0.55/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.55/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1157
0.55/0.38	c 6302 constraints processed.
1.78/1.14	c cleaning 2489 clauses out of 4992 with flag 24395/5000
2.92/1.89	c cleaning 4241 clauses out of 8495 with flag 59881/11000
3.82/2.71	c cleaning 5575 clauses out of 11251 with flag 106259/18000
4.83/3.71	c cleaning 6817 clauses out of 13672 with flag 164592/26002
5.85/4.79	c cleaning 7901 clauses out of 15849 with flag 226699/35000
7.14/6.06	c cleaning 8969 clauses out of 17946 with flag 292783/45000
8.64/7.54	c cleaning 9759 clauses out of 19977 with flag 357309/56000
10.24/9.12	c cleaning 10222 clauses out of 22216 with flag 426763/68000
11.94/10.82	c cleaning 11157 clauses out of 24994 with flag 502858/81001
13.75/12.69	c cleaning 12047 clauses out of 27836 with flag 585000/95001
15.95/14.84	c cleaning 13103 clauses out of 30788 with flag 682080/110000
18.15/17.07	c cleaning 13712 clauses out of 33685 with flag 774936/126001
20.74/19.66	c cleaning 14645 clauses out of 36970 with flag 876876/143000
23.45/22.36	c cleaning 15586 clauses out of 40324 with flag 996815/161000
26.27/25.13	c cleaning 16506 clauses out of 43736 with flag 1116703/180000
29.27/28.13	c cleaning 17144 clauses out of 47231 with flag 1244541/200001
32.48/31.33	c cleaning 18286 clauses out of 51086 with flag 1385285/221000
35.78/34.62	c cleaning 18930 clauses out of 54800 with flag 1522854/243000
39.38/38.25	c cleaning 19945 clauses out of 58870 with flag 1667712/266000
43.38/42.29	c cleaning 20886 clauses out of 62924 with flag 1843359/290000
47.77/46.63	c cleaning 21850 clauses out of 67039 with flag 2016715/315002
52.38/51.21	c cleaning 22854 clauses out of 71188 with flag 2196970/341001
57.16/55.93	c cleaning 23636 clauses out of 75333 with flag 2383329/368000
62.05/60.82	c cleaning 24505 clauses out of 79698 with flag 2581518/396001
67.36/66.15	c cleaning 25495 clauses out of 84191 with flag 2786402/425000
72.65/71.43	c cleaning 26610 clauses out of 88698 with flag 2999630/455002
78.55/77.35	c cleaning 27242 clauses out of 93086 with flag 3222217/486000
84.86/83.64	c cleaning 28386 clauses out of 97844 with flag 3452550/518000
91.45/90.22	c cleaning 29158 clauses out of 102458 with flag 3708737/551000
98.76/97.46	c cleaning 30305 clauses out of 107300 with flag 3982169/585000
105.98/104.63	c cleaning 31239 clauses out of 111995 with flag 4253339/620000
113.37/112.08	c cleaning 31833 clauses out of 116756 with flag 4518857/656000
121.57/120.26	c cleaning 33267 clauses out of 121924 with flag 4814373/693001
130.18/128.87	c cleaning 33985 clauses out of 126658 with flag 5119464/731002
139.65/138.18	c cleaning 35032 clauses out of 131675 with flag 5424180/770004
149.05/147.53	c cleaning 35890 clauses out of 136639 with flag 5743008/810000
159.05/157.55	c cleaning 36989 clauses out of 141749 with flag 6087870/851000
169.15/167.62	c cleaning 38335 clauses out of 146763 with flag 6434627/893003
180.44/178.70	c cleaning 39139 clauses out of 151425 with flag 6800379/936000
191.64/189.92	c cleaning 39870 clauses out of 156286 with flag 7170593/980000
203.34/201.68	c cleaning 41118 clauses out of 161417 with flag 7554674/1025001
215.68/213.76	c cleaning 42094 clauses out of 166298 with flag 7960104/1071000
228.48/226.55	c cleaning 43227 clauses out of 171204 with flag 8363411/1118000
241.48/239.53	c cleaning 44082 clauses out of 175978 with flag 8778444/1166001
254.95/252.84	c cleaning 45025 clauses out of 180899 with flag 9222518/1215004
269.05/266.93	c cleaning 46059 clauses out of 185871 with flag 9678246/1265001
284.56/282.46	c cleaning 47031 clauses out of 190813 with flag 10130738/1316002
300.26/297.88	c cleaning 48285 clauses out of 195780 with flag 10611323/1368000
316.07/313.61	c cleaning 48803 clauses out of 200495 with flag 11089056/1421000
332.12/329.46	c cleaning 50007 clauses out of 205693 with flag 11628766/1475002
348.99/346.23	c cleaning 51216 clauses out of 210684 with flag 12158527/1530002
365.69/362.96	c cleaning 52348 clauses out of 215466 with flag 12680296/1586000
383.71/380.87	c cleaning 53515 clauses out of 220119 with flag 13218359/1643001
402.83/399.90	c cleaning 54241 clauses out of 224599 with flag 13771642/1701000
422.43/419.50	c cleaning 55063 clauses out of 229358 with flag 14361349/1760000
442.24/439.18	c cleaning 55943 clauses out of 234297 with flag 14946873/1820002
463.33/460.12	c cleaning 57448 clauses out of 239353 with flag 15557714/1881001
485.10/481.84	c cleaning 58144 clauses out of 243905 with flag 16229454/1943001
506.30/503.09	c cleaning 59439 clauses out of 248759 with flag 16918092/2006000
527.79/524.45	c cleaning 60411 clauses out of 253321 with flag 17562315/2070002
551.50/548.04	c cleaning 61397 clauses out of 257909 with flag 18234497/2135001
574.78/571.23	c cleaning 62692 clauses out of 262516 with flag 18962577/2201005
599.67/596.08	c cleaning 63384 clauses out of 266819 with flag 19657274/2268000
625.04/621.32	c cleaning 64433 clauses out of 271435 with flag 20443267/2336002
650.13/646.34	c cleaning 65702 clauses out of 276000 with flag 21153481/2405000
677.30/673.44	c cleaning 66444 clauses out of 280298 with flag 21941613/2475000
706.07/702.19	c cleaning 67652 clauses out of 284854 with flag 22767828/2546000
734.45/730.38	c cleaning 68629 clauses out of 289202 with flag 23616533/2618000
765.43/761.25	c cleaning 69903 clauses out of 293574 with flag 24506168/2691001
797.15/792.81	c cleaning 70916 clauses out of 297670 with flag 25402960/2765000
829.45/825.01	c cleaning 71823 clauses out of 301754 with flag 26272561/2840001
862.89/858.33	c cleaning 72550 clauses out of 305932 with flag 27123938/2916002
898.96/894.35	c cleaning 73797 clauses out of 310380 with flag 28280037/2993000
933.20/928.44	c cleaning 75192 clauses out of 314583 with flag 29387788/3071000
967.33/962.43	c cleaning 75668 clauses out of 318391 with flag 30351478/3150000
1003.51/998.58	c cleaning 77140 clauses out of 322723 with flag 31468133/3230000
1038.00/1032.83	c cleaning 77974 clauses out of 326585 with flag 32387792/3311002
1075.14/1069.82	c cleaning 78761 clauses out of 330609 with flag 33340861/3393000
1112.70/1107.27	c cleaning 80096 clauses out of 334848 with flag 34381819/3476001
1151.25/1145.60	c cleaning 81294 clauses out of 338751 with flag 35438636/3560000
1189.88/1184.15	c cleaning 82175 clauses out of 342460 with flag 36455731/3645003
1231.13/1225.24	c cleaning 83062 clauses out of 346282 with flag 37580292/3731000
1273.85/1267.76	c cleaning 84691 clauses out of 350220 with flag 38993633/3818000
1314.56/1308.24	c cleaning 85223 clauses out of 353530 with flag 40098985/3906001
1357.86/1351.37	c cleaning 86445 clauses out of 357306 with flag 41210556/3995000
1400.65/1393.92	c cleaning 87152 clauses out of 360863 with flag 42352546/4085002
1445.77/1438.83	c cleaning 88376 clauses out of 364709 with flag 43509009/4176000
1491.14/1484.08	c cleaning 89328 clauses out of 368334 with flag 44643360/4268001
1537.57/1530.26	c cleaning 90457 clauses out of 372005 with flag 45799630/4361000
1587.49/1579.84	c cleaning 91259 clauses out of 375549 with flag 46987511/4455001
1640.96/1633.00	c cleaning 92448 clauses out of 379288 with flag 48261048/4550000
1692.18/1684.01	c cleaning 93253 clauses out of 382841 with flag 49563436/4646001
1745.13/1736.68	c cleaning 93871 clauses out of 386589 with flag 50847547/4743002
1798.16/1789.15	c cleaning 95092 clauses out of 390715 with flag 52073606/4841000
1800.06/1791.01	c starts		: 39767
1800.06/1791.01	c conflicts		: 4847354
1800.06/1791.01	c decisions		: 71235705
1800.06/1791.01	c propagations		: 1750474339
1800.06/1791.01	c inspects		: 19169854153
1800.06/1791.01	c shortcuts		: 0
1800.06/1791.01	c learnt literals	: 59
1800.06/1791.01	c learnt binary clauses	: 105731
1800.06/1791.01	c learnt ternary clauses	: 113666
1800.06/1791.01	c learnt constraints	: 4847295
1800.06/1791.01	c ignored constraints	: 0
1800.06/1791.01	c root simplifications	: 0
1800.06/1791.01	c removed literals (reason simplification)	: 0
1800.06/1791.01	c reason swapping (by a shorter reason)	: 0
1800.06/1791.01	c Calls to reduceDB	: 94
1800.06/1791.01	c Number of update (reduction) of LBD	: 4161548
1800.06/1791.01	c Imported unit clauses	: 0
1800.06/1791.01	c number of reductions to clauses (during analyze)	: 0
1800.06/1791.01	c number of learned constraints concerned by reduction	: 0
1800.06/1791.01	c number of learning phase by resolution	: 0
1800.06/1791.01	c number of learning phase by cutting planes	: 0
1800.06/1791.01	c speed (assignments/second)	: 977580.567948849
1800.06/1791.01	c non guided choices	6474
1800.06/1791.01	c timeout
1800.06/1791.07	c learnt constraints type 
1800.06/1791.07	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 105731
1800.06/1791.07	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 196246
1800.06/1791.07	s UNKNOWN
1800.06/1791.07	c Total wall clock time (in seconds): 1790.953

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-4084647-1465282918/watcher-4084647-1465282918 -o /tmp/evaluation-result-4084647-1465282918/solver-4084647-1465282918 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465277527-11090 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084647-1465282918.opb 

pid=11746
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.38 2.23 2.19 3/173 11749
/proc/meminfo: memFree=30154700/32872528 swapFree=16080/1655368
[pid=11749] ppid=11746 vsize=2504 CPUtime=0 cores=0,2,4,6
/proc/11749/stat : 11749 (java) R 11746 11749 11074 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 110225392 2564096 47 33554432000 1073741824 1073778376 140735419828592 140735419825720 217401360849 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11749/statm: 892 49 38 9 0 30 0

[startup+0.100059 s]
/proc/loadavg: 2.38 2.23 2.19 3/173 11749
/proc/meminfo: memFree=30154700/32872528 swapFree=16080/1655368
[pid=11749] ppid=11746 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11749/stat : 11749 (java) S 11746 11749 11074 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 110225392 9787879424 6047 33554432000 1073741824 1073778376 140735419828592 140735419819728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11749/statm: 2389619 6047 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200215 s]
/proc/loadavg: 2.38 2.23 2.19 3/173 11749
/proc/meminfo: memFree=30154700/32872528 swapFree=16080/1655368
[pid=11749] ppid=11746 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/11749/stat : 11749 (java) S 11746 11749 11074 0 -1 4202496 4999 0 1 0 27 1 0 0 20 0 18 0 110225392 9787879424 7029 33554432000 1073741824 1073778376 140735419828592 140735419819728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11749/statm: 2389619 7029 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300227 s]
/proc/loadavg: 2.38 2.23 2.19 3/173 11749
/proc/meminfo: memFree=30154700/32872528 swapFree=16080/1655368
[pid=11749] ppid=11746 vsize=9558476 CPUtime=0.55 cores=0,2,4,6
/proc/11749/stat : 11749 (java) S 11746 11749 11074 0 -1 4202496 7280 0 1 0 54 1 0 0 20 0 18 0 110225392 9787879424 9949 33554432000 1073741824 1073778376 140735419828592 140735419819728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11749/statm: 2389619 9951 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700174 s]
/proc/loadavg: 2.38 2.23 2.19 3/173 11749
/proc/meminfo: memFree=30154700/32872528 swapFree=16080/1655368
[pid=11749] ppid=11746 vsize=9625040 CPUtime=1.34 cores=0,2,4,6
/proc/11749/stat : 11749 (java) S 11746 11749 11074 0 -1 4202496 9269 0 1 0 132 2 0 0 20 0 19 0 110225392 9856040960 16115 33554432000 1073741824 1073778376 140735419828592 140735419819728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11749/statm: 2406260 16115 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625040

[startup+1.50087 s]
/proc/loadavg: 2.38 2.23 2.19 3/213 11796
/proc/meminfo: memFree=29933148/32872528 swapFree=16080/1655368
[pid=11749] ppid=11746 vsize=9625040 CPUtime=2.57 cores=0,2,4,6
/proc/11749/stat : 11749 (java) S 11746 11749 11074 0 -1 4202496 15492 0 1 0 253 4 0 0 20 0 19 0 110225392 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140735419819728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11749/statm: 2406260 21127 2267 9 0 2396937 0
[pid=11749/tid=11751] ppid=11746 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/11749/task/11751/stat : 11751 (java) R 11746 11749 11074 0 -1 4202560 2444 0 1 0 144 2 0 0 20 0 19 0 110225393 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392409775824 140392350185885 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11752] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11752/stat : 11752 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392348514728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11753] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11753/stat : 11753 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392252783144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11754] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11754/stat : 11754 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392251730088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11755] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11755/stat : 11755 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392250677544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11756] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11756/stat : 11756 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392249625512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11757] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11757/stat : 11757 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392248572968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11758] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11758/stat : 11758 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392247519912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11759] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11759/stat : 11759 (java) S 11746 11749 11074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392246467368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11760] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11760/stat : 11760 (java) S 11746 11749 11074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110225395 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392234056040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11761] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11761/stat : 11761 (java) S 11746 11749 11074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110225396 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392233002360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11762] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11762/stat : 11762 (java) S 11746 11749 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110225396 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392231949192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11763] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11763/stat : 11763 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392230897936 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11764] ppid=11746 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/11749/task/11764/stat : 11764 (java) S 11746 11749 11074 0 -1 4202560 3120 0 0 0 39 0 0 0 20 0 19 0 110225398 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392229845816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11765] ppid=11746 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/11749/task/11765/stat : 11765 (java) R 11746 11749 11074 0 -1 4202560 8655 0 0 0 66 2 0 0 20 0 19 0 110225398 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392228793136 140392412257649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11766] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11766/stat : 11766 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392227740408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11767] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11767/stat : 11767 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392226688072 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11788] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11788/stat : 11788 (java) S 11746 11749 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110225432 9856040960 21127 33554432000 1073741824 1073778376 140735419828592 140392225584168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.43 2.25 2.20 3/213 11796
/proc/meminfo: memFree=29881096/32872528 swapFree=16080/1655368
[pid=11749] ppid=11746 vsize=9625040 CPUtime=4.23 cores=0,2,4,6
/proc/11749/stat : 11749 (java) S 11746 11749 11074 0 -1 4202496 15581 0 1 0 419 4 0 0 20 0 19 0 110225392 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140735419819728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11749/statm: 2406260 22722 2267 9 0 2396937 0
[pid=11749/tid=11751] ppid=11746 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/11749/task/11751/stat : 11751 (java) R 11746 11749 11074 0 -1 4202560 2448 0 1 0 304 2 0 0 20 0 19 0 110225393 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392409784824 140392350073599 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11752] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11752/stat : 11752 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392348514728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11753] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11753/stat : 11753 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392252783144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11754] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11754/stat : 11754 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392251730088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11755] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11755/stat : 11755 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392250677544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11756] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11756/stat : 11756 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392249625512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11757] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11757/stat : 11757 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392248572968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11758] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11758/stat : 11758 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392247519912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11759] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11759/stat : 11759 (java) S 11746 11749 11074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392246467368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11760] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11760/stat : 11760 (java) S 11746 11749 11074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110225395 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392234056040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11761] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11761/stat : 11761 (java) S 11746 11749 11074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110225396 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392233002360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11762] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11762/stat : 11762 (java) S 11746 11749 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110225396 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392231949192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11763] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11763/stat : 11763 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392230897936 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11764] ppid=11746 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/11749/task/11764/stat : 11764 (java) S 11746 11749 11074 0 -1 4202560 3171 0 0 0 41 0 0 0 20 0 19 0 110225398 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392229845816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11765] ppid=11746 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/11749/task/11765/stat : 11765 (java) S 11746 11749 11074 0 -1 4202560 8689 0 0 0 71 2 0 0 20 0 19 0 110225398 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392228793272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11766] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11766/stat : 11766 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392227740408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11767] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11767/stat : 11767 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392226688072 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11788] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11788/stat : 11788 (java) S 11746 11749 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110225432 9856040960 22722 33554432000 1073741824 1073778376 140735419828592 140392225584168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.43 2.25 2.20 4/213 11797
/proc/meminfo: memFree=29468700/32872528 swapFree=16080/1655368
[pid=11749] ppid=11746 vsize=9625040 CPUtime=7.44 cores=0,2,4,6
/proc/11749/stat : 11749 (java) S 11746 11749 11074 0 -1 4202496 15681 0 1 0 740 4 0 0 20 0 19 0 110225392 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140735419819728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11749/statm: 2406260 25720 2268 9 0 2396937 0
[pid=11749/tid=11751] ppid=11746 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/11749/task/11751/stat : 11751 (java) R 11746 11749 11074 0 -1 4202560 2456 0 1 0 622 2 0 0 20 0 19 0 110225393 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392409775808 140392350144429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11752] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11752/stat : 11752 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392348514728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11753] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11753/stat : 11753 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392252783144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11754] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11754/stat : 11754 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392251730088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11755] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11755/stat : 11755 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392250677544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11756] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11756/stat : 11756 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392249625512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11757] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11757/stat : 11757 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392248572968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11758] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11758/stat : 11758 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392247519912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11759] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11759/stat : 11759 (java) S 11746 11749 11074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110225394 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392246467368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11760] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11760/stat : 11760 (java) S 11746 11749 11074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110225395 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392234056040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11761] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11761/stat : 11761 (java) S 11746 11749 11074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110225396 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392233002360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11762] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11762/stat : 11762 (java) S 11746 11749 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110225396 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392231949192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11763] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11763/stat : 11763 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392230897936 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11764] ppid=11746 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/11749/task/11764/stat : 11764 (java) S 11746 11749 11074 0 -1 4202560 3262 0 0 0 42 0 0 0 20 0 19 0 110225398 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392229845816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11765] ppid=11746 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/11749/task/11765/stat : 11765 (java) S 11746 11749 11074 0 -1 4202560 8689 0 0 0 71 2 0 0 20 0 19 0 110225398 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392228793272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11766] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11766/stat : 11766 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392227740408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11767] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11767/stat : 11767 (java) S 11746 11749 11074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392226688072 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11788] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11788/stat : 11788 (java) S 11746 11749 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110225432 9856040960 25720 33554432000 1073741824 1073778376 140735419828592 140392225584168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 9625040


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

[pid=11749/tid=11788] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11788/stat : 11788 (java) S 11746 11749 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110225432 9856040960 77094 33554432000 1073741824 1073778376 140735419828592 140392225584168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1730.81
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.27 2.25 2.19 4/213 11841
/proc/meminfo: memFree=29140404/32872528 swapFree=16080/1655368
[pid=11749] ppid=11746 vsize=9625040 CPUtime=1791.29 cores=0,2,4,6
/proc/11749/stat : 11749 (java) S 11746 11749 11074 0 -1 4202496 21106 0 1 0 179012 117 0 0 20 0 19 0 110225392 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140735419819728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11749/statm: 2406260 93729 2290 9 0 2396937 0
[pid=11749/tid=11751] ppid=11746 vsize=9625040 CPUtime=1772.29 cores=0,2,4,6
/proc/11749/task/11751/stat : 11751 (java) R 11746 11749 11074 0 -1 4202560 2590 0 1 0 177199 30 0 0 20 0 19 0 110225393 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392409783632 140392350168771 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11752] ppid=11746 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/11749/task/11752/stat : 11752 (java) S 11746 11749 11074 0 -1 4202560 601 0 0 0 132 12 0 0 20 0 19 0 110225394 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392348514728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11753] ppid=11746 vsize=9625040 CPUtime=1.33 cores=0,2,4,6
/proc/11749/task/11753/stat : 11753 (java) S 11746 11749 11074 0 -1 4202560 563 0 0 0 122 11 0 0 20 0 19 0 110225394 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392252783144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11754] ppid=11746 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/11749/task/11754/stat : 11754 (java) S 11746 11749 11074 0 -1 4202560 663 0 0 0 114 9 0 0 20 0 19 0 110225394 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392251730088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11755] ppid=11746 vsize=9625040 CPUtime=1.43 cores=0,2,4,6
/proc/11749/task/11755/stat : 11755 (java) S 11746 11749 11074 0 -1 4202560 715 0 0 0 130 13 0 0 20 0 19 0 110225394 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392250677544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11756] ppid=11746 vsize=9625040 CPUtime=1.16 cores=0,2,4,6
/proc/11749/task/11756/stat : 11756 (java) S 11746 11749 11074 0 -1 4202560 905 0 0 0 107 9 0 0 20 0 19 0 110225394 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392249625512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11757] ppid=11746 vsize=9625040 CPUtime=1.33 cores=0,2,4,6
/proc/11749/task/11757/stat : 11757 (java) S 11746 11749 11074 0 -1 4202560 324 0 0 0 122 11 0 0 20 0 19 0 110225394 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392248572968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11758] ppid=11746 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/11749/task/11758/stat : 11758 (java) S 11746 11749 11074 0 -1 4202560 316 0 0 0 126 9 0 0 20 0 19 0 110225394 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392247519912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11759] ppid=11746 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/11749/task/11759/stat : 11759 (java) S 11746 11749 11074 0 -1 4202560 489 0 0 0 113 11 0 0 20 0 19 0 110225394 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392246467368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11760] ppid=11746 vsize=9625040 CPUtime=2.41 cores=0,2,4,6
/proc/11749/task/11760/stat : 11760 (java) S 11746 11749 11074 0 -1 4202560 622 0 0 0 237 4 0 0 20 0 19 0 110225395 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392234056040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11761] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11761/stat : 11761 (java) S 11746 11749 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110225396 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392233002360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11762] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11762/stat : 11762 (java) S 11746 11749 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110225396 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392231949192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11763] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11763/stat : 11763 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392230897936 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11764] ppid=11746 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/11749/task/11764/stat : 11764 (java) S 11746 11749 11074 0 -1 4202560 3262 0 0 0 43 0 0 0 20 0 19 0 110225398 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392229845816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11765] ppid=11746 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/11749/task/11765/stat : 11765 (java) S 11746 11749 11074 0 -1 4202560 8692 0 0 0 74 2 0 0 20 0 19 0 110225398 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392228793272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11766] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11766/stat : 11766 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392227740408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11767] ppid=11746 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/11749/task/11767/stat : 11767 (java) S 11746 11749 11074 0 -1 4202560 104 0 0 0 35 36 0 0 20 0 19 0 110225398 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392226688072 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11788] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11788/stat : 11788 (java) S 11746 11749 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110225432 9856040960 93729 33554432000 1073741824 1073778376 140735419828592 140392225584168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.01 s]
/proc/loadavg: 2.25 2.24 2.19 3/213 11841
/proc/meminfo: memFree=29143876/32872528 swapFree=16080/1655368
[pid=11749] ppid=11746 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/11749/stat : 11749 (java) S 11746 11749 11074 0 -1 4202496 21113 0 1 0 179889 117 0 0 20 0 19 0 110225392 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140735419819728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11749/statm: 2406260 92804 2290 9 0 2396937 0
[pid=11749/tid=11751] ppid=11746 vsize=9625040 CPUtime=1780.95 cores=0,2,4,6
/proc/11749/task/11751/stat : 11751 (java) R 11746 11749 11074 0 -1 4202560 2592 0 1 0 178064 31 0 0 20 0 19 0 110225393 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392409775904 140392350168288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11752] ppid=11746 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/11749/task/11752/stat : 11752 (java) S 11746 11749 11074 0 -1 4202560 601 0 0 0 134 12 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392348514728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11753] ppid=11746 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/11749/task/11753/stat : 11753 (java) S 11746 11749 11074 0 -1 4202560 563 0 0 0 124 11 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392252783144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11754] ppid=11746 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/11749/task/11754/stat : 11754 (java) S 11746 11749 11074 0 -1 4202560 663 0 0 0 115 9 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392251730088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11755] ppid=11746 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/11749/task/11755/stat : 11755 (java) S 11746 11749 11074 0 -1 4202560 715 0 0 0 131 13 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392250677544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11756] ppid=11746 vsize=9625040 CPUtime=1.17 cores=0,2,4,6
/proc/11749/task/11756/stat : 11756 (java) S 11746 11749 11074 0 -1 4202560 910 0 0 0 108 9 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392249625512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11757] ppid=11746 vsize=9625040 CPUtime=1.34 cores=0,2,4,6
/proc/11749/task/11757/stat : 11757 (java) S 11746 11749 11074 0 -1 4202560 324 0 0 0 123 11 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392248572968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11758] ppid=11746 vsize=9625040 CPUtime=1.37 cores=0,2,4,6
/proc/11749/task/11758/stat : 11758 (java) S 11746 11749 11074 0 -1 4202560 316 0 0 0 127 10 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392247519912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11759] ppid=11746 vsize=9625040 CPUtime=1.25 cores=0,2,4,6
/proc/11749/task/11759/stat : 11759 (java) S 11746 11749 11074 0 -1 4202560 489 0 0 0 114 11 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392246467368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11760] ppid=11746 vsize=9625040 CPUtime=2.41 cores=0,2,4,6
/proc/11749/task/11760/stat : 11760 (java) S 11746 11749 11074 0 -1 4202560 622 0 0 0 237 4 0 0 20 0 19 0 110225395 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392234056040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11761] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11761/stat : 11761 (java) S 11746 11749 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110225396 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392233002360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11762] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11762/stat : 11762 (java) S 11746 11749 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110225396 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392231949192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11763] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11763/stat : 11763 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392230897936 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11764] ppid=11746 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/11749/task/11764/stat : 11764 (java) S 11746 11749 11074 0 -1 4202560 3262 0 0 0 43 0 0 0 20 0 19 0 110225398 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392229845816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11765] ppid=11746 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/11749/task/11765/stat : 11765 (java) S 11746 11749 11074 0 -1 4202560 8692 0 0 0 74 2 0 0 20 0 19 0 110225398 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392228793272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11766] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11766/stat : 11766 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392227740408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11767] ppid=11746 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/11749/task/11767/stat : 11767 (java) S 11746 11749 11074 0 -1 4202560 104 0 0 0 35 36 0 0 20 0 19 0 110225398 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392226688072 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11788] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11788/stat : 11788 (java) S 11746 11749 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110225432 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392225584168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 11749 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1791.01 s]
/proc/loadavg: 2.25 2.24 2.19 3/213 11841
/proc/meminfo: memFree=29143876/32872528 swapFree=16080/1655368
[pid=11749] ppid=11746 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/11749/stat : 11749 (java) S 11746 11749 11074 0 -1 4202496 21113 0 1 0 179889 117 0 0 20 0 19 0 110225392 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140735419819728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11749/statm: 2406260 92804 2290 9 0 2396937 0
[pid=11749/tid=11751] ppid=11746 vsize=9625040 CPUtime=1780.95 cores=0,2,4,6
/proc/11749/task/11751/stat : 11751 (java) R 11746 11749 11074 0 -1 4202560 2592 0 1 0 178064 31 0 0 20 0 19 0 110225393 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392409775904 140392350168288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11752] ppid=11746 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/11749/task/11752/stat : 11752 (java) S 11746 11749 11074 0 -1 4202560 601 0 0 0 134 12 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392348514728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11753] ppid=11746 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/11749/task/11753/stat : 11753 (java) S 11746 11749 11074 0 -1 4202560 563 0 0 0 124 11 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392252783144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11749/tid=11754] ppid=11746 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/11749/task/11754/stat : 11754 (java) S 11746 11749 11074 0 -1 4202560 663 0 0 0 115 9 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392251730088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11755] ppid=11746 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/11749/task/11755/stat : 11755 (java) S 11746 11749 11074 0 -1 4202560 715 0 0 0 131 13 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392250677544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11756] ppid=11746 vsize=9625040 CPUtime=1.17 cores=0,2,4,6
/proc/11749/task/11756/stat : 11756 (java) S 11746 11749 11074 0 -1 4202560 910 0 0 0 108 9 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392249625512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11757] ppid=11746 vsize=9625040 CPUtime=1.34 cores=0,2,4,6
/proc/11749/task/11757/stat : 11757 (java) S 11746 11749 11074 0 -1 4202560 324 0 0 0 123 11 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392248572968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11758] ppid=11746 vsize=9625040 CPUtime=1.37 cores=0,2,4,6
/proc/11749/task/11758/stat : 11758 (java) S 11746 11749 11074 0 -1 4202560 316 0 0 0 127 10 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392247519912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11759] ppid=11746 vsize=9625040 CPUtime=1.25 cores=0,2,4,6
/proc/11749/task/11759/stat : 11759 (java) S 11746 11749 11074 0 -1 4202560 489 0 0 0 114 11 0 0 20 0 19 0 110225394 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392246467368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11760] ppid=11746 vsize=9625040 CPUtime=2.41 cores=0,2,4,6
/proc/11749/task/11760/stat : 11760 (java) S 11746 11749 11074 0 -1 4202560 622 0 0 0 237 4 0 0 20 0 19 0 110225395 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392234056040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11761] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11761/stat : 11761 (java) S 11746 11749 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110225396 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392233002360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11749/tid=11762] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11762/stat : 11762 (java) S 11746 11749 11074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110225396 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392231949192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11763] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11763/stat : 11763 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392230897936 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11764] ppid=11746 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/11749/task/11764/stat : 11764 (java) S 11746 11749 11074 0 -1 4202560 3262 0 0 0 43 0 0 0 20 0 19 0 110225398 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392229845816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11749/tid=11765] ppid=11746 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/11749/task/11765/stat : 11765 (java) S 11746 11749 11074 0 -1 4202560 8692 0 0 0 74 2 0 0 20 0 19 0 110225398 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392228793272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11766] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11766/stat : 11766 (java) S 11746 11749 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110225398 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392227740408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11767] ppid=11746 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/11749/task/11767/stat : 11767 (java) S 11746 11749 11074 0 -1 4202560 104 0 0 0 35 36 0 0 20 0 19 0 110225398 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392226688072 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11749/tid=11788] ppid=11746 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11749/task/11788/stat : 11788 (java) S 11746 11749 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110225432 9856040960 92804 33554432000 1073741824 1073778376 140735419828592 140392225584168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1791.07
CPU time (s): 1800.06
CPU user time (s): 1798.89
CPU system time (s): 1.17
CPU usage (%): 100.502
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.5
system time used= 1.73074
maximum resident set size= 801252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21150
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40819
involuntary context switches= 20065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.04162 second user time and 15.1037 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-07 09:01:58
IDJOB=4084647
IDBENCH=90110
IDSOLVER=2546
FILE ID=node122/4084647-1465282918
RUNJOBID= node122-1465277527-11090
PBS_JOBID= 19843311
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084647-1465282918/watcher-4084647-1465282918 -o /tmp/evaluation-result-4084647-1465282918/solver-4084647-1465282918 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465277527-11090 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084647-1465282918.opb

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

MD5SUM BENCH= a811647d9332337c7e73474eee26f5b9
RANDOM SEED=223043625

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.898
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.898
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.898
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.898
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.898
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:        30155824 kB
Buffers:          133404 kB
Cached:           184420 kB
SwapCached:          860 kB
Active:            96172 kB
Inactive:         228660 kB
Active(anon):       7736 kB
Inactive(anon):     1632 kB
Active(file):      88436 kB
Inactive(file):   227028 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099512 kB
Dirty:             19364 kB
Writeback:             0 kB
AnonPages:       1661508 kB
Mapped:             7196 kB
Shmem:                 0 kB
Slab:             601736 kB
SReclaimable:      45264 kB
SUnreclaim:       556472 kB
KernelStack:        1424 kB
PageTables:         7396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1756904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 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= 71712 MiB
End job on node122 at 2016-06-07 09:31:49