Trace number 4103796

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.02 1792.85

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-scsd6.opb
MD5SUMb8af5f694536c159804fb560c7265020
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 variables40500
Total number of constraints147
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 constraints147
Minimum length of a constraint600
Maximum length of a constraint1200
Number of terms in the objective function 40500
Biggest coefficient in the objective function 240095970606448640
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 319188057892705067220
Number of bits of the sum of numbers in the objective function 69
Biggest number in a constraint 240095970606448640
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 319188057892705067220
Number of bits of the biggest sum of numbers69
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.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4103796-1466250806.opb
0.08/0.11	c reading problem ... 
0.08/0.11	c  objective function found
1.19/0.79	c ... done. Wall clock time 0.675s.
1.19/0.79	c declared #vars     40500
1.19/0.79	c #constraints  294
1.19/0.79	c constraints type 
1.19/0.79	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 294
1.19/0.79	c 294 constraints processed.
1.19/0.79	c objective function length is 40500 literals
10.57/9.75	c cleaning 2507 clauses out of 5017 with flag 11230/5017
14.83/13.66	c cleaning 4226 clauses out of 8493 with flag 23196/11000
19.33/18.14	c cleaning 5631 clauses out of 11267 with flag 37196/18000
25.33/24.13	c cleaning 6817 clauses out of 13637 with flag 53198/26001
32.25/31.06	c cleaning 7908 clauses out of 15820 with flag 71198/35001
41.35/40.13	c cleaning 8955 clauses out of 17913 with flag 91200/45002
51.81/50.26	c cleaning 9979 clauses out of 19962 with flag 113208/56006
62.51/60.93	c cleaning 10989 clauses out of 21982 with flag 137206/68005
74.12/72.60	c cleaning 11995 clauses out of 23995 with flag 163210/81007
86.98/85.20	c cleaning 12993 clauses out of 25993 with flag 191196/95000
100.38/98.63	c cleaning 13998 clauses out of 28000 with flag 221196/110000
114.58/112.83	c cleaning 14999 clauses out of 30003 with flag 253198/126001
131.08/129.35	c cleaning 16001 clauses out of 32007 with flag 287204/143004
147.69/145.95	c cleaning 17002 clauses out of 34009 with flag 323210/161007
165.08/163.06	c cleaning 17997 clauses out of 36000 with flag 361196/180000
186.39/184.32	c cleaning 19000 clauses out of 38003 with flag 401196/200000
208.49/206.45	c cleaning 20001 clauses out of 40005 with flag 443200/221002
230.50/228.49	c cleaning 20999 clauses out of 42002 with flag 487196/243000
256.13/253.68	c cleaning 22000 clauses out of 44003 with flag 533196/266000
281.53/279.05	c cleaning 22993 clauses out of 46003 with flag 581196/290000
308.74/306.23	c cleaning 24005 clauses out of 48013 with flag 631202/315003
338.24/335.76	c cleaning 25000 clauses out of 50005 with flag 683196/341000
368.45/365.98	c cleaning 26011 clauses out of 52025 with flag 737236/368020
403.13/399.85	c cleaning 26996 clauses out of 53997 with flag 793202/396003
436.85/433.56	c cleaning 28001 clauses out of 56006 with flag 851212/425008
470.95/467.63	c cleaning 28996 clauses out of 57997 with flag 911196/455000
505.66/502.36	c cleaning 29989 clauses out of 60002 with flag 973198/486001
545.52/541.89	c cleaning 31005 clauses out of 62015 with flag 1037202/518003
584.02/580.30	c cleaning 31994 clauses out of 64007 with flag 1103196/551000
623.72/620.03	c cleaning 33004 clauses out of 66014 with flag 1171198/585001
671.94/667.68	c cleaning 33995 clauses out of 68010 with flag 1241198/620001
720.53/716.22	c cleaning 35001 clauses out of 70016 with flag 1313200/656002
769.82/765.58	c cleaning 36007 clauses out of 72018 with flag 1387206/693005
822.22/816.99	c cleaning 37012 clauses out of 74028 with flag 1463240/731022
875.82/870.55	c cleaning 37995 clauses out of 75996 with flag 1541200/770002
930.74/925.47	c cleaning 38993 clauses out of 77999 with flag 1621196/810000
989.97/984.46	c cleaning 39999 clauses out of 80013 with flag 1703210/851007
1044.28/1038.80	c cleaning 41002 clauses out of 82007 with flag 1787196/893000
1111.89/1106.39	c cleaning 41994 clauses out of 84007 with flag 1873200/936002
1171.31/1165.39	c cleaning 43004 clauses out of 86014 with flag 1961202/980003
1234.13/1228.13	c cleaning 44002 clauses out of 88010 with flag 2051202/1025003
1306.55/1300.32	c cleaning 45000 clauses out of 90005 with flag 2143196/1071000
1373.05/1366.86	c cleaning 46002 clauses out of 92008 with flag 2237202/1118003
1447.90/1441.39	c cleaning 46999 clauses out of 94004 with flag 2333198/1166001
1511.82/1505.27	c cleaning 47998 clauses out of 96005 with flag 2431198/1215001
1591.75/1584.87	c cleaning 49008 clauses out of 98019 with flag 2531222/1265013
1672.25/1665.35	c cleaning 49985 clauses out of 99999 with flag 2633198/1316001
1752.10/1744.99	c cleaning 50991 clauses out of 102015 with flag 2737200/1368002
1800.02/1792.80	c starts		: 6
1800.02/1792.80	c conflicts		: 1404518
1800.02/1792.80	c decisions		: 1676842
1800.02/1792.80	c propagations		: 20735645
1800.02/1792.80	c inspects		: 15933071854
1800.02/1792.80	c shortcuts		: 0
1800.02/1792.80	c learnt literals	: 0
1800.02/1792.80	c learnt binary clauses	: 0
1800.02/1792.80	c learnt ternary clauses	: 0
1800.02/1792.80	c learnt constraints	: 1404518
1800.02/1792.80	c ignored constraints	: 0
1800.02/1792.80	c root simplifications	: 0
1800.02/1792.80	c removed literals (reason simplification)	: 0
1800.02/1792.80	c reason swapping (by a shorter reason)	: 0
1800.02/1792.80	c Calls to reduceDB	: 48
1800.02/1792.80	c Number of update (reduction) of LBD	: 173
1800.02/1792.80	c Imported unit clauses	: 0
1800.02/1792.80	c number of reductions to clauses (during analyze)	: 0
1800.02/1792.80	c number of learned constraints concerned by reduction	: 0
1800.02/1792.80	c number of learning phase by resolution	: 0
1800.02/1792.80	c number of learning phase by cutting planes	: 0
1800.02/1792.80	c speed (assignments/second)	: 11571.50924938489
1800.02/1792.80	c non guided choices	0
1800.02/1792.82	c timeout
1800.02/1792.83	c learnt constraints type 
1800.02/1792.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87540
1800.02/1792.83	s UNKNOWN
1800.02/1792.83	c Total wall clock time (in seconds): 1792.718

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-4103796-1466250806/watcher-4103796-1466250806 -o /tmp/evaluation-result-4103796-1466250806/solver-4103796-1466250806 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6933 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103796-1466250806.opb 

