Trace number 4080566

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 Res+CP PB16? (TO) 1800.05 894.976

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K89.opb
MD5SUM30c9df0e6d94fba856558f98ad1383d9
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 variables6052
Total number of constraints6232
Number of constraints which are clauses6143
Number of constraints which are cardinality constraints (but not clauses)89
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint89
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 90
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4080566-1465277168.opb
0.10/0.11	c reading problem ... 
0.10/0.12	c  no objective function found
0.79/0.46	c ... done. Wall clock time 0.349s.
0.79/0.46	c declared #vars     6052
0.79/0.46	c #constraints  6232
0.79/0.47	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.79/0.47	c constraints type 
0.79/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4997
0.79/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 89
0.79/0.47	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.79/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1144
0.79/0.47	c 6232 constraints processed.
0.79/0.47	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.79/0.47	c constraints type 
0.79/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1144
0.79/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4997
0.79/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 89
0.79/0.47	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.79/0.47	c 6232 constraints processed.
5.82/2.00	c cleaning 2481 clauses out of 4996 with flag 25269/5001
9.48/3.51	c cleaning 4247 clauses out of 8505 with flag 63841/11001
12.76/5.14	c cleaning 5615 clauses out of 11251 with flag 115067/18000
16.27/6.90	c cleaning 6783 clauses out of 13633 with flag 170729/26001
20.79/9.06	c cleaning 7903 clauses out of 15850 with flag 229154/35002
26.28/11.72	c cleaning 8903 clauses out of 17942 with flag 289542/45000
32.37/14.72	c cleaning 9900 clauses out of 20037 with flag 357991/56001
39.06/18.09	c cleaning 10250 clauses out of 22136 with flag 430440/68000
46.77/21.80	c cleaning 11147 clauses out of 24891 with flag 506832/81007
54.47/25.65	c cleaning 11948 clauses out of 27724 with flag 585757/95000
63.07/29.94	c cleaning 12782 clauses out of 30770 with flag 679578/110000
71.69/34.26	c cleaning 13587 clauses out of 33982 with flag 772442/126000
81.28/39.07	c cleaning 14486 clauses out of 37394 with flag 873062/143002
91.29/44.01	c cleaning 15410 clauses out of 40902 with flag 983252/161000
102.63/49.67	c cleaning 16268 clauses out of 44491 with flag 1103597/180000
114.80/55.61	c cleaning 17235 clauses out of 48222 with flag 1223527/200000
127.80/62.10	c cleaning 17864 clauses out of 51987 with flag 1359108/221001
141.33/68.81	c cleaning 18969 clauses out of 56118 with flag 1498920/243000
156.83/76.52	c cleaning 19983 clauses out of 60149 with flag 1648244/266000
173.66/85.29	c cleaning 20521 clauses out of 64163 with flag 1803829/290000
189.67/93.24	c cleaning 21621 clauses out of 68641 with flag 1973324/315000
207.96/102.36	c cleaning 22501 clauses out of 73018 with flag 2157481/341000
226.02/111.39	c cleaning 23557 clauses out of 77516 with flag 2345839/368000
244.11/120.36	c cleaning 24255 clauses out of 81956 with flag 2531430/396000
252.70/124.70	c cleaning 0 clauses out of 5004 with flag 0/5004
263.60/129.86	c cleaning 25127 clauses out of 86701 with flag 2728261/425000
285.64/140.89	c cleaning 26442 clauses out of 91575 with flag 2946855/455002
310.47/153.20	c cleaning 27119 clauses out of 96130 with flag 3167751/486000
336.56/166.18	c cleaning 28120 clauses out of 101013 with flag 3411614/518002
364.19/180.30	c cleaning 28900 clauses out of 105890 with flag 3658600/551000
390.45/193.40	c cleaning 30249 clauses out of 110990 with flag 3901048/585001
419.45/207.86	c cleaning 30719 clauses out of 115740 with flag 4169148/620001
451.09/223.56	c cleaning 32052 clauses out of 121020 with flag 4455073/656001
482.82/239.40	c cleaning 33318 clauses out of 125966 with flag 4735876/693000
515.31/255.44	c cleaning 33637 clauses out of 130648 with flag 5034533/731000
548.61/271.91	c cleaning 34833 clauses out of 136013 with flag 5335756/770002
583.61/289.24	c cleaning 35630 clauses out of 141178 with flag 5675856/810000
623.64/308.96	c cleaning 36921 clauses out of 146546 with flag 6036550/851000
663.45/328.67	c cleaning 37996 clauses out of 151624 with flag 6397090/893000
704.85/349.13	c cleaning 38687 clauses out of 156629 with flag 6751036/936001
745.61/369.38	c cleaning 39800 clauses out of 161941 with flag 7133887/980000
788.77/391.55	c cleaning 40800 clauses out of 167141 with flag 7539614/1025000
828.06/411.19	c cleaning 41793 clauses out of 172339 with flag 7959496/1071000
874.02/434.01	c cleaning 43086 clauses out of 177547 with flag 8420749/1118001
923.04/458.36	c cleaning 44054 clauses out of 182460 with flag 8918593/1166000
975.59/484.32	c cleaning 44864 clauses out of 187407 with flag 9363550/1215002
1033.43/513.07	c cleaning 45988 clauses out of 192542 with flag 9855148/1265002
1089.76/541.03	c cleaning 47148 clauses out of 197552 with flag 10323517/1316001
1144.47/568.26	c cleaning 47819 clauses out of 202401 with flag 10833376/1368000
1195.44/593.62	c cleaning 49068 clauses out of 207580 with flag 11381034/1421000
1253.38/622.47	c cleaning 50065 clauses out of 212512 with flag 11923214/1475000
1314.10/652.45	c cleaning 51192 clauses out of 217447 with flag 12498736/1530000
1376.77/684.98	c cleaning 51942 clauses out of 222255 with flag 13082546/1586000
1444.80/718.70	c cleaning 53243 clauses out of 227313 with flag 13687337/1643000
1519.60/755.77	c cleaning 54049 clauses out of 232069 with flag 14297345/1701000
1593.13/792.38	c cleaning 55431 clauses out of 237020 with flag 14913549/1760000
1665.88/828.44	c cleaning 56124 clauses out of 241590 with flag 15545761/1820002
1742.52/866.47	c cleaning 57254 clauses out of 246465 with flag 16253542/1881001
1800.05/894.90	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.05/894.90	c starts		: 15011
1800.05/894.90	c conflicts		: 1930145
1800.05/894.90	c decisions		: 27118643
1800.05/894.90	c propagations		: 705707360
1800.05/894.90	c inspects		: 4966541408
1800.05/894.90	c shortcuts		: 0
1800.05/894.90	c learnt literals	: 104
1800.05/894.90	c learnt binary clauses	: 71094
1800.05/894.90	c learnt ternary clauses	: 77898
1800.05/894.90	c learnt constraints	: 1930041
1800.05/894.90	c ignored constraints	: 0
1800.05/894.90	c root simplifications	: 0
1800.05/894.90	c removed literals (reason simplification)	: 31566408
1800.05/894.90	c reason swapping (by a shorter reason)	: 0
1800.05/894.90	c Calls to reduceDB	: 57
1800.05/894.90	c Number of update (reduction) of LBD	: 1624819
1800.05/894.90	c Imported unit clauses	: 0
1800.05/894.90	c number of reductions to clauses (during analyze)	: 0
1800.05/894.90	c number of learned constraints concerned by reduction	: 0
1800.05/894.90	c number of learning phase by resolution	: 0
1800.05/894.90	c number of learning phase by cutting planes	: 0
1800.05/894.90	c speed (assignments/second)	: 789006.7473516505
1800.05/894.90	c non guided choices	4937
1800.05/894.95	c learnt constraints type 
1800.05/894.95	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 71094
1800.05/894.95	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 167261
1800.05/894.95	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.05/894.95	c starts		: 35
1800.05/894.95	c conflicts		: 10432
1800.05/894.95	c decisions		: 96825
1800.05/894.95	c propagations		: 3410495
1800.05/894.95	c inspects		: 749504337
1800.05/894.95	c shortcuts		: 0
1800.05/894.95	c learnt literals	: 0
1800.05/894.95	c learnt binary clauses	: 0
1800.05/894.95	c learnt ternary clauses	: 0
1800.05/894.95	c learnt constraints	: 10431
1800.05/894.95	c ignored constraints	: 0
1800.05/894.95	c root simplifications	: 0
1800.05/894.95	c removed literals (reason simplification)	: 0
1800.05/894.95	c reason swapping (by a shorter reason)	: 0
1800.05/894.95	c Calls to reduceDB	: 1
1800.05/894.95	c Number of update (reduction) of LBD	: 0
1800.05/894.95	c Imported unit clauses	: 0
1800.05/894.95	c number of reductions to clauses (during analyze)	: 0
1800.05/894.95	c number of learned constraints concerned by reduction	: 0
1800.05/894.95	c number of learning phase by resolution	: 0
1800.05/894.95	c number of learning phase by cutting planes	: 0
1800.05/894.95	c speed (assignments/second)	: 3812.8497865784807
1800.05/894.95	c non guided choices	1342
1800.05/894.96	c learnt constraints type 
1800.05/894.96	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 246
1800.05/894.96	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1107
1800.05/894.96	c org.sat4j.pb.constraints.pb.MaxWatchPb => 9078
1800.05/894.96	s UNKNOWN
1800.05/894.96	c Total wall clock time (in seconds): 894.843

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-4080566-1465277168/watcher-4080566-1465277168 -o /tmp/evaluation-result-4080566-1465277168/solver-4080566-1465277168 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465276272-27594 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080566-1465277168.opb 

