Trace number 3458578

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 Resolution 2.3.0? (TO) 1800.17 1798.18

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos3.opb
MD5SUMd20c34d69465e41d60c8740ade812dbe
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
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables42220
Total number of constraints1481
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)17
Number of constraints which are nor clauses,nor cardinality constraints1464
Minimum length of a constraint10
Maximum length of a constraint4780
Number of terms in the objective function 155
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 10737418235
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 2454208150643933184000
Number of bits of the biggest number in a constraint 72
Biggest sum of numbers in a constraint 289272765430218968121839
Number of bits of the biggest sum of numbers78
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		12995394264
0.02/0.09	c Max memory 		13063553024
0.02/0.09	c Total memory 		13063553024
0.02/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3458578-1307149968.opb
0.11/0.11	c reading problem ... 
1.35/0.77	c ... done. Wall clock time 0.66s.
1.35/0.77	c #vars     42220
1.35/0.77	c #constraints  27176
1.35/0.77	c constraints type 
1.35/0.77	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17
1.35/0.77	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
1.35/0.77	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1489
1.35/0.77	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14
82.19/81.13	c cleaning 2496 clauses out of 5000 with flag 5000/5000
121.71/120.50	c cleaning 4251 clauses out of 8505 with flag 11001/11001
157.62/156.45	c cleaning 5629 clauses out of 11257 with flag 18004/18004
197.74/196.55	c cleaning 6816 clauses out of 13632 with flag 26008/26008
244.30/243.10	c cleaning 7905 clauses out of 15809 with flag 35001/35001
297.40/296.16	c cleaning 8955 clauses out of 17910 with flag 45007/45007
346.41/345.16	c cleaning 9475 clauses out of 18949 with flag 55001/55001
401.02/399.74	c cleaning 9737 clauses out of 19476 with flag 65003/65003
450.23/448.95	c cleaning 9868 clauses out of 19740 with flag 75004/75004
481.24/479.94	c cleaning 9931 clauses out of 19868 with flag 85000/85000
510.75/509.48	c cleaning 9953 clauses out of 19937 with flag 95000/95000
576.45/575.10	c cleaning 9993 clauses out of 19986 with flag 105002/105002
658.46/657.14	c cleaning 9991 clauses out of 19993 with flag 115002/115002
694.38/693.08	c cleaning 9996 clauses out of 20001 with flag 125001/125001
728.58/727.20	c cleaning 9999 clauses out of 20004 with flag 135000/135000
762.88/761.51	c cleaning 10003 clauses out of 20018 with flag 145013/145013
796.89/795.53	c cleaning 9999 clauses out of 20003 with flag 155001/155001
830.60/829.30	c cleaning 10004 clauses out of 20012 with flag 165009/165009
864.50/863.15	c cleaning 9997 clauses out of 20002 with flag 175003/175003
898.01/896.67	c cleaning 9998 clauses out of 20002 with flag 185000/185000
931.62/930.27	c cleaning 10005 clauses out of 20015 with flag 195011/195011
960.82/959.41	c cleaning 9994 clauses out of 19999 with flag 205000/205000
984.13/982.73	c cleaning 9995 clauses out of 20005 with flag 215000/215000
1019.73/1018.35	c cleaning 10004 clauses out of 20011 with flag 225001/225001
1040.14/1038.75	c cleaning 10003 clauses out of 20007 with flag 235001/235001
1130.16/1128.77	c cleaning 9470 clauses out of 20003 with flag 245000/245000
1188.71/1187.26	c cleaning 7457 clauses out of 20535 with flag 255002/255002
1217.42/1215.93	c cleaning 8763 clauses out of 23077 with flag 265001/265001
1244.14/1242.66	c cleaning 9431 clauses out of 24315 with flag 275002/275002
1258.24/1256.78	c cleaning 7950 clauses out of 24882 with flag 285000/285000
1277.91/1276.38	c cleaning 9888 clauses out of 26932 with flag 295000/295000
1300.51/1298.91	c cleaning 9026 clauses out of 27046 with flag 305002/305002
1322.74/1321.12	c cleaning 9087 clauses out of 28018 with flag 315000/315000
1336.44/1334.88	c cleaning 8979 clauses out of 28931 with flag 325000/325000
1351.15/1349.61	c cleaning 8338 clauses out of 29952 with flag 335000/335000
1369.16/1367.52	c cleaning 8041 clauses out of 31616 with flag 345002/345002
1391.08/1389.43	c cleaning 7940 clauses out of 33573 with flag 355000/355000
1414.00/1412.39	c cleaning 8131 clauses out of 35635 with flag 365002/365002
1435.61/1433.97	c cleaning 8357 clauses out of 37503 with flag 375001/375001
1455.61/1453.94	c cleaning 8771 clauses out of 39147 with flag 385002/385002
1471.12/1469.49	c cleaning 9723 clauses out of 40378 with flag 395004/395004
1490.16/1488.41	c cleaning 9278 clauses out of 40654 with flag 405003/405003
1506.89/1505.20	c cleaning 8639 clauses out of 41375 with flag 415002/415002
1523.81/1522.09	c cleaning 7714 clauses out of 42742 with flag 425008/425008
1543.62/1541.89	c cleaning 7129 clauses out of 45021 with flag 435001/435001
1565.14/1563.38	c cleaning 6702 clauses out of 47892 with flag 445001/445001
1594.05/1592.27	c cleaning 6608 clauses out of 51191 with flag 455002/455002
1623.87/1622.00	c cleaning 7501 clauses out of 54582 with flag 465001/465001
1657.18/1655.38	c cleaning 7272 clauses out of 57081 with flag 475001/475001
1693.00/1691.13	c cleaning 7608 clauses out of 59808 with flag 485000/485000
1726.31/1724.40	c cleaning 8131 clauses out of 62202 with flag 495002/495002
1761.32/1759.45	c cleaning 7667 clauses out of 64069 with flag 505000/505000
1800.04/1798.12	c starts		: 152
1800.04/1798.12	c conflicts		: 514577
1800.04/1798.12	c decisions		: 6404782
1800.04/1798.12	c propagations		: 23934471
1800.04/1798.12	c inspects		: 317562605
1800.04/1798.12	c shortcuts		: 0
1800.04/1798.12	c learnt literals	: 0
1800.04/1798.12	c learnt binary clauses	: 58043
1800.04/1798.12	c learnt ternary clauses	: 2751
1800.04/1798.12	c learnt constraints	: 514577
1800.04/1798.12	c ignored constraints	: 0
1800.04/1798.12	c root simplifications	: 0
1800.04/1798.12	c removed literals (reason simplification)	: 104017415
1800.04/1798.12	c reason swapping (by a shorter reason)	: 0
1800.04/1798.12	c Calls to reduceDB	: 52
1800.04/1798.12	c number of reductions to clauses (during analyze)	: 0
1800.04/1798.12	c number of learned constraints concerned by reduction	: 0
1800.04/1798.12	c number of learning phase by resolution	: 0
1800.04/1798.12	c number of learning phase by cutting planes	: 0
1800.04/1798.12	c speed (assignments/second)	: 13316.542687845997
1800.04/1798.12	c non guided choices	34836
1800.04/1798.15	c learnt constraints type 
1800.04/1798.15	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 58044
1800.04/1798.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 7938
1800.04/1798.15	c constraints type 
1800.04/1798.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17
1800.04/1798.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
1800.04/1798.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1489
1800.04/1798.15	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14
1800.04/1798.15	s UNKNOWN
1800.04/1798.15	c Total wall clock time (in seconds): 1798.038

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458578-1307149968/watcher-3458578-1307149968 -o /tmp/evaluation-result-3458578-1307149968/solver-3458578-1307149968 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458578-1307149968.opb 

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.09 2.06 2.01 2/455 7523
/proc/meminfo: memFree=24596992/32951124 swapFree=50923800/67111528
[pid=7523] ppid=7521 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/7523/stat : 7523 (java) S 7521 7523 5628 0 -1 4202496 1865 0 1 0 0 0 0 0 24 0 2 0 807412404 13833195520 1567 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/7523/statm: 3377245 1581 906 9 0 3368401 0
[pid=7523/tid=7524] ppid=7521 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7524/stat : 7524 (java) R 7521 7523 5628 0 -1 4202560 5758 0 1 0 0 0 0 0 25 0 2 0 807412405 13850947584 6574 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.026086 s]
/proc/loadavg: 2.09 2.06 2.01 2/455 7523
/proc/meminfo: memFree=24596992/32951124 swapFree=50923800/67111528
[pid=7523] ppid=7521 vsize=13535028 CPUtime=0.02 cores=1,3,5,7
/proc/7523/stat : 7523 (java) S 7521 7523 5628 0 -1 4202496 12496 0 1 0 1 1 0 0 24 0 10 0 807412404 13859868672 12198 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/7523/statm: 3383757 12198 982 9 0 3374913 0
[pid=7523/tid=7524] ppid=7521 vsize=13535028 CPUtime=0.01 cores=1,3,5,7
/proc/7523/task/7524/stat : 7524 (java) R 7521 7523 5628 0 -1 4202560 11374 0 1 0 0 1 0 0 25 0 10 0 807412405 13859868672 12198 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 47208058941605 0 4 0 16784584 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13535028