pid=8353
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.14 2.19 2.18 3/194 8356
/proc/meminfo: memFree=29788832/32872528 swapFree=1497824/1644992
[pid=8356] ppid=8353 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/8356/stat : 8356 (java) R 8353 8356 6916 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 27127461 9515008 184 33554432000 1073741824 1073778376 140734617141712 140734617132936 259112201655 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8356/statm: 2323 184 142 9 0 71 0

[startup+0.100114 s]
/proc/loadavg: 2.14 2.19 2.18 3/194 8356
/proc/meminfo: memFree=29788832/32872528 swapFree=1497824/1644992
[pid=8356] ppid=8353 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/8356/stat : 8356 (java) S 8353 8356 6916 0 -1 4202496 4388 0 1 0 8 0 0 0 20 0 18 0 27127461 9787879424 6019 33554432000 1073741824 1073778376 140733649300512 140733649291648 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8356/statm: 2389619 6019 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200327 s]
/proc/loadavg: 2.14 2.19 2.18 3/194 8356
/proc/meminfo: memFree=29788832/32872528 swapFree=1497824/1644992
[pid=8356] ppid=8353 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/8356/stat : 8356 (java) S 8353 8356 6916 0 -1 4202496 5023 0 1 0 28 0 0 0 20 0 18 0 27127461 9787879424 7400 33554432000 1073741824 1073778376 140733649300512 140733649291648 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8356/statm: 2389619 7400 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300294 s]
/proc/loadavg: 2.14 2.19 2.18 3/194 8356
/proc/meminfo: memFree=29788832/32872528 swapFree=1497824/1644992
[pid=8356] ppid=8353 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/8356/stat : 8356 (java) S 8353 8356 6916 0 -1 4202496 5912 0 1 0 45 1 0 0 20 0 18 0 27127461 9787879424 12607 33554432000 1073741824 1073778376 140733649300512 140733649291648 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8356/statm: 2389619 12607 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700283 s]
/proc/loadavg: 2.14 2.19 2.18 3/194 8356
/proc/meminfo: memFree=29788832/32872528 swapFree=1497824/1644992
[pid=8356] ppid=8353 vsize=9558476 CPUtime=1.19 cores=1,3,5,7
/proc/8356/stat : 8356 (java) S 8353 8356 6916 0 -1 4202496 7250 0 1 0 113 6 0 0 20 0 18 0 27127461 9787879424 46081 33554432000 1073741824 1073778376 140733649300512 140733649291648 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8356/statm: 2389619 46081 2262 9 0 2380296 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9558476

