Trace number 4084624

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.77 1794.32

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K196.opb
MD5SUMbcce2e1d61aa4147a6a5a8b58d6d164e
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 variables23324
Total number of constraints23718
Number of constraints which are clauses23522
Number of constraints which are cardinality constraints (but not clauses)196
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint196
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 197
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.00/0.09	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-4084624-1465285980.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
1.07/0.61	c ... done. Wall clock time 0.496s.
1.07/0.61	c declared #vars     23324
1.07/0.61	c #constraints  23718
1.07/0.61	c constraints type 
1.07/0.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20985
1.07/0.61	c org.sat4j.minisat.constraints.card.MinWatchCard => 196
1.07/0.61	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1.07/0.61	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2535
1.07/0.61	c 23718 constraints processed.
4.54/3.78	c cleaning 2489 clauses out of 4991 with flag 22489/5001
7.63/6.78	c cleaning 4240 clauses out of 8492 with flag 53302/11000
11.23/10.30	c cleaning 5613 clauses out of 11249 with flag 92288/18000
14.74/13.85	c cleaning 6787 clauses out of 13639 with flag 131919/26003
18.95/18.04	c cleaning 7569 clauses out of 15848 with flag 175786/35000
23.85/22.91	c cleaning 7947 clauses out of 18277 with flag 223722/45002
29.05/28.13	c cleaning 8708 clauses out of 21325 with flag 277791/56000
34.55/33.61	c cleaning 9680 clauses out of 24617 with flag 339011/68000
40.75/39.87	c cleaning 10226 clauses out of 27935 with flag 402969/81000
47.26/46.39	c cleaning 11219 clauses out of 31708 with flag 472578/95000
54.55/53.60	c cleaning 12006 clauses out of 35487 with flag 552317/110000
62.46/61.52	c cleaning 12697 clauses out of 39479 with flag 636369/126000
70.76/69.81	c cleaning 13578 clauses out of 43781 with flag 726551/143000
79.46/78.52	c cleaning 14581 clauses out of 48202 with flag 821054/161000
88.72/87.78	c cleaning 15172 clauses out of 52618 with flag 920344/180001
98.82/97.82	c cleaning 15946 clauses out of 57446 with flag 1028679/200001
108.72/107.71	c cleaning 16778 clauses out of 62498 with flag 1138418/221001
119.12/118.17	c cleaning 17710 clauses out of 67719 with flag 1257658/243000
130.23/129.21	c cleaning 18786 clauses out of 73009 with flag 1379027/266000
142.83/141.82	c cleaning 19184 clauses out of 78222 with flag 1510923/290000
156.03/155.10	c cleaning 20138 clauses out of 84037 with flag 1648241/315001
169.21/168.10	c cleaning 20938 clauses out of 89898 with flag 1795409/341000
183.11/182.07	c cleaning 21768 clauses out of 95958 with flag 1953069/368000
197.52/196.44	c cleaning 22740 clauses out of 102190 with flag 2109754/396001
212.22/211.12	c cleaning 23565 clauses out of 108449 with flag 2273052/425000
227.22/226.12	c cleaning 24607 clauses out of 114884 with flag 2443821/455000
243.53/242.44	c cleaning 25412 clauses out of 121276 with flag 2618832/486000
261.46/260.17	c cleaning 25848 clauses out of 127864 with flag 2797392/518000
279.77/278.46	c cleaning 26709 clauses out of 135016 with flag 2985523/551000
298.38/297.03	c cleaning 27908 clauses out of 142307 with flag 3176475/585000
317.57/316.29	c cleaning 28546 clauses out of 149398 with flag 3376234/620000
337.18/335.81	c cleaning 29836 clauses out of 156852 with flag 3581331/656000
358.69/357.11	c cleaning 30403 clauses out of 164015 with flag 3794048/693000
381.39/379.84	c cleaning 31116 clauses out of 171612 with flag 4021006/731000
404.50/402.95	c cleaning 32259 clauses out of 179495 with flag 4247571/770000
428.71/427.11	c cleaning 32889 clauses out of 187235 with flag 4484035/810000
453.48/451.60	c cleaning 34079 clauses out of 195346 with flag 4730840/851000
478.38/476.54	c cleaning 34943 clauses out of 203267 with flag 4981378/893000
505.39/503.55	c cleaning 35406 clauses out of 211322 with flag 5236138/936000
532.82/530.64	c cleaning 36680 clauses out of 219918 with flag 5494018/980002
560.72/558.52	c cleaning 37662 clauses out of 228236 with flag 5766411/1025000
590.04/587.44	c cleaning 38204 clauses out of 236575 with flag 6038878/1071001
620.23/617.60	c cleaning 39080 clauses out of 245370 with flag 6329514/1118001
651.91/649.25	c cleaning 39623 clauses out of 254290 with flag 6618554/1166001
684.32/681.56	c cleaning 40807 clauses out of 263665 with flag 6914035/1215000
717.23/714.37	c cleaning 41880 clauses out of 272861 with flag 7205834/1265003
751.92/748.91	c cleaning 42753 clauses out of 281978 with flag 7519407/1316000
786.19/783.19	c cleaning 43706 clauses out of 291227 with flag 7841346/1368002
821.99/818.84	c cleaning 44554 clauses out of 300519 with flag 8164579/1421000
858.77/855.54	c cleaning 45439 clauses out of 309963 with flag 8506067/1475000
894.97/891.69	c cleaning 46662 clauses out of 319526 with flag 8843370/1530002
934.85/931.48	c cleaning 46952 clauses out of 328864 with flag 9207831/1586002
974.86/971.39	c cleaning 47874 clauses out of 338908 with flag 9567028/1643001
1015.76/1012.12	c cleaning 49072 clauses out of 349036 with flag 9927979/1701004
1058.04/1054.38	c cleaning 50002 clauses out of 358960 with flag 10302464/1760000
1101.13/1097.25	c cleaning 50672 clauses out of 368957 with flag 10674701/1820001
1145.42/1141.42	c cleaning 51751 clauses out of 379281 with flag 11053872/1881000
1191.59/1187.58	c cleaning 52358 clauses out of 389529 with flag 11449267/1943000
1238.45/1234.29	c cleaning 53544 clauses out of 400169 with flag 11860778/2006001
1285.04/1280.75	c cleaning 54555 clauses out of 410624 with flag 12277313/2070000
1332.49/1328.07	c cleaning 55763 clauses out of 421068 with flag 12708487/2135000
1382.30/1377.77	c cleaning 56229 clauses out of 431302 with flag 13146509/2201000
1432.68/1427.95	c cleaning 57274 clauses out of 442073 with flag 13583428/2268000
1484.18/1479.38	c cleaning 58362 clauses out of 452800 with flag 14016114/2336001
1538.47/1533.44	c cleaning 59436 clauses out of 463436 with flag 14476862/2405001
1592.83/1587.60	c cleaning 60285 clauses out of 473998 with flag 14940652/2475000
1647.30/1641.93	c cleaning 60956 clauses out of 484711 with flag 15406677/2546000
1704.96/1699.43	c cleaning 61958 clauses out of 495754 with flag 15886276/2618001
1763.72/1758.00	c cleaning 62700 clauses out of 506792 with flag 16369561/2691000
1800.00/1794.25	c starts		: 15036
1800.00/1794.25	c conflicts		: 2738774
1800.00/1794.25	c decisions		: 132293812
1800.00/1794.25	c propagations		: 3146395267
1800.00/1794.25	c inspects		: 10095934676
1800.00/1794.25	c shortcuts		: 0
1800.00/1794.25	c learnt literals	: 90
1800.00/1794.25	c learnt binary clauses	: 212913
1800.00/1794.25	c learnt ternary clauses	: 166992
1800.00/1794.25	c learnt constraints	: 2738684
1800.00/1794.25	c ignored constraints	: 0
1800.00/1794.25	c root simplifications	: 0
1800.00/1794.25	c removed literals (reason simplification)	: 0
1800.00/1794.25	c reason swapping (by a shorter reason)	: 0
1800.00/1794.25	c Calls to reduceDB	: 69
1800.00/1794.25	c Number of update (reduction) of LBD	: 1716523
1800.00/1794.25	c Imported unit clauses	: 0
1800.00/1794.25	c number of reductions to clauses (during analyze)	: 0
1800.00/1794.25	c number of learned constraints concerned by reduction	: 0
1800.00/1794.25	c number of learning phase by resolution	: 0
1800.00/1794.25	c number of learning phase by cutting planes	: 0
1800.00/1794.25	c speed (assignments/second)	: 1754220.9566829875
1800.00/1794.25	c non guided choices	89409
1800.00/1794.25	c timeout
1800.22/1794.32	c learnt constraints type 
1800.22/1794.32	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 212913
1800.22/1794.32	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 278952
1800.22/1794.32	s UNKNOWN
1800.22/1794.32	c Total wall clock time (in seconds): 1794.201

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-4084624-1465285980/watcher-4084624-1465285980 -o /tmp/evaluation-result-4084624-1465285980/solver-4084624-1465285980 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465253623-5697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084624-1465285980.opb 

