Trace number 4103132

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 Resolution PB16? (TO) 1800.08 1775.35

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
MD5SUMd5dba1ae5450ecccd67bf40744af7c62
Bench CategoryOPT-BIGINT (optimisation, big 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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables733406
Total number of constraints12168
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 constraints12168
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 374066
Biggest coefficient in the objective function 2150851580428025856
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 1765505311698925020552
Number of bits of the sum of numbers in the objective function 71
Biggest number in a constraint 53687091200000000000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 4277072243466308763648
Number of bits of the biggest sum of numbers72
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-4103132-1466232976.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
9.79/6.97	c ... done. Wall clock time 6.853s.
9.79/6.97	c declared #vars     733406
9.79/6.97	c #constraints  24310
9.79/6.97	c constraints type 
9.79/6.97	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 24210
9.79/6.97	c org.sat4j.pb.constraints.pb.MaxWatchPb => 100
9.79/6.97	c 24310 constraints processed.
9.79/6.97	c objective function length is 374066 literals
26.83/22.85	c cleaning 2492 clauses out of 5002 with flag 15052/5002
33.78/29.09	c cleaning 4248 clauses out of 8508 with flag 29791/11000
37.71/32.47	c cleaning 5631 clauses out of 11261 with flag 44466/18001
41.59/35.79	c cleaning 6811 clauses out of 13631 with flag 60468/26002
45.86/39.59	c cleaning 7909 clauses out of 15820 with flag 78468/35002
50.87/44.02	c cleaning 8955 clauses out of 17910 with flag 98466/45001
56.54/49.15	c cleaning 9978 clauses out of 19956 with flag 120468/56002
62.49/54.59	c cleaning 10990 clauses out of 21983 with flag 144478/68007
68.92/60.57	c cleaning 11994 clauses out of 23987 with flag 170466/81001
76.00/67.14	c cleaning 12997 clauses out of 25994 with flag 198468/95002
84.01/74.61	c cleaning 13994 clauses out of 27997 with flag 228468/110002
92.14/82.31	c cleaning 15002 clauses out of 30007 with flag 260476/126006
101.55/91.39	c cleaning 15998 clauses out of 31999 with flag 294464/143000
111.25/100.67	c cleaning 16995 clauses out of 34003 with flag 330468/161002
123.21/111.79	c cleaning 18004 clauses out of 36007 with flag 368466/180001
134.78/123.22	c cleaning 19006 clauses out of 38011 with flag 408482/200009
146.68/135.07	c cleaning 19995 clauses out of 39996 with flag 450464/221000
158.94/147.25	c cleaning 21004 clauses out of 42007 with flag 494476/243006
171.89/160.02	c cleaning 21999 clauses out of 43998 with flag 540466/266001
186.86/174.97	c cleaning 22999 clauses out of 46003 with flag 588474/290005
201.84/189.78	c cleaning 24004 clauses out of 48008 with flag 638482/315009
217.35/205.06	c cleaning 24998 clauses out of 49997 with flag 690468/341002
233.15/220.73	c cleaning 25998 clauses out of 51997 with flag 744464/368000
250.78/238.13	c cleaning 26987 clauses out of 53999 with flag 800464/396000
270.71/257.83	c cleaning 28000 clauses out of 56012 with flag 858464/425000
289.46/276.32	c cleaning 29003 clauses out of 58012 with flag 918464/455000
310.23/296.88	c cleaning 30004 clauses out of 60010 with flag 980466/486001
332.47/318.65	c cleaning 31000 clauses out of 62013 with flag 1044480/518008
358.28/344.15	c cleaning 32007 clauses out of 64014 with flag 1110482/551009
383.35/369.00	c cleaning 32995 clauses out of 65998 with flag 1178464/585000
412.50/397.70	c cleaning 34005 clauses out of 68009 with flag 1248476/620006
441.04/426.11	c cleaning 34998 clauses out of 69999 with flag 1320466/656001
473.14/458.14	c cleaning 35990 clauses out of 72000 with flag 1394464/693000
506.56/491.40	c cleaning 37007 clauses out of 74020 with flag 1470484/731010
542.18/526.89	c cleaning 38002 clauses out of 76004 with flag 1548466/770001
578.99/563.34	c cleaning 39001 clauses out of 78007 with flag 1628476/810006
616.36/600.36	c cleaning 40001 clauses out of 80005 with flag 1710474/851005
656.45/640.06	c cleaning 41003 clauses out of 82006 with flag 1794478/893007
693.01/676.28	c cleaning 41993 clauses out of 83997 with flag 1880466/936001
740.12/722.96	c cleaning 43000 clauses out of 86003 with flag 1968464/980000
783.03/765.49	c cleaning 44002 clauses out of 88003 with flag 2058464/1025000
826.17/808.25	c cleaning 45005 clauses out of 90009 with flag 2150480/1071008
870.01/851.80	c cleaning 45998 clauses out of 91997 with flag 2244466/1118001
922.97/904.30	c cleaning 46998 clauses out of 93998 with flag 2340464/1166000
974.06/955.06	c cleaning 47995 clauses out of 96004 with flag 2438472/1215004
1025.83/1006.55	c cleaning 49006 clauses out of 98011 with flag 2538476/1265006
1076.78/1057.17	c cleaning 49997 clauses out of 100008 with flag 2640482/1316009
1137.36/1117.02	c cleaning 50999 clauses out of 102004 with flag 2744468/1368002
1199.33/1178.52	c cleaning 51999 clauses out of 104003 with flag 2850464/1421000
1259.54/1238.16	c cleaning 52994 clauses out of 106006 with flag 2958468/1475002
1327.42/1305.51	c cleaning 54002 clauses out of 108011 with flag 3068466/1530001
1398.00/1375.95	c cleaning 55005 clauses out of 110010 with flag 3180468/1586002
1464.81/1442.45	c cleaning 56001 clauses out of 112007 with flag 3294472/1643004
1536.25/1513.44	c cleaning 56998 clauses out of 114003 with flag 3410466/1701001
1606.63/1583.40	c cleaning 58004 clauses out of 116008 with flag 3528472/1760004
1680.31/1656.47	c cleaning 59001 clauses out of 118001 with flag 3648466/1820001
1763.11/1738.64	c cleaning 59996 clauses out of 120002 with flag 3770470/1881003
1800.08/1775.30	c starts		: 91
1800.08/1775.30	c conflicts		: 1917996
1800.08/1775.30	c decisions		: 2762473
1800.08/1775.30	c propagations		: 22370278
1800.08/1775.30	c inspects		: 21767923323
1800.08/1775.30	c shortcuts		: 0
1800.08/1775.30	c learnt literals	: 0
1800.08/1775.30	c learnt binary clauses	: 0
1800.08/1775.30	c learnt ternary clauses	: 0
1800.08/1775.30	c learnt constraints	: 1917996
1800.08/1775.30	c ignored constraints	: 0
1800.08/1775.30	c root simplifications	: 0
1800.08/1775.30	c removed literals (reason simplification)	: 0
1800.08/1775.30	c reason swapping (by a shorter reason)	: 0
1800.08/1775.30	c Calls to reduceDB	: 57
1800.08/1775.30	c Number of update (reduction) of LBD	: 1142
1800.08/1775.30	c Imported unit clauses	: 0
1800.08/1775.30	c number of reductions to clauses (during analyze)	: 0
1800.08/1775.30	c number of learned constraints concerned by reduction	: 0
1800.08/1775.30	c number of learning phase by resolution	: 0
1800.08/1775.30	c number of learning phase by cutting planes	: 0
1800.08/1775.30	c speed (assignments/second)	: 12652.800606331411
1800.08/1775.30	c non guided choices	72756
1800.08/1775.33	c learnt constraints type 
1800.08/1775.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 96999
1800.08/1775.33	s UNKNOWN
1800.08/1775.33	c Total wall clock time (in seconds): 1775.212

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-4103132-1466232976/watcher-4103132-1466232976 -o /tmp/evaluation-result-4103132-1466232976/solver-4103132-1466232976 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2933 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103132-1466232976.opb 

pid=7088
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: 1.97 2.04 2.07 3/194 7091
/proc/meminfo: memFree=31485888/32872528 swapFree=190484/190484
[pid=7091] ppid=7088 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/7091/stat : 7091 (java) R 7088 7091 2916 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 25348280 278528 26 33554432000 1073741824 1073778376 140734776589552 140733486944968 249640852049 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7091/statm: 68 33 25 9 0 25 0

[startup+0.100061 s]
/proc/loadavg: 1.97 2.04 2.07 3/194 7091
/proc/meminfo: memFree=31485888/32872528 swapFree=190484/190484
[pid=7091] ppid=7088 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/7091/stat : 7091 (java) S 7088 7091 2916 0 -1 4202496 4467 0 1 0 8 1 0 0 20 0 18 0 25348280 9787879424 5571 33554432000 1073741824 1073778376 140734776589552 140734776580688 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7091/statm: 2389619 5571 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200228 s]
/proc/loadavg: 1.97 2.04 2.07 3/194 7091
/proc/meminfo: memFree=31485888/32872528 swapFree=190484/190484
[pid=7091] ppid=7088 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/7091/stat : 7091 (java) S 7088 7091 2916 0 -1 4202496 5127 0 1 0 27 2 0 0 20 0 18 0 25348280 9787879424 10652 33554432000 1073741824 1073778376 140734776589552 140734776580688 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7091/statm: 2389619 10652 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300354 s]
/proc/loadavg: 1.97 2.04 2.07 3/194 7091
/proc/meminfo: memFree=31485888/32872528 swapFree=190484/190484
[pid=7091] ppid=7088 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/7091/stat : 7091 (java) S 7088 7091 2916 0 -1 4202496 5754 0 1 0 44 2 0 0 20 0 18 0 25348280 9787879424 15104 33554432000 1073741824 1073778376 140734776589552 140734776580688 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7091/statm: 2389619 15104 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.70021 s]
/proc/loadavg: 1.97 2.04 2.07 3/194 7091
/proc/meminfo: memFree=31485888/32872528 swapFree=190484/190484
[pid=7091] ppid=7088 vsize=9558476 CPUtime=0.94 cores=1,3,5,7
/proc/7091/stat : 7091 (java) S 7088 7091 2916 0 -1 4202496 5935 0 1 0 89 5 0 0 20 0 18 0 25348280 9787879424 45924 33554432000 1073741824 1073778376 140734776589552 140734776580688 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7091/statm: 2389619 45924 2247 9 0 2380296 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 9558476

