Trace number 4084604

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.75 1794.78

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K138.opb
MD5SUMb6be79d7c894904bfb5f7c9acfb80f53
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 variables16422
Total number of constraints16700
Number of constraints which are clauses16562
Number of constraints which are cardinality constraints (but not clauses)138
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint138
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 139
Number of bits of the biggest sum of numbers8
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.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4084604-1465287637.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.90/0.55	c ... done. Wall clock time 0.431s.
0.90/0.55	c declared #vars     16422
0.90/0.55	c #constraints  16700
0.90/0.55	c constraints type 
0.90/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 14779
0.90/0.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 138
0.90/0.55	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.90/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1781
0.90/0.55	c 16700 constraints processed.
3.18/2.35	c cleaning 2491 clauses out of 4990 with flag 24053/5000
5.15/4.23	c cleaning 4208 clauses out of 8492 with flag 57422/11000
7.25/6.39	c cleaning 5609 clauses out of 11282 with flag 96072/18000
9.65/8.72	c cleaning 6811 clauses out of 13674 with flag 141277/26003
12.47/11.50	c cleaning 7863 clauses out of 15857 with flag 192319/35000
15.67/14.74	c cleaning 8859 clauses out of 17989 with flag 247695/45000
19.47/18.52	c cleaning 9130 clauses out of 20130 with flag 302176/56001
23.40/22.42	c cleaning 9889 clauses out of 22998 with flag 363491/68000
27.41/26.45	c cleaning 10688 clauses out of 26109 with flag 432600/81002
31.81/30.83	c cleaning 11481 clauses out of 29418 with flag 504869/95000
36.50/35.57	c cleaning 12739 clauses out of 32935 with flag 581682/110000
41.71/40.80	c cleaning 13314 clauses out of 36194 with flag 665992/126000
47.60/46.62	c cleaning 14115 clauses out of 39882 with flag 765118/143002
53.50/52.58	c cleaning 14716 clauses out of 43765 with flag 861521/161000
59.90/58.94	c cleaning 15557 clauses out of 48050 with flag 962350/180001
66.81/65.81	c cleaning 16727 clauses out of 52493 with flag 1070722/200001
74.11/73.18	c cleaning 17449 clauses out of 56764 with flag 1181296/221000
81.81/80.89	c cleaning 18250 clauses out of 61314 with flag 1303767/243000
90.31/89.23	c cleaning 19015 clauses out of 66063 with flag 1431639/266002
98.80/97.78	c cleaning 19912 clauses out of 71046 with flag 1565519/290000
107.70/106.61	c cleaning 21034 clauses out of 76133 with flag 1705183/315001
116.80/115.75	c cleaning 21721 clauses out of 81095 with flag 1856862/341000
126.80/125.76	c cleaning 22707 clauses out of 86373 with flag 2016474/368000
137.30/136.20	c cleaning 23603 clauses out of 91666 with flag 2172558/396000
148.50/147.49	c cleaning 24261 clauses out of 97063 with flag 2337894/425000
160.40/159.25	c cleaning 24956 clauses out of 102801 with flag 2517351/455000
172.60/171.48	c cleaning 26018 clauses out of 108844 with flag 2705694/486000
185.20/184.04	c cleaning 27091 clauses out of 114826 with flag 2890682/518000
198.11/196.94	c cleaning 28335 clauses out of 120734 with flag 3088526/551000
212.30/211.13	c cleaning 28775 clauses out of 126398 with flag 3288106/585000
227.31/225.93	c cleaning 29642 clauses out of 132622 with flag 3502261/620001
241.91/240.53	c cleaning 30531 clauses out of 138980 with flag 3713759/656002
256.92/255.59	c cleaning 31394 clauses out of 145447 with flag 3930843/693000
273.23/271.85	c cleaning 32441 clauses out of 152055 with flag 4158364/731002
290.22/288.89	c cleaning 33420 clauses out of 158618 with flag 4403333/770006
308.01/306.48	c cleaning 34336 clauses out of 165192 with flag 4652959/810001
326.41/324.84	c cleaning 35031 clauses out of 171855 with flag 4926486/851000
345.42/343.86	c cleaning 35753 clauses out of 178826 with flag 5183620/893002
366.28/364.42	c cleaning 36897 clauses out of 186072 with flag 5455495/936001
387.38/385.52	c cleaning 37615 clauses out of 193174 with flag 5740192/980000
408.59/406.72	c cleaning 38543 clauses out of 200559 with flag 6030067/1025000
431.27/429.10	c cleaning 39576 clauses out of 208016 with flag 6332439/1071000
453.15/450.98	c cleaning 40321 clauses out of 215440 with flag 6637076/1118000
476.47/474.23	c cleaning 41423 clauses out of 223123 with flag 6952147/1166004
501.46/499.17	c cleaning 42016 clauses out of 230694 with flag 7291892/1215001
525.85/523.51	c cleaning 43712 clauses out of 238677 with flag 7617292/1265000
552.25/549.98	c cleaning 44118 clauses out of 245965 with flag 7965483/1316000
579.88/577.42	c cleaning 45245 clauses out of 253847 with flag 8326221/1368000
606.88/604.44	c cleaning 46146 clauses out of 261602 with flag 8679105/1421000
635.38/632.74	c cleaning 47110 clauses out of 269457 with flag 9041074/1475001
664.78/662.14	c cleaning 48185 clauses out of 277348 with flag 9426569/1530003
695.48/692.64	c cleaning 49548 clauses out of 285161 with flag 9818825/1586001
726.59/723.74	c cleaning 50085 clauses out of 292614 with flag 10216614/1643002
758.88/755.95	c cleaning 51029 clauses out of 300527 with flag 10621333/1701000
792.68/789.74	c cleaning 51954 clauses out of 308499 with flag 11052649/1760001
826.63/823.56	c cleaning 52917 clauses out of 316544 with flag 11479263/1820000
862.25/859.16	c cleaning 53695 clauses out of 324628 with flag 11932236/1881002
896.45/893.29	c cleaning 55052 clauses out of 332932 with flag 12383596/1943001
932.76/929.43	c cleaning 55813 clauses out of 340879 with flag 12856590/2006000
968.46/965.15	c cleaning 56826 clauses out of 349066 with flag 13333523/2070001
1006.36/1002.96	c cleaning 58100 clauses out of 357239 with flag 13830523/2135000
1048.09/1044.57	c cleaning 58618 clauses out of 365140 with flag 14350381/2201002
1088.59/1085.08	c cleaning 59852 clauses out of 373521 with flag 14849045/2268001
1131.20/1127.55	c cleaning 60421 clauses out of 381668 with flag 15370260/2336000
1175.21/1171.44	c cleaning 61961 clauses out of 390249 with flag 15912671/2405002
1219.23/1215.31	c cleaning 62808 clauses out of 398284 with flag 16463390/2475001
1266.68/1262.65	c cleaning 63877 clauses out of 406476 with flag 17045943/2546002
1314.34/1310.19	c cleaning 64526 clauses out of 414597 with flag 17651388/2618000
1361.23/1357.09	c cleaning 65764 clauses out of 423073 with flag 18222912/2691002
1410.11/1405.86	c cleaning 66461 clauses out of 431309 with flag 18825482/2765002
1459.51/1455.15	c cleaning 68034 clauses out of 439846 with flag 19415446/2840000
1510.47/1506.02	c cleaning 68889 clauses out of 447810 with flag 20062953/2916000
1562.04/1557.39	c cleaning 70253 clauses out of 455922 with flag 20678213/2993002
1616.21/1611.31	c cleaning 70566 clauses out of 463667 with flag 21327852/3071000
1668.78/1663.89	c cleaning 71530 clauses out of 472100 with flag 21995716/3150001
1724.47/1719.37	c cleaning 72579 clauses out of 480569 with flag 22688294/3230000
1780.08/1774.88	c cleaning 73589 clauses out of 488989 with flag 23351606/3311000
1800.07/1794.70	c starts		: 20488
1800.07/1794.70	c conflicts		: 3342553
1800.07/1794.70	c decisions		: 85494977
1800.07/1794.70	c propagations		: 2722863476
1800.07/1794.70	c inspects		: 11715524033
1800.07/1794.70	c shortcuts		: 0
1800.07/1794.70	c learnt literals	: 74
1800.07/1794.70	c learnt binary clauses	: 161151
1800.07/1794.70	c learnt ternary clauses	: 146673
1800.07/1794.70	c learnt constraints	: 3342479
1800.07/1794.70	c ignored constraints	: 0
1800.07/1794.70	c root simplifications	: 0
1800.07/1794.70	c removed literals (reason simplification)	: 0
1800.07/1794.70	c reason swapping (by a shorter reason)	: 0
1800.07/1794.70	c Calls to reduceDB	: 77
1800.07/1794.70	c Number of update (reduction) of LBD	: 2483146
1800.07/1794.70	c Imported unit clauses	: 0
1800.07/1794.70	c number of reductions to clauses (during analyze)	: 0
1800.07/1794.70	c number of learned constraints concerned by reduction	: 0
1800.07/1794.70	c number of learning phase by resolution	: 0
1800.07/1794.70	c number of learning phase by cutting planes	: 0
1800.07/1794.70	c speed (assignments/second)	: 1517648.6224822798
1800.07/1794.70	c non guided choices	18055
1800.07/1794.70	c timeout
1800.07/1794.77	c learnt constraints type 
1800.07/1794.77	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 161151
1800.07/1794.77	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 285802
1800.07/1794.77	s UNKNOWN
1800.07/1794.77	c Total wall clock time (in seconds): 1794.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-4084604-1465287637/watcher-4084604-1465287637 -o /tmp/evaluation-result-4084604-1465287637/solver-4084604-1465287637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465270992-28819 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084604-1465287637.opb 