pid=12641
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.11 2.11 3/193 12644
/proc/meminfo: memFree=29882624/32872528 swapFree=13072/1184284
[pid=12644] ppid=12641 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/12644/stat : 12644 (java) R 12641 12644 5680 0 -1 4202496 157 0 0 0 0 0 0 0 20 0 1 0 110532732 278528 33 33554432000 1073741824 1073778376 140734126742176 140734126739352 271778409767 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12644/statm: 68 33 25 9 0 25 0

[startup+0.100061 s]
/proc/loadavg: 2.08 2.11 2.11 3/193 12644
/proc/meminfo: memFree=29882624/32872528 swapFree=13072/1184284
[pid=12644] ppid=12641 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12644/stat : 12644 (java) S 12641 12644 5680 0 -1 4202496 4448 0 1 0 8 1 0 0 20 0 18 0 110532732 9787879424 5571 33554432000 1073741824 1073778376 140733472759024 140733472750160 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12644/statm: 2389619 5571 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20023 s]
/proc/loadavg: 2.08 2.11 2.11 3/193 12644
/proc/meminfo: memFree=29882624/32872528 swapFree=13072/1184284
[pid=12644] ppid=12641 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/12644/stat : 12644 (java) S 12641 12644 5680 0 -1 4202496 5048 0 1 0 27 1 0 0 20 0 18 0 110532732 9787879424 6533 33554432000 1073741824 1073778376 140733472759024 140733472750160 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12644/statm: 2389619 6533 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300227 s]
/proc/loadavg: 2.08 2.11 2.11 3/193 12644
/proc/meminfo: memFree=29882624/32872528 swapFree=13072/1184284
[pid=12644] ppid=12641 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/12644/stat : 12644 (java) S 12641 12644 5680 0 -1 4202496 7436 0 1 0 53 2 0 0 20 0 18 0 110532732 9787879424 10933 33554432000 1073741824 1073778376 140733472759024 140733472750160 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12644/statm: 2389619 10933 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700205 s]
/proc/loadavg: 2.08 2.11 2.11 3/193 12644
/proc/meminfo: memFree=29882624/32872528 swapFree=13072/1184284
[pid=12644] ppid=12641 vsize=9625040 CPUtime=1.32 cores=1,3,5,7
/proc/12644/stat : 12644 (java) S 12641 12644 5680 0 -1 4202496 8450 0 1 0 128 4 0 0 20 0 19 0 110532732 9856040960 41351 33554432000 1073741824 1073778376 140733472759024 140733472750160 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12644/statm: 2406260 41351 2275 9 0 2396937 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9625040