[startup+1.50084 s]
/proc/loadavg: 1.97 2.04 2.07 5/212 7109
/proc/meminfo: memFree=31301776/32872528 swapFree=190484/190484
[pid=7091] ppid=7088 vsize=9558476 CPUtime=2.21 cores=1,3,5,7
/proc/7091/stat : 7091 (java) S 7088 7091 2916 0 -1 4202496 11255 0 1 0 212 9 0 0 20 0 18 0 25348280 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140734776580688 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7091/statm: 2389619 60601 2268 9 0 2380296 0
[pid=7091/tid=7093] ppid=7088 vsize=9558476 CPUtime=1.37 cores=1,3,5,7
/proc/7091/task/7093/stat : 7093 (java) R 7088 7091 2916 0 -1 4202560 2517 0 1 0 134 3 0 0 20 0 18 0 25348281 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418185803912 140418058531973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7094] ppid=7088 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/7091/task/7094/stat : 7094 (java) S 7088 7091 2916 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 18 0 25348283 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418029709992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7095] ppid=7088 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/7091/task/7095/stat : 7095 (java) S 7088 7091 2916 0 -1 4202560 59 0 0 0 2 0 0 0 20 0 18 0 25348283 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418028657448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7096] ppid=7088 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/7091/task/7096/stat : 7096 (java) S 7088 7091 2916 0 -1 4202560 99 0 0 0 1 0 0 0 20 0 18 0 25348283 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418027604904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7097] ppid=7088 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/7091/task/7097/stat : 7097 (java) S 7088 7091 2916 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 18 0 25348283 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418026552360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7098] ppid=7088 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/7091/task/7098/stat : 7098 (java) S 7088 7091 2916 0 -1 4202560 166 0 0 0 5 0 0 0 20 0 18 0 25348283 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418025498792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7099] ppid=7088 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/7091/task/7099/stat : 7099 (java) S 7088 7091 2916 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 25348283 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418024446248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7100] ppid=7088 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/7091/task/7100/stat : 7100 (java) S 7088 7091 2916 0 -1 4202560 107 0 0 0 5 0 0 0 20 0 18 0 25348283 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418023393704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7101] ppid=7088 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/7091/task/7101/stat : 7101 (java) S 7088 7091 2916 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 25348283 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418022341160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7102] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7102/stat : 7102 (java) S 7088 7091 2916 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 25348284 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418010143336 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7103] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7103/stat : 7103 (java) S 7088 7091 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 25348284 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418009089656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7104] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7104/stat : 7104 (java) S 7088 7091 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 25348284 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418008037000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7105] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7105/stat : 7105 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 25348286 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418006985744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7106] ppid=7088 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/7091/task/7106/stat : 7106 (java) S 7088 7091 2916 0 -1 4202560 4069 0 0 0 24 0 0 0 20 0 18 0 25348287 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418005932088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7107] ppid=7088 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/7091/task/7107/stat : 7107 (java) S 7088 7091 2916 0 -1 4202560 2844 0 0 0 24 0 0 0 20 0 18 0 25348287 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418004879544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7108] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7108/stat : 7108 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 25348287 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418003827192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7109] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7109/stat : 7109 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 25348287 9787879424 60601 33554432000 1073741824 1073778376 140734776589552 140418002774856 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9558476

