Trace number 4119716

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.05 1789.98

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/
pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
MD5SUM7b69339ab914a0ee0ae1c04a0acb6c7f
Bench CategoryDEC-BIGINT-LIN (no optimisation, big 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 variables670720
Total number of constraints5752
Number of constraints which are clauses2619
Number of constraints which are cardinality constraints (but not clauses)2619
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2620
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 947734
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2162769
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4119716-1467274635.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
9.93/7.50	c ... done. Wall clock time 7.386s.
9.93/7.50	c declared #vars     670720
9.93/7.50	c #constraints  5752
9.93/7.50	c constraints type 
9.93/7.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2619
9.93/7.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 2619
9.93/7.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 514
9.93/7.50	c 5752 constraints processed.
20.18/17.21	c cleaning 2496 clauses out of 5000 with flag 26131/5000
24.86/21.88	c cleaning 4243 clauses out of 8506 with flag 85733/11002
30.77/27.72	c cleaning 5623 clauses out of 11261 with flag 151160/18000
37.48/34.50	c cleaning 6808 clauses out of 13640 with flag 247995/26002
45.19/42.15	c cleaning 7903 clauses out of 15830 with flag 358703/35000
54.91/51.89	c cleaning 8947 clauses out of 17927 with flag 509085/45000
65.40/62.37	c cleaning 9976 clauses out of 19980 with flag 654130/56000
76.31/73.28	c cleaning 10991 clauses out of 22004 with flag 816759/68000
89.11/86.10	c cleaning 11993 clauses out of 24014 with flag 995810/81001
103.72/100.62	c cleaning 12998 clauses out of 26021 with flag 1187211/95001
120.42/117.34	c cleaning 14002 clauses out of 28023 with flag 1373204/110001
131.62/128.58	c cleaning 14998 clauses out of 30021 with flag 1450715/126001
142.13/139.01	c cleaning 15991 clauses out of 32023 with flag 1557123/143001
155.12/151.74	c cleaning 16996 clauses out of 34031 with flag 1681472/161000
167.72/164.36	c cleaning 17999 clauses out of 36037 with flag 1822782/180002
181.72/178.38	c cleaning 18994 clauses out of 38036 with flag 1968543/200000
199.73/196.31	c cleaning 19997 clauses out of 40045 with flag 2079347/221003
214.23/210.87	c cleaning 20993 clauses out of 42046 with flag 2274144/243001
235.54/232.14	c cleaning 22006 clauses out of 44054 with flag 2637868/266002
258.23/254.82	c cleaning 22994 clauses out of 46046 with flag 3030786/290000
283.34/279.92	c cleaning 23984 clauses out of 48053 with flag 3435271/315001
309.98/306.07	c cleaning 25004 clauses out of 50068 with flag 3903907/341000
336.70/332.78	c cleaning 26001 clauses out of 52064 with flag 4395968/368000
362.61/358.67	c cleaning 27007 clauses out of 54064 with flag 4888040/396001
391.60/387.65	c cleaning 28000 clauses out of 56061 with flag 5402831/425005
422.41/418.49	c cleaning 28998 clauses out of 58057 with flag 5886906/455001
454.75/450.11	c cleaning 29996 clauses out of 60058 with flag 6369191/486000
486.14/481.51	c cleaning 31006 clauses out of 62064 with flag 6898587/518002
519.75/515.15	c cleaning 31995 clauses out of 64060 with flag 7475894/551004
560.75/556.17	c cleaning 33004 clauses out of 66062 with flag 8129894/585001
597.36/592.72	c cleaning 33992 clauses out of 68058 with flag 8780273/620001
637.70/632.63	c cleaning 34990 clauses out of 70066 with flag 9483043/656001
678.41/673.31	c cleaning 36009 clauses out of 72076 with flag 10211266/693001
720.10/715.04	c cleaning 36999 clauses out of 74066 with flag 10959072/731000
763.70/758.64	c cleaning 38007 clauses out of 76069 with flag 11716069/770002
811.64/806.16	c cleaning 39002 clauses out of 78060 with flag 12538396/810000
858.06/852.60	c cleaning 40003 clauses out of 80058 with flag 13338192/851000
905.38/899.81	c cleaning 40993 clauses out of 82055 with flag 14155593/893000
956.09/950.59	c cleaning 41981 clauses out of 84063 with flag 14954293/936001
1005.43/999.49	c cleaning 43007 clauses out of 86081 with flag 15769458/980000
1059.34/1053.34	c cleaning 43987 clauses out of 88074 with flag 16672552/1025000
1114.24/1108.23	c cleaning 45010 clauses out of 90088 with flag 17672358/1071001
1172.17/1165.71	c cleaning 46006 clauses out of 92080 with flag 18606067/1118003
1227.48/1221.02	c cleaning 46989 clauses out of 94071 with flag 19598355/1166000
1283.40/1276.20	c cleaning 48009 clauses out of 96084 with flag 20513982/1215002
1345.80/1338.52	c cleaning 49003 clauses out of 98074 with flag 21604315/1265001
1408.15/1399.73	c cleaning 50011 clauses out of 100073 with flag 22608130/1316003
1471.96/1463.52	c cleaning 50981 clauses out of 102059 with flag 23667572/1368000
1537.65/1529.08	c cleaning 52011 clauses out of 104080 with flag 24819117/1421002
1598.42/1589.43	c cleaning 53002 clauses out of 106067 with flag 25700653/1475000
1653.52/1643.91	c cleaning 53955 clauses out of 108067 with flag 26045421/1530002
1736.83/1727.21	c cleaning 54972 clauses out of 110111 with flag 26367345/1586001
1800.05/1789.90	c starts		: 71
1800.05/1789.90	c conflicts		: 1627881
1800.05/1789.90	c decisions		: 18465311
1800.05/1789.90	c propagations		: 619237754
1800.05/1789.90	c inspects		: 7529387373
1800.05/1789.90	c shortcuts		: 0
1800.05/1789.90	c learnt literals	: 0
1800.05/1789.90	c learnt binary clauses	: 0
1800.05/1789.90	c learnt ternary clauses	: 0
1800.05/1789.90	c learnt constraints	: 1627881
1800.05/1789.90	c ignored constraints	: 0
1800.05/1789.90	c root simplifications	: 0
1800.05/1789.90	c removed literals (reason simplification)	: 0
1800.05/1789.90	c reason swapping (by a shorter reason)	: 0
1800.05/1789.90	c Calls to reduceDB	: 52
1800.05/1789.90	c Number of update (reduction) of LBD	: 821338
1800.05/1789.90	c Imported unit clauses	: 0
1800.05/1789.90	c number of reductions to clauses (during analyze)	: 0
1800.05/1789.90	c number of learned constraints concerned by reduction	: 0
1800.05/1789.90	c number of learning phase by resolution	: 0
1800.05/1789.90	c number of learning phase by cutting planes	: 0
1800.05/1789.90	c speed (assignments/second)	: 347430.9046452573
1800.05/1789.90	c non guided choices	13844000
1800.05/1789.93	c learnt constraints type 
1800.05/1789.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 97020
1800.05/1789.93	s UNKNOWN
1800.05/1789.93	c Total wall clock time (in seconds): 1789.814

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-4119716-1467274635/watcher-4119716-1467274635 -o /tmp/evaluation-result-4119716-1467274635/solver-4119716-1467274635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467272712-12530 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119716-1467274635.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.16 2.09 3/194 13166
/proc/meminfo: memFree=28076432/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=260 CPUtime=0 cores=1,3,5,7
/proc/13166/stat : 13166 (java) R 13163 13166 12078 0 -1 4194304 330 0 0 0 0 0 0 0 20 0 1 0 6494669 266240 3 33554432000 0 0 140734531687983 140733514428184 251143024055 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 67 8 4 9 0 24 0

[startup+0.10006 s]
/proc/loadavg: 2.22 2.16 2.09 3/194 13166
/proc/meminfo: memFree=28076432/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 4394 0 1 0 8 1 0 0 20 0 18 0 6494669 9787879424 6031 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 6031 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200361 s]
/proc/loadavg: 2.22 2.16 2.09 3/194 13166
/proc/meminfo: memFree=28076432/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 4959 0 1 0 26 1 0 0 20 0 18 0 6494669 9787879424 10554 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 10554 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300394 s]
/proc/loadavg: 2.22 2.16 2.09 3/194 13166
/proc/meminfo: memFree=28076432/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 5765 0 1 0 49 2 0 0 20 0 18 0 6494669 9787879424 14012 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 14012 2238 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.700355 s]
/proc/loadavg: 2.22 2.16 2.09 3/194 13166
/proc/meminfo: memFree=28076432/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=1.14 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 6197 0 1 0 106 8 0 0 20 0 18 0 6494669 9787879424 50520 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 50520 2262 9 0 2380296 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9558476