[startup+1.50089 s]
/proc/loadavg: 2.08 2.11 2.11 3/212 12663
/proc/meminfo: memFree=29725356/32872528 swapFree=13072/1184284
[pid=12644] ppid=12641 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/12644/stat : 12644 (java) S 12641 12644 5680 0 -1 4202496 9471 0 1 0 227 4 0 0 20 0 19 0 110532732 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140733472750160 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12644/statm: 2406260 41448 2277 9 0 2396937 0
[pid=12644/tid=12646] ppid=12641 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/12644/task/12646/stat : 12646 (java) R 12641 12644 5680 0 -1 4202560 2534 0 1 0 142 3 0 0 20 0 19 0 110532733 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439729058136 140439601825337 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12647] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12647/stat : 12647 (java) S 12641 12644 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439572765224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12648] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12648/stat : 12648 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439571712424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12649] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12649/stat : 12649 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439570659624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12650] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12650/stat : 12650 (java) S 12641 12644 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439569606824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12651] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12651/stat : 12651 (java) S 12641 12644 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439568555048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12652] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12652/stat : 12652 (java) S 12641 12644 5680 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439567502248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12653] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12653/stat : 12653 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439566449448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12654] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12654/stat : 12654 (java) S 12641 12644 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439565396648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12655] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12655/stat : 12655 (java) S 12641 12644 5680 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 110532735 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439553198568 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12656] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12656/stat : 12656 (java) S 12641 12644 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110532736 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439552144632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12657] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12657/stat : 12657 (java) S 12641 12644 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110532736 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439551091720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12658] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12658/stat : 12658 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439550040208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12659] ppid=12641 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/12644/task/12659/stat : 12659 (java) S 12641 12644 5680 0 -1 4202560 2837 0 0 0 40 0 0 0 20 0 19 0 110532738 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439548988344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12660] ppid=12641 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/12644/task/12660/stat : 12660 (java) S 12641 12644 5680 0 -1 4202560 2726 0 0 0 39 0 0 0 20 0 19 0 110532738 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439547935544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12661] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12661/stat : 12661 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439546882936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12662] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12662/stat : 12662 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439545830344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12663] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12663/stat : 12663 (java) S 12641 12644 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110532795 9856040960 41448 33554432000 1073741824 1073778376 140733472759024 140439544775848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.08 2.11 2.11 3/212 12663
/proc/meminfo: memFree=29725108/32872528 swapFree=13072/1184284
[pid=12644] ppid=12641 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/12644/stat : 12644 (java) S 12641 12644 5680 0 -1 4202496 9477 0 1 0 390 4 0 0 20 0 19 0 110532732 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140733472750160 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12644/statm: 2406260 41452 2278 9 0 2396937 0
[pid=12644/tid=12646] ppid=12641 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/12644/task/12646/stat : 12646 (java) R 12641 12644 5680 0 -1 4202560 2536 0 1 0 302 3 0 0 20 0 19 0 110532733 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439729058264 140439602003282 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12647] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12647/stat : 12647 (java) S 12641 12644 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439572765224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12648] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12648/stat : 12648 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439571712424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12649] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12649/stat : 12649 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439570659624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12650] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12650/stat : 12650 (java) S 12641 12644 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439569606824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12651] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12651/stat : 12651 (java) S 12641 12644 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439568555048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12652] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12652/stat : 12652 (java) S 12641 12644 5680 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439567502248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12653] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12653/stat : 12653 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439566449448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12654] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12654/stat : 12654 (java) S 12641 12644 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439565396648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12655] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12655/stat : 12655 (java) S 12641 12644 5680 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 110532735 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439553198568 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12656] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12656/stat : 12656 (java) S 12641 12644 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110532736 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439552144632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12657] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12657/stat : 12657 (java) S 12641 12644 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110532736 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439551091720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12658] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12658/stat : 12658 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439550040208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12659] ppid=12641 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/12644/task/12659/stat : 12659 (java) S 12641 12644 5680 0 -1 4202560 2837 0 0 0 40 0 0 0 20 0 19 0 110532738 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439548988344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12660] ppid=12641 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/12644/task/12660/stat : 12660 (java) S 12641 12644 5680 0 -1 4202560 2730 0 0 0 41 0 0 0 20 0 19 0 110532738 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439547935544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12661] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12661/stat : 12661 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439546882936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12662] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12662/stat : 12662 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439545830344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12663] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12663/stat : 12663 (java) S 12641 12644 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110532795 9856040960 41452 33554432000 1073741824 1073778376 140733472759024 140439544775848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 9625040