pid=27801
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: 4.35 4.11 3.18 4/197 27804
/proc/meminfo: memFree=29936416/32872528 swapFree=16636/1570076
[pid=27804] ppid=27801 vsize=96268 CPUtime=0 cores=0,2,4,6
/proc/27804/stat : 27804 (java) S 27801 27804 27578 0 -1 4202496 1367 0 0 0 0 0 0 0 20 0 2 0 109649205 98578432 989 33554432000 1073741824 1073778376 140735015881792 140735015872928 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27804/statm: 24333 990 755 9 0 16773 0
[pid=27804/tid=27805] ppid=27801 vsize=97336 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27805/stat : 27805 (java) R 27801 27804 27578 0 -1 4202560 150 0 0 0 0 0 0 0 20 0 2 0 109649206 99672064 998 33554432000 1073741824 1073778376 140735015881792 139915824120504 139915819658999 0 0 0 16784584 0 0 0 -1 0 0 0 0 0 0

[startup+0.100112 s]
/proc/loadavg: 4.35 4.11 3.18 4/197 27804
/proc/meminfo: memFree=29936416/32872528 swapFree=16636/1570076
[pid=27804] ppid=27801 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/27804/stat : 27804 (java) S 27801 27804 27578 0 -1 4202496 4411 0 1 0 9 1 0 0 20 0 18 0 109649205 9787879424 6034 33554432000 1073741824 1073778376 140735015881792 140735015872928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27804/statm: 2389619 6034 2132 9 0 2380296 0
[pid=27804/tid=27805] ppid=27801 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/27804/task/27805/stat : 27805 (java) R 27801 27804 27578 0 -1 4202560 2385 0 1 0 7 0 0 0 20 0 18 0 109649206 9787879424 6034 33554432000 1073741824 1073778376 140735015881792 139915824122784 213423023373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200327 s]
/proc/loadavg: 4.35 4.11 3.18 4/197 27804
/proc/meminfo: memFree=29936416/32872528 swapFree=16636/1570076
[pid=27804] ppid=27801 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/27804/stat : 27804 (java) S 27801 27804 27578 0 -1 4202496 6607 0 1 0 28 1 0 0 20 0 18 0 109649205 9787879424 8048 33554432000 1073741824 1073778376 140735015881792 140735015872928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27804/statm: 2389619 8052 2209 9 0 2380296 0
[pid=27804/tid=27805] ppid=27801 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/27804/task/27805/stat : 27805 (java) R 27801 27804 27578 0 -1 4202560 2401 0 1 0 16 2 0 0 20 0 18 0 109649206 9787879424 8053 33554432000 1073741824 1073778376 140735015881792 139915824122784 139915690048068 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.30033 s]
/proc/loadavg: 4.35 4.11 3.18 4/197 27804
/proc/meminfo: memFree=29936416/32872528 swapFree=16636/1570076
[pid=27804] ppid=27801 vsize=9558476 CPUtime=0.57 cores=0,2,4,6
/proc/27804/stat : 27804 (java) S 27801 27804 27578 0 -1 4202496 7265 0 1 0 55 2 0 0 20 0 18 0 109649205 9787879424 9984 33554432000 1073741824 1073778376 140735015881792 140735015872928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27804/statm: 2389619 9984 2233 9 0 2380296 0
[pid=27804/tid=27805] ppid=27801 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/27804/task/27805/stat : 27805 (java) R 27801 27804 27578 0 -1 4202560 2404 0 1 0 26 2 0 0 20 0 18 0 109649206 9787879424 9984 33554432000 1073741824 1073778376 140735015881792 139915824123432 139915690060853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700222 s]
/proc/loadavg: 4.35 4.11 3.18 4/197 27804
/proc/meminfo: memFree=29936416/32872528 swapFree=16636/1570076
[pid=27804] ppid=27801 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/27804/stat : 27804 (java) S 27801 27804 27578 0 -1 4202496 19608 0 1 0 186 5 0 0 20 0 22 0 109649205 10060525568 28507 33554432000 1073741824 1073778376 140735015881792 140735015872928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27804/statm: 2456183 28507 2253 9 0 2446860 0
[pid=27804/tid=27805] ppid=27801 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/27804/task/27805/stat : 27805 (java) S 27801 27804 27578 0 -1 4202560 2517 0 1 0 43 2 0 0 20 0 22 0 109649206 10060525568 28507 33554432000 1073741824 1073778376 140735015881792 139915824124792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 4.35 4.11 3.18 7/219 27826
/proc/meminfo: memFree=29696628/32872528 swapFree=16636/1570076
[pid=27804] ppid=27801 vsize=9824732 CPUtime=4.65 cores=0,2,4,6
/proc/27804/stat : 27804 (java) S 27801 27804 27578 0 -1 4202496 20208 0 1 0 459 6 0 0 20 0 22 0 109649205 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 140735015872928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27804/statm: 2456183 38696 2273 9 0 2446860 0
[pid=27804/tid=27805] ppid=27801 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/27804/task/27805/stat : 27805 (java) S 27801 27804 27578 0 -1 4202560 2517 0 1 0 43 2 0 0 20 0 22 0 109649206 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915824124792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27807] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27807/stat : 27807 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649207 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915813186088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27808] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27808/stat : 27808 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649207 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915812133288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27809] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27809/stat : 27809 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649207 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915811080488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27810] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27810/stat : 27810 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649207 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915810027688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27811] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27811/stat : 27811 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649207 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915808975912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27812] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27812/stat : 27812 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649207 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915662408616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27813] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27813/stat : 27813 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649207 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915661355816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27814] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27814/stat : 27814 (java) S 27801 27804 27578 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109649207 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915660303016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27815] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27815/stat : 27815 (java) S 27801 27804 27578 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109649208 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915648104936 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27816] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27816/stat : 27816 (java) S 27801 27804 27578 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 109649208 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915647051000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27817] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27817/stat : 27817 (java) S 27801 27804 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649208 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915645998088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27818] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27818/stat : 27818 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649211 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915644946576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27819] ppid=27801 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/27804/task/27819/stat : 27819 (java) S 27801 27804 27578 0 -1 4202560 9083 0 0 0 94 1 0 0 20 0 22 0 109649211 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915643894712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27820] ppid=27801 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/27804/task/27820/stat : 27820 (java) S 27801 27804 27578 0 -1 4202560 7237 0 0 0 115 2 0 0 20 0 22 0 109649211 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915642841912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27821] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27821/stat : 27821 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649211 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915641789304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27822] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27822/stat : 27822 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649211 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915640736712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27823] ppid=27801 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/27804/task/27823/stat : 27823 (java) R 27801 27804 27578 0 -1 4202560 29 0 0 0 100 0 0 0 20 0 22 0 109649253 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915638051464 139915690775039 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27824] ppid=27801 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/27804/task/27824/stat : 27824 (java) R 27801 27804 27578 0 -1 4202560 63 0 0 0 101 0 0 0 20 0 22 0 109649253 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915636998344 139915691015714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27825] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27825/stat : 27825 (java) S 27801 27804 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649254 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915639681960 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27826] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27826/stat : 27826 (java) S 27801 27804 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649254 10060525568 38696 33554432000 1073741824 1073778376 140735015881792 139915635946280 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 9824732

