Trace number 4084637

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.09 1786.77

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K80.opb
MD5SUMa3fcbcd7997dcbab652ff1a098fe5a93
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 variables5440
Total number of constraints5602
Number of constraints which are clauses5522
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint80
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 81
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.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@2b21cc40
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@7c64dc11
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4084637-1465283305.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  no objective function found
0.55/0.36	c ... done. Wall clock time 0.247s.
0.55/0.36	c declared #vars     5440
0.55/0.36	c #constraints  5602
0.55/0.36	c constraints type 
0.55/0.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4493
0.55/0.36	c org.sat4j.minisat.constraints.card.MinWatchCard => 80
0.55/0.36	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.55/0.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1027
0.55/0.36	c 5602 constraints processed.
1.68/1.10	c cleaning 2490 clauses out of 4992 with flag 24052/5000
2.46/1.80	c cleaning 4247 clauses out of 8499 with flag 63641/11000
3.37/2.60	c cleaning 5609 clauses out of 11246 with flag 111332/18000
4.18/3.49	c cleaning 6808 clauses out of 13634 with flag 167531/26001
5.30/4.59	c cleaning 7856 clauses out of 15825 with flag 229515/35002
6.59/5.86	c cleaning 8975 clauses out of 17966 with flag 297347/45001
7.99/7.25	c cleaning 9983 clauses out of 19991 with flag 362043/56003
9.48/8.77	c cleaning 10357 clauses out of 22002 with flag 437782/68000
11.28/10.52	c cleaning 11299 clauses out of 24644 with flag 516710/81001
13.19/12.41	c cleaning 12101 clauses out of 27346 with flag 603529/95002
15.20/14.42	c cleaning 13057 clauses out of 30245 with flag 696956/110002
17.40/16.65	c cleaning 13886 clauses out of 33188 with flag 796800/126003
19.89/19.19	c cleaning 14612 clauses out of 36298 with flag 904806/143000
22.59/21.87	c cleaning 15553 clauses out of 39686 with flag 1027083/161000
25.42/24.68	c cleaning 16420 clauses out of 43133 with flag 1152818/180000
28.52/27.71	c cleaning 17229 clauses out of 46713 with flag 1286787/200000
31.52/30.75	c cleaning 18452 clauses out of 50484 with flag 1423980/221000
34.82/34.05	c cleaning 19083 clauses out of 54031 with flag 1577924/243000
38.32/37.57	c cleaning 20342 clauses out of 57949 with flag 1739641/266001
42.22/41.41	c cleaning 21375 clauses out of 61607 with flag 1915156/290001
46.51/45.75	c cleaning 22163 clauses out of 65232 with flag 2091249/315002
50.81/50.03	c cleaning 22959 clauses out of 69067 with flag 2270998/341000
55.93/55.14	c cleaning 23979 clauses out of 73108 with flag 2489866/368000
60.74/59.94	c cleaning 24807 clauses out of 77133 with flag 2696540/396004
66.04/65.20	c cleaning 25726 clauses out of 81321 with flag 2921138/425000
71.74/70.90	c cleaning 26712 clauses out of 85597 with flag 3164056/455002
77.54/76.76	c cleaning 27770 clauses out of 89882 with flag 3401616/486000
83.84/83.06	c cleaning 28829 clauses out of 94113 with flag 3652800/518002
90.55/89.76	c cleaning 29790 clauses out of 98282 with flag 3916355/551000
97.56/96.77	c cleaning 30805 clauses out of 102492 with flag 4194632/585001
104.46/103.69	c cleaning 31898 clauses out of 106690 with flag 4477824/620004
112.16/111.33	c cleaning 32689 clauses out of 110788 with flag 4765859/656000
120.06/119.21	c cleaning 33317 clauses out of 115099 with flag 5090998/693000
128.73/127.87	c cleaning 34588 clauses out of 119783 with flag 5411236/731001
137.63/136.73	c cleaning 35872 clauses out of 124197 with flag 5758455/770003
146.94/146.04	c cleaning 36470 clauses out of 128322 with flag 6104294/810000
156.84/155.98	c cleaning 37696 clauses out of 132854 with flag 6498287/851002
167.49/166.45	c cleaning 38609 clauses out of 137155 with flag 6913495/893000
178.20/177.15	c cleaning 39311 clauses out of 141546 with flag 7313833/936000
189.89/188.84	c cleaning 40643 clauses out of 146234 with flag 7769640/980000
201.49/200.42	c cleaning 41764 clauses out of 150591 with flag 8200459/1025000
214.05/212.82	c cleaning 42595 clauses out of 154827 with flag 8636381/1071000
226.55/225.38	c cleaning 43955 clauses out of 159232 with flag 9110310/1118000
240.47/239.00	c cleaning 44818 clauses out of 163280 with flag 9600121/1166003
254.29/252.84	c cleaning 45689 clauses out of 167459 with flag 10102349/1215000
268.75/267.02	c cleaning 46723 clauses out of 171769 with flag 10647549/1265000
283.75/282.06	c cleaning 47963 clauses out of 176047 with flag 11161846/1316001
299.67/297.72	c cleaning 48511 clauses out of 180083 with flag 11717693/1368000
316.09/314.02	c cleaning 49757 clauses out of 184572 with flag 12370073/1421000
331.89/329.88	c cleaning 50937 clauses out of 188815 with flag 12937851/1475000
347.73/345.60	c cleaning 52012 clauses out of 192881 with flag 13506382/1530003
365.22/363.09	c cleaning 52924 clauses out of 196866 with flag 14188103/1586000
384.35/382.08	c cleaning 53628 clauses out of 200942 with flag 14976984/1643000
404.24/401.84	c cleaning 54800 clauses out of 205314 with flag 15879522/1701000
425.40/422.96	c cleaning 56428 clauses out of 209514 with flag 16925229/1760000
447.51/444.96	c cleaning 57631 clauses out of 213086 with flag 18084357/1820000
468.03/465.40	c cleaning 58279 clauses out of 216456 with flag 18878544/1881001
490.79/488.01	c cleaning 59177 clauses out of 220176 with flag 19756666/1943000
512.38/509.45	c cleaning 60224 clauses out of 224000 with flag 20555113/2006001
535.58/532.57	c cleaning 61266 clauses out of 227775 with flag 21361673/2070000
558.25/555.16	c cleaning 62461 clauses out of 231509 with flag 22115286/2135000
582.34/579.17	c cleaning 63352 clauses out of 235048 with flag 22985182/2201000
607.18/603.86	c cleaning 64705 clauses out of 238697 with flag 23870674/2268001
633.12/629.73	c cleaning 65524 clauses out of 241991 with flag 24912075/2336000
659.37/655.81	c cleaning 66852 clauses out of 245468 with flag 25858341/2405001
685.99/682.36	c cleaning 67472 clauses out of 248614 with flag 26800551/2475000
714.94/711.22	c cleaning 68408 clauses out of 252145 with flag 28079722/2546003
745.43/741.56	c cleaning 69801 clauses out of 255735 with flag 29468901/2618001
784.24/780.06	c cleaning 71044 clauses out of 258933 with flag 31498599/2691000
817.94/813.59	c cleaning 72105 clauses out of 261891 with flag 33249427/2765002
848.78/844.23	c cleaning 73224 clauses out of 264784 with flag 34629121/2840000
877.47/872.75	c cleaning 73885 clauses out of 267561 with flag 35584874/2916001
907.50/902.60	c cleaning 74712 clauses out of 270675 with flag 36684999/2993000
939.86/934.89	c cleaning 75854 clauses out of 273967 with flag 37787223/3071004
972.44/967.22	c cleaning 76764 clauses out of 277110 with flag 38887471/3150001
1006.32/1000.98	c cleaning 78042 clauses out of 280347 with flag 40133042/3230002
1038.09/1032.54	c cleaning 78716 clauses out of 283304 with flag 41241517/3311001
1073.56/1067.88	c cleaning 80002 clauses out of 286587 with flag 42623906/3393000
1108.10/1102.18	c cleaning 81205 clauses out of 289586 with flag 43910660/3476001
1144.65/1138.50	c cleaning 82238 clauses out of 292383 with flag 45337610/3560003
1184.93/1178.55	c cleaning 83033 clauses out of 295145 with flag 46886890/3645003
1222.05/1215.38	c cleaning 84112 clauses out of 298109 with flag 48128498/3731000
1258.86/1251.79	c cleaning 85093 clauses out of 300999 with flag 49342512/3818002
1297.82/1290.31	c cleaning 85955 clauses out of 303904 with flag 50656130/3906000
1336.62/1328.77	c cleaning 87088 clauses out of 306948 with flag 51966184/3995000
1382.40/1374.02	c cleaning 88181 clauses out of 309860 with flag 53636430/4085001
1429.54/1420.65	c cleaning 89380 clauses out of 312678 with flag 55560811/4176000
1475.00/1465.54	c cleaning 89754 clauses out of 315298 with flag 57148845/4268000
1525.51/1515.55	c cleaning 90935 clauses out of 318547 with flag 59095253/4361003
1570.56/1559.98	c cleaning 92834 clauses out of 321609 with flag 60785433/4455000
1618.38/1607.25	c cleaning 92940 clauses out of 323775 with flag 62375364/4550000
1664.11/1652.50	c cleaning 94534 clauses out of 326836 with flag 64120227/4646001
1710.80/1698.67	c cleaning 95100 clauses out of 329302 with flag 65491217/4743001
1759.26/1746.56	c cleaning 96394 clauses out of 332201 with flag 67042204/4841000
1800.09/1786.70	c starts		: 41554
1800.09/1786.70	c conflicts		: 4926149
1800.09/1786.70	c decisions		: 57299142
1800.09/1786.70	c propagations		: 1703377239
1800.09/1786.70	c inspects		: 19958656403
1800.09/1786.70	c shortcuts		: 0
1800.09/1786.70	c learnt literals	: 46
1800.09/1786.70	c learnt binary clauses	: 83808
1800.09/1786.70	c learnt ternary clauses	: 88730
1800.09/1786.70	c learnt constraints	: 4926103
1800.09/1786.70	c ignored constraints	: 0
1800.09/1786.70	c root simplifications	: 0
1800.09/1786.70	c removed literals (reason simplification)	: 0
1800.09/1786.70	c reason swapping (by a shorter reason)	: 0
1800.09/1786.70	c Calls to reduceDB	: 94
1800.09/1786.70	c Number of update (reduction) of LBD	: 4574463
1800.09/1786.70	c Imported unit clauses	: 0
1800.09/1786.70	c number of reductions to clauses (during analyze)	: 0
1800.09/1786.70	c number of learned constraints concerned by reduction	: 0
1800.09/1786.70	c number of learning phase by resolution	: 0
1800.09/1786.70	c number of learning phase by cutting planes	: 0
1800.09/1786.70	c speed (assignments/second)	: 953560.9379662134
1800.09/1786.70	c non guided choices	3423
1800.09/1786.70	c timeout
1800.09/1786.76	c learnt constraints type 
1800.09/1786.76	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 83808
1800.09/1786.76	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 237148
1800.09/1786.76	s UNKNOWN
1800.09/1786.76	c Total wall clock time (in seconds): 1786.648

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-4084637-1465283305/watcher-4084637-1465283305 -o /tmp/evaluation-result-4084637-1465283305/solver-4084637-1465283305 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465252319-3502 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084637-1465283305.opb 