[startup+3.10085 s]
/proc/loadavg: 1.97 2.04 2.07 3/212 7109
/proc/meminfo: memFree=31056560/32872528 swapFree=190484/190484
[pid=7091] ppid=7088 vsize=9558476 CPUtime=4.62 cores=1,3,5,7
/proc/7091/stat : 7091 (java) S 7088 7091 2916 0 -1 4202496 12932 0 1 0 435 27 0 0 20 0 18 0 25348280 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140734776580688 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7091/statm: 2389619 128443 2268 9 0 2380296 0
[pid=7091/tid=7093] ppid=7088 vsize=9558476 CPUtime=2.7 cores=1,3,5,7
/proc/7091/task/7093/stat : 7093 (java) R 7088 7091 2916 0 -1 4202560 2571 0 1 0 265 5 0 0 20 0 18 0 25348281 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418185797584 140418058483008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7094] ppid=7088 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/7091/task/7094/stat : 7094 (java) S 7088 7091 2916 0 -1 4202560 70 0 0 0 14 2 0 0 20 0 18 0 25348283 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418029709992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7095] ppid=7088 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/7091/task/7095/stat : 7095 (java) S 7088 7091 2916 0 -1 4202560 122 0 0 0 12 3 0 0 20 0 18 0 25348283 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418028657448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7096] ppid=7088 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/7091/task/7096/stat : 7096 (java) S 7088 7091 2916 0 -1 4202560 164 0 0 0 13 2 0 0 20 0 18 0 25348283 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418027604904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7097] ppid=7088 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/7091/task/7097/stat : 7097 (java) S 7088 7091 2916 0 -1 4202560 97 0 0 0 14 4 0 0 20 0 18 0 25348283 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418026552360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7098] ppid=7088 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/7091/task/7098/stat : 7098 (java) S 7088 7091 2916 0 -1 4202560 222 0 0 0 16 3 0 0 20 0 18 0 25348283 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418025498792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7099] ppid=7088 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/7091/task/7099/stat : 7099 (java) S 7088 7091 2916 0 -1 4202560 258 0 0 0 12 2 0 0 20 0 18 0 25348283 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418024446248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7100] ppid=7088 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/7091/task/7100/stat : 7100 (java) S 7088 7091 2916 0 -1 4202560 535 0 0 0 15 3 0 0 20 0 18 0 25348283 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418023393704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7101] ppid=7088 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/7091/task/7101/stat : 7101 (java) S 7088 7091 2916 0 -1 4202560 528 0 0 0 8 2 0 0 20 0 18 0 25348283 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418022341160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7102] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7102/stat : 7102 (java) S 7088 7091 2916 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 25348284 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418010143336 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7103] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7103/stat : 7103 (java) S 7088 7091 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 25348284 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418009089656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7104] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7104/stat : 7104 (java) S 7088 7091 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 25348284 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418008037000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7105] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7105/stat : 7105 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 25348286 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418006985744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7106] ppid=7088 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/7091/task/7106/stat : 7106 (java) S 7088 7091 2916 0 -1 4202560 4071 0 0 0 26 0 0 0 20 0 18 0 25348287 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418005932088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7107] ppid=7088 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/7091/task/7107/stat : 7107 (java) S 7088 7091 2916 0 -1 4202560 2845 0 0 0 25 0 0 0 20 0 18 0 25348287 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418004879544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7108] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7108/stat : 7108 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 25348287 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418003827192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7109] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7109/stat : 7109 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 25348287 9787879424 128443 33554432000 1073741824 1073778376 140734776589552 140418002774856 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 9558476