pid=30840
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.03 2.09 2.08 3/195 30843
/proc/meminfo: memFree=31259072/32872528 swapFree=11320/319964
[pid=30843] ppid=30840 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/30843/stat : 30843 (java) D 30840 30843 28803 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 110697019 9515008 182 33554432000 1073741824 1073778376 140736529907408 140736529898440 262962757301 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/30843/statm: 2323 182 140 9 0 71 0

[startup+0.100058 s]
/proc/loadavg: 2.03 2.09 2.08 3/195 30843
/proc/meminfo: memFree=31259072/32872528 swapFree=11320/319964
[pid=30843] ppid=30840 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/30843/stat : 30843 (java) S 30840 30843 28803 0 -1 4202496 4420 0 1 0 8 1 0 0 20 0 18 0 110697019 9787879424 6049 33554432000 1073741824 1073778376 140736459003216 140736458994352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 2389619 6049 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200274 s]
/proc/loadavg: 2.03 2.09 2.08 3/195 30843
/proc/meminfo: memFree=31259072/32872528 swapFree=11320/319964
[pid=30843] ppid=30840 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/30843/stat : 30843 (java) S 30840 30843 28803 0 -1 4202496 5030 0 1 0 25 1 0 0 20 0 18 0 110697019 9787879424 6896 33554432000 1073741824 1073778376 140736459003216 140736458994352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 2389619 6896 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300296 s]
/proc/loadavg: 2.03 2.09 2.08 3/195 30843
/proc/meminfo: memFree=31259072/32872528 swapFree=11320/319964
[pid=30843] ppid=30840 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/30843/stat : 30843 (java) S 30840 30843 28803 0 -1 4202496 7418 0 1 0 52 2 0 0 20 0 18 0 110697019 9787879424 10872 33554432000 1073741824 1073778376 140736459003216 140736458994352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 2389619 10872 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700243 s]
/proc/loadavg: 2.03 2.09 2.08 3/195 30843
/proc/meminfo: memFree=31259072/32872528 swapFree=11320/319964
[pid=30843] ppid=30840 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/30843/stat : 30843 (java) S 30840 30843 28803 0 -1 4202496 8237 0 1 0 135 3 0 0 20 0 19 0 110697019 9856040960 29887 33554432000 1073741824 1073778376 140736459003216 140736458994352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 2406260 29887 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.03 2.09 2.08 3/214 30862
/proc/meminfo: memFree=31147760/32872528 swapFree=11320/319964
[pid=30843] ppid=30840 vsize=9625040 CPUtime=2.34 cores=0,2,4,6
/proc/30843/stat : 30843 (java) S 30840 30843 28803 0 -1 4202496 8917 0 1 0 230 4 0 0 20 0 19 0 110697019 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140736458994352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 2406260 30436 2267 9 0 2396937 0
[pid=30843/tid=30845] ppid=30840 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/30843/task/30845/stat : 30845 (java) R 30840 30843 28803 0 -1 4202560 2476 0 1 0 143 3 0 0 20 0 19 0 110697020 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020235418424 140020107825268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30846] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30846/stat : 30846 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020079508136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30847] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30847/stat : 30847 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020078455592 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30848] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30848/stat : 30848 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020077403048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30843/tid=30849] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30849/stat : 30849 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020076350504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30850] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30850/stat : 30850 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020075296936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30851] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30851/stat : 30851 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020074244392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30852] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30852/stat : 30852 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020073191848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30853] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30853/stat : 30853 (java) S 30840 30843 28803 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020072139304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30854] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30854/stat : 30854 (java) S 30840 30843 28803 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020059728488 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30855] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30855/stat : 30855 (java) S 30840 30843 28803 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020058674808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30856] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30856/stat : 30856 (java) S 30840 30843 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020057622152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30857] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30857/stat : 30857 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697025 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020056570896 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30858] ppid=30840 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/30843/task/30858/stat : 30858 (java) S 30840 30843 28803 0 -1 4202560 1888 0 0 0 34 0 0 0 20 0 19 0 110697025 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020055517240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30859] ppid=30840 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/30843/task/30859/stat : 30859 (java) S 30840 30843 28803 0 -1 4202560 3276 0 0 0 49 0 0 0 20 0 19 0 110697025 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020054464696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30860] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30860/stat : 30860 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697026 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020053412344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30861] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30861/stat : 30861 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697026 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020052360008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30862] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30862/stat : 30862 (java) S 30840 30843 28803 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110697076 9856040960 30436 33554432000 1073741824 1073778376 140736459003216 140020051207464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.02 2.08 2.08 3/214 30862
/proc/meminfo: memFree=31143168/32872528 swapFree=11320/319964
[pid=30843] ppid=30840 vsize=9625040 CPUtime=4.02 cores=0,2,4,6
/proc/30843/stat : 30843 (java) S 30840 30843 28803 0 -1 4202496 8927 0 1 0 398 4 0 0 20 0 19 0 110697019 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140736458994352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 2406260 30953 2271 9 0 2396937 0
[pid=30843/tid=30845] ppid=30840 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/30843/task/30845/stat : 30845 (java) R 30840 30843 28803 0 -1 4202560 2479 0 1 0 303 3 0 0 20 0 19 0 110697020 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020235420120 140020107788452 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30846] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30846/stat : 30846 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020079508136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30847] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30847/stat : 30847 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020078455592 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30848] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30848/stat : 30848 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020077403048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30843/tid=30849] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30849/stat : 30849 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020076350504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30850] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30850/stat : 30850 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020075296936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30851] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30851/stat : 30851 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020074244392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30852] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30852/stat : 30852 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020073191848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30853] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30853/stat : 30853 (java) S 30840 30843 28803 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020072139304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30854] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30854/stat : 30854 (java) S 30840 30843 28803 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020059728488 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30855] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30855/stat : 30855 (java) S 30840 30843 28803 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020058674808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30856] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30856/stat : 30856 (java) S 30840 30843 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020057622152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30857] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30857/stat : 30857 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697025 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020056570896 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30858] ppid=30840 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/30843/task/30858/stat : 30858 (java) S 30840 30843 28803 0 -1 4202560 1893 0 0 0 39 0 0 0 20 0 19 0 110697025 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020055517240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30859] ppid=30840 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/30843/task/30859/stat : 30859 (java) S 30840 30843 28803 0 -1 4202560 3277 0 0 0 52 0 0 0 20 0 19 0 110697025 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020054464696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30860] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30860/stat : 30860 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697026 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020053412344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30861] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30861/stat : 30861 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697026 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020052360008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30862] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30862/stat : 30862 (java) S 30840 30843 28803 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110697076 9856040960 30953 33554432000 1073741824 1073778376 140736459003216 140020051207464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.02 2.08 2.08 3/214 30862
/proc/meminfo: memFree=31137288/32872528 swapFree=11320/319964
[pid=30843] ppid=30840 vsize=9625040 CPUtime=7.25 cores=0,2,4,6
/proc/30843/stat : 30843 (java) S 30840 30843 28803 0 -1 4202496 8933 0 1 0 721 4 0 0 20 0 19 0 110697019 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140736458994352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 2406260 32963 2271 9 0 2396937 0
[pid=30843/tid=30845] ppid=30840 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/30843/task/30845/stat : 30845 (java) R 30840 30843 28803 0 -1 4202560 2485 0 1 0 623 3 0 0 20 0 19 0 110697020 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020235419896 140020107830513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30846] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30846/stat : 30846 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020079508136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30847] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30847/stat : 30847 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020078455592 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30848] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30848/stat : 30848 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020077403048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30843/tid=30849] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30849/stat : 30849 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020076350504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30850] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30850/stat : 30850 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020075296936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30851] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30851/stat : 30851 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020074244392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30852] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30852/stat : 30852 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020073191848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30853] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30853/stat : 30853 (java) S 30840 30843 28803 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110697021 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020072139304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30854] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30854/stat : 30854 (java) S 30840 30843 28803 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020059728488 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30855] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30855/stat : 30855 (java) S 30840 30843 28803 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020058674808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30856] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30856/stat : 30856 (java) S 30840 30843 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020057622152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30857] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30857/stat : 30857 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697025 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020056570896 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30858] ppid=30840 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/30843/task/30858/stat : 30858 (java) S 30840 30843 28803 0 -1 4202560 1893 0 0 0 40 0 0 0 20 0 19 0 110697025 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020055517240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30859] ppid=30840 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/30843/task/30859/stat : 30859 (java) S 30840 30843 28803 0 -1 4202560 3277 0 0 0 54 0 0 0 20 0 19 0 110697025 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020054464696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30860] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30860/stat : 30860 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697026 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020053412344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30861] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30861/stat : 30861 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697026 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020052360008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30862] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30862/stat : 30862 (java) S 30840 30843 28803 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110697076 9856040960 32963 33554432000 1073741824 1073778376 140736459003216 140020051207464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 9625040


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