[startup+1.50089 s]
/proc/loadavg: 2.14 2.19 2.18 3/213 8375
/proc/meminfo: memFree=29610336/32872528 swapFree=1497824/1644992
[pid=8356] ppid=8353 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/8356/stat : 8356 (java) S 8353 8356 6916 0 -1 4202496 8407 0 1 0 217 6 0 0 20 0 19 0 27127461 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 140733649291648 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8356/statm: 2406260 46882 2273 9 0 2396937 0
[pid=8356/tid=8358] ppid=8353 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/8356/task/8358/stat : 8358 (java) R 8353 8356 6916 0 -1 4202560 2471 0 1 0 140 2 0 0 20 0 19 0 27127462 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139958317425224 139958170568830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8356/tid=8359] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8359/stat : 8359 (java) S 8353 8356 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139958289877544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8360] ppid=8353 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/8356/task/8360/stat : 8360 (java) S 8353 8356 6916 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 27127463 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139958288824744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8361] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8361/stat : 8361 (java) S 8353 8356 6916 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139958158928168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8362] ppid=8353 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/8356/task/8362/stat : 8362 (java) S 8353 8356 6916 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 19 0 27127463 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139958157875368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/8356/task/8363/stat : 8363 (java) S 8353 8356 6916 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 27127463 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139958156823592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8364] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8364/stat : 8364 (java) S 8353 8356 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139958155770792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8365] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8365/stat : 8365 (java) S 8353 8356 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139958154717992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8366] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8366/stat : 8366 (java) S 8353 8356 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139957683350184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8367] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8367/stat : 8367 (java) S 8353 8356 6916 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 27127464 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139957671152104 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8368] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8368/stat : 8368 (java) S 8353 8356 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27127465 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139957670098168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8369] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8369/stat : 8369 (java) S 8353 8356 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27127465 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139957669045256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8370] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8370/stat : 8370 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139957667993744 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8371] ppid=8353 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/8356/task/8371/stat : 8371 (java) S 8353 8356 6916 0 -1 4202560 2043 0 0 0 31 0 0 0 20 0 19 0 27127467 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139957666941880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8372] ppid=8353 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/8356/task/8372/stat : 8372 (java) R 8353 8356 6916 0 -1 4202560 2482 0 0 0 30 0 0 0 20 0 19 0 27127467 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139957665889080 139958323387682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8373] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8373/stat : 8373 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139957664836472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8374] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8374/stat : 8374 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139957663783880 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8375] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8375/stat : 8375 (java) S 8353 8356 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27127546 9856040960 46882 33554432000 1073741824 1073778376 140733649300512 139957662631080 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625040