pid=10323
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.08 2.13 2.13 3/194 10326
/proc/meminfo: memFree=30090712/32872528 swapFree=12352/737972
[pid=10326] ppid=10323 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/10326/stat : 10326 (java) R 10323 10326 3485 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 110265019 2560000 46 33554432000 1073741824 1073778376 140737050922032 140737050919160 213857168679 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10326/statm: 625 46 37 9 0 29 0

[startup+0.100136 s]
/proc/loadavg: 2.08 2.13 2.13 3/194 10326
/proc/meminfo: memFree=30090712/32872528 swapFree=12352/737972
[pid=10326] ppid=10323 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 3485 0 -1 4202496 4400 0 1 0 7 1 0 0 20 0 18 0 110265019 9787879424 6032 33554432000 1073741824 1073778376 140737050922032 140737050913168 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10326/statm: 2389619 6032 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200328 s]
/proc/loadavg: 2.08 2.13 2.13 3/194 10326
/proc/meminfo: memFree=30090712/32872528 swapFree=12352/737972
[pid=10326] ppid=10323 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 3485 0 -1 4202496 4932 0 1 0 26 2 0 0 20 0 18 0 110265019 9787879424 6987 33554432000 1073741824 1073778376 140737050922032 140737050913168 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10326/statm: 2389619 6987 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.30038 s]
/proc/loadavg: 2.08 2.13 2.13 3/194 10326
/proc/meminfo: memFree=30090712/32872528 swapFree=12352/737972
[pid=10326] ppid=10323 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 3485 0 -1 4202496 7424 0 1 0 53 2 0 0 20 0 18 0 110265019 9787879424 9951 33554432000 1073741824 1073778376 140737050922032 140737050913168 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10326/statm: 2389619 9951 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700294 s]
/proc/loadavg: 2.08 2.13 2.13 3/194 10326
/proc/meminfo: memFree=30090712/32872528 swapFree=12352/737972
[pid=10326] ppid=10323 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 3485 0 -1 4202496 10926 0 1 0 134 3 0 0 20 0 19 0 110265019 9856040960 15657 33554432000 1073741824 1073778376 140737050922032 140737050913168 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10326/statm: 2406260 15657 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.24 2.16 2.14 5/213 10345
/proc/meminfo: memFree=30034248/32872528 swapFree=12352/737972
[pid=10326] ppid=10323 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 3485 0 -1 4202496 10937 0 1 0 220 3 0 0 20 0 19 0 110265019 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140737050913168 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10326/statm: 2406260 16688 2267 9 0 2396937 0
[pid=10326/tid=10328] ppid=10323 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/10326/task/10328/stat : 10328 (java) R 10323 10326 3485 0 -1 4202560 2423 0 1 0 144 1 0 0 20 0 19 0 110265020 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278849105912 140278682444076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10329] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10329/stat : 10329 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278810597672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10330] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10330/stat : 10330 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278809544872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10331] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10331/stat : 10331 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278808492584 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10332] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10332/stat : 10332 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278807439784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10333] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10333/stat : 10333 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278806387496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10334] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10334/stat : 10334 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278805334696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10335] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10335/stat : 10335 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278804282408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10336] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10336/stat : 10336 (java) S 10323 10326 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278803229608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10337] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10337/stat : 10337 (java) S 10323 10326 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278672349416 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10338] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10338/stat : 10338 (java) S 10323 10326 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278671295480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10339] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10339/stat : 10339 (java) S 10323 10326 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278670243080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10340] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10340/stat : 10340 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278669191568 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10341] ppid=10323 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/10326/task/10341/stat : 10341 (java) S 10323 10326 3485 0 -1 4202560 3551 0 0 0 40 0 0 0 20 0 19 0 110265025 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278668139192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10342] ppid=10323 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/10326/task/10342/stat : 10342 (java) S 10323 10326 3485 0 -1 4202560 3686 0 0 0 34 0 0 0 20 0 19 0 110265025 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140278667086392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10343] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10343/stat : 10343 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140277792631928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10344] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10344/stat : 10344 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140277791579336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110265056 9856040960 16688 33554432000 1073741824 1073778376 140737050922032 140277790524328 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.24 2.16 2.14 3/213 10345
/proc/meminfo: memFree=30029904/32872528 swapFree=12352/737972
[pid=10326] ppid=10323 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 3485 0 -1 4202496 10942 0 1 0 384 4 0 0 20 0 19 0 110265019 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140737050913168 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10326/statm: 2406260 18736 2267 9 0 2396937 0
[pid=10326/tid=10328] ppid=10323 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/10326/task/10328/stat : 10328 (java) R 10323 10326 3485 0 -1 4202560 2428 0 1 0 303 2 0 0 20 0 19 0 110265020 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278849097424 140278682444183 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10329] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10329/stat : 10329 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278810597672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10330] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10330/stat : 10330 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278809544872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10331] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10331/stat : 10331 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278808492584 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10332] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10332/stat : 10332 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278807439784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10333] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10333/stat : 10333 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278806387496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10334] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10334/stat : 10334 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278805334696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10335] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10335/stat : 10335 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278804282408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10336] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10336/stat : 10336 (java) S 10323 10326 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278803229608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10337] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10337/stat : 10337 (java) S 10323 10326 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278672349416 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10338] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10338/stat : 10338 (java) S 10323 10326 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278671295480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10339] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10339/stat : 10339 (java) S 10323 10326 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278670243080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10340] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10340/stat : 10340 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278669191568 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10341] ppid=10323 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/10326/task/10341/stat : 10341 (java) S 10323 10326 3485 0 -1 4202560 3551 0 0 0 42 0 0 0 20 0 19 0 110265025 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278668139192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10342] ppid=10323 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/10326/task/10342/stat : 10342 (java) S 10323 10326 3485 0 -1 4202560 3686 0 0 0 36 0 0 0 20 0 19 0 110265025 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140278667086392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10343] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10343/stat : 10343 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140277792631928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10344] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10344/stat : 10344 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140277791579336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110265056 9856040960 18736 33554432000 1073741824 1073778376 140737050922032 140277790524328 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.30 2.17 2.14 4/213 10345
/proc/meminfo: memFree=30013236/32872528 swapFree=12352/737972
[pid=10326] ppid=10323 vsize=9625040 CPUtime=7.09 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 3485 0 -1 4202496 10951 0 1 0 705 4 0 0 20 0 19 0 110265019 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140737050913168 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10326/statm: 2406260 21192 2268 9 0 2396937 0
[pid=10326/tid=10328] ppid=10323 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/10326/task/10328/stat : 10328 (java) R 10323 10326 3485 0 -1 4202560 2435 0 1 0 621 2 0 0 20 0 19 0 110265020 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278849097408 140278682502130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10329] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10329/stat : 10329 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278810597672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10330] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10330/stat : 10330 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278809544872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10331] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10331/stat : 10331 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278808492584 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10332] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10332/stat : 10332 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278807439784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10333] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10333/stat : 10333 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278806387496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10334] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10334/stat : 10334 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278805334696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10335] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10335/stat : 10335 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278804282408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10336] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10336/stat : 10336 (java) S 10323 10326 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110265021 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278803229608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10337] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10337/stat : 10337 (java) S 10323 10326 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278672349416 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10338] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10338/stat : 10338 (java) S 10323 10326 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278671295480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10339] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10339/stat : 10339 (java) S 10323 10326 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278670243080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10340] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10340/stat : 10340 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278669191568 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10341] ppid=10323 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/10326/task/10341/stat : 10341 (java) S 10323 10326 3485 0 -1 4202560 3551 0 0 0 42 0 0 0 20 0 19 0 110265025 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278668139192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10342] ppid=10323 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/10326/task/10342/stat : 10342 (java) S 10323 10326 3485 0 -1 4202560 3687 0 0 0 37 0 0 0 20 0 19 0 110265025 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140278667086392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10343] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10343/stat : 10343 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140277792631928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10344] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10344/stat : 10344 (java) S 10323 10326 3485 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140277791579336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110265056 9856040960 21192 33554432000 1073741824 1073778376 140737050922032 140277790524328 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9625040


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