[startup+3.10094 s]
/proc/loadavg: 4.35 4.11 3.18 6/219 27826
/proc/meminfo: memFree=29556000/32872528 swapFree=16636/1570076
[pid=27804] ppid=27801 vsize=9824732 CPUtime=8.59 cores=0,2,4,6
/proc/27804/stat : 27804 (java) S 27801 27804 27578 0 -1 4202496 21392 0 1 0 848 11 0 0 20 0 22 0 109649205 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 140735015872928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27804/statm: 2456183 58920 2292 9 0 2446860 0
[pid=27804/tid=27805] ppid=27801 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/27804/task/27805/stat : 27805 (java) S 27801 27804 27578 0 -1 4202560 2517 0 1 0 43 2 0 0 20 0 22 0 109649206 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915824124792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27807] ppid=27801 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27804/task/27807/stat : 27807 (java) S 27801 27804 27578 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 109649207 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915813186088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27808] ppid=27801 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27804/task/27808/stat : 27808 (java) S 27801 27804 27578 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 109649207 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915812133288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27809] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27809/stat : 27809 (java) S 27801 27804 27578 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109649207 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915811080488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27810] ppid=27801 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/27804/task/27810/stat : 27810 (java) S 27801 27804 27578 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 109649207 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915810027688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27811] ppid=27801 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/27804/task/27811/stat : 27811 (java) S 27801 27804 27578 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 109649207 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915808975912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27812] ppid=27801 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27804/task/27812/stat : 27812 (java) S 27801 27804 27578 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 109649207 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915662408616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27813] ppid=27801 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27804/task/27813/stat : 27813 (java) S 27801 27804 27578 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 109649207 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915661355816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27814] ppid=27801 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/27804/task/27814/stat : 27814 (java) S 27801 27804 27578 0 -1 4202560 13 0 0 0 1 1 0 0 20 0 22 0 109649207 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915660303016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27815] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27815/stat : 27815 (java) S 27801 27804 27578 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 109649208 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915648104936 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27816] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27816/stat : 27816 (java) S 27801 27804 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109649208 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915647051000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27817] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27817/stat : 27817 (java) S 27801 27804 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109649208 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915645998088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27818] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27818/stat : 27818 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649211 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915644946576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27819] ppid=27801 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/27804/task/27819/stat : 27819 (java) S 27801 27804 27578 0 -1 4202560 10050 0 0 0 135 2 0 0 20 0 22 0 109649211 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915643894712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27820] ppid=27801 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/27804/task/27820/stat : 27820 (java) S 27801 27804 27578 0 -1 4202560 7265 0 0 0 138 2 0 0 20 0 22 0 109649211 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915642841912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27821] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27821/stat : 27821 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649211 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915641789304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27822] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27822/stat : 27822 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649211 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915640736712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27823] ppid=27801 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/27804/task/27823/stat : 27823 (java) R 27801 27804 27578 0 -1 4202560 32 0 0 0 251 0 0 0 20 0 22 0 109649253 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915638051176 139915690679012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27824] ppid=27801 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/27804/task/27824/stat : 27824 (java) R 27801 27804 27578 0 -1 4202560 87 0 0 0 252 2 0 0 20 0 22 0 109649253 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915636997472 139915691020540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27825] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27825/stat : 27825 (java) S 27801 27804 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649254 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915639681960 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27826] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27826/stat : 27826 (java) S 27801 27804 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649254 10060525568 58920 33554432000 1073741824 1073778376 140735015881792 139915635946280 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 4.40 4.13 3.19 5/219 27826
/proc/meminfo: memFree=29115980/32872528 swapFree=16636/1570076
[pid=27804] ppid=27801 vsize=9824732 CPUtime=15.27 cores=0,2,4,6
/proc/27804/stat : 27804 (java) S 27801 27804 27578 0 -1 4202496 22681 0 1 0 1504 23 0 0 20 0 22 0 109649205 10060525568 101435 33554432000 1073741824 1073778376 140735015881792 140735015872928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27804/statm: 2456183 101435 2292 9 0 2446860 0
[pid=27804/tid=27805] ppid=27801 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/27804/task/27805/stat : 27805 (java) S 27801 27804 27578 0 -1 4202560 2517 0 1 0 43 2 0 0 20 0 22 0 109649206 10060525568 101435 33554432000 1073741824 1073778376 140735015881792 139915824124792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27807] ppid=27801 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/27804/task/27807/stat : 27807 (java) S 27801 27804 27578 0 -1 4202560 134 0 0 0 6 1 0 0 20 0 22 0 109649207 10060525568 101435 33554432000 1073741824 1073778376 140735015881792 139915813186088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27808] ppid=27801 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/27804/task/27808/stat : 27808 (java) S 27801 27804 27578 0 -1 4202560 237 0 0 0 5 1 0 0 20 0 22 0 109649207 10060525568 101435 33554432000 1073741824 1073778376 140735015881792 139915812133288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27809] ppid=27801 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/27804/task/27809/stat : 27809 (java) S 27801 27804 27578 0 -1 4202560 145 0 0 0 4 2 0 0 20 0 22 0 109649207 10060525568 101435 33554432000 1073741824 1073778376 140735015881792 139915811080488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27810] ppid=27801 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/27804/task/27810/stat : 27810 (java) S 27801 27804 27578 0 -1 4202560 53 0 0 0 6 2 0 0 20 0 22 0 109649207 10060525568 101435 33554432000 1073741824 1073778376 140735015881792 139915810027688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27811] ppid=27801 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/27804/task/27811/stat : 27811 (java) S 27801 27804 27578 0 -1 4202560 173 0 0 0 6 2 0 0 20 0 22 0 109649207 10060525568 101435 33554432000 1073741824 1073778376 140735015881792 139915808975912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27812] ppid=27801 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/27804/task/27812/stat : 27812 (java) S 27801 27804 27578 0 -1 4202560 142 0 0 0 3 2 0 0 20 0 22 0 109649207 10060525568 101435 33554432000 1073741824 1073778376 140735015881792 139915662408616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27813] ppid=27801 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/27804/task/27813/stat : 27813 (java) S 27801 27804 27578 0 -1 4202560 170 0 0 0 6 1 0 0 20 0 22 0 109649207 10060525568 101435 33554432000 1073741824 1073778376 140735015881792 139915661355816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27814] ppid=27801 vsize=9824732 CPUtime=0.07 cores=0,2,4,6

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