[startup+0.101072 s]
/proc/loadavg: 2.09 2.06 2.01 2/455 7523
/proc/meminfo: memFree=24596992/32951124 swapFree=50923800/67111528
[pid=7523] ppid=7521 vsize=13622244 CPUtime=0.11 cores=1,3,5,7
/proc/7523/stat : 7523 (java) S 7521 7523 5628 0 -1 4202496 15564 0 1 0 9 2 0 0 24 0 18 0 807412404 13949177856 15261 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7523/statm: 3405561 15261 2092 9 0 3396295 0
[pid=7523/tid=7524] ppid=7521 vsize=13622244 CPUtime=0.08 cores=1,3,5,7
/proc/7523/task/7524/stat : 7524 (java) R 7521 7523 5628 0 -1 4202560 13655 0 1 0 7 1 0 0 25 0 18 0 807412405 13949177856 15261 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 46912505228255 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622244

[startup+0.301035 s]
/proc/loadavg: 2.09 2.06 2.01 2/455 7523
/proc/meminfo: memFree=24596992/32951124 swapFree=50923800/67111528
[pid=7523] ppid=7521 vsize=13636984 CPUtime=0.57 cores=1,3,5,7
/proc/7523/stat : 7523 (java) S 7521 7523 5628 0 -1 4202496 25695 0 1 0 54 3 0 0 24 0 18 0 807412404 13964271616 23072 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7523/statm: 3409246 23072 2202 9 0 3399980 0
[pid=7523/tid=7524] ppid=7521 vsize=13636984 CPUtime=0.28 cores=1,3,5,7
/proc/7523/task/7524/stat : 7524 (java) R 7521 7523 5628 0 -1 4202560 16656 0 1 0 26 2 0 0 25 0 18 0 807412405 13964271616 23072 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 46912505537836 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 13636984