[startup+6.3009 s]
/proc/loadavg: 2.08 2.10 2.11 3/213 12664
/proc/meminfo: memFree=29724868/32872528 swapFree=13072/1184284
[pid=12644] ppid=12641 vsize=9625040 CPUtime=7.22 cores=1,3,5,7
/proc/12644/stat : 12644 (java) S 12641 12644 5680 0 -1 4202496 9772 0 1 0 718 4 0 0 20 0 19 0 110532732 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140733472750160 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12644/statm: 2406260 41358 2284 9 0 2396937 0
[pid=12644/tid=12646] ppid=12641 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/12644/task/12646/stat : 12646 (java) R 12641 12644 5680 0 -1 4202560 2538 0 1 0 622 3 0 0 20 0 19 0 110532733 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439729058136 140439601980310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12647] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12647/stat : 12647 (java) S 12641 12644 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439572765224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12648] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12648/stat : 12648 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439571712424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12649] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12649/stat : 12649 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439570659624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12650] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12650/stat : 12650 (java) S 12641 12644 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439569606824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12651] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12651/stat : 12651 (java) S 12641 12644 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439568555048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12652] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12652/stat : 12652 (java) S 12641 12644 5680 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439567502248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12653] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12653/stat : 12653 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439566449448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12654] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12654/stat : 12654 (java) S 12641 12644 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110532734 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439565396648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12655] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12655/stat : 12655 (java) S 12641 12644 5680 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 110532735 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439553198568 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12656] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12656/stat : 12656 (java) S 12641 12644 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110532736 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439552144632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12657] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12657/stat : 12657 (java) S 12641 12644 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110532736 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439551091720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12658] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12658/stat : 12658 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439550040208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12659] ppid=12641 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/12644/task/12659/stat : 12659 (java) S 12641 12644 5680 0 -1 4202560 3124 0 0 0 45 0 0 0 20 0 19 0 110532738 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439548988344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12660] ppid=12641 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/12644/task/12660/stat : 12660 (java) S 12641 12644 5680 0 -1 4202560 2736 0 0 0 44 0 0 0 20 0 19 0 110532738 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439547935544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12661] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12661/stat : 12661 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439546882936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12662] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12662/stat : 12662 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439545830344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12663] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12663/stat : 12663 (java) S 12641 12644 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110532795 9856040960 41358 33554432000 1073741824 1073778376 140733472759024 140439544775848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 9625040


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