[startup+1.50088 s]
/proc/loadavg: 2.22 2.16 2.09 3/212 13184
/proc/meminfo: memFree=27825668/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=2.48 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 7055 0 1 0 221 27 0 0 20 0 18 0 6494669 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 115055 2262 9 0 2380296 0
[pid=13166/tid=13168] ppid=13163 vsize=9558476 CPUtime=1.22 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (java) R 13163 13166 12078 0 -1 4202560 2522 0 1 0 118 4 0 0 20 0 18 0 6494670 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057358233600 140057223052944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (java) S 13163 13166 12078 0 -1 4202560 83 0 0 0 7 2 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057347303720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13170] ppid=13163 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13166/task/13170/stat : 13170 (java) S 13163 13166 12078 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057346250920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13171] ppid=13163 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13166/task/13171/stat : 13171 (java) S 13163 13166 12078 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057345198632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13172] ppid=13163 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/13166/task/13172/stat : 13172 (java) S 13163 13166 12078 0 -1 4202560 79 0 0 0 9 4 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057344145832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13173] ppid=13163 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13166/task/13173/stat : 13173 (java) S 13163 13166 12078 0 -1 4202560 255 0 0 0 4 3 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057343093544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13174] ppid=13163 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/13166/task/13174/stat : 13174 (java) S 13163 13166 12078 0 -1 4202560 124 0 0 0 9 4 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057342040744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13175] ppid=13163 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/13166/task/13175/stat : 13175 (java) S 13163 13166 12078 0 -1 4202560 54 0 0 0 7 2 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057195002920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13176] ppid=13163 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/13166/task/13176/stat : 13176 (java) S 13163 13166 12078 0 -1 4202560 121 0 0 0 11 4 0 0 20 0 18 0 6494671 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057193950120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13177] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13177/stat : 13177 (java) S 13163 13166 12078 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 6494672 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057181751528 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13178] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13178/stat : 13178 (java) S 13163 13166 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 6494673 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057180697592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13179] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13179/stat : 13179 (java) S 13163 13166 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 6494673 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057179645192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13180] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13180/stat : 13180 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057178593680 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13181] ppid=13163 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/13166/task/13181/stat : 13181 (java) S 13163 13166 12078 0 -1 4202560 1186 0 0 0 15 0 0 0 20 0 18 0 6494675 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057177541304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13182] ppid=13163 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/13166/task/13182/stat : 13182 (java) S 13163 13166 12078 0 -1 4202560 1102 0 0 0 14 0 0 0 20 0 18 0 6494675 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057176488504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13183] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13183/stat : 13183 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057175436408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13184] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13184/stat : 13184 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 115055 33554432000 1073741824 1073778376 140734531686960 140057174383816 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9558476