[startup+0.700954 s]
/proc/loadavg: 2.09 2.06 2.01 2/455 7523
/proc/meminfo: memFree=24596992/32951124 swapFree=50923800/67111528
[pid=7523] ppid=7521 vsize=13638172 CPUtime=1.35 cores=1,3,5,7
/proc/7523/stat : 7523 (java) S 7521 7523 5628 0 -1 4202496 57376 0 1 0 127 8 0 0 24 0 18 0 807412404 13965488128 54007 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7523/statm: 3409543 54007 2204 9 0 3400277 0
[pid=7523/tid=7524] ppid=7521 vsize=13638172 CPUtime=0.68 cores=1,3,5,7
/proc/7523/task/7524/stat : 7524 (java) R 7521 7523 5628 0 -1 4202560 44249 0 1 0 62 6 0 0 25 0 18 0 807412405 13965488128 54007 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 46912505559437 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 13638172

[startup+1.50079 s]
/proc/loadavg: 2.09 2.06 2.01 3/473 7541
/proc/meminfo: memFree=24356360/32951124 swapFree=50923800/67111528
[pid=7523] ppid=7521 vsize=13639200 CPUtime=2.42 cores=1,3,5,7
/proc/7523/stat : 7523 (java) S 7521 7523 5628 0 -1 4202496 65161 0 1 0 233 9 0 0 24 0 19 0 807412404 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7523/statm: 3409800 61792 2218 9 0 3400534 0
[pid=7523/tid=7524] ppid=7521 vsize=13639200 CPUtime=1.48 cores=1,3,5,7
/proc/7523/task/7524/stat : 7524 (java) R 7521 7523 5628 0 -1 4202560 51958 0 1 0 141 7 0 0 25 0 19 0 807412405 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 46912505816125 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=7523/tid=7526] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7526/stat : 7526 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7527] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7527/stat : 7527 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7528] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7528/stat : 7528 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7529] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7529/stat : 7529 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7530] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7530/stat : 7530 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7531] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7531/stat : 7531 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7532] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7532/stat : 7532 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7533] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7533/stat : 7533 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7534] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7534/stat : 7534 (java) S 7521 7523 5628 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 807412408 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 0 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7535] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7535/stat : 7535 (java) S 7521 7523 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807412408 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7536] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7536/stat : 7536 (java) S 7521 7523 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412408 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7537] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7537/stat : 7537 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350207409 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7538] ppid=7521 vsize=13639200 CPUtime=0.45 cores=1,3,5,7
/proc/7523/task/7538/stat : 7538 (java) S 7521 7523 5628 0 -1 4202560 6273 0 0 0 45 0 0 0 15 0 19 0 807412410 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7539] ppid=7521 vsize=13639200 CPUtime=0.46 cores=1,3,5,7
/proc/7523/task/7539/stat : 7539 (java) S 7521 7523 5628 0 -1 4202560 5773 0 0 0 45 1 0 0 16 0 19 0 807412410 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7540] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7540/stat : 7540 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7541] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7541/stat : 7541 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807412410 13966540800 61792 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 13639200