[pid=12644/tid=12655] ppid=12641 vsize=9625040 CPUtime=1.27 cores=1,3,5,7
/proc/12644/task/12655/stat : 12655 (java) S 12641 12644 5680 0 -1 4202560 398 0 0 0 124 3 0 0 20 0 19 0 110532735 9856040960 106383 33554432000 1073741824 1073778376 140733472759024 140439553198568 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12656] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12656/stat : 12656 (java) S 12641 12644 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110532736 9856040960 106383 33554432000 1073741824 1073778376 140733472759024 140439552144632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12657] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12657/stat : 12657 (java) S 12641 12644 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110532736 9856040960 106383 33554432000 1073741824 1073778376 140733472759024 140439551091720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12658] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12658/stat : 12658 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 106383 33554432000 1073741824 1073778376 140733472759024 140439550040208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12659] ppid=12641 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/12644/task/12659/stat : 12659 (java) S 12641 12644 5680 0 -1 4202560 3255 0 0 0 50 0 0 0 20 0 19 0 110532738 9856040960 106383 33554432000 1073741824 1073778376 140733472759024 140439548988344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12660] ppid=12641 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/12644/task/12660/stat : 12660 (java) S 12641 12644 5680 0 -1 4202560 2737 0 0 0 45 0 0 0 20 0 19 0 110532738 9856040960 106383 33554432000 1073741824 1073778376 140733472759024 140439547935544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12661] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12661/stat : 12661 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 106383 33554432000 1073741824 1073778376 140733472759024 140439546882936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12662] ppid=12641 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/12644/task/12662/stat : 12662 (java) S 12641 12644 5680 0 -1 4202560 99 0 0 0 30 44 0 0 20 0 19 0 110532738 9856040960 106383 33554432000 1073741824 1073778376 140733472759024 140439545830344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12663] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12663/stat : 12663 (java) S 12641 12644 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110532795 9856040960 106383 33554432000 1073741824 1073778376 140733472759024 140439544775848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1727.93
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.13 1.32 1.67 2/188 12763
/proc/meminfo: memFree=30122448/32872528 swapFree=13072/1184284
[pid=12644] ppid=12641 vsize=9625040 CPUtime=1788.09 cores=1,3,5,7
/proc/12644/stat : 12644 (java) S 12641 12644 5680 0 -1 4202496 13725 0 1 0 178680 129 0 0 20 0 19 0 110532732 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140733472750160 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12644/statm: 2406260 104378 2293 9 0 2396937 0
[pid=12644/tid=12646] ppid=12641 vsize=9625040 CPUtime=1779.26 cores=1,3,5,7
/proc/12644/task/12646/stat : 12646 (java) R 12641 12644 5680 0 -1 4202560 2582 0 1 0 177895 31 0 0 20 0 19 0 110532733 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439729057008 140439601844335 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12647] ppid=12641 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/12644/task/12647/stat : 12647 (java) S 12641 12644 5680 0 -1 4202560 265 0 0 0 56 8 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439572765224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12648] ppid=12641 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/12644/task/12648/stat : 12648 (java) S 12641 12644 5680 0 -1 4202560 365 0 0 0 64 10 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439571712424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12649] ppid=12641 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/12644/task/12649/stat : 12649 (java) S 12641 12644 5680 0 -1 4202560 437 0 0 0 77 12 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439570659624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12650] ppid=12641 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/12644/task/12650/stat : 12650 (java) S 12641 12644 5680 0 -1 4202560 344 0 0 0 54 7 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439569606824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12651] ppid=12641 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/12644/task/12651/stat : 12651 (java) S 12641 12644 5680 0 -1 4202560 291 0 0 0 74 12 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439568555048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12652] ppid=12641 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/12644/task/12652/stat : 12652 (java) S 12641 12644 5680 0 -1 4202560 594 0 0 0 54 9 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439567502248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12653] ppid=12641 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/12644/task/12653/stat : 12653 (java) S 12641 12644 5680 0 -1 4202560 399 0 0 0 70 13 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439566449448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12654] ppid=12641 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/12644/task/12654/stat : 12654 (java) S 12641 12644 5680 0 -1 4202560 690 0 0 0 74 14 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439565396648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12655] ppid=12641 vsize=9625040 CPUtime=1.27 cores=1,3,5,7
/proc/12644/task/12655/stat : 12655 (java) S 12641 12644 5680 0 -1 4202560 400 0 0 0 124 3 0 0 20 0 19 0 110532735 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439553198568 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12656] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12656/stat : 12656 (java) S 12641 12644 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110532736 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439552144632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12657] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12657/stat : 12657 (java) S 12641 12644 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110532736 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439551091720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12658] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12658/stat : 12658 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439550040208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12659] ppid=12641 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/12644/task/12659/stat : 12659 (java) S 12641 12644 5680 0 -1 4202560 3255 0 0 0 50 0 0 0 20 0 19 0 110532738 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439548988344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12660] ppid=12641 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/12644/task/12660/stat : 12660 (java) S 12641 12644 5680 0 -1 4202560 2737 0 0 0 45 0 0 0 20 0 19 0 110532738 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439547935544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12661] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12661/stat : 12661 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439546882936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12662] ppid=12641 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/12644/task/12662/stat : 12662 (java) S 12641 12644 5680 0 -1 4202560 103 0 0 0 32 46 0 0 20 0 19 0 110532738 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439545830344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12663] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12663/stat : 12663 (java) S 12641 12644 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110532795 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439544775848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1788.09
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.21 s]
/proc/loadavg: 1.10 1.30 1.66 2/188 12763
/proc/meminfo: memFree=30122996/32872528 swapFree=13072/1184284
[pid=12644] ppid=12641 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/12644/stat : 12644 (java) S 12641 12644 5680 0 -1 4202496 13725 0 1 0 179871 129 0 0 20 0 19 0 110532732 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140733472750160 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12644/statm: 2406260 104378 2293 9 0 2396937 0
[pid=12644/tid=12646] ppid=12641 vsize=9625040 CPUtime=1791.16 cores=1,3,5,7
/proc/12644/task/12646/stat : 12646 (java) R 12641 12644 5680 0 -1 4202560 2582 0 1 0 179085 31 0 0 20 0 19 0 110532733 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439729057008 140439601980979 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12647] ppid=12641 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/12644/task/12647/stat : 12647 (java) S 12641 12644 5680 0 -1 4202560 265 0 0 0 56 8 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439572765224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12648] ppid=12641 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/12644/task/12648/stat : 12648 (java) S 12641 12644 5680 0 -1 4202560 365 0 0 0 64 10 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439571712424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12649] ppid=12641 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/12644/task/12649/stat : 12649 (java) S 12641 12644 5680 0 -1 4202560 437 0 0 0 77 12 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439570659624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12650] ppid=12641 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/12644/task/12650/stat : 12650 (java) S 12641 12644 5680 0 -1 4202560 344 0 0 0 54 7 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439569606824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12651] ppid=12641 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/12644/task/12651/stat : 12651 (java) S 12641 12644 5680 0 -1 4202560 291 0 0 0 74 12 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439568555048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12652] ppid=12641 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/12644/task/12652/stat : 12652 (java) S 12641 12644 5680 0 -1 4202560 594 0 0 0 54 9 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439567502248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12653] ppid=12641 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/12644/task/12653/stat : 12653 (java) S 12641 12644 5680 0 -1 4202560 399 0 0 0 70 13 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439566449448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12654] ppid=12641 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/12644/task/12654/stat : 12654 (java) S 12641 12644 5680 0 -1 4202560 690 0 0 0 74 14 0 0 20 0 19 0 110532734 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439565396648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12655] ppid=12641 vsize=9625040 CPUtime=1.27 cores=1,3,5,7
/proc/12644/task/12655/stat : 12655 (java) S 12641 12644 5680 0 -1 4202560 400 0 0 0 124 3 0 0 20 0 19 0 110532735 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439553198568 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12656] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12656/stat : 12656 (java) S 12641 12644 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110532736 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439552144632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12657] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12657/stat : 12657 (java) S 12641 12644 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110532736 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439551091720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12658] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12658/stat : 12658 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439550040208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12659] ppid=12641 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/12644/task/12659/stat : 12659 (java) S 12641 12644 5680 0 -1 4202560 3255 0 0 0 50 0 0 0 20 0 19 0 110532738 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439548988344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12660] ppid=12641 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/12644/task/12660/stat : 12660 (java) S 12641 12644 5680 0 -1 4202560 2737 0 0 0 45 0 0 0 20 0 19 0 110532738 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439547935544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12661] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12661/stat : 12661 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110532738 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439546882936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12662] ppid=12641 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/12644/task/12662/stat : 12662 (java) S 12641 12644 5680 0 -1 4202560 103 0 0 0 32 46 0 0 20 0 19 0 110532738 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439545830344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12663] ppid=12641 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12663/stat : 12663 (java) S 12641 12644 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110532795 9856040960 104378 33554432000 1073741824 1073778376 140733472759024 140439544775848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 12644 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1794.31 s]
/proc/loadavg: 1.10 1.30 1.66 2/188 12763
/proc/meminfo: memFree=30122996/32872528 swapFree=13072/1184284
[pid=12644] ppid=12641 vsize=9758168 CPUtime=1800.22 cores=1,3,5,7
/proc/12644/stat : 12644 (java) S 12641 12644 5680 0 -1 4202496 13930 0 1 0 179892 130 0 0 20 0 20 0 110532732 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140733472750160 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12644/statm: 2439542 103026 2294 9 0 2430219 0
[pid=12644/tid=12646] ppid=12641 vsize=9758168 CPUtime=1791.17 cores=1,3,5,7
/proc/12644/task/12646/stat : 12646 (java) S 12641 12644 5680 0 -1 4202560 2582 0 1 0 179086 31 0 0 20 0 20 0 110532733 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439729059224 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12647] ppid=12641 vsize=9758168 CPUtime=0.67 cores=1,3,5,7
/proc/12644/task/12647/stat : 12647 (java) S 12641 12644 5680 0 -1 4202560 265 0 0 0 59 8 0 0 20 0 20 0 110532734 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439572765224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12648] ppid=12641 vsize=9758168 CPUtime=0.75 cores=1,3,5,7
/proc/12644/task/12648/stat : 12648 (java) S 12641 12644 5680 0 -1 4202560 366 0 0 0 65 10 0 0 20 0 20 0 110532734 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439571712424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12649] ppid=12641 vsize=9758168 CPUtime=0.91 cores=1,3,5,7
/proc/12644/task/12649/stat : 12649 (java) S 12641 12644 5680 0 -1 4202560 437 0 0 0 79 12 0 0 20 0 20 0 110532734 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439570659624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12650] ppid=12641 vsize=9758168 CPUtime=0.63 cores=1,3,5,7
/proc/12644/task/12650/stat : 12650 (java) S 12641 12644 5680 0 -1 4202560 344 0 0 0 56 7 0 0 20 0 20 0 110532734 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439569606824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12644/tid=12651] ppid=12641 vsize=9758168 CPUtime=0.87 cores=1,3,5,7
/proc/12644/task/12651/stat : 12651 (java) S 12641 12644 5680 0 -1 4202560 291 0 0 0 75 12 0 0 20 0 20 0 110532734 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439568555048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12652] ppid=12641 vsize=9758168 CPUtime=0.65 cores=1,3,5,7
/proc/12644/task/12652/stat : 12652 (java) S 12641 12644 5680 0 -1 4202560 595 0 0 0 56 9 0 0 20 0 20 0 110532734 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439567502248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12653] ppid=12641 vsize=9758168 CPUtime=0.85 cores=1,3,5,7
/proc/12644/task/12653/stat : 12653 (java) S 12641 12644 5680 0 -1 4202560 399 0 0 0 72 13 0 0 20 0 20 0 110532734 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439566449448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12654] ppid=12641 vsize=9758168 CPUtime=0.89 cores=1,3,5,7
/proc/12644/task/12654/stat : 12654 (java) S 12641 12644 5680 0 -1 4202560 693 0 0 0 75 14 0 0 20 0 20 0 110532734 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439565396648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12655] ppid=12641 vsize=9758168 CPUtime=1.28 cores=1,3,5,7
/proc/12644/task/12655/stat : 12655 (java) S 12641 12644 5680 0 -1 4202560 401 0 0 0 125 3 0 0 20 0 20 0 110532735 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439553198568 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12656] ppid=12641 vsize=9758168 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12656/stat : 12656 (java) S 12641 12644 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 110532736 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439552144632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12657] ppid=12641 vsize=9758168 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12657/stat : 12657 (java) S 12641 12644 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 110532736 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439551091720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12658] ppid=12641 vsize=9758168 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12658/stat : 12658 (java) S 12641 12644 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 110532738 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439550040208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12644/tid=12659] ppid=12641 vsize=9758168 CPUtime=0.54 cores=1,3,5,7
/proc/12644/task/12659/stat : 12659 (java) S 12641 12644 5680 0 -1 4202560 3421 0 0 0 54 0 0 0 20 0 20 0 110532738 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439548988344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12644/tid=12660] ppid=12641 vsize=9758168 CPUtime=0.45 cores=1,3,5,7
/proc/12644/task/12660/stat : 12660 (java) S 12641 12644 5680 0 -1 4202560 2737 0 0 0 45 0 0 0 20 0 20 0 110532738 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439547935544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12661] ppid=12641 vsize=9758168 CPUtime=0 cores=1,3,5,7
/proc/12644/task/12661/stat : 12661 (java) S 12641 12644 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 110532738 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439546882936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12644/tid=12662] ppid=12641 vsize=9758168 CPUtime=0.78 cores=1,3,5,7
/proc/12644/task/12662/stat : 12662 (java) S 12641 12644 5680 0 -1 4202560 103 0 0 0 32 46 0 0 20 0 20 0 110532738 9992364032 103026 33554432000 1073741824 1073778376 140733472759024 140439545830344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 9758168