[startup+3.10078 s]
/proc/loadavg: 2.20 2.16 2.09 3/212 13184
/proc/meminfo: memFree=27548136/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=4.63 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 9340 0 1 0 422 41 0 0 20 0 18 0 6494669 9787879424 199829 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 199829 2262 9 0 2380296 0
[pid=13166/tid=13168] ppid=13163 vsize=9558476 CPUtime=2.64 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (java) S 13163 13166 12078 0 -1 4202560 2808 0 1 0 256 8 0 0 20 0 18 0 6494670 9787879424 199829 33554432000 1073741824 1073778376 140734531686960 140057358240792 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (java) R 13163 13166 12078 0 -1 4202560 116 0 0 0 13 4 0 0 20 0 18 0 6494671 9787879424 199829 33554432000 1073741824 1073778376 140734531686960 140057347303896 140057365138348 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13170] ppid=13163 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/13166/task/13170/stat : 13170 (java) R 13163 13166 12078 0 -1 4202560 345 0 0 0 11 3 0 0 20 0 18 0 6494671 9787879424 199829 33554432000 1073741824 1073778376 140734531686960 140057346251096 140057365138329 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13171] ppid=13163 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13166/task/13171/stat : 13171 (java) R 13163 13166 12078 0 -1 4202560 98 0 0 0 13 4 0 0 20 0 18 0 6494671 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057345198808 140057360713417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13172] ppid=13163 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/13166/task/13172/stat : 13172 (java) R 13163 13166 12078 0 -1 4202560 104 0 0 0 15 4 0 0 20 0 18 0 6494671 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057344146008 140057360801725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13173] ppid=13163 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/13166/task/13173/stat : 13173 (java) R 13163 13166 12078 0 -1 4202560 310 0 0 0 16 4 0 0 20 0 18 0 6494671 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057343093424 140057361998988 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13174] ppid=13163 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13166/task/13174/stat : 13174 (java) R 13163 13166 12078 0 -1 4202560 138 0 0 0 13 4 0 0 20 0 18 0 6494671 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057342040920 140057360713409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13175] ppid=13163 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/13166/task/13175/stat : 13175 (java) R 13163 13166 12078 0 -1 4202560 86 0 0 0 14 4 0 0 20 0 18 0 6494671 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057195003096 140057360713417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13176] ppid=13163 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/13166/task/13176/stat : 13176 (java) R 13163 13166 12078 0 -1 4202560 177 0 0 0 20 6 0 0 20 0 18 0 6494671 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057193950296 140057360713409 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13177] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13177/stat : 13177 (java) S 13163 13166 12078 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 6494672 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057181750408 251146581052 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13178] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13178/stat : 13178 (java) S 13163 13166 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 6494673 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057180697592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13179] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13179/stat : 13179 (java) S 13163 13166 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 6494673 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057179645192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13180] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13180/stat : 13180 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057178593680 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13181] ppid=13163 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/13166/task/13181/stat : 13181 (java) S 13163 13166 12078 0 -1 4202560 1186 0 0 0 16 0 0 0 20 0 18 0 6494675 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057177533272 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13182] ppid=13163 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/13166/task/13182/stat : 13182 (java) R 13163 13166 12078 0 -1 4202560 2526 0 0 0 19 0 0 0 20 0 18 0 6494675 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057176475784 140057361155782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13183] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13183/stat : 13183 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057175436408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13184] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13184/stat : 13184 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 200341 33554432000 1073741824 1073778376 140734531686960 140057174383816 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 9558476

