Trace number 4101466

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16? (TO) 1800.71 897.346

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb
MD5SUM03b4fab8c58cfc4ea6c0d3c2d05c0d91
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables14036
Total number of constraints600
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint19
Maximum length of a constraint1523
Number of terms in the objective function 13668
Biggest coefficient in the objective function 1162
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 535890
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262020
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535890
Number of bits of the biggest sum of numbers20
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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4101466-1466214292.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
1.08/0.59	c ... done. Wall clock time 0.476s.
1.08/0.59	c declared #vars     14036
1.08/0.59	c #constraints  700
1.33/0.60	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.33/0.60	c constraints type 
1.33/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 55
1.33/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 645
1.33/0.60	c 700 constraints processed.
1.33/0.60	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.33/0.60	c constraints type 
1.33/0.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 55
1.33/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPb => 645
1.33/0.60	c 700 constraints processed.
1.33/0.60	c objective function length is 13668 literals
5.68/2.26	c cleaning 2489 clauses out of 5003 with flag 12517/5003
8.86/3.73	c cleaning 4243 clauses out of 8512 with flag 29013/11001
12.07/5.38	c cleaning 5630 clauses out of 11269 with flag 48228/18001
16.79/7.67	c cleaning 6811 clauses out of 13638 with flag 67158/26000
21.76/10.01	c cleaning 7898 clauses out of 15827 with flag 89182/35000
25.75/12.09	c cleaning 8949 clauses out of 17929 with flag 112681/45000
30.75/14.53	c cleaning 9978 clauses out of 19984 with flag 138918/56004
36.15/17.28	c cleaning 10983 clauses out of 22003 with flag 166631/68001
42.66/20.48	c cleaning 11990 clauses out of 24019 with flag 196556/81000
49.46/23.85	c cleaning 12998 clauses out of 26029 with flag 229609/95000
56.26/27.26	c cleaning 13996 clauses out of 28031 with flag 266003/110000
62.86/30.57	c cleaning 15001 clauses out of 30035 with flag 303437/126000
70.19/34.20	c cleaning 16002 clauses out of 32035 with flag 344743/143001
77.60/37.87	c cleaning 16991 clauses out of 34033 with flag 388329/161001
85.61/41.88	c cleaning 18002 clauses out of 36041 with flag 432734/180000
94.62/46.36	c cleaning 18999 clauses out of 38039 with flag 478855/200000
104.20/51.11	c cleaning 19998 clauses out of 40040 with flag 528994/221000
114.22/56.11	c cleaning 21000 clauses out of 42043 with flag 582861/243001
124.80/61.47	c cleaning 21983 clauses out of 44042 with flag 637838/266000
136.72/67.32	c cleaning 23006 clauses out of 46059 with flag 694640/290000
149.32/73.61	c cleaning 23990 clauses out of 48055 with flag 754623/315002
162.31/80.12	c cleaning 25022 clauses out of 50063 with flag 816593/341000
176.31/87.07	c cleaning 25998 clauses out of 52041 with flag 880258/368000
190.70/94.23	c cleaning 26987 clauses out of 54043 with flag 945792/396000
206.73/102.15	c cleaning 28010 clauses out of 56056 with flag 1013784/425000
223.13/110.37	c cleaning 28996 clauses out of 58048 with flag 1085147/455002
243.60/120.50	c cleaning 30011 clauses out of 60050 with flag 1158334/486000
275.31/136.51	c cleaning 31001 clauses out of 62039 with flag 1247705/518000
308.71/153.24	c cleaning 32005 clauses out of 64045 with flag 1340799/551007
343.92/170.80	c cleaning 32986 clauses out of 66033 with flag 1431376/585000
383.38/190.53	c cleaning 33986 clauses out of 68047 with flag 1523771/620000
421.37/209.57	c cleaning 35010 clauses out of 70062 with flag 1618187/656001
443.66/220.62	c cleaning 36012 clauses out of 72053 with flag 1713359/693002
464.67/231.17	c cleaning 37007 clauses out of 74040 with flag 1826937/731001
489.07/243.28	c cleaning 37981 clauses out of 76032 with flag 1943361/770000
516.24/256.87	c cleaning 38984 clauses out of 78052 with flag 2064997/810001
542.04/269.62	c cleaning 40004 clauses out of 80067 with flag 2187250/851000
569.02/283.20	c cleaning 40993 clauses out of 82068 with flag 2313615/893005
598.41/297.74	c cleaning 42010 clauses out of 84071 with flag 2444901/936001
627.40/312.25	c cleaning 42997 clauses out of 86062 with flag 2577655/980002
659.39/328.23	c cleaning 44002 clauses out of 88063 with flag 2716519/1025000
692.74/345.35	c cleaning 44984 clauses out of 90061 with flag 2854530/1071000
723.74/360.74	c cleaning 46016 clauses out of 92077 with flag 2992516/1118000
757.93/377.86	c cleaning 47028 clauses out of 94063 with flag 3133423/1166002
785.09/391.37	c cleaning 48006 clauses out of 96033 with flag 3264931/1215000
807.51/402.57	c cleaning 48958 clauses out of 98027 with flag 3427314/1265000
832.74/415.06	c cleaning 50008 clauses out of 100073 with flag 3605631/1316004
857.34/427.39	c cleaning 50992 clauses out of 102062 with flag 3743990/1368001
889.02/443.52	c cleaning 52013 clauses out of 104070 with flag 3872859/1421001
917.73/457.86	c cleaning 52990 clauses out of 106056 with flag 4006218/1475000
950.92/474.48	c cleaning 53997 clauses out of 108066 with flag 4143534/1530000
986.83/492.34	c cleaning 55001 clauses out of 110070 with flag 4283207/1586001
1025.18/511.41	c cleaning 55990 clauses out of 112068 with flag 4426117/1643000
1065.21/531.40	c cleaning 56999 clauses out of 114078 with flag 4572657/1701000
1104.19/550.90	c cleaning 58005 clauses out of 116079 with flag 4719020/1760000
1144.48/570.82	c cleaning 59006 clauses out of 118074 with flag 4869132/1820000
1185.87/591.59	c cleaning 60028 clauses out of 120071 with flag 5021056/1881003
1219.47/608.18	c cleaning 60988 clauses out of 122040 with flag 5167765/1943000
1258.66/627.79	c cleaning 62006 clauses out of 124053 with flag 5325348/2006001
1299.09/647.79	c cleaning 62999 clauses out of 126047 with flag 5486479/2070001
1338.62/667.29	c cleaning 64011 clauses out of 128048 with flag 5654666/2135001
1400.21/698.08	c cleaning 64996 clauses out of 130037 with flag 5804760/2201001
1479.93/737.79	c cleaning 65995 clauses out of 132040 with flag 5965574/2268000
1559.32/777.12	c cleaning 66992 clauses out of 134045 with flag 6125526/2336000
1639.12/817.02	c cleaning 67996 clauses out of 136055 with flag 6288242/2405002
1726.57/860.60	c cleaning 69006 clauses out of 138057 with flag 6450658/2475000
1800.16/897.30	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.16/897.30	c starts		: 804
1800.16/897.30	c conflicts		: 2535003
1800.16/897.30	c decisions		: 6515184
1800.16/897.30	c propagations		: 211731078
1800.16/897.30	c inspects		: 5722592036
1800.16/897.30	c shortcuts		: 0
1800.16/897.30	c learnt literals	: 0
1800.16/897.30	c learnt binary clauses	: 0
1800.16/897.30	c learnt ternary clauses	: 0
1800.16/897.30	c learnt constraints	: 2535003
1800.16/897.30	c ignored constraints	: 0
1800.16/897.30	c root simplifications	: 0
1800.16/897.30	c removed literals (reason simplification)	: 1539931
1800.16/897.30	c reason swapping (by a shorter reason)	: 0
1800.16/897.30	c Calls to reduceDB	: 66
1800.16/897.30	c Number of update (reduction) of LBD	: 655369
1800.16/897.30	c Imported unit clauses	: 0
1800.16/897.30	c number of reductions to clauses (during analyze)	: 0
1800.16/897.30	c number of learned constraints concerned by reduction	: 0
1800.16/897.30	c number of learning phase by resolution	: 0
1800.16/897.30	c number of learning phase by cutting planes	: 0
1800.16/897.30	c speed (assignments/second)	: 236139.91662149774
1800.16/897.30	c non guided choices	88314
1800.16/897.33	c learnt constraints type 
1800.16/897.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 129054
1800.16/897.33	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.16/897.33	c starts		: 4
1800.16/897.33	c conflicts		: 2087
1800.16/897.33	c decisions		: 386346
1800.16/897.33	c propagations		: 1015159
1800.16/897.33	c inspects		: 58262494
1800.16/897.33	c shortcuts		: 0
1800.16/897.33	c learnt literals	: 0
1800.16/897.33	c learnt binary clauses	: 0
1800.16/897.33	c learnt ternary clauses	: 0
1800.16/897.33	c learnt constraints	: 2086
1800.16/897.33	c ignored constraints	: 0
1800.16/897.33	c root simplifications	: 0
1800.16/897.33	c removed literals (reason simplification)	: 0
1800.16/897.33	c reason swapping (by a shorter reason)	: 0
1800.16/897.33	c Calls to reduceDB	: 0
1800.16/897.33	c Number of update (reduction) of LBD	: 0
1800.16/897.33	c Imported unit clauses	: 0
1800.16/897.33	c number of reductions to clauses (during analyze)	: 0
1800.16/897.33	c number of learned constraints concerned by reduction	: 0
1800.16/897.33	c number of learning phase by resolution	: 0
1800.16/897.33	c number of learning phase by cutting planes	: 0
1800.16/897.33	c speed (assignments/second)	: 1132.159789083228
1800.16/897.33	c non guided choices	0
1800.16/897.33	c learnt constraints type 
1800.16/897.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2086
1800.16/897.33	s UNKNOWN
1800.16/897.33	c Total wall clock time (in seconds): 897.211

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-4101466-1466214292/watcher-4101466-1466214292 -o /tmp/evaluation-result-4101466-1466214292/solver-4101466-1466214292 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22606 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101466-1466214292.opb 