Child status: 143
Real time (s): 1794.32
CPU time (s): 1800.77
CPU user time (s): 1798.98
CPU system time (s): 1.79273
CPU usage (%): 100.359
Max. virtual memory (cumulated for all children) (KiB): 9758168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.79273
maximum resident set size= 816212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13931
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39173
involuntary context switches= 14997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2724 second user time and 14.1638 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-07 09:53:00
IDJOB=4084624
IDBENCH=90154
IDSOLVER=2546
FILE ID=node115/4084624-1465285980
RUNJOBID= node115-1465253623-5697
PBS_JOBID= 19843266
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= bcce2e1d61aa4147a6a5a8b58d6d164e
RANDOM SEED=2023180206

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.174
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.57
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.174
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.57
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.174
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:        29883252 kB
Buffers:          112392 kB
Cached:           287660 kB
SwapCached:         2020 kB
Active:           722644 kB
Inactive:         316816 kB
Active(anon):     639796 kB
Inactive(anon):     2100 kB
Active(file):      82848 kB
Inactive(file):   314716 kB
Unevictable:     1184284 kB
Mlocked:           13072 kB
SwapTotal:      67108856 kB
SwapFree:       67098836 kB
Dirty:              2376 kB
Writeback:             0 kB
AnonPages:       1927268 kB
Mapped:            16480 kB
Shmem:                 0 kB
Slab:             616692 kB
SReclaimable:      60600 kB
SUnreclaim:       556092 kB
KernelStack:        1752 kB
PageTables:         7760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2185612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1890304 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= 71740 MiB
End job on node115 at 2016-06-07 10:22:55