[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110265056 9856040960 68526 33554432000 1073741824 1073778376 140737050922032 140277790524328 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1734.9
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.25 2.20 2.15 3/213 10455
/proc/meminfo: memFree=30387756/32872528 swapFree=12352/737972
[pid=10326] ppid=10323 vsize=9625040 CPUtime=1795.63 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 3485 0 -1 4202496 27568 0 1 0 179386 177 0 0 20 0 19 0 110265019 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140737050913168 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10326/statm: 2406260 75447 2290 9 0 2396937 0
[pid=10326/tid=10328] ppid=10323 vsize=9625040 CPUtime=1768.1 cores=1,3,5,7
/proc/10326/task/10328/stat : 10328 (java) R 10323 10326 3485 0 -1 4202560 2745 0 1 0 176777 33 0 0 20 0 19 0 110265020 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278849105184 140278682547720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10329] ppid=10323 vsize=9625040 CPUtime=2.25 cores=1,3,5,7
/proc/10326/task/10329/stat : 10329 (java) S 10323 10326 3485 0 -1 4202560 2307 0 0 0 210 15 0 0 20 0 19 0 110265021 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278810597672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10330] ppid=10323 vsize=9625040 CPUtime=2.17 cores=1,3,5,7
/proc/10326/task/10330/stat : 10330 (java) S 10323 10326 3485 0 -1 4202560 1955 0 0 0 203 14 0 0 20 0 19 0 110265021 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278809544872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10331] ppid=10323 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/10326/task/10331/stat : 10331 (java) S 10323 10326 3485 0 -1 4202560 2171 0 0 0 199 15 0 0 20 0 19 0 110265021 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278808492584 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10332] ppid=10323 vsize=9625040 CPUtime=2.29 cores=1,3,5,7
/proc/10326/task/10332/stat : 10332 (java) S 10323 10326 3485 0 -1 4202560 2225 0 0 0 211 18 0 0 20 0 19 0 110265021 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278807439784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10333] ppid=10323 vsize=9625040 CPUtime=2.17 cores=1,3,5,7
/proc/10326/task/10333/stat : 10333 (java) S 10323 10326 3485 0 -1 4202560 1656 0 0 0 202 15 0 0 20 0 19 0 110265021 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278806387496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10334] ppid=10323 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/10326/task/10334/stat : 10334 (java) S 10323 10326 3485 0 -1 4202560 1424 0 0 0 192 18 0 0 20 0 19 0 110265021 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278805334696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10335] ppid=10323 vsize=9625040 CPUtime=2.22 cores=1,3,5,7
/proc/10326/task/10335/stat : 10335 (java) S 10323 10326 3485 0 -1 4202560 1750 0 0 0 206 16 0 0 20 0 19 0 110265021 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278804282408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10336] ppid=10323 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/10326/task/10336/stat : 10336 (java) S 10323 10326 3485 0 -1 4202560 1659 0 0 0 199 15 0 0 20 0 19 0 110265021 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278803229608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10337] ppid=10323 vsize=9625040 CPUtime=4.08 cores=1,3,5,7
/proc/10326/task/10337/stat : 10337 (java) S 10323 10326 3485 0 -1 4202560 983 0 0 0 402 6 0 0 20 0 19 0 110265022 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278672349416 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10338] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10338/stat : 10338 (java) S 10323 10326 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278671295480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10339] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10339/stat : 10339 (java) S 10323 10326 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278670243080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10340] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10340/stat : 10340 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278669191568 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10341] ppid=10323 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/10326/task/10341/stat : 10341 (java) S 10323 10326 3485 0 -1 4202560 3551 0 0 0 42 0 0 0 20 0 19 0 110265025 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278668139192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10342] ppid=10323 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/10326/task/10342/stat : 10342 (java) S 10323 10326 3485 0 -1 4202560 3775 0 0 0 40 0 0 0 20 0 19 0 110265025 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140278667086392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10343] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10343/stat : 10343 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140277792631928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10344] ppid=10323 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/10326/task/10344/stat : 10344 (java) S 10323 10326 3485 0 -1 4202560 104 0 0 0 29 39 0 0 20 0 19 0 110265025 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140277791579336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110265056 9856040960 75447 33554432000 1073741824 1073778376 140737050922032 140277790524328 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.7 s]
/proc/loadavg: 2.23 2.20 2.15 3/213 10455
/proc/meminfo: memFree=30389620/32872528 swapFree=12352/737972
[pid=10326] ppid=10323 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 3485 0 -1 4202496 27570 0 1 0 179832 177 0 0 20 0 19 0 110265019 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140737050913168 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10326/statm: 2406260 74966 2290 9 0 2396937 0
[pid=10326/tid=10328] ppid=10323 vsize=9625040 CPUtime=1772.47 cores=1,3,5,7
/proc/10326/task/10328/stat : 10328 (java) R 10323 10326 3485 0 -1 4202560 2747 0 1 0 177214 33 0 0 20 0 19 0 110265020 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278849105200 140278682443249 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10329] ppid=10323 vsize=9625040 CPUtime=2.26 cores=1,3,5,7
/proc/10326/task/10329/stat : 10329 (java) S 10323 10326 3485 0 -1 4202560 2307 0 0 0 211 15 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278810597672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10330] ppid=10323 vsize=9625040 CPUtime=2.17 cores=1,3,5,7
/proc/10326/task/10330/stat : 10330 (java) S 10323 10326 3485 0 -1 4202560 1955 0 0 0 203 14 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278809544872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10331] ppid=10323 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/10326/task/10331/stat : 10331 (java) S 10323 10326 3485 0 -1 4202560 2171 0 0 0 199 15 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278808492584 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10332] ppid=10323 vsize=9625040 CPUtime=2.3 cores=1,3,5,7
/proc/10326/task/10332/stat : 10332 (java) S 10323 10326 3485 0 -1 4202560 2225 0 0 0 212 18 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278807439784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10333] ppid=10323 vsize=9625040 CPUtime=2.18 cores=1,3,5,7
/proc/10326/task/10333/stat : 10333 (java) S 10323 10326 3485 0 -1 4202560 1656 0 0 0 203 15 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278806387496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10334] ppid=10323 vsize=9625040 CPUtime=2.12 cores=1,3,5,7
/proc/10326/task/10334/stat : 10334 (java) S 10323 10326 3485 0 -1 4202560 1424 0 0 0 194 18 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278805334696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10335] ppid=10323 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/10326/task/10335/stat : 10335 (java) S 10323 10326 3485 0 -1 4202560 1750 0 0 0 207 16 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278804282408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10336] ppid=10323 vsize=9625040 CPUtime=2.15 cores=1,3,5,7
/proc/10326/task/10336/stat : 10336 (java) S 10323 10326 3485 0 -1 4202560 1659 0 0 0 200 15 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278803229608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10337] ppid=10323 vsize=9625040 CPUtime=4.09 cores=1,3,5,7
/proc/10326/task/10337/stat : 10337 (java) S 10323 10326 3485 0 -1 4202560 983 0 0 0 402 7 0 0 20 0 19 0 110265022 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278672349416 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10338] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10338/stat : 10338 (java) S 10323 10326 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278671295480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10339] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10339/stat : 10339 (java) S 10323 10326 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278670243080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10340] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10340/stat : 10340 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278669191568 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10341] ppid=10323 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/10326/task/10341/stat : 10341 (java) S 10323 10326 3485 0 -1 4202560 3551 0 0 0 42 0 0 0 20 0 19 0 110265025 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278668139192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10342] ppid=10323 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/10326/task/10342/stat : 10342 (java) S 10323 10326 3485 0 -1 4202560 3775 0 0 0 40 0 0 0 20 0 19 0 110265025 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278667086392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10343] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10343/stat : 10343 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140277792631928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10344] ppid=10323 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/10326/task/10344/stat : 10344 (java) S 10323 10326 3485 0 -1 4202560 104 0 0 0 29 39 0 0 20 0 19 0 110265025 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140277791579336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110265056 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140277790524328 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 10326 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1786.7 s]
/proc/loadavg: 2.23 2.20 2.15 3/213 10455
/proc/meminfo: memFree=30389620/32872528 swapFree=12352/737972
[pid=10326] ppid=10323 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 3485 0 -1 4202496 27570 0 1 0 179832 177 0 0 20 0 19 0 110265019 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140737050913168 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10326/statm: 2406260 74966 2290 9 0 2396937 0
[pid=10326/tid=10328] ppid=10323 vsize=9625040 CPUtime=1772.47 cores=1,3,5,7
/proc/10326/task/10328/stat : 10328 (java) R 10323 10326 3485 0 -1 4202560 2747 0 1 0 177214 33 0 0 20 0 19 0 110265020 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278849105200 140278682443249 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10329] ppid=10323 vsize=9625040 CPUtime=2.26 cores=1,3,5,7
/proc/10326/task/10329/stat : 10329 (java) S 10323 10326 3485 0 -1 4202560 2307 0 0 0 211 15 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278810597672 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10330] ppid=10323 vsize=9625040 CPUtime=2.17 cores=1,3,5,7
/proc/10326/task/10330/stat : 10330 (java) S 10323 10326 3485 0 -1 4202560 1955 0 0 0 203 14 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278809544872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10331] ppid=10323 vsize=9625040 CPUtime=2.14 cores=1,3,5,7
/proc/10326/task/10331/stat : 10331 (java) S 10323 10326 3485 0 -1 4202560 2171 0 0 0 199 15 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278808492584 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10332] ppid=10323 vsize=9625040 CPUtime=2.3 cores=1,3,5,7
/proc/10326/task/10332/stat : 10332 (java) S 10323 10326 3485 0 -1 4202560 2225 0 0 0 212 18 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278807439784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10333] ppid=10323 vsize=9625040 CPUtime=2.18 cores=1,3,5,7
/proc/10326/task/10333/stat : 10333 (java) S 10323 10326 3485 0 -1 4202560 1656 0 0 0 203 15 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278806387496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10334] ppid=10323 vsize=9625040 CPUtime=2.12 cores=1,3,5,7
/proc/10326/task/10334/stat : 10334 (java) S 10323 10326 3485 0 -1 4202560 1424 0 0 0 194 18 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278805334696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10335] ppid=10323 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/10326/task/10335/stat : 10335 (java) S 10323 10326 3485 0 -1 4202560 1750 0 0 0 207 16 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278804282408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10336] ppid=10323 vsize=9625040 CPUtime=2.15 cores=1,3,5,7
/proc/10326/task/10336/stat : 10336 (java) S 10323 10326 3485 0 -1 4202560 1659 0 0 0 200 15 0 0 20 0 19 0 110265021 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278803229608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10337] ppid=10323 vsize=9625040 CPUtime=4.09 cores=1,3,5,7
/proc/10326/task/10337/stat : 10337 (java) S 10323 10326 3485 0 -1 4202560 983 0 0 0 402 7 0 0 20 0 19 0 110265022 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278672349416 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10338] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10338/stat : 10338 (java) S 10323 10326 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278671295480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10339] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10339/stat : 10339 (java) S 10323 10326 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110265022 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278670243080 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10340] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10340/stat : 10340 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278669191568 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10341] ppid=10323 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/10326/task/10341/stat : 10341 (java) S 10323 10326 3485 0 -1 4202560 3551 0 0 0 42 0 0 0 20 0 19 0 110265025 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278668139192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10342] ppid=10323 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/10326/task/10342/stat : 10342 (java) S 10323 10326 3485 0 -1 4202560 3775 0 0 0 40 0 0 0 20 0 19 0 110265025 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140278667086392 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10343] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10343/stat : 10343 (java) S 10323 10326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110265025 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140277792631928 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10344] ppid=10323 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/10326/task/10344/stat : 10344 (java) S 10323 10326 3485 0 -1 4202560 104 0 0 0 29 39 0 0 20 0 19 0 110265025 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140277791579336 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110265056 9856040960 74966 33554432000 1073741824 1073778376 140737050922032 140277790524328 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1786.77
CPU time (s): 1800.09
CPU user time (s): 1798.32
CPU system time (s): 1.77
CPU usage (%): 100.746
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.78
system time used= 2.19167
maximum resident set size= 716920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27607
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46072
involuntary context switches= 44191

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0333 second user time and 13.185 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-07 09:08:26
IDJOB=4084637
IDBENCH=90115
IDSOLVER=2546
FILE ID=node112/4084637-1465283305
RUNJOBID= node112-1465252319-3502
PBS_JOBID= 19843261
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= a3fcbcd7997dcbab652ff1a098fe5a93
RANDOM SEED=1069868025

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.783
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.783
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.56
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.783
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.783
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.72
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.783
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.783
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:        30090976 kB
Buffers:          113788 kB
Cached:           200748 kB
SwapCached:         1624 kB
Active:          1097880 kB
Inactive:         184456 kB
Active(anon):     969468 kB
Inactive(anon):      608 kB
Active(file):     128412 kB
Inactive(file):   183848 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098612 kB
Dirty:              1420 kB
Writeback:             0 kB
AnonPages:       1729908 kB
Mapped:            15468 kB
Shmem:                 0 kB
Slab:             600988 kB
SReclaimable:      44348 kB
SUnreclaim:       556640 kB
KernelStack:        1608 kB
PageTables:         7080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2322968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1691648 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= 71744 MiB
End job on node112 at 2016-06-07 09:38:12