pid=27430
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: 4.08 4.15 4.16 4/197 27433
/proc/meminfo: memFree=30064204/32872528 swapFree=496868/529572
[pid=27433] ppid=27430 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27433/stat : 27433 (java) R 27430 27433 22589 0 -1 4202496 503 0 0 0 0 0 0 0 20 0 1 0 23474619 9515008 156 33554432000 1073741824 1073778376 140736076805840 140736076802968 211458807559 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27433/statm: 2323 170 128 9 0 71 0

[startup+0.100109 s]
/proc/loadavg: 4.08 4.15 4.16 4/197 27433
/proc/meminfo: memFree=30064204/32872528 swapFree=496868/529572
[pid=27433] ppid=27430 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/27433/stat : 27433 (java) S 27430 27433 22589 0 -1 4202496 4413 0 1 0 8 0 0 0 20 0 18 0 23474619 9787879424 6034 33554432000 1073741824 1073778376 140736076805840 140736076796976 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27433/statm: 2389619 6034 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200221 s]
/proc/loadavg: 4.08 4.15 4.16 4/197 27433
/proc/meminfo: memFree=30064204/32872528 swapFree=496868/529572
[pid=27433] ppid=27430 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/27433/stat : 27433 (java) S 27430 27433 22589 0 -1 4202496 4977 0 1 0 26 1 0 0 20 0 18 0 23474619 9787879424 6970 33554432000 1073741824 1073778376 140736076805840 140736076796976 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27433/statm: 2389619 6970 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300228 s]
/proc/loadavg: 4.08 4.15 4.16 4/197 27433
/proc/meminfo: memFree=30064204/32872528 swapFree=496868/529572
[pid=27433] ppid=27430 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/27433/stat : 27433 (java) S 27430 27433 22589 0 -1 4202496 5508 0 1 0 47 1 0 0 20 0 18 0 23474619 9787879424 9820 33554432000 1073741824 1073778376 140736076805840 140736076796976 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27433/statm: 2389619 9820 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.70018 s]
/proc/loadavg: 4.08 4.15 4.16 4/197 27433
/proc/meminfo: memFree=30064204/32872528 swapFree=496868/529572
[pid=27433] ppid=27430 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/27433/stat : 27433 (java) S 27430 27433 22589 0 -1 4202496 14798 0 1 0 164 4 0 0 20 0 22 0 23474619 10060525568 29781 33554432000 1073741824 1073778376 140736076805840 140736076796976 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27433/statm: 2456183 29781 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 9824732