[startup+6.30081 s]
/proc/loadavg: 2.05 2.06 2.07 3/212 7109
/proc/meminfo: memFree=30424692/32872528 swapFree=190484/190484
[pid=7091] ppid=7088 vsize=9558476 CPUtime=9.17 cores=1,3,5,7
/proc/7091/stat : 7091 (java) S 7088 7091 2916 0 -1 4202496 15887 0 1 0 860 57 0 0 20 0 18 0 25348280 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140734776580688 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7091/statm: 2389619 290574 2285 9 0 2380296 0
[pid=7091/tid=7093] ppid=7088 vsize=9558476 CPUtime=4.42 cores=1,3,5,7
/proc/7091/task/7093/stat : 7093 (java) R 7088 7091 2916 0 -1 4202560 2857 0 1 0 433 9 0 0 20 0 18 0 25348281 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418185805192 249653421325 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7094] ppid=7088 vsize=9558476 CPUtime=0.37 cores=1,3,5,7
/proc/7091/task/7094/stat : 7094 (java) S 7088 7091 2916 0 -1 4202560 355 0 0 0 32 5 0 0 20 0 18 0 25348283 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418029709992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7095] ppid=7088 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/7091/task/7095/stat : 7095 (java) S 7088 7091 2916 0 -1 4202560 198 0 0 0 34 6 0 0 20 0 18 0 25348283 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418028657448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7096] ppid=7088 vsize=9558476 CPUtime=0.34 cores=1,3,5,7
/proc/7091/task/7096/stat : 7096 (java) S 7088 7091 2916 0 -1 4202560 516 0 0 0 30 4 0 0 20 0 18 0 25348283 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418027604904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7097] ppid=7088 vsize=9558476 CPUtime=0.33 cores=1,3,5,7
/proc/7091/task/7097/stat : 7097 (java) S 7088 7091 2916 0 -1 4202560 180 0 0 0 28 5 0 0 20 0 18 0 25348283 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418026552360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7098] ppid=7088 vsize=9558476 CPUtime=0.38 cores=1,3,5,7
/proc/7091/task/7098/stat : 7098 (java) S 7088 7091 2916 0 -1 4202560 294 0 0 0 33 5 0 0 20 0 18 0 25348283 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418025498792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7099] ppid=7088 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/7091/task/7099/stat : 7099 (java) S 7088 7091 2916 0 -1 4202560 902 0 0 0 26 5 0 0 20 0 18 0 25348283 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418024446248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7100] ppid=7088 vsize=9558476 CPUtime=0.41 cores=1,3,5,7
/proc/7091/task/7100/stat : 7100 (java) S 7088 7091 2916 0 -1 4202560 638 0 0 0 34 7 0 0 20 0 18 0 25348283 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418023393704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7101] ppid=7088 vsize=9558476 CPUtime=0.34 cores=1,3,5,7
/proc/7091/task/7101/stat : 7101 (java) S 7088 7091 2916 0 -1 4202560 600 0 0 0 29 5 0 0 20 0 18 0 25348283 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418022341160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7102] ppid=7088 vsize=9558476 CPUtime=1.04 cores=1,3,5,7
/proc/7091/task/7102/stat : 7102 (java) S 7088 7091 2916 0 -1 4202560 1086 0 0 0 101 3 0 0 20 0 18 0 25348284 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418010143336 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7103] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7103/stat : 7103 (java) S 7088 7091 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 25348284 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418009089656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7104] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7104/stat : 7104 (java) S 7088 7091 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 25348284 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418008037000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7105] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7105/stat : 7105 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 25348286 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418006985744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7106] ppid=7088 vsize=9558476 CPUtime=0.33 cores=1,3,5,7
/proc/7091/task/7106/stat : 7106 (java) S 7088 7091 2916 0 -1 4202560 4124 0 0 0 33 0 0 0 20 0 18 0 25348287 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418005932088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7107] ppid=7088 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/7091/task/7107/stat : 7107 (java) S 7088 7091 2916 0 -1 4202560 2885 0 0 0 30 0 0 0 20 0 18 0 25348287 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418004879544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7108] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7108/stat : 7108 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 25348287 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418003827192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7109] ppid=7088 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7109/stat : 7109 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 25348287 9787879424 290574 33554432000 1073741824 1073778376 140734776589552 140418002774856 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.17
Current children cumulated vsize (KiB) 9558476