[startup+6.30092 s]
/proc/loadavg: 2.20 2.16 2.09 3/212 13184
/proc/meminfo: memFree=25743860/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9558476 CPUtime=8.63 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 12380 0 1 0 783 80 0 0 20 0 18 0 6494669 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2389619 703440 2262 9 0 2380296 0
[pid=13166/tid=13168] ppid=13163 vsize=9558476 CPUtime=5.56 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (java) R 13163 13166 12078 0 -1 4202560 4212 0 1 0 517 39 0 0 20 0 18 0 6494670 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057358239888 140057223118279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (java) S 13163 13166 12078 0 -1 4202560 134 0 0 0 23 5 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057347303720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13170] ppid=13163 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/13166/task/13170/stat : 13170 (java) S 13163 13166 12078 0 -1 4202560 359 0 0 0 20 4 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057346250920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13171] ppid=13163 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/13166/task/13171/stat : 13171 (java) S 13163 13166 12078 0 -1 4202560 130 0 0 0 26 5 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057345198632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13172] ppid=13163 vsize=9558476 CPUtime=0.36 cores=1,3,5,7
/proc/13166/task/13172/stat : 13172 (java) S 13163 13166 12078 0 -1 4202560 142 0 0 0 30 6 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057344145832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13173] ppid=13163 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/13166/task/13173/stat : 13173 (java) S 13163 13166 12078 0 -1 4202560 378 0 0 0 26 6 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057343093544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13174] ppid=13163 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/13166/task/13174/stat : 13174 (java) S 13163 13166 12078 0 -1 4202560 144 0 0 0 22 4 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057342040744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13175] ppid=13163 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/13166/task/13175/stat : 13175 (java) S 13163 13166 12078 0 -1 4202560 109 0 0 0 27 5 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057195002920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13176] ppid=13163 vsize=9558476 CPUtime=0.37 cores=1,3,5,7
/proc/13166/task/13176/stat : 13176 (java) S 13163 13166 12078 0 -1 4202560 194 0 0 0 31 6 0 0 20 0 18 0 6494671 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057193950120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13177] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13177/stat : 13177 (java) S 13163 13166 12078 0 -1 4202560 1261 0 0 0 0 0 0 0 20 0 18 0 6494672 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057181751528 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13178] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13178/stat : 13178 (java) S 13163 13166 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 6494673 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057180697592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13179] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13179/stat : 13179 (java) S 13163 13166 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 6494673 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057179645192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13180] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13180/stat : 13180 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057178593680 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13181] ppid=13163 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13166/task/13181/stat : 13181 (java) S 13163 13166 12078 0 -1 4202560 1196 0 0 0 17 0 0 0 20 0 18 0 6494675 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057177541304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13182] ppid=13163 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/13166/task/13182/stat : 13182 (java) S 13163 13166 12078 0 -1 4202560 2870 0 0 0 26 0 0 0 20 0 18 0 6494675 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057176488504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13183] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13183/stat : 13183 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057175436408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13184] ppid=13163 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13184/stat : 13184 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6494675 9787879424 703440 33554432000 1073741824 1073778376 140734531686960 140057174383816 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 9558476