/proc/27804/task/27809/stat : 27809 (java) S 27801 27804 27578 0 -1 4202560 694 0 0 0 354 19 0 0 20 0 22 0 109649207 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915811080488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27810] ppid=27801 vsize=9824732 CPUtime=3.73 cores=0,2,4,6
/proc/27804/task/27810/stat : 27810 (java) S 27801 27804 27578 0 -1 4202560 578 0 0 0 355 18 0 0 20 0 22 0 109649207 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915810027688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27811] ppid=27801 vsize=9824732 CPUtime=3.69 cores=0,2,4,6
/proc/27804/task/27811/stat : 27811 (java) S 27801 27804 27578 0 -1 4202560 695 0 0 0 350 19 0 0 20 0 22 0 109649207 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915808975912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27812] ppid=27801 vsize=9824732 CPUtime=3.41 cores=0,2,4,6
/proc/27804/task/27812/stat : 27812 (java) S 27801 27804 27578 0 -1 4202560 669 0 0 0 323 18 0 0 20 0 22 0 109649207 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915662408616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27813] ppid=27801 vsize=9824732 CPUtime=3.25 cores=0,2,4,6
/proc/27804/task/27813/stat : 27813 (java) S 27801 27804 27578 0 -1 4202560 841 0 0 0 305 20 0 0 20 0 22 0 109649207 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915661355816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27814] ppid=27801 vsize=9824732 CPUtime=3.41 cores=0,2,4,6
/proc/27804/task/27814/stat : 27814 (java) S 27801 27804 27578 0 -1 4202560 709 0 0 0 322 19 0 0 20 0 22 0 109649207 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915660303016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27815] ppid=27801 vsize=9824732 CPUtime=6.11 cores=0,2,4,6
/proc/27804/task/27815/stat : 27815 (java) S 27801 27804 27578 0 -1 4202560 2561 0 0 0 604 7 0 0 20 0 22 0 109649208 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915648104936 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27816] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27816/stat : 27816 (java) S 27801 27804 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109649208 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915647051000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27817] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27817/stat : 27817 (java) S 27801 27804 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109649208 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915645998088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27818] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27818/stat : 27818 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649211 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915644946576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27819] ppid=27801 vsize=9824732 CPUtime=1.49 cores=0,2,4,6
/proc/27804/task/27819/stat : 27819 (java) S 27801 27804 27578 0 -1 4202560 10057 0 0 0 147 2 0 0 20 0 22 0 109649211 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915643894712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27820] ppid=27801 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/27804/task/27820/stat : 27820 (java) S 27801 27804 27578 0 -1 4202560 8179 0 0 0 182 2 0 0 20 0 22 0 109649211 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915642841912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27821] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27821/stat : 27821 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649211 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915641789304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27822] ppid=27801 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/27804/task/27822/stat : 27822 (java) S 27801 27804 27578 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 22 0 109649211 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915640736712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27823] ppid=27801 vsize=9824732 CPUtime=865.87 cores=0,2,4,6
/proc/27804/task/27823/stat : 27823 (java) R 27801 27804 27578 0 -1 4202560 111 0 0 0 86572 15 0 0 20 0 22 0 109649253 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915638050336 139915690679552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27824] ppid=27801 vsize=9824732 CPUtime=865.85 cores=0,2,4,6
/proc/27804/task/27824/stat : 27824 (java) R 27801 27804 27578 0 -1 4202560 1401 0 0 0 86537 48 0 0 20 0 22 0 109649253 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915636996512 139915691115189 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27825] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27825/stat : 27825 (java) S 27801 27804 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649254 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915639681960 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27826] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27826/stat : 27826 (java) S 27801 27804 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649254 10060525568 973908 33554432000 1073741824 1073778376 140735015881792 139915635946280 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1774.47
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.901 s]
/proc/loadavg: 4.35 4.23 3.82 5/219 27984
/proc/meminfo: memFree=25517180/32872528 swapFree=16636/1570076
[pid=27804] ppid=27801 vsize=9824732 CPUtime=1800.05 cores=0,2,4,6
/proc/27804/stat : 27804 (java) S 27801 27804 27578 0 -1 4202496 32224 0 1 0 179788 217 0 0 20 0 22 0 109649205 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 140735015872928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27804/statm: 2456183 976468 2301 9 0 2446860 0
[pid=27804/tid=27805] ppid=27801 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/27804/task/27805/stat : 27805 (java) S 27801 27804 27578 0 -1 4202560 2532 0 1 0 45 4 0 0 20 0 22 0 109649206 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915824124792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27807] ppid=27801 vsize=9824732 CPUtime=3.48 cores=0,2,4,6
/proc/27804/task/27807/stat : 27807 (java) S 27801 27804 27578 0 -1 4202560 898 0 0 0 331 17 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915813186088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27808] ppid=27801 vsize=9824732 CPUtime=3.77 cores=0,2,4,6
/proc/27804/task/27808/stat : 27808 (java) S 27801 27804 27578 0 -1 4202560 973 0 0 0 360 17 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915812133288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27809] ppid=27801 vsize=9824732 CPUtime=3.8 cores=0,2,4,6
/proc/27804/task/27809/stat : 27809 (java) S 27801 27804 27578 0 -1 4202560 695 0 0 0 361 19 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915811080488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27810] ppid=27801 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/27804/task/27810/stat : 27810 (java) S 27801 27804 27578 0 -1 4202560 580 0 0 0 375 18 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915810027688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27811] ppid=27801 vsize=9824732 CPUtime=3.82 cores=0,2,4,6
/proc/27804/task/27811/stat : 27811 (java) S 27801 27804 27578 0 -1 4202560 697 0 0 0 363 19 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915808975912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27812] ppid=27801 vsize=9824732 CPUtime=3.46 cores=0,2,4,6
/proc/27804/task/27812/stat : 27812 (java) S 27801 27804 27578 0 -1 4202560 670 0 0 0 328 18 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915662408616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27813] ppid=27801 vsize=9824732 CPUtime=3.3 cores=0,2,4,6
/proc/27804/task/27813/stat : 27813 (java) S 27801 27804 27578 0 -1 4202560 841 0 0 0 310 20 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915661355816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27814] ppid=27801 vsize=9824732 CPUtime=3.46 cores=0,2,4,6
/proc/27804/task/27814/stat : 27814 (java) S 27801 27804 27578 0 -1 4202560 709 0 0 0 326 20 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915660303016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27815] ppid=27801 vsize=9824732 CPUtime=6.11 cores=0,2,4,6
/proc/27804/task/27815/stat : 27815 (java) S 27801 27804 27578 0 -1 4202560 2561 0 0 0 604 7 0 0 20 0 22 0 109649208 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915648104936 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27816] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27816/stat : 27816 (java) S 27801 27804 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109649208 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915647051000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27817] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27817/stat : 27817 (java) S 27801 27804 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109649208 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915645998088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27818] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27818/stat : 27818 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649211 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915644946576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27819] ppid=27801 vsize=9824732 CPUtime=1.49 cores=0,2,4,6
/proc/27804/task/27819/stat : 27819 (java) S 27801 27804 27578 0 -1 4202560 10057 0 0 0 147 2 0 0 20 0 22 0 109649211 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915643894712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27820] ppid=27801 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/27804/task/27820/stat : 27820 (java) S 27801 27804 27578 0 -1 4202560 8179 0 0 0 182 2 0 0 20 0 22 0 109649211 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915642841912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27821] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27821/stat : 27821 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649211 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915641789304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27822] ppid=27801 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/27804/task/27822/stat : 27822 (java) S 27801 27804 27578 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 22 0 109649211 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915640736712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27823] ppid=27801 vsize=9824732 CPUtime=878.22 cores=0,2,4,6
/proc/27804/task/27823/stat : 27823 (java) R 27801 27804 27578 0 -1 4202560 112 0 0 0 87807 15 0 0 20 0 22 0 109649253 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915638050336 139915690774658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27824] ppid=27801 vsize=9824732 CPUtime=878.2 cores=0,2,4,6
/proc/27804/task/27824/stat : 27824 (java) R 27801 27804 27578 0 -1 4202560 1403 0 0 0 87772 48 0 0 20 0 22 0 109649253 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915636996672 139915691140371 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27825] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27825/stat : 27825 (java) S 27801 27804 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649254 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915639681960 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27826] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27826/stat : 27826 (java) S 27801 27804 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649254 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915635946280 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824732

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 27804 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+894.901 s]
/proc/loadavg: 4.35 4.23 3.82 5/219 27984
/proc/meminfo: memFree=25517180/32872528 swapFree=16636/1570076
[pid=27804] ppid=27801 vsize=9824732 CPUtime=1800.05 cores=0,2,4,6
/proc/27804/stat : 27804 (java) S 27801 27804 27578 0 -1 4202496 32224 0 1 0 179788 217 0 0 20 0 22 0 109649205 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 140735015872928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27804/statm: 2456183 976468 2301 9 0 2446860 0
[pid=27804/tid=27805] ppid=27801 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/27804/task/27805/stat : 27805 (java) S 27801 27804 27578 0 -1 4202560 2532 0 1 0 45 4 0 0 20 0 22 0 109649206 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915824124792 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27807] ppid=27801 vsize=9824732 CPUtime=3.48 cores=0,2,4,6
/proc/27804/task/27807/stat : 27807 (java) S 27801 27804 27578 0 -1 4202560 898 0 0 0 331 17 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915813186088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27808] ppid=27801 vsize=9824732 CPUtime=3.77 cores=0,2,4,6
/proc/27804/task/27808/stat : 27808 (java) S 27801 27804 27578 0 -1 4202560 973 0 0 0 360 17 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915812133288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27809] ppid=27801 vsize=9824732 CPUtime=3.8 cores=0,2,4,6
/proc/27804/task/27809/stat : 27809 (java) S 27801 27804 27578 0 -1 4202560 695 0 0 0 361 19 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915811080488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27810] ppid=27801 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/27804/task/27810/stat : 27810 (java) S 27801 27804 27578 0 -1 4202560 580 0 0 0 375 18 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915810027688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27811] ppid=27801 vsize=9824732 CPUtime=3.82 cores=0,2,4,6
/proc/27804/task/27811/stat : 27811 (java) S 27801 27804 27578 0 -1 4202560 697 0 0 0 363 19 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915808975912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27812] ppid=27801 vsize=9824732 CPUtime=3.46 cores=0,2,4,6
/proc/27804/task/27812/stat : 27812 (java) S 27801 27804 27578 0 -1 4202560 670 0 0 0 328 18 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915662408616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27813] ppid=27801 vsize=9824732 CPUtime=3.3 cores=0,2,4,6
/proc/27804/task/27813/stat : 27813 (java) S 27801 27804 27578 0 -1 4202560 841 0 0 0 310 20 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915661355816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27804/tid=27814] ppid=27801 vsize=9824732 CPUtime=3.46 cores=0,2,4,6
/proc/27804/task/27814/stat : 27814 (java) S 27801 27804 27578 0 -1 4202560 709 0 0 0 326 20 0 0 20 0 22 0 109649207 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915660303016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27815] ppid=27801 vsize=9824732 CPUtime=6.11 cores=0,2,4,6
/proc/27804/task/27815/stat : 27815 (java) S 27801 27804 27578 0 -1 4202560 2561 0 0 0 604 7 0 0 20 0 22 0 109649208 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915648104936 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27816] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27816/stat : 27816 (java) S 27801 27804 27578 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109649208 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915647051000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27817] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27817/stat : 27817 (java) S 27801 27804 27578 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109649208 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915645998088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27818] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27818/stat : 27818 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649211 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915644946576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27819] ppid=27801 vsize=9824732 CPUtime=1.49 cores=0,2,4,6
/proc/27804/task/27819/stat : 27819 (java) S 27801 27804 27578 0 -1 4202560 10057 0 0 0 147 2 0 0 20 0 22 0 109649211 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915643894712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27820] ppid=27801 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/27804/task/27820/stat : 27820 (java) S 27801 27804 27578 0 -1 4202560 8179 0 0 0 182 2 0 0 20 0 22 0 109649211 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915642841912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27821] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27821/stat : 27821 (java) S 27801 27804 27578 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109649211 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915641789304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27822] ppid=27801 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/27804/task/27822/stat : 27822 (java) S 27801 27804 27578 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 22 0 109649211 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915640736712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27804/tid=27823] ppid=27801 vsize=9824732 CPUtime=878.22 cores=0,2,4,6
/proc/27804/task/27823/stat : 27823 (java) R 27801 27804 27578 0 -1 4202560 112 0 0 0 87807 15 0 0 20 0 22 0 109649253 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915638050336 139915690774658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27824] ppid=27801 vsize=9824732 CPUtime=878.2 cores=0,2,4,6
/proc/27804/task/27824/stat : 27824 (java) R 27801 27804 27578 0 -1 4202560 1403 0 0 0 87772 48 0 0 20 0 22 0 109649253 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915636996672 139915691140371 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27804/tid=27825] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27825/stat : 27825 (java) S 27801 27804 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649254 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915639681960 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27804/tid=27826] ppid=27801 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27804/task/27826/stat : 27826 (java) S 27801 27804 27578 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109649254 10060525568 976468 33554432000 1073741824 1073778376 140735015881792 139915635946280 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824732