[startup+12.7009 s]
/proc/loadavg: 2.05 2.06 2.07 3/213 7110
/proc/meminfo: memFree=30267040/32872528 swapFree=190484/190484
[pid=7091] ppid=7088 vsize=9625040 CPUtime=16.03 cores=1,3,5,7
/proc/7091/stat : 7091 (java) S 7088 7091 2916 0 -1 4202496 16491 0 1 0 1544 59 0 0 20 0 19 0 25348280 9856040960 308038 33554432000 1073741824 1073778376 140734776589552 140734776580688 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7091/statm: 2406260 308038 2288 9 0 2396937 0

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

[pid=7091/tid=7110] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7110/stat : 7110 (java) S 7088 7091 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25349010 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418001622312 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1686.21
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.10 2.08 2.09 3/213 7242
/proc/meminfo: memFree=25138168/32872528 swapFree=190484/190484
[pid=7091] ppid=7088 vsize=9625040 CPUtime=1746.7 cores=1,3,5,7
/proc/7091/stat : 7091 (java) S 7088 7091 2916 0 -1 4202496 31119 0 1 0 174411 259 0 0 20 0 19 0 25348280 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140734776580688 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7091/statm: 2406260 920545 2293 9 0 2396937 0
[pid=7091/tid=7093] ppid=7088 vsize=9625040 CPUtime=1706.19 cores=1,3,5,7
/proc/7091/task/7093/stat : 7093 (java) R 7088 7091 2916 0 -1 4202560 4237 0 1 0 170570 49 0 0 20 0 19 0 25348281 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418185804864 140418058618976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7094] ppid=7088 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/7091/task/7094/stat : 7094 (java) S 7088 7091 2916 0 -1 4202560 1389 0 0 0 337 23 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418029709992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7095] ppid=7088 vsize=9625040 CPUtime=3.7 cores=1,3,5,7
/proc/7091/task/7095/stat : 7095 (java) S 7088 7091 2916 0 -1 4202560 1523 0 0 0 347 23 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418028657448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7096] ppid=7088 vsize=9625040 CPUtime=3.83 cores=1,3,5,7
/proc/7091/task/7096/stat : 7096 (java) S 7088 7091 2916 0 -1 4202560 1441 0 0 0 362 21 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418027604904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7097] ppid=7088 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/7091/task/7097/stat : 7097 (java) S 7088 7091 2916 0 -1 4202560 1450 0 0 0 380 24 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418026552360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7098] ppid=7088 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/7091/task/7098/stat : 7098 (java) S 7088 7091 2916 0 -1 4202560 1967 0 0 0 385 27 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418025498792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7099] ppid=7088 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/7091/task/7099/stat : 7099 (java) S 7088 7091 2916 0 -1 4202560 1751 0 0 0 382 22 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418024446248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7100] ppid=7088 vsize=9625040 CPUtime=3.78 cores=1,3,5,7
/proc/7091/task/7100/stat : 7100 (java) S 7088 7091 2916 0 -1 4202560 1585 0 0 0 352 26 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418023393704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7101] ppid=7088 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/7091/task/7101/stat : 7101 (java) S 7088 7091 2916 0 -1 4202560 1525 0 0 0 352 27 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418022341160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7102] ppid=7088 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/7091/task/7102/stat : 7102 (java) S 7088 7091 2916 0 -1 4202560 2699 0 0 0 323 6 0 0 20 0 19 0 25348284 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418010143336 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7103] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7103/stat : 7103 (java) S 7088 7091 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25348284 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418009089656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7104] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7104/stat : 7104 (java) S 7088 7091 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25348284 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418008037000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7105] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7105/stat : 7105 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25348286 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418006985744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7106] ppid=7088 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7091/task/7106/stat : 7106 (java) S 7088 7091 2916 0 -1 4202560 7252 0 0 0 62 1 0 0 20 0 19 0 25348287 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418005932088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7107] ppid=7088 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/7091/task/7107/stat : 7107 (java) S 7088 7091 2916 0 -1 4202560 2943 0 0 0 74 0 0 0 20 0 19 0 25348287 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418004879544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7108] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7108/stat : 7108 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25348287 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418003827192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7109] ppid=7088 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/7091/task/7109/stat : 7109 (java) S 7088 7091 2916 0 -1 4202560 99 0 0 0 35 37 0 0 20 0 19 0 25348287 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418002774856 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7110] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7110/stat : 7110 (java) S 7088 7091 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25349010 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418001622312 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1746.7
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1775.3 s]
/proc/loadavg: 2.04 2.07 2.09 3/213 7243
/proc/meminfo: memFree=25159760/32872528 swapFree=190484/190484
[pid=7091] ppid=7088 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/7091/stat : 7091 (java) S 7088 7091 2916 0 -1 4202496 31128 0 1 0 179748 260 0 0 20 0 19 0 25348280 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140734776580688 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7091/statm: 2406260 920545 2293 9 0 2396937 0
[pid=7091/tid=7093] ppid=7088 vsize=9625040 CPUtime=1758.9 cores=1,3,5,7
/proc/7091/task/7093/stat : 7093 (java) R 7088 7091 2916 0 -1 4202560 4240 0 1 0 175840 50 0 0 20 0 19 0 25348281 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418185804864 140418059031021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7094] ppid=7088 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/7091/task/7094/stat : 7094 (java) S 7088 7091 2916 0 -1 4202560 1389 0 0 0 342 23 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418029709992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7095] ppid=7088 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/7091/task/7095/stat : 7095 (java) S 7088 7091 2916 0 -1 4202560 1523 0 0 0 356 23 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418028657448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7096] ppid=7088 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/7091/task/7096/stat : 7096 (java) S 7088 7091 2916 0 -1 4202560 1441 0 0 0 367 21 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418027604904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7097] ppid=7088 vsize=9625040 CPUtime=4.09 cores=1,3,5,7
/proc/7091/task/7097/stat : 7097 (java) S 7088 7091 2916 0 -1 4202560 1450 0 0 0 385 24 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418026552360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7098] ppid=7088 vsize=9625040 CPUtime=4.18 cores=1,3,5,7
/proc/7091/task/7098/stat : 7098 (java) S 7088 7091 2916 0 -1 4202560 1967 0 0 0 391 27 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418025498792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7099] ppid=7088 vsize=9625040 CPUtime=4.08 cores=1,3,5,7
/proc/7091/task/7099/stat : 7099 (java) S 7088 7091 2916 0 -1 4202560 1751 0 0 0 386 22 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418024446248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7100] ppid=7088 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/7091/task/7100/stat : 7100 (java) S 7088 7091 2916 0 -1 4202560 1585 0 0 0 364 26 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418023393704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7101] ppid=7088 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/7091/task/7101/stat : 7101 (java) S 7088 7091 2916 0 -1 4202560 1525 0 0 0 360 27 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418022341160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7102] ppid=7088 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/7091/task/7102/stat : 7102 (java) S 7088 7091 2916 0 -1 4202560 2703 0 0 0 323 6 0 0 20 0 19 0 25348284 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418010143336 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7103] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7103/stat : 7103 (java) S 7088 7091 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25348284 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418009089656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7104] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7104/stat : 7104 (java) S 7088 7091 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25348284 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418008037000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7105] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7105/stat : 7105 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25348286 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418006985744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7106] ppid=7088 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7091/task/7106/stat : 7106 (java) S 7088 7091 2916 0 -1 4202560 7252 0 0 0 62 1 0 0 20 0 19 0 25348287 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418005932088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7107] ppid=7088 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/7091/task/7107/stat : 7107 (java) S 7088 7091 2916 0 -1 4202560 2943 0 0 0 74 0 0 0 20 0 19 0 25348287 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418004879544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7108] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7108/stat : 7108 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25348287 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418003827192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7109] ppid=7088 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/7091/task/7109/stat : 7109 (java) S 7088 7091 2916 0 -1 4202560 101 0 0 0 36 39 0 0 20 0 19 0 25348287 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418002774856 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7110] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7110/stat : 7110 (java) S 7088 7091 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25349010 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418001622312 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 7091 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1775.3 s]
/proc/loadavg: 2.04 2.07 2.09 3/213 7243
/proc/meminfo: memFree=25159760/32872528 swapFree=190484/190484
[pid=7091] ppid=7088 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/7091/stat : 7091 (java) S 7088 7091 2916 0 -1 4202496 31128 0 1 0 179748 260 0 0 20 0 19 0 25348280 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140734776580688 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7091/statm: 2406260 920545 2293 9 0 2396937 0
[pid=7091/tid=7093] ppid=7088 vsize=9625040 CPUtime=1758.9 cores=1,3,5,7
/proc/7091/task/7093/stat : 7093 (java) R 7088 7091 2916 0 -1 4202560 4240 0 1 0 175840 50 0 0 20 0 19 0 25348281 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418185804864 140418059031021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7094] ppid=7088 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/7091/task/7094/stat : 7094 (java) S 7088 7091 2916 0 -1 4202560 1389 0 0 0 342 23 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418029709992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7095] ppid=7088 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/7091/task/7095/stat : 7095 (java) S 7088 7091 2916 0 -1 4202560 1523 0 0 0 356 23 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418028657448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7096] ppid=7088 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/7091/task/7096/stat : 7096 (java) S 7088 7091 2916 0 -1 4202560 1441 0 0 0 367 21 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418027604904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7097] ppid=7088 vsize=9625040 CPUtime=4.09 cores=1,3,5,7
/proc/7091/task/7097/stat : 7097 (java) S 7088 7091 2916 0 -1 4202560 1450 0 0 0 385 24 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418026552360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7098] ppid=7088 vsize=9625040 CPUtime=4.18 cores=1,3,5,7
/proc/7091/task/7098/stat : 7098 (java) S 7088 7091 2916 0 -1 4202560 1967 0 0 0 391 27 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418025498792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7099] ppid=7088 vsize=9625040 CPUtime=4.08 cores=1,3,5,7
/proc/7091/task/7099/stat : 7099 (java) S 7088 7091 2916 0 -1 4202560 1751 0 0 0 386 22 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418024446248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7091/tid=7100] ppid=7088 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/7091/task/7100/stat : 7100 (java) S 7088 7091 2916 0 -1 4202560 1585 0 0 0 364 26 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418023393704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7101] ppid=7088 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/7091/task/7101/stat : 7101 (java) S 7088 7091 2916 0 -1 4202560 1525 0 0 0 360 27 0 0 20 0 19 0 25348283 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418022341160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7102] ppid=7088 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/7091/task/7102/stat : 7102 (java) S 7088 7091 2916 0 -1 4202560 2703 0 0 0 323 6 0 0 20 0 19 0 25348284 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418010143336 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7103] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7103/stat : 7103 (java) S 7088 7091 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25348284 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418009089656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7104] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7104/stat : 7104 (java) S 7088 7091 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 25348284 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418008037000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7105] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7105/stat : 7105 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25348286 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418006985744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7091/tid=7106] ppid=7088 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7091/task/7106/stat : 7106 (java) S 7088 7091 2916 0 -1 4202560 7252 0 0 0 62 1 0 0 20 0 19 0 25348287 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418005932088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7091/tid=7107] ppid=7088 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/7091/task/7107/stat : 7107 (java) S 7088 7091 2916 0 -1 4202560 2943 0 0 0 74 0 0 0 20 0 19 0 25348287 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418004879544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7108] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7108/stat : 7108 (java) S 7088 7091 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25348287 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418003827192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7109] ppid=7088 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/7091/task/7109/stat : 7109 (java) S 7088 7091 2916 0 -1 4202560 101 0 0 0 36 39 0 0 20 0 19 0 25348287 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418002774856 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7091/tid=7110] ppid=7088 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7091/task/7110/stat : 7110 (java) S 7088 7091 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25349010 9856040960 920545 33554432000 1073741824 1073778376 140734776589552 140418001622312 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7091 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=67412
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=44537
# CPU time returned by wait4() is 1796.11
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1775.35
CPU time (s): 1800.08
CPU user time (s): 1797.48
CPU system time (s): 2.6
CPU usage (%): 101.393
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.07
system time used= 3.04454
maximum resident set size= 3715332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31174
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44056
involuntary context switches= 29213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1525 second user time and 14.0339 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-18 08:56:18
IDJOB=4103132
IDBENCH=2277
IDSOLVER=2546
FILE ID=node102/4103132-1466232976
RUNJOBID= node102-1466206108-2933
PBS_JOBID= 19918170
Free space on /tmp= 71692 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103132-1466232976/watcher-4103132-1466232976 -o /tmp/evaluation-result-4103132-1466232976/solver-4103132-1466232976 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2933 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103132-1466232976.opb

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

MD5SUM BENCH= d5dba1ae5450ecccd67bf40744af7c62
RANDOM SEED=778740881

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
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.746
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.746
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:        31486268 kB
Buffers:          109636 kB
Cached:           142460 kB
SwapCached:         1828 kB
Active:           295788 kB
Inactive:         153704 kB
Active(anon):     198504 kB
Inactive(anon):     1508 kB
Active(file):      97284 kB
Inactive(file):   152196 kB
Unevictable:      190484 kB
Mlocked:          190484 kB
SwapTotal:      67108856 kB
SwapFree:       67099024 kB
Dirty:             39700 kB
Writeback:             0 kB
AnonPages:        399900 kB
Mapped:            15304 kB
Shmem:                 0 kB
Slab:             602484 kB
SReclaimable:      45924 kB
SUnreclaim:       556560 kB
KernelStack:        1576 kB
PageTables:         5100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     884256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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 node102 at 2016-06-18 09:25:53