[startup+3.10151 s]
/proc/loadavg: 2.09 2.06 2.01 3/474 7542
/proc/meminfo: memFree=24351488/32951124 swapFree=50923800/67111528
[pid=7523] ppid=7521 vsize=13639200 CPUtime=4.06 cores=1,3,5,7
/proc/7523/stat : 7523 (java) S 7521 7523 5628 0 -1 4202496 65434 0 1 0 397 9 0 0 24 0 19 0 807412404 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7523/statm: 3409800 62064 2221 9 0 3400534 0
[pid=7523/tid=7524] ppid=7521 vsize=13639200 CPUtime=3.08 cores=1,3,5,7
/proc/7523/task/7524/stat : 7524 (java) R 7521 7523 5628 0 -1 4202560 52223 0 1 0 301 7 0 0 25 0 19 0 807412405 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 46912505906835 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7523/tid=7526] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7526/stat : 7526 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7527] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7527/stat : 7527 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7528] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7528/stat : 7528 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7529] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7529/stat : 7529 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7530] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7530/stat : 7530 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7531] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7531/stat : 7531 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7532] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7532/stat : 7532 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7533] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7533/stat : 7533 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7534] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7534/stat : 7534 (java) S 7521 7523 5628 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807412408 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 0 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7535] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7535/stat : 7535 (java) S 7521 7523 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807412408 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7536] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7536/stat : 7536 (java) S 7521 7523 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412408 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7537] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7537/stat : 7537 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350207409 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7538] ppid=7521 vsize=13639200 CPUtime=0.46 cores=1,3,5,7
/proc/7523/task/7538/stat : 7538 (java) S 7521 7523 5628 0 -1 4202560 6273 0 0 0 46 0 0 0 15 0 19 0 807412410 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7539] ppid=7521 vsize=13639200 CPUtime=0.5 cores=1,3,5,7
/proc/7523/task/7539/stat : 7539 (java) S 7521 7523 5628 0 -1 4202560 5778 0 0 0 49 1 0 0 15 0 19 0 807412410 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7540] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7540/stat : 7540 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7541] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7541/stat : 7541 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807412410 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7542] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7542/stat : 7542 (java) S 7521 7523 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412512 13966540800 62064 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13639200