Child status: 143

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

Real time (s): 894.976
CPU time (s): 1800.05
CPU user time (s): 1797.88
CPU system time (s): 2.17
CPU usage (%): 201.128
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.52
system time used= 2.6026
maximum resident set size= 3905988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32257
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24158
involuntary context switches= 26242

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77012 second user time and 7.38688 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 07:26:09
IDJOB=4080566
IDBENCH=90128
IDSOLVER=2543
FILE ID=node140/4080566-1465277168
RUNJOBID= node140-1465276272-27594
PBS_JOBID= 19843305
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K89.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080566-1465277168/watcher-4080566-1465277168 -o /tmp/evaluation-result-4080566-1465277168/solver-4080566-1465277168 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465276272-27594 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080566-1465277168.opb

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

MD5SUM BENCH= 30c9df0e6d94fba856558f98ad1383d9
RANDOM SEED=1770834687

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29936308 kB
Buffers:          122788 kB
Cached:           302508 kB
SwapCached:         1688 kB
Active:           272856 kB
Inactive:         351504 kB
Active(anon):     198392 kB
Inactive(anon):     2912 kB
Active(file):      74464 kB
Inactive(file):   348592 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098688 kB
Dirty:              2468 kB
Writeback:             0 kB
AnonPages:       1821764 kB
Mapped:            15440 kB
Shmem:                 0 kB
Slab:             603732 kB
SReclaimable:      47468 kB
SUnreclaim:       556264 kB
KernelStack:        1800 kB
PageTables:         7632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2389888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1757184 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 node140 at 2016-06-07 07:41:04