[startup+1.50096 s]
/proc/loadavg: 4.23 4.18 4.17 7/219 27455
/proc/meminfo: memFree=29932380/32872528 swapFree=496868/529572
[pid=27433] ppid=27430 vsize=9824732 CPUtime=4.2 cores=1,3,5,7
/proc/27433/stat : 27433 (java) S 27430 27433 22589 0 -1 4202496 16006 0 1 0 414 6 0 0 20 0 22 0 23474619 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140736076796976 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27433/statm: 2456183 44694 2273 9 0 2446860 0
[pid=27433/tid=27435] ppid=27430 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/27433/task/27435/stat : 27435 (java) S 27430 27433 22589 0 -1 4202560 2446 0 1 0 55 2 0 0 20 0 22 0 23474620 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140386166039416 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27436] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27436/stat : 27436 (java) R 27430 27433 22589 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 23474621 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140386127530920 140386168510195 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27437] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474621 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140386126478376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27438] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474621 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140386125425320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27439] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27439/stat : 27439 (java) R 27430 27433 22589 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 23474621 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140386124372776 140386172937298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27440] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27440/stat : 27440 (java) R 27430 27433 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23474621 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140386123319720 140386170214578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27441] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27441/stat : 27441 (java) R 27430 27433 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23474621 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140386122265688 211462173756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27442] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27442/stat : 27442 (java) R 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474621 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140386121214120 211462173756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27443] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23474621 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140386120161576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27444] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27444/stat : 27444 (java) S 27430 27433 22589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140386107750152 211462173756 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27445] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27445/stat : 27445 (java) S 27430 27433 22589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140385988896632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27446] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140385987843464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27447] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140385986792208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27448] ppid=27430 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 22589 0 -1 4202560 6128 0 0 0 82 2 0 0 20 0 22 0 23474625 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140385985739064 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27449] ppid=27430 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/27433/task/27449/stat : 27449 (java) S 27430 27433 22589 0 -1 4202560 6055 0 0 0 95 2 0 0 20 0 22 0 23474625 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140385984686520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27450] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27450/stat : 27450 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140385983633656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27451] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27451/stat : 27451 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140385982581320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27452] ppid=27430 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/27433/task/27452/stat : 27452 (java) S 27430 27433 22589 0 -1 4202560 20 0 0 0 88 0 0 0 20 0 22 0 23474680 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140385981526040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27453] ppid=27430 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/27433/task/27453/stat : 27453 (java) S 27430 27433 22589 0 -1 4202560 58 0 0 0 86 1 0 0 20 0 22 0 23474680 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140385980472424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27454] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27454/stat : 27454 (java) S 27430 27433 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474687 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140385979421992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27455] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27455/stat : 27455 (java) S 27430 27433 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474687 10060525568 44694 33554432000 1073741824 1073778376 140736076805840 140385978369448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9824732