[pid=30843/tid=30855] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30855/stat : 30855 (java) S 30840 30843 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 171663 33554432000 1073741824 1073778376 140736459003216 140020058674808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30856] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30856/stat : 30856 (java) S 30840 30843 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 171663 33554432000 1073741824 1073778376 140736459003216 140020057622152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30857] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30857/stat : 30857 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697025 9856040960 171663 33554432000 1073741824 1073778376 140736459003216 140020056570896 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30858] ppid=30840 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/30843/task/30858/stat : 30858 (java) S 30840 30843 28803 0 -1 4202560 2309 0 0 0 45 0 0 0 20 0 19 0 110697025 9856040960 171663 33554432000 1073741824 1073778376 140736459003216 140020055517240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30859] ppid=30840 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/30843/task/30859/stat : 30859 (java) S 30840 30843 28803 0 -1 4202560 3278 0 0 0 54 0 0 0 20 0 19 0 110697025 9856040960 171663 33554432000 1073741824 1073778376 140736459003216 140020054464696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30860] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30860/stat : 30860 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697026 9856040960 171663 33554432000 1073741824 1073778376 140736459003216 140020053412344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30861] ppid=30840 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/30843/task/30861/stat : 30861 (java) S 30840 30843 28803 0 -1 4202560 99 0 0 0 29 33 0 0 20 0 19 0 110697026 9856040960 171663 33554432000 1073741824 1073778376 140736459003216 140020052360008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30862] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30862/stat : 30862 (java) S 30840 30843 28803 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110697076 9856040960 171663 33554432000 1073741824 1073778376 140736459003216 140020051207464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1727.46
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.05 2.07 2.04 3/214 31166
/proc/meminfo: memFree=30558772/32872528 swapFree=11320/319964
[pid=30843] ppid=30840 vsize=9625040 CPUtime=1787.58 cores=0,2,4,6
/proc/30843/stat : 30843 (java) S 30840 30843 28803 0 -1 4202496 12165 0 1 0 178650 108 0 0 20 0 19 0 110697019 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140736458994352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 2406260 171699 2293 9 0 2396937 0
[pid=30843/tid=30845] ppid=30840 vsize=9625040 CPUtime=1779.73 cores=0,2,4,6
/proc/30843/task/30845/stat : 30845 (java) R 30840 30843 28803 0 -1 4202560 2534 0 1 0 177938 35 0 0 20 0 19 0 110697020 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020235411248 140020107852468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30846] ppid=30840 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/30843/task/30846/stat : 30846 (java) S 30840 30843 28803 0 -1 4202560 460 0 0 0 62 10 0 0 20 0 19 0 110697021 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020079508136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30843/tid=30847] ppid=30840 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/30843/task/30847/stat : 30847 (java) S 30840 30843 28803 0 -1 4202560 266 0 0 0 55 7 0 0 20 0 19 0 110697021 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020078455592 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30848] ppid=30840 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/30843/task/30848/stat : 30848 (java) S 30840 30843 28803 0 -1 4202560 171 0 0 0 56 6 0 0 20 0 19 0 110697021 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020077403048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30849] ppid=30840 vsize=9625040 CPUtime=0.8 cores=0,2,4,6
/proc/30843/task/30849/stat : 30849 (java) S 30840 30843 28803 0 -1 4202560 345 0 0 0 69 11 0 0 20 0 19 0 110697021 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020076350504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30850] ppid=30840 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/30843/task/30850/stat : 30850 (java) S 30840 30843 28803 0 -1 4202560 346 0 0 0 64 12 0 0 20 0 19 0 110697021 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020075296936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30851] ppid=30840 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/30843/task/30851/stat : 30851 (java) S 30840 30843 28803 0 -1 4202560 195 0 0 0 50 10 0 0 20 0 19 0 110697021 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020074244392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30852] ppid=30840 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/30843/task/30852/stat : 30852 (java) S 30840 30843 28803 0 -1 4202560 320 0 0 0 59 9 0 0 20 0 19 0 110697021 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020073191848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30843/tid=30853] ppid=30840 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/30843/task/30853/stat : 30853 (java) S 30840 30843 28803 0 -1 4202560 191 0 0 0 57 8 0 0 20 0 19 0 110697021 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020072139304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30843/tid=30854] ppid=30840 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/30843/task/30854/stat : 30854 (java) S 30840 30843 28803 0 -1 4202560 384 0 0 0 105 2 0 0 20 0 19 0 110697023 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020059728488 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30855] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30855/stat : 30855 (java) S 30840 30843 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020058674808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30856] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30856/stat : 30856 (java) S 30840 30843 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020057622152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30857] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30857/stat : 30857 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697025 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020056570896 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30858] ppid=30840 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/30843/task/30858/stat : 30858 (java) S 30840 30843 28803 0 -1 4202560 2309 0 0 0 45 0 0 0 20 0 19 0 110697025 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020055517240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30859] ppid=30840 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/30843/task/30859/stat : 30859 (java) S 30840 30843 28803 0 -1 4202560 3278 0 0 0 54 0 0 0 20 0 19 0 110697025 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020054464696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30860] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30860/stat : 30860 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697026 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020053412344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30861] ppid=30840 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/30843/task/30861/stat : 30861 (java) S 30840 30843 28803 0 -1 4202560 103 0 0 0 30 34 0 0 20 0 19 0 110697026 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020052360008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30862] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30862/stat : 30862 (java) S 30840 30843 28803 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110697076 9856040960 171699 33554432000 1073741824 1073778376 140736459003216 140020051207464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.7 s]
/proc/loadavg: 2.13 2.08 2.04 3/214 31166
/proc/meminfo: memFree=30480828/32872528 swapFree=11320/319964
[pid=30843] ppid=30840 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/30843/stat : 30843 (java) S 30840 30843 28803 0 -1 4202496 12169 0 1 0 179899 108 0 0 20 0 19 0 110697019 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140736458994352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 2406260 171697 2293 9 0 2396937 0
[pid=30843/tid=30845] ppid=30840 vsize=9625040 CPUtime=1792.09 cores=0,2,4,6
/proc/30843/task/30845/stat : 30845 (java) R 30840 30843 28803 0 -1 4202560 2535 0 1 0 179174 35 0 0 20 0 19 0 110697020 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020235418960 140020107314977 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30846] ppid=30840 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/30843/task/30846/stat : 30846 (java) S 30840 30843 28803 0 -1 4202560 460 0 0 0 63 10 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020079508136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30843/tid=30847] ppid=30840 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/30843/task/30847/stat : 30847 (java) S 30840 30843 28803 0 -1 4202560 267 0 0 0 57 7 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020078455592 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30848] ppid=30840 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/30843/task/30848/stat : 30848 (java) S 30840 30843 28803 0 -1 4202560 171 0 0 0 57 6 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020077403048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30849] ppid=30840 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/30843/task/30849/stat : 30849 (java) S 30840 30843 28803 0 -1 4202560 345 0 0 0 72 11 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020076350504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30850] ppid=30840 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/30843/task/30850/stat : 30850 (java) S 30840 30843 28803 0 -1 4202560 346 0 0 0 66 12 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020075296936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30851] ppid=30840 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/30843/task/30851/stat : 30851 (java) S 30840 30843 28803 0 -1 4202560 195 0 0 0 52 10 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020074244392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30852] ppid=30840 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/30843/task/30852/stat : 30852 (java) S 30840 30843 28803 0 -1 4202560 320 0 0 0 60 9 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020073191848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30853] ppid=30840 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/30843/task/30853/stat : 30853 (java) S 30840 30843 28803 0 -1 4202560 191 0 0 0 58 8 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020072139304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30843/tid=30854] ppid=30840 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/30843/task/30854/stat : 30854 (java) S 30840 30843 28803 0 -1 4202560 386 0 0 0 105 2 0 0 20 0 19 0 110697023 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020059728488 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30855] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30855/stat : 30855 (java) S 30840 30843 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020058674808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30856] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30856/stat : 30856 (java) S 30840 30843 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020057622152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30857] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30857/stat : 30857 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697025 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020056570896 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30858] ppid=30840 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/30843/task/30858/stat : 30858 (java) S 30840 30843 28803 0 -1 4202560 2309 0 0 0 45 0 0 0 20 0 19 0 110697025 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020055517240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30859] ppid=30840 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/30843/task/30859/stat : 30859 (java) S 30840 30843 28803 0 -1 4202560 3278 0 0 0 54 0 0 0 20 0 19 0 110697025 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020054464696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30860] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30860/stat : 30860 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697026 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020053412344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30861] ppid=30840 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/30843/task/30861/stat : 30861 (java) S 30840 30843 28803 0 -1 4202560 103 0 0 0 30 34 0 0 20 0 19 0 110697026 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020052360008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30862] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30862/stat : 30862 (java) S 30840 30843 28803 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110697076 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020051207464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 30843 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1794.7 s]
/proc/loadavg: 2.13 2.08 2.04 3/214 31166
/proc/meminfo: memFree=30480828/32872528 swapFree=11320/319964
[pid=30843] ppid=30840 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/30843/stat : 30843 (java) S 30840 30843 28803 0 -1 4202496 12169 0 1 0 179899 108 0 0 20 0 19 0 110697019 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140736458994352 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30843/statm: 2406260 171697 2293 9 0 2396937 0
[pid=30843/tid=30845] ppid=30840 vsize=9625040 CPUtime=1792.09 cores=0,2,4,6
/proc/30843/task/30845/stat : 30845 (java) R 30840 30843 28803 0 -1 4202560 2535 0 1 0 179174 35 0 0 20 0 19 0 110697020 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020235418960 140020107314977 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30846] ppid=30840 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/30843/task/30846/stat : 30846 (java) S 30840 30843 28803 0 -1 4202560 460 0 0 0 63 10 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020079508136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30843/tid=30847] ppid=30840 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/30843/task/30847/stat : 30847 (java) S 30840 30843 28803 0 -1 4202560 267 0 0 0 57 7 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020078455592 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30848] ppid=30840 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/30843/task/30848/stat : 30848 (java) S 30840 30843 28803 0 -1 4202560 171 0 0 0 57 6 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020077403048 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30849] ppid=30840 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/30843/task/30849/stat : 30849 (java) S 30840 30843 28803 0 -1 4202560 345 0 0 0 72 11 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020076350504 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30850] ppid=30840 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/30843/task/30850/stat : 30850 (java) S 30840 30843 28803 0 -1 4202560 346 0 0 0 66 12 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020075296936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30851] ppid=30840 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/30843/task/30851/stat : 30851 (java) S 30840 30843 28803 0 -1 4202560 195 0 0 0 52 10 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020074244392 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30852] ppid=30840 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/30843/task/30852/stat : 30852 (java) S 30840 30843 28803 0 -1 4202560 320 0 0 0 60 9 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020073191848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30853] ppid=30840 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/30843/task/30853/stat : 30853 (java) S 30840 30843 28803 0 -1 4202560 191 0 0 0 58 8 0 0 20 0 19 0 110697021 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020072139304 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30843/tid=30854] ppid=30840 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/30843/task/30854/stat : 30854 (java) S 30840 30843 28803 0 -1 4202560 386 0 0 0 105 2 0 0 20 0 19 0 110697023 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020059728488 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30843/tid=30855] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30855/stat : 30855 (java) S 30840 30843 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020058674808 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30856] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30856/stat : 30856 (java) S 30840 30843 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110697023 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020057622152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30857] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30857/stat : 30857 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697025 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020056570896 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30858] ppid=30840 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/30843/task/30858/stat : 30858 (java) S 30840 30843 28803 0 -1 4202560 2309 0 0 0 45 0 0 0 20 0 19 0 110697025 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020055517240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30859] ppid=30840 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/30843/task/30859/stat : 30859 (java) S 30840 30843 28803 0 -1 4202560 3278 0 0 0 54 0 0 0 20 0 19 0 110697025 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020054464696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30860] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30860/stat : 30860 (java) S 30840 30843 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110697026 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020053412344 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30843/tid=30861] ppid=30840 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/30843/task/30861/stat : 30861 (java) S 30840 30843 28803 0 -1 4202560 103 0 0 0 30 34 0 0 20 0 19 0 110697026 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020052360008 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30843/tid=30862] ppid=30840 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30843/task/30862/stat : 30862 (java) S 30840 30843 28803 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110697076 9856040960 171697 33554432000 1073741824 1073778376 140736459003216 140020051207464 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1794.78
CPU time (s): 1800.75
CPU user time (s): 1799.17
CPU system time (s): 1.58276
CPU usage (%): 100.333
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 1.58276
maximum resident set size= 769020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12330
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38822
involuntary context switches= 10489

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5124 second user time and 13.8529 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-07 10:20:37
IDJOB=4084604
IDBENCH=90190
IDSOLVER=2546
FILE ID=node128/4084604-1465287637
RUNJOBID= node128-1465270992-28819
PBS_JOBID= 19843302
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084604-1465287637/watcher-4084604-1465287637 -o /tmp/evaluation-result-4084604-1465287637/solver-4084604-1465287637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465270992-28819 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084604-1465287637.opb

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

MD5SUM BENCH= b6be79d7c894904bfb5f7c9acfb80f53
RANDOM SEED=1765898131

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31259336 kB
Buffers:          123320 kB
Cached:           246136 kB
SwapCached:         1668 kB
Active:           282508 kB
Inactive:         259292 kB
Active(anon):     174256 kB
Inactive(anon):      588 kB
Active(file):     108252 kB
Inactive(file):   258704 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098516 kB
Dirty:              1996 kB
Writeback:             0 kB
AnonPages:        610468 kB
Mapped:            15432 kB
Shmem:                 0 kB
Slab:             603288 kB
SReclaimable:      46664 kB
SUnreclaim:       556624 kB
KernelStack:        1768 kB
PageTables:         4820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1013660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    577536 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 node128 at 2016-06-07 10:50:32