[startup+6.30087 s]
/proc/loadavg: 2.25 2.09 2.02 3/474 7543
/proc/meminfo: memFree=24332236/32951124 swapFree=50923800/67111528
[pid=7523] ppid=7521 vsize=13639200 CPUtime=7.32 cores=1,3,5,7
/proc/7523/stat : 7523 (java) S 7521 7523 5628 0 -1 4202496 66690 0 1 0 723 9 0 0 24 0 19 0 807412404 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7523/statm: 3409800 62983 2223 9 0 3400534 0
[pid=7523/tid=7524] ppid=7521 vsize=13639200 CPUtime=6.28 cores=1,3,5,7
/proc/7523/task/7524/stat : 7524 (java) R 7521 7523 5628 0 -1 4202560 53467 0 1 0 621 7 0 0 25 0 19 0 807412405 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 46912505550259 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7523/tid=7526] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7526/stat : 7526 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7527] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7527/stat : 7527 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7528] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7528/stat : 7528 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7529] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7529/stat : 7529 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7530] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7530/stat : 7530 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7531] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7531/stat : 7531 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7532] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7532/stat : 7532 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7533] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7533/stat : 7533 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412407 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7534] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7534/stat : 7534 (java) S 7521 7523 5628 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 807412408 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 0 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7535] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7535/stat : 7535 (java) S 7521 7523 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807412408 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7536] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7536/stat : 7536 (java) S 7521 7523 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412408 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7537] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7537/stat : 7537 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350207409 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7538] ppid=7521 vsize=13639200 CPUtime=0.5 cores=1,3,5,7
/proc/7523/task/7538/stat : 7538 (java) S 7521 7523 5628 0 -1 4202560 6279 0 0 0 49 1 0 0 15 0 19 0 807412410 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7539] ppid=7521 vsize=13639200 CPUtime=0.53 cores=1,3,5,7
/proc/7523/task/7539/stat : 7539 (java) S 7521 7523 5628 0 -1 4202560 5783 0 0 0 52 1 0 0 15 0 19 0 807412410 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7540] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7540/stat : 7540 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 62983 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0

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

[pid=7523/tid=7531] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7531/stat : 7531 (java) S 7521 7523 5628 0 -1 4202560 1998 0 0 0 10 0 0 0 16 0 19 0 807412407 13966540800 157252 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7532] ppid=7521 vsize=13639200 CPUtime=0.09 cores=1,3,5,7
/proc/7523/task/7532/stat : 7532 (java) S 7521 7523 5628 0 -1 4202560 4335 0 0 0 9 0 0 0 16 0 19 0 807412407 13966540800 157252 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7533] ppid=7521 vsize=13639200 CPUtime=0.09 cores=1,3,5,7
/proc/7523/task/7533/stat : 7533 (java) S 7521 7523 5628 0 -1 4202560 2505 0 0 0 9 0 0 0 15 0 19 0 807412407 13966540800 157252 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7534] ppid=7521 vsize=13639200 CPUtime=2.86 cores=1,3,5,7
/proc/7523/task/7534/stat : 7534 (java) S 7521 7523 5628 0 -1 4202560 12265 0 0 0 285 1 0 0 15 0 19 0 807412408 13966540800 157252 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 0 0 16800975 18446604467017410496 0 0 -1 5 0 0 0
[pid=7523/tid=7535] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7535/stat : 7535 (java) S 7521 7523 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807412408 13966540800 157252 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7536] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7536/stat : 7536 (java) S 7521 7523 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807412408 13966540800 157252 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7537] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7537/stat : 7537 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 157252 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350207409 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7538] ppid=7521 vsize=13639200 CPUtime=0.74 cores=1,3,5,7
/proc/7523/task/7538/stat : 7538 (java) S 7521 7523 5628 0 -1 4202560 6336 0 0 0 73 1 0 0 15 0 19 0 807412410 13966540800 157252 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7539] ppid=7521 vsize=13639200 CPUtime=0.64 cores=1,3,5,7
/proc/7523/task/7539/stat : 7539 (java) S 7521 7523 5628 0 -1 4202560 5804 0 0 0 63 1 0 0 15 0 19 0 807412410 13966540800 157252 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7540] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7540/stat : 7540 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 157252 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7541] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7541/stat : 7541 (java) S 7521 7523 5628 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807412410 13966540800 157252 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7542] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7542/stat : 7542 (java) S 7521 7523 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412512 13966540800 157252 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.21
Current children cumulated vsize (KiB) 13639200