[startup+3.101 s]
/proc/loadavg: 4.23 4.18 4.17 5/219 27455
/proc/meminfo: memFree=29852012/32872528 swapFree=496868/529572
[pid=27433] ppid=27430 vsize=9824732 CPUtime=7.59 cores=1,3,5,7
/proc/27433/stat : 27433 (java) S 27430 27433 22589 0 -1 4202496 16548 0 1 0 746 13 0 0 20 0 22 0 23474619 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140736076796976 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27433/statm: 2456183 59449 2282 9 0 2446860 0
[pid=27433/tid=27435] ppid=27430 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/27433/task/27435/stat : 27435 (java) S 27430 27433 22589 0 -1 4202560 2446 0 1 0 55 2 0 0 20 0 22 0 23474620 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140386166039416 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27436] ppid=27430 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 22589 0 -1 4202560 78 0 0 0 2 0 0 0 20 0 22 0 23474621 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140386127530920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27437] ppid=27430 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 22589 0 -1 4202560 139 0 0 0 3 1 0 0 20 0 22 0 23474621 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140386126478376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27438] ppid=27430 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 22589 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 23474621 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140386125425320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27439] ppid=27430 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 22589 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 23474621 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140386124372776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27440] ppid=27430 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 22589 0 -1 4202560 83 0 0 0 1 0 0 0 20 0 22 0 23474621 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140386123319720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27441] ppid=27430 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 22589 0 -1 4202560 118 0 0 0 2 0 0 0 20 0 22 0 23474621 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140386122267176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27442] ppid=27430 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 22589 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 23474621 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140386121214120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27443] ppid=27430 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 22589 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 23474621 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140386120161576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27444] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27444/stat : 27444 (java) S 27430 27433 22589 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140386107751272 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27445] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27445/stat : 27445 (java) S 27430 27433 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140385988896632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27446] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140385987843464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27447] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140385986792208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27448] ppid=27430 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 22589 0 -1 4202560 6130 0 0 0 87 2 0 0 20 0 22 0 23474625 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140385985739064 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27449] ppid=27430 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/27433/task/27449/stat : 27449 (java) S 27430 27433 22589 0 -1 4202560 6059 0 0 0 97 2 0 0 20 0 22 0 23474625 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140385984686520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27450] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27450/stat : 27450 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140385983633656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27451] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27451/stat : 27451 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140385982581320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27452] ppid=27430 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/27433/task/27452/stat : 27452 (java) R 27430 27433 22589 0 -1 4202560 23 0 0 0 240 0 0 0 20 0 22 0 23474680 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140385981525288 140385989749124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27453] ppid=27430 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/27433/task/27453/stat : 27453 (java) R 27430 27433 22589 0 -1 4202560 59 0 0 0 238 2 0 0 20 0 22 0 23474680 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140385980473432 140385989814431 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27454] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27454/stat : 27454 (java) S 27430 27433 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474687 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140385979421992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27455] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27455/stat : 27455 (java) S 27430 27433 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474687 10060525568 59449 33554432000 1073741824 1073778376 140736076805840 140385978369448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 9824732