[startup+3.10084 s]
/proc/loadavg: 2.14 2.19 2.18 3/213 8375
/proc/meminfo: memFree=29608848/32872528 swapFree=1497824/1644992
[pid=8356] ppid=8353 vsize=9625040 CPUtime=3.96 cores=1,3,5,7
/proc/8356/stat : 8356 (java) S 8353 8356 6916 0 -1 4202496 8534 0 1 0 389 7 0 0 20 0 19 0 27127461 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 140733649291648 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8356/statm: 2406260 46906 2274 9 0 2396937 0
[pid=8356/tid=8358] ppid=8353 vsize=9625040 CPUtime=3.01 cores=1,3,5,7
/proc/8356/task/8358/stat : 8358 (java) R 8353 8356 6916 0 -1 4202560 2473 0 1 0 299 2 0 0 20 0 19 0 27127462 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139958317425144 139958170568675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8356/tid=8359] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8359/stat : 8359 (java) S 8353 8356 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139958289877544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8360] ppid=8353 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/8356/task/8360/stat : 8360 (java) S 8353 8356 6916 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 27127463 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139958288824744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8361] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8361/stat : 8361 (java) S 8353 8356 6916 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139958158928168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8362] ppid=8353 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/8356/task/8362/stat : 8362 (java) S 8353 8356 6916 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 19 0 27127463 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139958157875368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/8356/task/8363/stat : 8363 (java) S 8353 8356 6916 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 27127463 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139958156823592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8364] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8364/stat : 8364 (java) S 8353 8356 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139958155770792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8365] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8365/stat : 8365 (java) S 8353 8356 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139958154717992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8366] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8366/stat : 8366 (java) S 8353 8356 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139957683350184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8367] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8367/stat : 8367 (java) S 8353 8356 6916 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 27127464 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139957671152104 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8368] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8368/stat : 8368 (java) S 8353 8356 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27127465 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139957670098168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8369] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8369/stat : 8369 (java) S 8353 8356 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27127465 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139957669045256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8370] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8370/stat : 8370 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139957667993744 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8371] ppid=8353 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8356/task/8371/stat : 8371 (java) S 8353 8356 6916 0 -1 4202560 2167 0 0 0 41 0 0 0 20 0 19 0 27127467 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139957666941880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8372] ppid=8353 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/8356/task/8372/stat : 8372 (java) S 8353 8356 6916 0 -1 4202560 2482 0 0 0 32 0 0 0 20 0 19 0 27127467 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139957665889080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8373] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8373/stat : 8373 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139957664836472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8374] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8374/stat : 8374 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139957663783880 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8375] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8375/stat : 8375 (java) S 8353 8356 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27127546 9856040960 46906 33554432000 1073741824 1073778376 140733649300512 139957662631080 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.13 2.19 2.18 3/213 8375
/proc/meminfo: memFree=29609552/32872528 swapFree=1497824/1644992
[pid=8356] ppid=8353 vsize=9625040 CPUtime=7.16 cores=1,3,5,7
/proc/8356/stat : 8356 (java) S 8353 8356 6916 0 -1 4202496 8535 0 1 0 709 7 0 0 20 0 19 0 27127461 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 140733649291648 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8356/statm: 2406260 46608 2274 9 0 2396937 0
[pid=8356/tid=8358] ppid=8353 vsize=9625040 CPUtime=6.2 cores=1,3,5,7
/proc/8356/task/8358/stat : 8358 (java) R 8353 8356 6916 0 -1 4202560 2474 0 1 0 618 2 0 0 20 0 19 0 27127462 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139958317422960 139958170568725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8356/tid=8359] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8359/stat : 8359 (java) S 8353 8356 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139958289877544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8360] ppid=8353 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/8356/task/8360/stat : 8360 (java) S 8353 8356 6916 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 27127463 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139958288824744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8361] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8361/stat : 8361 (java) S 8353 8356 6916 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139958158928168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8362] ppid=8353 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/8356/task/8362/stat : 8362 (java) S 8353 8356 6916 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 19 0 27127463 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139958157875368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/8356/task/8363/stat : 8363 (java) S 8353 8356 6916 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 27127463 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139958156823592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8364] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8364/stat : 8364 (java) S 8353 8356 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139958155770792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8365] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8365/stat : 8365 (java) S 8353 8356 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139958154717992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8366] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8366/stat : 8366 (java) S 8353 8356 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27127463 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139957683350184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8367] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8367/stat : 8367 (java) S 8353 8356 6916 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 27127464 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139957671152104 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8368] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8368/stat : 8368 (java) S 8353 8356 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27127465 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139957670098168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8369] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8369/stat : 8369 (java) S 8353 8356 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27127465 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139957669045256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8370] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8370/stat : 8370 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139957667993744 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8371] ppid=8353 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/8356/task/8371/stat : 8371 (java) S 8353 8356 6916 0 -1 4202560 2167 0 0 0 41 0 0 0 20 0 19 0 27127467 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139957666941880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8372] ppid=8353 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/8356/task/8372/stat : 8372 (java) S 8353 8356 6916 0 -1 4202560 2482 0 0 0 32 0 0 0 20 0 19 0 27127467 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139957665889080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8373] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8373/stat : 8373 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139957664836472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8374] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8374/stat : 8374 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139957663783880 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8375] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8375/stat : 8375 (java) S 8353 8356 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27127546 9856040960 46608 33554432000 1073741824 1073778376 140733649300512 139957662631080 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 9625040


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