[startup+1782.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/474 7593
/proc/meminfo: memFree=23891920/32951124 swapFree=50923800/67111528
[pid=7523] ppid=7521 vsize=13639200 CPUtime=1784.23 cores=1,3,5,7
/proc/7523/stat : 7523 (java) S 7521 7523 5628 0 -1 4202496 161393 0 1 0 178400 23 0 0 24 0 19 0 807412404 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7523/statm: 3409800 157413 2251 9 0 3400534 0
[pid=7523/tid=7524] ppid=7521 vsize=13639200 CPUtime=1779.01 cores=1,3,5,7
/proc/7523/task/7524/stat : 7524 (java) R 7521 7523 5628 0 -1 4202560 122591 0 1 0 177884 17 0 0 25 0 19 0 807412405 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 46912505550346 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7523/tid=7526] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7526/stat : 7526 (java) S 7521 7523 5628 0 -1 4202560 267 0 0 0 10 0 0 0 16 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7527] ppid=7521 vsize=13639200 CPUtime=0.08 cores=1,3,5,7
/proc/7523/task/7527/stat : 7527 (java) S 7521 7523 5628 0 -1 4202560 598 0 0 0 8 0 0 0 16 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7528] ppid=7521 vsize=13639200 CPUtime=0.09 cores=1,3,5,7
/proc/7523/task/7528/stat : 7528 (java) S 7521 7523 5628 0 -1 4202560 1093 0 0 0 9 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7529] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7529/stat : 7529 (java) S 7521 7523 5628 0 -1 4202560 1488 0 0 0 10 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7530] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7530/stat : 7530 (java) S 7521 7523 5628 0 -1 4202560 696 0 0 0 10 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7531] ppid=7521 vsize=13639200 CPUtime=0.11 cores=1,3,5,7
/proc/7523/task/7531/stat : 7531 (java) S 7521 7523 5628 0 -1 4202560 1998 0 0 0 11 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7532] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7532/stat : 7532 (java) S 7521 7523 5628 0 -1 4202560 4335 0 0 0 10 0 0 0 16 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7533] ppid=7521 vsize=13639200 CPUtime=0.09 cores=1,3,5,7
/proc/7523/task/7533/stat : 7533 (java) S 7521 7523 5628 0 -1 4202560 2505 0 0 0 9 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7534] ppid=7521 vsize=13639200 CPUtime=2.99 cores=1,3,5,7
/proc/7523/task/7534/stat : 7534 (java) S 7521 7523 5628 0 -1 4202560 12430 0 0 0 298 1 0 0 15 0 19 0 807412408 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 0 0 16800975 18446604467017410496 0 0 -1 5 0 0 0
[pid=7523/tid=7535] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7535/stat : 7535 (java) S 7521 7523 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807412408 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7536] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7536/stat : 7536 (java) S 7521 7523 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807412408 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7537] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7537/stat : 7537 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350207409 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7538] ppid=7521 vsize=13639200 CPUtime=0.74 cores=1,3,5,7
/proc/7523/task/7538/stat : 7538 (java) S 7521 7523 5628 0 -1 4202560 6336 0 0 0 73 1 0 0 15 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7539] ppid=7521 vsize=13639200 CPUtime=0.64 cores=1,3,5,7
/proc/7523/task/7539/stat : 7539 (java) S 7521 7523 5628 0 -1 4202560 5804 0 0 0 63 1 0 0 15 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7540] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7540/stat : 7540 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7541] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7541/stat : 7541 (java) S 7521 7523 5628 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7542] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7542/stat : 7542 (java) S 7521 7523 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412512 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.23
Current children cumulated vsize (KiB) 13639200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.1 s]
/proc/loadavg: 1.93 2.04 2.01 2/454 7596
/proc/meminfo: memFree=24082280/32951124 swapFree=50923800/67111528
[pid=7523] ppid=7521 vsize=13639200 CPUtime=1800.04 cores=1,3,5,7
/proc/7523/stat : 7523 (java) S 7521 7523 5628 0 -1 4202496 161395 0 1 0 179981 23 0 0 24 0 19 0 807412404 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7523/statm: 3409800 157413 2251 9 0 3400534 0
[pid=7523/tid=7524] ppid=7521 vsize=13639200 CPUtime=1794.83 cores=1,3,5,7
/proc/7523/task/7524/stat : 7524 (java) R 7521 7523 5628 0 -1 4202560 122591 0 1 0 179466 17 0 0 25 0 19 0 807412405 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7523/tid=7526] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7526/stat : 7526 (java) S 7521 7523 5628 0 -1 4202560 267 0 0 0 10 0 0 0 16 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7527] ppid=7521 vsize=13639200 CPUtime=0.08 cores=1,3,5,7
/proc/7523/task/7527/stat : 7527 (java) S 7521 7523 5628 0 -1 4202560 598 0 0 0 8 0 0 0 16 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7528] ppid=7521 vsize=13639200 CPUtime=0.09 cores=1,3,5,7
/proc/7523/task/7528/stat : 7528 (java) S 7521 7523 5628 0 -1 4202560 1093 0 0 0 9 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7529] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7529/stat : 7529 (java) S 7521 7523 5628 0 -1 4202560 1488 0 0 0 10 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7530] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7530/stat : 7530 (java) S 7521 7523 5628 0 -1 4202560 696 0 0 0 10 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7531] ppid=7521 vsize=13639200 CPUtime=0.11 cores=1,3,5,7
/proc/7523/task/7531/stat : 7531 (java) S 7521 7523 5628 0 -1 4202560 1998 0 0 0 11 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7532] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7532/stat : 7532 (java) S 7521 7523 5628 0 -1 4202560 4335 0 0 0 10 0 0 0 16 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7533] ppid=7521 vsize=13639200 CPUtime=0.09 cores=1,3,5,7
/proc/7523/task/7533/stat : 7533 (java) S 7521 7523 5628 0 -1 4202560 2505 0 0 0 9 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7534] ppid=7521 vsize=13639200 CPUtime=2.99 cores=1,3,5,7
/proc/7523/task/7534/stat : 7534 (java) S 7521 7523 5628 0 -1 4202560 12430 0 0 0 298 1 0 0 15 0 19 0 807412408 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 0 0 16800975 18446604467017410496 0 0 -1 5 0 0 0
[pid=7523/tid=7535] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7535/stat : 7535 (java) S 7521 7523 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807412408 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7536] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7536/stat : 7536 (java) S 7521 7523 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807412408 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7537] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7537/stat : 7537 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350207409 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7538] ppid=7521 vsize=13639200 CPUtime=0.74 cores=1,3,5,7
/proc/7523/task/7538/stat : 7538 (java) S 7521 7523 5628 0 -1 4202560 6336 0 0 0 73 1 0 0 15 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7539] ppid=7521 vsize=13639200 CPUtime=0.64 cores=1,3,5,7
/proc/7523/task/7539/stat : 7539 (java) S 7521 7523 5628 0 -1 4202560 5804 0 0 0 63 1 0 0 15 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7540] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7540/stat : 7540 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7541] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7541/stat : 7541 (java) S 7521 7523 5628 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7542] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7542/stat : 7542 (java) S 7521 7523 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412512 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13639200

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