[startup+6.30103 s]
/proc/loadavg: 4.23 4.18 4.17 5/219 27455
/proc/meminfo: memFree=29575824/32872528 swapFree=496868/529572
[pid=27433] ppid=27430 vsize=9824732 CPUtime=14.18 cores=1,3,5,7
/proc/27433/stat : 27433 (java) S 27430 27433 22589 0 -1 4202496 16843 0 1 0 1398 20 0 0 20 0 22 0 23474619 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140736076796976 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27433/statm: 2456183 97823 2282 9 0 2446860 0
[pid=27433/tid=27435] ppid=27430 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/27433/task/27435/stat : 27435 (java) S 27430 27433 22589 0 -1 4202560 2446 0 1 0 55 2 0 0 20 0 22 0 23474620 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140386166039416 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27436] ppid=27430 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 22589 0 -1 4202560 93 0 0 0 3 2 0 0 20 0 22 0 23474621 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140386127530920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27437] ppid=27430 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 22589 0 -1 4202560 151 0 0 0 4 2 0 0 20 0 22 0 23474621 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140386126478376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27438] ppid=27430 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 22589 0 -1 4202560 26 0 0 0 2 2 0 0 20 0 22 0 23474621 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140386125425320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27439] ppid=27430 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 22589 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 22 0 23474621 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140386124372776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27440] ppid=27430 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 22589 0 -1 4202560 100 0 0 0 3 1 0 0 20 0 22 0 23474621 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140386123319720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27441] ppid=27430 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 22589 0 -1 4202560 129 0 0 0 2 2 0 0 20 0 22 0 23474621 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140386122267176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27442] ppid=27430 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 22589 0 -1 4202560 44 0 0 0 5 2 0 0 20 0 22 0 23474621 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140386121214120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27443] ppid=27430 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 22589 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 22 0 23474621 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140386120161576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27444] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27444/stat : 27444 (java) S 27430 27433 22589 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140386107751272 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27445] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27445/stat : 27445 (java) S 27430 27433 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140385988896632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27446] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140385987843464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27447] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 97823 33554432000 1073741824 1073778376 140736076805840 140385986792208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27448] ppid=27430 vsize=9824732 CPUtime=0.93 cores=1,3,5,7

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