[startup+12.7009 s]
/proc/loadavg: 2.17 2.16 2.09 3/213 13185
/proc/meminfo: memFree=25257528/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9625040 CPUtime=15.67 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 14876 0 1 0 1486 81 0 0 20 0 19 0 6494669 9856040960 705537 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2406260 705537 2274 9 0 2396937 0

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

[pid=13166/tid=13185] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13185/stat : 13185 (java) S 13163 13166 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6495426 9856040960 1141913 33554432000 1073741824 1073778376 140734531686960 140057173328808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1731.93
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.08 2.18 2.10 3/213 13296
/proc/meminfo: memFree=25109624/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9625040 CPUtime=1792.45 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 427566 0 1 0 178937 308 0 0 20 0 19 0 6494669 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2406260 1133665 2287 9 0 2396937 0
[pid=13166/tid=13168] ppid=13163 vsize=9625040 CPUtime=1764.95 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (java) R 13163 13166 12078 0 -1 4202560 4243 0 1 0 176426 69 0 0 20 0 19 0 6494670 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057358240976 140057223420068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=9625040 CPUtime=1.73 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (java) S 13163 13166 12078 0 -1 4202560 44700 0 0 0 141 32 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057347303720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13170] ppid=13163 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/13166/task/13170/stat : 13170 (java) S 13163 13166 12078 0 -1 4202560 41398 0 0 0 113 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057346250920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13171] ppid=13163 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/13166/task/13171/stat : 13171 (java) S 13163 13166 12078 0 -1 4202560 45303 0 0 0 136 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057345198632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13172] ppid=13163 vsize=9625040 CPUtime=1.68 cores=1,3,5,7
/proc/13166/task/13172/stat : 13172 (java) S 13163 13166 12078 0 -1 4202560 38351 0 0 0 140 28 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057344145832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13173] ppid=13163 vsize=9625040 CPUtime=1.77 cores=1,3,5,7
/proc/13166/task/13173/stat : 13173 (java) S 13163 13166 12078 0 -1 4202560 40586 0 0 0 143 34 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057343093544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13174] ppid=13163 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13166/task/13174/stat : 13174 (java) S 13163 13166 12078 0 -1 4202560 34979 0 0 0 109 20 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057342040744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13175] ppid=13163 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/13166/task/13175/stat : 13175 (java) S 13163 13166 12078 0 -1 4202560 38533 0 0 0 115 26 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057195002920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13176] ppid=13163 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13166/task/13176/stat : 13176 (java) S 13163 13166 12078 0 -1 4202560 40290 0 0 0 105 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057193950120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13177] ppid=13163 vsize=9625040 CPUtime=9.21 cores=1,3,5,7
/proc/13166/task/13177/stat : 13177 (java) S 13163 13166 12078 0 -1 4202560 91035 0 0 0 899 22 0 0 20 0 19 0 6494672 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057181751528 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13178] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13178/stat : 13178 (java) S 13163 13166 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6494673 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057180697592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13179] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13179/stat : 13179 (java) S 13163 13166 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6494673 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057179645192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13180] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13180/stat : 13180 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057178593680 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13181] ppid=13163 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13166/task/13181/stat : 13181 (java) S 13163 13166 12078 0 -1 4202560 2703 0 0 0 50 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057177541304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13182] ppid=13163 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/13166/task/13182/stat : 13182 (java) S 13163 13166 12078 0 -1 4202560 4085 0 0 0 61 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057176488504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13183] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13183/stat : 13183 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057175436408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13184] ppid=13163 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/13166/task/13184/stat : 13184 (java) S 13163 13166 12078 0 -1 4202560 103 0 0 0 38 39 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057174383816 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13185] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13185/stat : 13185 (java) S 13163 13166 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6495426 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057173328808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1792.45
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.9 s]
/proc/loadavg: 2.07 2.18 2.10 3/213 13296
/proc/meminfo: memFree=25109624/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 427566 0 1 0 179697 308 0 0 20 0 19 0 6494669 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2406260 1133665 2287 9 0 2396937 0
[pid=13166/tid=13168] ppid=13163 vsize=9625040 CPUtime=1772.53 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (java) R 13163 13166 12078 0 -1 4202560 4243 0 1 0 177184 69 0 0 20 0 19 0 6494670 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057358240976 140057223336403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=9625040 CPUtime=1.73 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (java) S 13163 13166 12078 0 -1 4202560 44700 0 0 0 141 32 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057347303720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13170] ppid=13163 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/13166/task/13170/stat : 13170 (java) S 13163 13166 12078 0 -1 4202560 41398 0 0 0 113 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057346250920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13171] ppid=13163 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/13166/task/13171/stat : 13171 (java) S 13163 13166 12078 0 -1 4202560 45303 0 0 0 136 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057345198632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13172] ppid=13163 vsize=9625040 CPUtime=1.68 cores=1,3,5,7
/proc/13166/task/13172/stat : 13172 (java) S 13163 13166 12078 0 -1 4202560 38351 0 0 0 140 28 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057344145832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13173] ppid=13163 vsize=9625040 CPUtime=1.77 cores=1,3,5,7
/proc/13166/task/13173/stat : 13173 (java) S 13163 13166 12078 0 -1 4202560 40586 0 0 0 143 34 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057343093544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13174] ppid=13163 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13166/task/13174/stat : 13174 (java) S 13163 13166 12078 0 -1 4202560 34979 0 0 0 109 20 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057342040744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13175] ppid=13163 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/13166/task/13175/stat : 13175 (java) S 13163 13166 12078 0 -1 4202560 38533 0 0 0 115 26 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057195002920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13176] ppid=13163 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13166/task/13176/stat : 13176 (java) S 13163 13166 12078 0 -1 4202560 40290 0 0 0 105 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057193950120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13177] ppid=13163 vsize=9625040 CPUtime=9.21 cores=1,3,5,7
/proc/13166/task/13177/stat : 13177 (java) S 13163 13166 12078 0 -1 4202560 91035 0 0 0 899 22 0 0 20 0 19 0 6494672 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057181751528 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13178] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13178/stat : 13178 (java) S 13163 13166 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6494673 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057180697592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13179] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13179/stat : 13179 (java) S 13163 13166 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6494673 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057179645192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13180] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13180/stat : 13180 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057178593680 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13181] ppid=13163 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13166/task/13181/stat : 13181 (java) S 13163 13166 12078 0 -1 4202560 2703 0 0 0 50 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057177541304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13182] ppid=13163 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/13166/task/13182/stat : 13182 (java) S 13163 13166 12078 0 -1 4202560 4085 0 0 0 61 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057176488504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13183] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13183/stat : 13183 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057175436408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13184] ppid=13163 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/13166/task/13184/stat : 13184 (java) S 13163 13166 12078 0 -1 4202560 103 0 0 0 38 39 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057174383816 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13185] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13185/stat : 13185 (java) S 13163 13166 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6495426 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057173328808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1789.9 s]
/proc/loadavg: 2.07 2.18 2.10 3/213 13296
/proc/meminfo: memFree=25109624/32872528 swapFree=239792/272496
[pid=13166] ppid=13163 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/13166/stat : 13166 (java) S 13163 13166 12078 0 -1 4202496 427566 0 1 0 179697 308 0 0 20 0 19 0 6494669 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140734531678096 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13166/statm: 2406260 1133665 2287 9 0 2396937 0
[pid=13166/tid=13168] ppid=13163 vsize=9625040 CPUtime=1772.53 cores=1,3,5,7
/proc/13166/task/13168/stat : 13168 (java) R 13163 13166 12078 0 -1 4202560 4243 0 1 0 177184 69 0 0 20 0 19 0 6494670 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057358240976 140057223336403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13169] ppid=13163 vsize=9625040 CPUtime=1.73 cores=1,3,5,7
/proc/13166/task/13169/stat : 13169 (java) S 13163 13166 12078 0 -1 4202560 44700 0 0 0 141 32 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057347303720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13170] ppid=13163 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/13166/task/13170/stat : 13170 (java) S 13163 13166 12078 0 -1 4202560 41398 0 0 0 113 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057346250920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13171] ppid=13163 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/13166/task/13171/stat : 13171 (java) S 13163 13166 12078 0 -1 4202560 45303 0 0 0 136 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057345198632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13172] ppid=13163 vsize=9625040 CPUtime=1.68 cores=1,3,5,7
/proc/13166/task/13172/stat : 13172 (java) S 13163 13166 12078 0 -1 4202560 38351 0 0 0 140 28 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057344145832 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13173] ppid=13163 vsize=9625040 CPUtime=1.77 cores=1,3,5,7
/proc/13166/task/13173/stat : 13173 (java) S 13163 13166 12078 0 -1 4202560 40586 0 0 0 143 34 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057343093544 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13174] ppid=13163 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13166/task/13174/stat : 13174 (java) S 13163 13166 12078 0 -1 4202560 34979 0 0 0 109 20 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057342040744 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13175] ppid=13163 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/13166/task/13175/stat : 13175 (java) S 13163 13166 12078 0 -1 4202560 38533 0 0 0 115 26 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057195002920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13166/tid=13176] ppid=13163 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/13166/task/13176/stat : 13176 (java) S 13163 13166 12078 0 -1 4202560 40290 0 0 0 105 24 0 0 20 0 19 0 6494671 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057193950120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13177] ppid=13163 vsize=9625040 CPUtime=9.21 cores=1,3,5,7
/proc/13166/task/13177/stat : 13177 (java) S 13163 13166 12078 0 -1 4202560 91035 0 0 0 899 22 0 0 20 0 19 0 6494672 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057181751528 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13178] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13178/stat : 13178 (java) S 13163 13166 12078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6494673 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057180697592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13179] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13179/stat : 13179 (java) S 13163 13166 12078 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6494673 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057179645192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13180] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13180/stat : 13180 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057178593680 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13181] ppid=13163 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13166/task/13181/stat : 13181 (java) S 13163 13166 12078 0 -1 4202560 2703 0 0 0 50 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057177541304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13166/tid=13182] ppid=13163 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/13166/task/13182/stat : 13182 (java) S 13163 13166 12078 0 -1 4202560 4085 0 0 0 61 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057176488504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13183] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13183/stat : 13183 (java) S 13163 13166 12078 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057175436408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13166/tid=13184] ppid=13163 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/13166/task/13184/stat : 13184 (java) S 13163 13166 12078 0 -1 4202560 103 0 0 0 38 39 0 0 20 0 19 0 6494675 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057174383816 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13166/tid=13185] ppid=13163 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13166/task/13185/stat : 13185 (java) S 13163 13166 12078 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6495426 9856040960 1133665 33554432000 1073741824 1073778376 140734531686960 140057173328808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13166 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=539492
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=611450
# CPU time returned by wait4() is 1796.15
# 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): 1789.98
CPU time (s): 1800.05
CPU user time (s): 1796.97
CPU system time (s): 3.08
CPU usage (%): 100.563
Max. virtual memory (cumulated for all children) (KiB): 9690576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.54
system time used= 3.61145
maximum resident set size= 4569508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 427644
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56428
involuntary context switches= 8042

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3244 second user time and 14.2198 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-30 10:17:16
IDJOB=4119716
IDBENCH=111794
IDSOLVER=2546
FILE ID=node107/4119716-1467274635
RUNJOBID= node107-1467272712-12530
PBS_JOBID= 20004486
Free space on /tmp= 71660 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119716-1467274635/watcher-4119716-1467274635 -o /tmp/evaluation-result-4119716-1467274635/solver-4119716-1467274635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467272712-12530 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119716-1467274635.opb

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

MD5SUM BENCH= 7b69339ab914a0ee0ae1c04a0acb6c7f
RANDOM SEED=1578294662

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.110
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		: 2667.110
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.56
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		: 2667.110
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:        28076812 kB
Buffers:          119044 kB
Cached:           594996 kB
SwapCached:            0 kB
Active:          3254620 kB
Inactive:         523380 kB
Active(anon):    3066892 kB
Inactive(anon):        4 kB
Active(file):     187728 kB
Inactive(file):   523376 kB
Unevictable:      272496 kB
Mlocked:          239792 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             31432 kB
Writeback:             0 kB
AnonPages:       3339116 kB
Mapped:            22164 kB
Shmem:               204 kB
Slab:             609632 kB
SReclaimable:      52940 kB
SUnreclaim:       556692 kB
KernelStack:        1592 kB
PageTables:        10640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3828224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3014656 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= 71680 MiB
End job on node107 at 2016-06-30 10:47:06