Solver just ended. Dumping a history of the last processes samples

[startup+1798.1 s]
/proc/loadavg: 1.93 2.04 2.01 2/454 7596
/proc/meminfo: memFree=24082280/32951124 swapFree=50923800/67111528
[pid=7523] ppid=7521 vsize=13639200 CPUtime=1800.04 cores=1,3,5,7
/proc/7523/stat : 7523 (java) S 7521 7523 5628 0 -1 4202496 161395 0 1 0 179981 23 0 0 24 0 19 0 807412404 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/7523/statm: 3409800 157413 2251 9 0 3400534 0
[pid=7523/tid=7524] ppid=7521 vsize=13639200 CPUtime=1794.83 cores=1,3,5,7
/proc/7523/task/7524/stat : 7524 (java) R 7521 7523 5628 0 -1 4202560 122591 0 1 0 179466 17 0 0 25 0 19 0 807412405 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7523/tid=7526] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7526/stat : 7526 (java) S 7521 7523 5628 0 -1 4202560 267 0 0 0 10 0 0 0 16 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7527] ppid=7521 vsize=13639200 CPUtime=0.08 cores=1,3,5,7
/proc/7523/task/7527/stat : 7527 (java) S 7521 7523 5628 0 -1 4202560 598 0 0 0 8 0 0 0 16 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7528] ppid=7521 vsize=13639200 CPUtime=0.09 cores=1,3,5,7
/proc/7523/task/7528/stat : 7528 (java) S 7521 7523 5628 0 -1 4202560 1093 0 0 0 9 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7529] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7529/stat : 7529 (java) S 7521 7523 5628 0 -1 4202560 1488 0 0 0 10 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7530] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7530/stat : 7530 (java) S 7521 7523 5628 0 -1 4202560 696 0 0 0 10 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7531] ppid=7521 vsize=13639200 CPUtime=0.11 cores=1,3,5,7
/proc/7523/task/7531/stat : 7531 (java) S 7521 7523 5628 0 -1 4202560 1998 0 0 0 11 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7532] ppid=7521 vsize=13639200 CPUtime=0.1 cores=1,3,5,7
/proc/7523/task/7532/stat : 7532 (java) S 7521 7523 5628 0 -1 4202560 4335 0 0 0 10 0 0 0 16 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7533] ppid=7521 vsize=13639200 CPUtime=0.09 cores=1,3,5,7
/proc/7523/task/7533/stat : 7533 (java) S 7521 7523 5628 0 -1 4202560 2505 0 0 0 9 0 0 0 15 0 19 0 807412407 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7534] ppid=7521 vsize=13639200 CPUtime=2.99 cores=1,3,5,7
/proc/7523/task/7534/stat : 7534 (java) S 7521 7523 5628 0 -1 4202560 12430 0 0 0 298 1 0 0 15 0 19 0 807412408 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 0 0 16800975 18446604467017410496 0 0 -1 5 0 0 0
[pid=7523/tid=7535] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7535/stat : 7535 (java) S 7521 7523 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807412408 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7536] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7536/stat : 7536 (java) S 7521 7523 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807412408 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7537] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7537/stat : 7537 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350207409 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7538] ppid=7521 vsize=13639200 CPUtime=0.74 cores=1,3,5,7
/proc/7523/task/7538/stat : 7538 (java) S 7521 7523 5628 0 -1 4202560 6336 0 0 0 73 1 0 0 15 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 3 0 0 0
[pid=7523/tid=7539] ppid=7521 vsize=13639200 CPUtime=0.64 cores=1,3,5,7
/proc/7523/task/7539/stat : 7539 (java) S 7521 7523 5628 0 -1 4202560 5804 0 0 0 63 1 0 0 15 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7540] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7540/stat : 7540 (java) S 7521 7523 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350199705 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
[pid=7523/tid=7541] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7541/stat : 7541 (java) S 7521 7523 5628 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807412410 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 4 0 16800975 18446604467017410496 0 0 -1 1 0 0 0
[pid=7523/tid=7542] ppid=7521 vsize=13639200 CPUtime=0 cores=1,3,5,7
/proc/7523/task/7542/stat : 7542 (java) S 7521 7523 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412512 13966540800 157413 33554432000 1073741824 1073778376 140737105005632 18446744073709551615 270350200320 0 4 0 16800975 18446604467017410496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13639200