[startup+882.308 s]
/proc/loadavg: 4.10 4.14 4.15 7/219 27597
/proc/meminfo: memFree=25246536/32872528 swapFree=496868/529572
[pid=27433] ppid=27430 vsize=9824732 CPUtime=1770.18 cores=1,3,5,7
/proc/27433/stat : 27433 (java) S 27430 27433 22589 0 -1 4202496 27033 0 1 0 176696 322 0 0 20 0 22 0 23474619 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140736076796976 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27433/statm: 2456183 829865 2292 9 0 2446860 0
[pid=27433/tid=27435] ppid=27430 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/27433/task/27435/stat : 27435 (java) S 27430 27433 22589 0 -1 4202560 2455 0 1 0 58 3 0 0 20 0 22 0 23474620 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386166039416 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27436] ppid=27430 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 22589 0 -1 4202560 930 0 0 0 145 40 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386127530920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27437] ppid=27430 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 22589 0 -1 4202560 1075 0 0 0 148 42 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386126478376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27438] ppid=27430 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 22589 0 -1 4202560 808 0 0 0 128 31 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386125425320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27439] ppid=27430 vsize=9824732 CPUtime=1.53 cores=1,3,5,7
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 22589 0 -1 4202560 703 0 0 0 124 29 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386124372776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27440] ppid=27430 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 22589 0 -1 4202560 916 0 0 0 129 33 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386123319720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27441] ppid=27430 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 22589 0 -1 4202560 873 0 0 0 131 31 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386122267176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27442] ppid=27430 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 22589 0 -1 4202560 886 0 0 0 125 38 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386121214120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27443] ppid=27430 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 22589 0 -1 4202560 1027 0 0 0 177 40 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386120161576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27444] ppid=27430 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/27433/task/27444/stat : 27444 (java) S 27430 27433 22589 0 -1 4202560 2177 0 0 0 269 3 0 0 20 0 22 0 23474623 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386107751272 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27445] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27445/stat : 27445 (java) S 27430 27433 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385988896632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27446] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385987843464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27447] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385986792208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27448] ppid=27430 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 22589 0 -1 4202560 6352 0 0 0 108 2 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385985739064 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27449] ppid=27430 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/27433/task/27449/stat : 27449 (java) S 27430 27433 22589 0 -1 4202560 6080 0 0 0 126 2 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385984686520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27450] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27450/stat : 27450 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385983633656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27451] ppid=27430 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/27433/task/27451/stat : 27451 (java) S 27430 27433 22589 0 -1 4202560 50 0 0 0 9 14 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385982581320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27452] ppid=27430 vsize=9824732 CPUtime=875.23 cores=1,3,5,7
/proc/27433/task/27452/stat : 27452 (java) R 27430 27433 22589 0 -1 4202560 168 0 0 0 87502 21 0 0 20 0 22 0 23474680 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385981518224 140385989412778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27453] ppid=27430 vsize=9824732 CPUtime=875.25 cores=1,3,5,7
/proc/27433/task/27453/stat : 27453 (java) R 27430 27433 22589 0 -1 4202560 1267 0 0 0 87499 26 0 0 20 0 22 0 23474680 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385980472512 140385990118729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27454] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27454/stat : 27454 (java) S 27430 27433 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474687 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385979421992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27455] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27455/stat : 27455 (java) S 27430 27433 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474687 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385978369448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1770.18
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.301 s]
/proc/loadavg: 4.08 4.13 4.14 5/219 27598
/proc/meminfo: memFree=25203708/32872528 swapFree=496868/529572
[pid=27433] ppid=27430 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/27433/stat : 27433 (java) S 27430 27433 22589 0 -1 4202496 27035 0 1 0 179693 323 0 0 20 0 22 0 23474619 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140736076796976 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27433/statm: 2456183 829865 2292 9 0 2446860 0
[pid=27433/tid=27435] ppid=27430 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/27433/task/27435/stat : 27435 (java) S 27430 27433 22589 0 -1 4202560 2455 0 1 0 58 3 0 0 20 0 22 0 23474620 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386166039416 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27436] ppid=27430 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 22589 0 -1 4202560 930 0 0 0 145 40 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386127530920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27437] ppid=27430 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 22589 0 -1 4202560 1075 0 0 0 148 42 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386126478376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27438] ppid=27430 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 22589 0 -1 4202560 808 0 0 0 128 31 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386125425320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27439] ppid=27430 vsize=9824732 CPUtime=1.53 cores=1,3,5,7
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 22589 0 -1 4202560 703 0 0 0 124 29 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386124372776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27440] ppid=27430 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 22589 0 -1 4202560 916 0 0 0 129 33 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386123319720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27441] ppid=27430 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 22589 0 -1 4202560 873 0 0 0 131 31 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386122267176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27442] ppid=27430 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 22589 0 -1 4202560 886 0 0 0 125 38 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386121214120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27443] ppid=27430 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 22589 0 -1 4202560 1027 0 0 0 177 40 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386120161576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27444] ppid=27430 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/27433/task/27444/stat : 27444 (java) S 27430 27433 22589 0 -1 4202560 2177 0 0 0 269 3 0 0 20 0 22 0 23474623 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386107751272 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27445] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27445/stat : 27445 (java) S 27430 27433 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385988896632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27446] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385987843464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27447] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385986792208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27448] ppid=27430 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 22589 0 -1 4202560 6352 0 0 0 108 2 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385985739064 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27449] ppid=27430 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/27433/task/27449/stat : 27449 (java) S 27430 27433 22589 0 -1 4202560 6080 0 0 0 126 2 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385984686520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27450] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27450/stat : 27450 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385983633656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27451] ppid=27430 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/27433/task/27451/stat : 27451 (java) S 27430 27433 22589 0 -1 4202560 52 0 0 0 9 14 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385982581320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27452] ppid=27430 vsize=9824732 CPUtime=890.22 cores=1,3,5,7
/proc/27433/task/27452/stat : 27452 (java) R 27430 27433 22589 0 -1 4202560 168 0 0 0 89000 22 0 0 20 0 22 0 23474680 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385981518224 140385989499021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27453] ppid=27430 vsize=9824732 CPUtime=890.25 cores=1,3,5,7
/proc/27433/task/27453/stat : 27453 (java) R 27430 27433 22589 0 -1 4202560 1267 0 0 0 88999 26 0 0 20 0 22 0 23474680 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385980472512 140385990118744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27454] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27454/stat : 27454 (java) S 27430 27433 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474687 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385979421992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27455] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27455/stat : 27455 (java) S 27430 27433 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474687 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385978369448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
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 27433 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+897.301 s]
/proc/loadavg: 4.08 4.13 4.14 5/219 27598
/proc/meminfo: memFree=25203708/32872528 swapFree=496868/529572
[pid=27433] ppid=27430 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/27433/stat : 27433 (java) S 27430 27433 22589 0 -1 4202496 27035 0 1 0 179693 323 0 0 20 0 22 0 23474619 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140736076796976 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27433/statm: 2456183 829865 2292 9 0 2446860 0
[pid=27433/tid=27435] ppid=27430 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/27433/task/27435/stat : 27435 (java) S 27430 27433 22589 0 -1 4202560 2455 0 1 0 58 3 0 0 20 0 22 0 23474620 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386166039416 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27436] ppid=27430 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/27433/task/27436/stat : 27436 (java) S 27430 27433 22589 0 -1 4202560 930 0 0 0 145 40 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386127530920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27437] ppid=27430 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/27433/task/27437/stat : 27437 (java) S 27430 27433 22589 0 -1 4202560 1075 0 0 0 148 42 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386126478376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27438] ppid=27430 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/27433/task/27438/stat : 27438 (java) S 27430 27433 22589 0 -1 4202560 808 0 0 0 128 31 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386125425320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27439] ppid=27430 vsize=9824732 CPUtime=1.53 cores=1,3,5,7
/proc/27433/task/27439/stat : 27439 (java) S 27430 27433 22589 0 -1 4202560 703 0 0 0 124 29 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386124372776 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27440] ppid=27430 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/27433/task/27440/stat : 27440 (java) S 27430 27433 22589 0 -1 4202560 916 0 0 0 129 33 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386123319720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27441] ppid=27430 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/27433/task/27441/stat : 27441 (java) S 27430 27433 22589 0 -1 4202560 873 0 0 0 131 31 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386122267176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27442] ppid=27430 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/27433/task/27442/stat : 27442 (java) S 27430 27433 22589 0 -1 4202560 886 0 0 0 125 38 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386121214120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27443] ppid=27430 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/27433/task/27443/stat : 27443 (java) S 27430 27433 22589 0 -1 4202560 1027 0 0 0 177 40 0 0 20 0 22 0 23474621 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386120161576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27444] ppid=27430 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/27433/task/27444/stat : 27444 (java) S 27430 27433 22589 0 -1 4202560 2177 0 0 0 269 3 0 0 20 0 22 0 23474623 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140386107751272 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27445] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27445/stat : 27445 (java) S 27430 27433 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385988896632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27446] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27446/stat : 27446 (java) S 27430 27433 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23474623 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385987843464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27447] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27447/stat : 27447 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385986792208 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27448] ppid=27430 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/27433/task/27448/stat : 27448 (java) S 27430 27433 22589 0 -1 4202560 6352 0 0 0 108 2 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385985739064 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27449] ppid=27430 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/27433/task/27449/stat : 27449 (java) S 27430 27433 22589 0 -1 4202560 6080 0 0 0 126 2 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385984686520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27450] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27450/stat : 27450 (java) S 27430 27433 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385983633656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27433/tid=27451] ppid=27430 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/27433/task/27451/stat : 27451 (java) S 27430 27433 22589 0 -1 4202560 52 0 0 0 9 14 0 0 20 0 22 0 23474625 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385982581320 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27452] ppid=27430 vsize=9824732 CPUtime=890.22 cores=1,3,5,7
/proc/27433/task/27452/stat : 27452 (java) R 27430 27433 22589 0 -1 4202560 168 0 0 0 89000 22 0 0 20 0 22 0 23474680 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385981518224 140385989499021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27433/tid=27453] ppid=27430 vsize=9824732 CPUtime=890.25 cores=1,3,5,7
/proc/27433/task/27453/stat : 27453 (java) R 27430 27433 22589 0 -1 4202560 1267 0 0 0 88999 26 0 0 20 0 22 0 23474680 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385980472512 140385990118744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27433/tid=27454] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27454/stat : 27454 (java) S 27430 27433 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474687 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385979421992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27433/tid=27455] ppid=27430 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27433/task/27455/stat : 27455 (java) S 27430 27433 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23474687 10060525568 829865 33554432000 1073741824 1073778376 140736076805840 140385978369448 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 897.346
CPU time (s): 1800.71
CPU user time (s): 1796.99
CPU system time (s): 3.72043
CPU usage (%): 200.671
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.99
system time used= 3.72043
maximum resident set size= 3319580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27078
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21907
involuntary context switches= 22871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.75413 second user time and 7.34288 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 03:44:52
IDJOB=4101466
IDBENCH=1753
IDSOLVER=2543
FILE ID=node141/4101466-1466214292
RUNJOBID= node141-1466206051-22606
PBS_JOBID= 19918136
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101466-1466214292/watcher-4101466-1466214292 -o /tmp/evaluation-result-4101466-1466214292/solver-4101466-1466214292 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22606 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4101466-1466214292.opb

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

MD5SUM BENCH= 03b4fab8c58cfc4ea6c0d3c2d05c0d91
RANDOM SEED=232128563

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30064748 kB
Buffers:           90044 kB
Cached:            87812 kB
SwapCached:         2524 kB
Active:          1422092 kB
Inactive:         119812 kB
Active(anon):    1364392 kB
Inactive(anon):     2020 kB
Active(file):      57700 kB
Inactive(file):   117792 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099064 kB
Dirty:              1228 kB
Writeback:             0 kB
AnonPages:       1996556 kB
Mapped:            15464 kB
Shmem:                 0 kB
Slab:             602836 kB
SReclaimable:      46504 kB
SUnreclaim:       556332 kB
KernelStack:        1808 kB
PageTables:         7984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3326648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1454080 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= 71728 MiB
End job on node141 at 2016-06-18 03:59:49