[pid=8356/tid=8375] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8375/stat : 8375 (java) S 8353 8356 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27127546 9856040960 667902 33554432000 1073741824 1073778376 140733649300512 139957662631080 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1669.25
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.31 2.29 2.22 3/213 8506
/proc/meminfo: memFree=27242668/32872528 swapFree=1497824/1644992
[pid=8356] ppid=8353 vsize=9625040 CPUtime=1729.5 cores=1,3,5,7
/proc/8356/stat : 8356 (java) S 8353 8356 6916 0 -1 4202496 30881 0 1 0 172660 290 0 0 20 0 19 0 27127461 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 140733649291648 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8356/statm: 2406260 661698 2286 9 0 2396937 0
[pid=8356/tid=8358] ppid=8353 vsize=9625040 CPUtime=1714.32 cores=1,3,5,7
/proc/8356/task/8358/stat : 8358 (java) R 8353 8356 6916 0 -1 4202560 3414 0 1 0 171396 36 0 0 20 0 19 0 27127462 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958317423824 139958170653793 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8356/tid=8359] ppid=8353 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/8356/task/8359/stat : 8359 (java) S 8353 8356 6916 0 -1 4202560 2118 0 0 0 83 40 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958289877544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8360] ppid=8353 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/8356/task/8360/stat : 8360 (java) S 8353 8356 6916 0 -1 4202560 1279 0 0 0 57 28 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958288824744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8361] ppid=8353 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/8356/task/8361/stat : 8361 (java) S 8353 8356 6916 0 -1 4202560 1716 0 0 0 73 27 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958158928168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8362] ppid=8353 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/8356/task/8362/stat : 8362 (java) S 8353 8356 6916 0 -1 4202560 1408 0 0 0 65 26 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958157875368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/8356/task/8363/stat : 8363 (java) S 8353 8356 6916 0 -1 4202560 1689 0 0 0 88 37 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958156823592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8364] ppid=8353 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/8356/task/8364/stat : 8364 (java) S 8353 8356 6916 0 -1 4202560 1701 0 0 0 57 31 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958155770792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8365] ppid=8353 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/8356/task/8365/stat : 8365 (java) S 8353 8356 6916 0 -1 4202560 1165 0 0 0 58 27 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958154717992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8366] ppid=8353 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/8356/task/8366/stat : 8366 (java) S 8353 8356 6916 0 -1 4202560 2651 0 0 0 66 33 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957683350184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8367] ppid=8353 vsize=9625040 CPUtime=1.32 cores=1,3,5,7
/proc/8356/task/8367/stat : 8367 (java) S 8353 8356 6916 0 -1 4202560 2074 0 0 0 130 2 0 0 20 0 19 0 27127464 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957671152104 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8356/tid=8368] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8368/stat : 8368 (java) S 8353 8356 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27127465 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957670098168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8369] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8369/stat : 8369 (java) S 8353 8356 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27127465 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957669045256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8370] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8370/stat : 8370 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957667993744 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8371] ppid=8353 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/8356/task/8371/stat : 8371 (java) S 8353 8356 6916 0 -1 4202560 7827 0 0 0 61 0 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957666941880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8372] ppid=8353 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/8356/task/8372/stat : 8372 (java) S 8353 8356 6916 0 -1 4202560 2482 0 0 0 36 0 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957665889080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8373] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8373/stat : 8373 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957664836472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8374] ppid=8353 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/8356/task/8374/stat : 8374 (java) S 8353 8356 6916 0 -1 4202560 99 0 0 0 26 30 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957663783880 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8375] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8375/stat : 8375 (java) S 8353 8356 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27127546 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957662631080 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1729.5
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.20 2.26 2.21 4/213 8507
/proc/meminfo: memFree=27265252/32872528 swapFree=1497824/1644992
[pid=8356] ppid=8353 vsize=9625040 CPUtime=1789.51 cores=1,3,5,7
/proc/8356/stat : 8356 (java) S 8353 8356 6916 0 -1 4202496 30885 0 1 0 178660 291 0 0 20 0 19 0 27127461 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 140733649291648 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8356/statm: 2406260 661698 2286 9 0 2396937 0
[pid=8356/tid=8358] ppid=8353 vsize=9625040 CPUtime=1774.16 cores=1,3,5,7
/proc/8356/task/8358/stat : 8358 (java) R 8353 8356 6916 0 -1 4202560 3414 0 1 0 177380 36 0 0 20 0 19 0 27127462 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958317416144 139958170563751 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8356/tid=8359] ppid=8353 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/8356/task/8359/stat : 8359 (java) S 8353 8356 6916 0 -1 4202560 2118 0 0 0 83 40 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958289877544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8360] ppid=8353 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/8356/task/8360/stat : 8360 (java) S 8353 8356 6916 0 -1 4202560 1279 0 0 0 57 28 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958288824744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8361] ppid=8353 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/8356/task/8361/stat : 8361 (java) S 8353 8356 6916 0 -1 4202560 1716 0 0 0 73 27 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958158928168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8362] ppid=8353 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/8356/task/8362/stat : 8362 (java) S 8353 8356 6916 0 -1 4202560 1408 0 0 0 65 26 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958157875368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/8356/task/8363/stat : 8363 (java) S 8353 8356 6916 0 -1 4202560 1689 0 0 0 88 37 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958156823592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8364] ppid=8353 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/8356/task/8364/stat : 8364 (java) S 8353 8356 6916 0 -1 4202560 1701 0 0 0 57 31 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958155770792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8365] ppid=8353 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/8356/task/8365/stat : 8365 (java) S 8353 8356 6916 0 -1 4202560 1165 0 0 0 58 27 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958154717992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8366] ppid=8353 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/8356/task/8366/stat : 8366 (java) S 8353 8356 6916 0 -1 4202560 2651 0 0 0 66 33 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957683350184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8367] ppid=8353 vsize=9625040 CPUtime=1.32 cores=1,3,5,7
/proc/8356/task/8367/stat : 8367 (java) S 8353 8356 6916 0 -1 4202560 2074 0 0 0 130 2 0 0 20 0 19 0 27127464 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957671152104 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8356/tid=8368] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8368/stat : 8368 (java) S 8353 8356 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27127465 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957670098168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8369] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8369/stat : 8369 (java) S 8353 8356 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27127465 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957669045256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8370] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8370/stat : 8370 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957667993744 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8371] ppid=8353 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/8356/task/8371/stat : 8371 (java) S 8353 8356 6916 0 -1 4202560 7827 0 0 0 61 0 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957666941880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8372] ppid=8353 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/8356/task/8372/stat : 8372 (java) S 8353 8356 6916 0 -1 4202560 2482 0 0 0 36 0 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957665889080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8373] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8373/stat : 8373 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957664836472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8374] ppid=8353 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/8356/task/8374/stat : 8374 (java) S 8353 8356 6916 0 -1 4202560 103 0 0 0 28 31 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957663783880 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8375] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8375/stat : 8375 (java) S 8353 8356 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27127546 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957662631080 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.8 s]
/proc/loadavg: 2.25 2.27 2.21 4/213 8507
/proc/meminfo: memFree=27253520/32872528 swapFree=1497824/1644992
[pid=8356] ppid=8353 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/8356/stat : 8356 (java) S 8353 8356 6916 0 -1 4202496 30885 0 1 0 179711 291 0 0 20 0 19 0 27127461 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 140733649291648 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8356/statm: 2406260 661698 2286 9 0 2396937 0
[pid=8356/tid=8358] ppid=8353 vsize=9625040 CPUtime=1784.64 cores=1,3,5,7
/proc/8356/task/8358/stat : 8358 (java) R 8353 8356 6916 0 -1 4202560 3414 0 1 0 178427 37 0 0 20 0 19 0 27127462 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958317416144 139958170661400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8356/tid=8359] ppid=8353 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/8356/task/8359/stat : 8359 (java) S 8353 8356 6916 0 -1 4202560 2118 0 0 0 83 40 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958289877544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8360] ppid=8353 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/8356/task/8360/stat : 8360 (java) S 8353 8356 6916 0 -1 4202560 1279 0 0 0 57 28 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958288824744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8361] ppid=8353 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/8356/task/8361/stat : 8361 (java) S 8353 8356 6916 0 -1 4202560 1716 0 0 0 73 27 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958158928168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8362] ppid=8353 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/8356/task/8362/stat : 8362 (java) S 8353 8356 6916 0 -1 4202560 1408 0 0 0 65 26 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958157875368 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/8356/task/8363/stat : 8363 (java) S 8353 8356 6916 0 -1 4202560 1689 0 0 0 88 37 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958156823592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8364] ppid=8353 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/8356/task/8364/stat : 8364 (java) S 8353 8356 6916 0 -1 4202560 1701 0 0 0 57 31 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958155770792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8365] ppid=8353 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/8356/task/8365/stat : 8365 (java) S 8353 8356 6916 0 -1 4202560 1165 0 0 0 58 27 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139958154717992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8366] ppid=8353 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/8356/task/8366/stat : 8366 (java) S 8353 8356 6916 0 -1 4202560 2651 0 0 0 66 33 0 0 20 0 19 0 27127463 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957683350184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8367] ppid=8353 vsize=9625040 CPUtime=1.32 cores=1,3,5,7
/proc/8356/task/8367/stat : 8367 (java) S 8353 8356 6916 0 -1 4202560 2074 0 0 0 130 2 0 0 20 0 19 0 27127464 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957671152104 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8356/tid=8368] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8368/stat : 8368 (java) S 8353 8356 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27127465 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957670098168 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8369] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8369/stat : 8369 (java) S 8353 8356 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27127465 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957669045256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8370] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8370/stat : 8370 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957667993744 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8371] ppid=8353 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/8356/task/8371/stat : 8371 (java) S 8353 8356 6916 0 -1 4202560 7827 0 0 0 61 0 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957666941880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8356/tid=8372] ppid=8353 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/8356/task/8372/stat : 8372 (java) S 8353 8356 6916 0 -1 4202560 2482 0 0 0 36 0 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957665889080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8373] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8373/stat : 8373 (java) S 8353 8356 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957664836472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8356/tid=8374] ppid=8353 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/8356/task/8374/stat : 8374 (java) S 8353 8356 6916 0 -1 4202560 103 0 0 0 28 31 0 0 20 0 19 0 27127467 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957663783880 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8356/tid=8375] ppid=8353 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8356/task/8375/stat : 8375 (java) S 8353 8356 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27127546 9856040960 661698 33554432000 1073741824 1073778376 140733649300512 139957662631080 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 8356 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8356 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=480501
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=330493
# CPU time returned by wait4() is 1795.81
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1792.85
CPU time (s): 1800.02
CPU user time (s): 1797.11
CPU system time (s): 2.91
CPU usage (%): 100.4
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.48
system time used= 3.33049
maximum resident set size= 2762436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30931
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= 38649
involuntary context switches= 8836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1633 second user time and 12.7021 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-18 13:53:26
IDJOB=4103796
IDBENCH=2463
IDSOLVER=2546
FILE ID=node124/4103796-1466250806
RUNJOBID= node124-1466241833-6933
PBS_JOBID= 19918215
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd6.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103796-1466250806/watcher-4103796-1466250806 -o /tmp/evaluation-result-4103796-1466250806/solver-4103796-1466250806 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6933 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103796-1466250806.opb

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

MD5SUM BENCH= b8af5f694536c159804fb560c7265020
RANDOM SEED=1650263677

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29789096 kB
Buffers:          133628 kB
Cached:           171284 kB
SwapCached:         3080 kB
Active:           460500 kB
Inactive:         216068 kB
Active(anon):     371564 kB
Inactive(anon):     2880 kB
Active(file):      88936 kB
Inactive(file):   213188 kB
Unevictable:     1644992 kB
Mlocked:         1497824 kB
SwapTotal:      67108856 kB
SwapFree:       67099796 kB
Dirty:              4316 kB
Writeback:             0 kB
AnonPages:       2044492 kB
Mapped:            17064 kB
Shmem:                 0 kB
Slab:             624896 kB
SReclaimable:      68828 kB
SUnreclaim:       556068 kB
KernelStack:        1760 kB
PageTables:         8192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2156872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    497664 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= 71724 MiB
End job on node124 at 2016-06-18 14:23:19