Child status: 143
Real time (s): 1798.18
CPU time (s): 1800.17
CPU user time (s): 1799.9
CPU system time (s): 0.263959
CPU usage (%): 100.111
Max. virtual memory (cumulated for all children) (KiB): 13639200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.263959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161438
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38177
involuntary context switches= 13801

runsolver used 7.78682 second user time and 17.3904 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-04 03:12:48
IDJOB=3458578
IDBENCH=2325
IDSOLVER=1952
FILE ID=node143/3458578-1307149968
RUNJOBID= node143-1307146369-7186
PBS_JOBID= 13508773
Free space on /tmp= 73892 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos3.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458578-1307149968/watcher-3458578-1307149968 -o /tmp/evaluation-result-3458578-1307149968/solver-3458578-1307149968 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458578-1307149968.opb

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

MD5SUM BENCH= d20c34d69465e41d60c8740ade812dbe
RANDOM SEED=507556766

node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24597272 kB
Buffers:        291652 kB
Cached:         455472 kB
SwapCached:       9140 kB
Active:        7602316 kB
Inactive:       471004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24597272 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:            4432 kB
Writeback:           0 kB
AnonPages:     7323088 kB
Mapped:          29720 kB
Slab:           132536 kB
PageTables:      80320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 129101952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73892 MiB
End job on node143 at 2011-06-04 03:42:48