Trace number 3744482

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.01 1764.33

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat25_6_3_3_ic.opb
MD5SUMfa2d46c927da2620047f5e5cfeece7cd
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15725
Total number of constraints31332
Number of constraints which are clauses14450
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints16875
Minimum length of a constraint2
Maximum length of a constraint300
Number of terms in the objective function 1825
Biggest coefficient in the objective function 111980168
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 9113142699
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 111980168
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 9113142699
Number of bits of the biggest sum of numbers34
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-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
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 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.07/0.11	--- Begin Solver configuration ---
0.07/0.11	c Stops conflict analysis at the first Unique Implication Point
0.07/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.11	c No reason simplification
0.07/0.11	c --- End Solver configuration ---
0.07/0.11	c solving HOME/instance-3744482-1338801773.opb
0.07/0.11	c reading problem ... 
1.30/0.68	c ... done. Wall clock time 0.571s.
1.30/0.68	c CPU time (experimental) 0.65s.
1.30/0.68	c #vars     15725
1.30/0.68	c #constraints  33133
1490.02/1466.38	c cleaning 407740 clauses out of 815501 for limit 2.712449899770544E8
1509.60/1485.38	c cleaning 211375 clauses out of 422761 for limit 1.7233278915108707E-5
1516.96/1492.49	c cleaning 109186 clauses out of 218385 for limit 0.03667650422679572
1521.83/1497.15	c cleaning 56839 clauses out of 113700 for limit 6.361913648022522
1528.43/1503.57	c cleaning 31915 clauses out of 63860 for limit 12452.806128829528
1530.70/1505.72	c cleaning 17210 clauses out of 34445 for limit 281610.8523139958
1535.69/1510.50	c cleaning 10609 clauses out of 21236 for limit 2.5014076129502714E7
1546.66/1521.08	c cleaning 10806 clauses out of 21628 for limit 1.4801469991424675E12
1548.91/1523.21	c cleaning 6892 clauses out of 13821 for limit 4.654602015355367E13
1550.58/1524.90	c cleaning 4703 clauses out of 9428 for limit 8.314715036897468E-6
1554.31/1528.43	c cleaning 4605 clauses out of 9226 for limit 7.673455661618574E-4
1556.05/1530.07	c cleaning 3050 clauses out of 6120 for limit 0.005183059153661904
1559.57/1533.42	c cleaning 3279 clauses out of 6572 for limit 0.16043542364513103
1561.24/1535.01	c cleaning 2630 clauses out of 5291 for limit 1.471006470750773
1572.31/1545.67	c cleaning 6818 clauses out of 13662 for limit 34332.23603386506
1575.76/1548.93	c cleaning 5155 clauses out of 10344 for limit 1504246.7014156438
1577.77/1550.81	c cleaning 3834 clauses out of 7689 for limit 2.468409185408618E7
1581.10/1554.09	c cleaning 3661 clauses out of 7356 for limit 8.567833437145702E8
1583.07/1555.90	c cleaning 3091 clauses out of 6193 for limit 1.2388595329808537E10
1585.05/1557.82	c cleaning 3045 clauses out of 6104 for limit 2.5334536763927512E11
1586.73/1559.48	c cleaning 2518 clauses out of 5059 for limit 2.2609260685094497E12
1588.51/1561.20	c cleaning 2255 clauses out of 4540 for limit 1.8615908004998684E13
1590.38/1562.92	c cleaning 2371 clauses out of 4784 for limit 2.1527511468112975E14
1593.74/1566.15	c cleaning 2950 clauses out of 5913 for limit 5.7778775055458156E-5
1595.53/1567.85	c cleaning 2729 clauses out of 5464 for limit 7.634480065574294E-4
1595.83/1568.12	c cleaning 1607 clauses out of 3235 for limit 0.002126531195860735
1597.41/1569.70	c cleaning 1809 clauses out of 3628 for limit 0.014024982007509106
1599.09/1571.24	c cleaning 1895 clauses out of 3819 for limit 0.09854701655220852
1600.77/1572.84	c cleaning 1937 clauses out of 3923 for limit 0.7088655445304808
1602.58/1574.53	c cleaning 1981 clauses out of 3986 for limit 5.160222512644207
1604.25/1576.18	c cleaning 1992 clauses out of 4005 for limit 37.9862787733127
1606.07/1577.81	c cleaning 1999 clauses out of 4013 for limit 280.40364826581015
1607.75/1579.40	c cleaning 2244 clauses out of 4514 for limit 3040.6798761250584
1609.51/1581.15	c cleaning 2373 clauses out of 4771 for limit 35126.654158654186
1611.16/1582.71	c cleaning 1932 clauses out of 3898 for limit 192828.85731640394
1614.82/1586.26	c cleaning 2716 clauses out of 5465 for limit 4558063.733656994
1618.19/1589.45	c cleaning 2864 clauses out of 5750 for limit 8.723134099677287E7
1619.99/1591.18	c cleaning 2191 clauses out of 4385 for limit 5.1251188985901856E8
1623.36/1594.34	c cleaning 2600 clauses out of 5201 for limit 8.753134332053356E9
1624.92/1595.86	c cleaning 2037 clauses out of 4094 for limit 4.952547933562647E10
1626.70/1597.53	c cleaning 2013 clauses out of 4058 for limit 3.699325473405832E11
1628.47/1599.27	c cleaning 2003 clauses out of 4044 for limit 2.7429157930449907E12
1630.14/1600.88	c cleaning 2261 clauses out of 4541 for limit 2.9795560193972016E13
1633.71/1604.28	c cleaning 2870 clauses out of 5780 for limit 7.765446422819975E14
1635.38/1605.86	c cleaning 2449 clauses out of 4910 for limit 6.761395216075975E-5
1637.25/1607.63	c cleaning 2214 clauses out of 4461 for limit 5.504389261443175E-4
1640.62/1610.84	c cleaning 2853 clauses out of 5747 for limit 0.014173965589595487
1644.25/1614.32	c cleaning 3431 clauses out of 6894 for limit 0.646410479024411
1645.71/1615.80	c cleaning 2466 clauses out of 4963 for limit 4.027198654598302
1647.82/1617.70	c cleaning 2226 clauses out of 4497 for limit 32.87365467753199
1649.30/1619.11	c cleaning 1870 clauses out of 3772 for limit 175.95489979413458
1651.27/1621.02	c cleaning 1939 clauses out of 3901 for limit 1257.1472077445294
1653.06/1622.75	c cleaning 1970 clauses out of 3963 for limit 9162.122052224047
1654.62/1624.22	c cleaning 1734 clauses out of 3494 for limit 46655.13144902662
1656.21/1625.73	c cleaning 1622 clauses out of 3260 for limit 224270.61757802145
1659.88/1629.21	c cleaning 2557 clauses out of 5137 for limit 4716687.578334048
1661.35/1630.68	c cleaning 2036 clauses out of 4079 for limit 2.661497853626742E7
1665.09/1634.22	c cleaning 3006 clauses out of 6043 for limit 9.828207734817058E8
1670.55/1639.43	c cleaning 3517 clauses out of 7037 for limit 4.617282710754985E10
1672.20/1641.05	c cleaning 2258 clauses out of 4522 for limit 1.9580521627796982E11
1673.91/1642.69	c cleaning 1616 clauses out of 3262 for limit 7.36738913134055E11
1675.90/1644.51	c cleaning 1314 clauses out of 2646 for limit 2.470128234935421E12
1677.28/1645.83	c cleaning 1401 clauses out of 2832 for limit 1.0351034397519666E13
1680.81/1649.24	c cleaning 2195 clauses out of 4432 for limit 1.3318247547899827E14
1682.36/1650.76	c cleaning 1853 clauses out of 3738 for limit 7.089403745908371E14
1684.03/1652.36	c cleaning 1434 clauses out of 2884 for limit 2.4964967995351705E-5
1686.02/1654.21	c cleaning 1467 clauses out of 2950 for limit 1.0946415142602844E-4
1691.18/1659.17	c cleaning 2231 clauses out of 4482 for limit 0.001447847727439363
1696.74/1664.42	c cleaning 2865 clauses out of 5751 for limit 0.0374319612373674
1700.59/1668.11	c cleaning 2684 clauses out of 5387 for limit 0.48792483206794196
1702.17/1669.64	c cleaning 1844 clauses out of 3702 for limit 1.9290378304387128
1705.67/1672.93	c cleaning 2418 clauses out of 4859 for limit 29.59375635028287
1709.20/1676.31	c cleaning 2461 clauses out of 4940 for limit 354.7030862716237
1711.30/1678.38	c cleaning 1980 clauses out of 3979 for limit 1975.0843058847477
1713.20/1680.19	c cleaning 1737 clauses out of 3499 for limit 10073.56738213694
1716.66/1683.41	c cleaning 2126 clauses out of 4263 for limit 100954.5395749169
1720.45/1687.07	c cleaning 2551 clauses out of 5138 for limit 1686618.730362084
1722.04/1688.57	c cleaning 1782 clauses out of 3585 for limit 6560917.992495439
1724.03/1690.46	c cleaning 1648 clauses out of 3303 for limit 3.193837800908926E7
1725.70/1692.07	c cleaning 1317 clauses out of 2655 for limit 1.0806092455956918E8
1727.57/1693.89	c cleaning 1402 clauses out of 2839 for limit 4.537012592936951E8
1729.35/1695.57	c cleaning 1460 clauses out of 2937 for limit 1.9669761395211513E9
1731.12/1697.28	c cleaning 1463 clauses out of 2976 for limit 8.697676701822693E9
1800.01/1764.32	c starts		: 22
1800.01/1764.32	c conflicts		: 1087197
1800.01/1764.32	c decisions		: 1444005
1800.01/1764.32	c propagations		: 710299292
1800.01/1764.32	c inspects		: 6817112629
1800.01/1764.32	c learnt literals	: 0
1800.01/1764.32	c learnt binary clauses	: 0
1800.01/1764.32	c learnt ternary clauses	: 0
1800.01/1764.32	c learnt clauses	: 1087197
1800.01/1764.32	c root simplifications	: 0
1800.01/1764.32	c removed literals (reason simplification)	: 0
1800.01/1764.32	c reason swapping (by a shorter reason)	: 0
1800.01/1764.32	c Calls to reduceDB	: 83
1800.01/1764.32	c speed (decisions/second)	: 818.7821394975393
1800.01/1764.32	c non guided choices	0
1800.01/1764.32	s UNKNOWN
1800.01/1764.32	c Total wall clock time (ms): 1764.205

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3744482-1338801773/watcher-3744482-1338801773 -o /tmp/evaluation-result-3744482-1338801773/solver-3744482-1338801773 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744482-1338801773.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.34 2.17 2.06 3/194 23067
/proc/meminfo: memFree=26025616/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23067/stat : 23067 (java) D 23065 23067 21172 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 346302870 9515008 183 33554432000 1073741824 1073778376 140735945773664 140735945764696 214369648309 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/23067/statm: 2323 183 140 9 0 71 0

[startup+0.026633 s]
/proc/loadavg: 2.34 2.17 2.06 3/194 23067
/proc/meminfo: memFree=26025616/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=2213440 CPUtime=0 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 2924 0 1 0 0 0 0 0 20 0 7 0 346302870 2266562560 3114 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 553617 3118 952 9 0 544726 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2213440

[startup+0.100306 s]
/proc/loadavg: 2.34 2.17 2.06 3/194 23067
/proc/meminfo: memFree=26025616/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 4273 0 1 0 6 1 0 0 20 0 18 0 346302870 3028844544 5990 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 739464 6002 1901 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.30026 s]
/proc/loadavg: 2.34 2.17 2.06 3/194 23067
/proc/meminfo: memFree=26025616/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=2958320 CPUtime=0.46 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 6914 0 1 0 43 3 0 0 20 0 18 0 346302870 3029319680 10164 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 739464 10048 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2958320

[startup+0.700267 s]
/proc/loadavg: 2.34 2.17 2.06 3/194 23067
/proc/meminfo: memFree=26025616/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=2957856 CPUtime=1.5 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 10194 0 1 0 144 6 0 0 20 0 18 0 346302870 3028844544 39301 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 739464 39301 2266 9 0 729885 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 2957856

[startup+1.50079 s]
/proc/loadavg: 2.34 2.17 2.06 3/213 23086
/proc/meminfo: memFree=25825628/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=3024420 CPUtime=2.55 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 10296 0 1 0 247 8 0 0 20 0 19 0 346302870 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 756105 78749 2278 9 0 746526 0
[pid=23067/tid=23069] ppid=23065 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/23067/task/23069/stat : 23069 (java) R 23065 23067 21172 0 -1 4202560 3160 0 1 0 139 7 0 0 20 0 19 0 346302871 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870531637608 139870392078609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23070] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23070/stat : 23070 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870515063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23071] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23071/stat : 23071 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870514010920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23072] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23072/stat : 23072 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870512958376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23073] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23073/stat : 23073 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870511905832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23074] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23074/stat : 23074 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870510852264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23075] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23075/stat : 23075 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870391494952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23076] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23076/stat : 23076 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870390442408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23077] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23077/stat : 23077 (java) S 23065 23067 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870389389864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23078] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23078/stat : 23078 (java) S 23065 23067 21172 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870377192040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23079] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23079/stat : 23079 (java) S 23065 23067 21172 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870376138360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23080] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23080/stat : 23080 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869770737288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23081] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23081/stat : 23081 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869769686032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2730 0 0 0 51 0 0 0 20 0 19 0 346302877 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3211 0 0 0 54 0 0 0 20 0 19 0 346302877 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 3024420

[startup+3.1008 s]
/proc/loadavg: 2.34 2.17 2.06 3/213 23086
/proc/meminfo: memFree=25591288/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=3024420 CPUtime=4.28 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 10410 0 1 0 414 14 0 0 20 0 19 0 346302870 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 756105 116145 2291 9 0 746526 0
[pid=23067/tid=23069] ppid=23065 vsize=3024420 CPUtime=3.02 cores=1,3,5,7
/proc/23067/task/23069/stat : 23069 (java) R 23065 23067 21172 0 -1 4202560 3230 0 1 0 292 10 0 0 20 0 19 0 346302871 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870531637592 139870392349202 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23070] ppid=23065 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/23067/task/23070/stat : 23070 (java) S 23065 23067 21172 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870515063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23071] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23071/stat : 23071 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870514010920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23072] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23072/stat : 23072 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870512958376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23073] ppid=23065 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/23067/task/23073/stat : 23073 (java) S 23065 23067 21172 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870511905832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23074] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23074/stat : 23074 (java) S 23065 23067 21172 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870510852264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23075] ppid=23065 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/23067/task/23075/stat : 23075 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870391494952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23076] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23076/stat : 23076 (java) S 23065 23067 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870390442408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23077] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23077/stat : 23077 (java) S 23065 23067 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870389389864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23078] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23078/stat : 23078 (java) S 23065 23067 21172 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870377192040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23079] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23079/stat : 23079 (java) S 23065 23067 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870376138360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23080] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23080/stat : 23080 (java) S 23065 23067 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869770737288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23081] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23081/stat : 23081 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869769686032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2730 0 0 0 51 0 0 0 20 0 19 0 346302877 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3211 0 0 0 56 0 0 0 20 0 19 0 346302877 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 3024420

[startup+6.30086 s]
/proc/loadavg: 2.31 2.17 2.06 3/213 23086
/proc/meminfo: memFree=25549832/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=3024420 CPUtime=7.67 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 10469 0 1 0 749 18 0 0 20 0 19 0 346302870 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 756105 121757 2291 9 0 746526 0
[pid=23067/tid=23069] ppid=23065 vsize=3024420 CPUtime=6.15 cores=1,3,5,7
/proc/23067/task/23069/stat : 23069 (java) R 23065 23067 21172 0 -1 4202560 3234 0 1 0 605 10 0 0 20 0 19 0 346302871 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870531637640 139870392327284 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23070] ppid=23065 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/23067/task/23070/stat : 23070 (java) S 23065 23067 21172 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870515063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23071] ppid=23065 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/23067/task/23071/stat : 23071 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870514010920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23072] ppid=23065 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/23067/task/23072/stat : 23072 (java) S 23065 23067 21172 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870512958376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23073] ppid=23065 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/23067/task/23073/stat : 23073 (java) S 23065 23067 21172 0 -1 4202560 26 0 0 0 5 1 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870511905832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23074] ppid=23065 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/23067/task/23074/stat : 23074 (java) S 23065 23067 21172 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870510852264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23075] ppid=23065 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/23067/task/23075/stat : 23075 (java) S 23065 23067 21172 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870391494952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23076] ppid=23065 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/23067/task/23076/stat : 23076 (java) S 23065 23067 21172 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870390442408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23077] ppid=23065 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/23067/task/23077/stat : 23077 (java) S 23065 23067 21172 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870389389864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23078] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23078/stat : 23078 (java) S 23065 23067 21172 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870377192040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23079] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23079/stat : 23079 (java) S 23065 23067 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870376138360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23080] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23080/stat : 23080 (java) S 23065 23067 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869770737288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23081] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23081/stat : 23081 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869769686032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2730 0 0 0 51 0 0 0 20 0 19 0 346302877 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3211 0 0 0 59 0 0 0 20 0 19 0 346302877 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2741 0 0 0 59 0 0 0 20 0 19 0 346302877 3097006080 416693 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3216 0 0 0 67 0 0 0 20 0 19 0 346302877 3097006080 416693 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 416693 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 94 0 0 0 47 41 0 0 20 0 19 0 346302877 3097006080 416693 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 416693 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1694.55
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/213 23160
/proc/meminfo: memFree=24796808/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=3024420 CPUtime=1756.99 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 14086 0 1 0 175509 190 0 0 20 0 19 0 346302870 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 756105 420871 2307 9 0 746526 0
[pid=23067/tid=23069] ppid=23065 vsize=3024420 CPUtime=1703.98 cores=1,3,5,7
/proc/23067/task/23069/stat : 23069 (java) R 23065 23067 21172 0 -1 4202560 3839 0 1 0 170357 41 0 0 20 0 19 0 346302871 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870531636448 139870392359115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23070] ppid=23065 vsize=3024420 CPUtime=5.81 cores=1,3,5,7
/proc/23067/task/23070/stat : 23070 (java) S 23065 23067 21172 0 -1 4202560 397 0 0 0 564 17 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870515063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23071] ppid=23065 vsize=3024420 CPUtime=5.57 cores=1,3,5,7
/proc/23067/task/23071/stat : 23071 (java) S 23065 23067 21172 0 -1 4202560 330 0 0 0 541 16 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870514010920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23072] ppid=23065 vsize=3024420 CPUtime=5.86 cores=1,3,5,7
/proc/23067/task/23072/stat : 23072 (java) S 23065 23067 21172 0 -1 4202560 369 0 0 0 571 15 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870512958376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23073] ppid=23065 vsize=3024420 CPUtime=5.69 cores=1,3,5,7
/proc/23067/task/23073/stat : 23073 (java) S 23065 23067 21172 0 -1 4202560 373 0 0 0 553 16 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870511905832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23074] ppid=23065 vsize=3024420 CPUtime=5.62 cores=1,3,5,7
/proc/23067/task/23074/stat : 23074 (java) S 23065 23067 21172 0 -1 4202560 334 0 0 0 549 13 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870510852264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23075] ppid=23065 vsize=3024420 CPUtime=6 cores=1,3,5,7
/proc/23067/task/23075/stat : 23075 (java) S 23065 23067 21172 0 -1 4202560 402 0 0 0 584 16 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870391494952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23076] ppid=23065 vsize=3024420 CPUtime=5.8 cores=1,3,5,7
/proc/23067/task/23076/stat : 23076 (java) S 23065 23067 21172 0 -1 4202560 315 0 0 0 565 15 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870390442408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23077] ppid=23065 vsize=3024420 CPUtime=5.82 cores=1,3,5,7
/proc/23067/task/23077/stat : 23077 (java) S 23065 23067 21172 0 -1 4202560 362 0 0 0 567 15 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870389389864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23078] ppid=23065 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/23067/task/23078/stat : 23078 (java) S 23065 23067 21172 0 -1 4202560 127 0 0 0 35 5 0 0 20 0 19 0 346302874 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870377192040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23079] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23079/stat : 23079 (java) S 23065 23067 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870376138360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23080] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23080/stat : 23080 (java) S 23065 23067 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869770737288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23081] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23081/stat : 23081 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869769686032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2741 0 0 0 59 0 0 0 20 0 19 0 346302877 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3217 0 0 0 68 0 0 0 20 0 19 0 346302877 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0.9 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 98 0 0 0 48 42 0 0 20 0 19 0 346302877 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1756.99
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1764.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/213 23160
/proc/meminfo: memFree=24782224/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 14153 0 1 0 179808 193 0 0 20 0 19 0 346302870 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 756105 420914 2307 9 0 746526 0
[pid=23067/tid=23069] ppid=23065 vsize=3024420 CPUtime=1745.49 cores=1,3,5,7
/proc/23067/task/23069/stat : 23069 (java) R 23065 23067 21172 0 -1 4202560 3859 0 1 0 174507 42 0 0 20 0 19 0 346302871 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870531636432 139870392411773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23070] ppid=23065 vsize=3024420 CPUtime=5.98 cores=1,3,5,7
/proc/23067/task/23070/stat : 23070 (java) S 23065 23067 21172 0 -1 4202560 401 0 0 0 580 18 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870515063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23071] ppid=23065 vsize=3024420 CPUtime=5.7 cores=1,3,5,7
/proc/23067/task/23071/stat : 23071 (java) S 23065 23067 21172 0 -1 4202560 334 0 0 0 553 17 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870514010920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23072] ppid=23065 vsize=3024420 CPUtime=5.99 cores=1,3,5,7
/proc/23067/task/23072/stat : 23072 (java) S 23065 23067 21172 0 -1 4202560 375 0 0 0 584 15 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870512958376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23073] ppid=23065 vsize=3024420 CPUtime=5.91 cores=1,3,5,7
/proc/23067/task/23073/stat : 23073 (java) S 23065 23067 21172 0 -1 4202560 384 0 0 0 574 17 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870511905832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23074] ppid=23065 vsize=3024420 CPUtime=5.78 cores=1,3,5,7
/proc/23067/task/23074/stat : 23074 (java) S 23065 23067 21172 0 -1 4202560 343 0 0 0 565 13 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870510852264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23075] ppid=23065 vsize=3024420 CPUtime=6.18 cores=1,3,5,7
/proc/23067/task/23075/stat : 23075 (java) S 23065 23067 21172 0 -1 4202560 411 0 0 0 602 16 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870391494952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23076] ppid=23065 vsize=3024420 CPUtime=5.99 cores=1,3,5,7
/proc/23067/task/23076/stat : 23076 (java) S 23065 23067 21172 0 -1 4202560 315 0 0 0 584 15 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870390442408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23077] ppid=23065 vsize=3024420 CPUtime=6.01 cores=1,3,5,7
/proc/23067/task/23077/stat : 23077 (java) S 23065 23067 21172 0 -1 4202560 362 0 0 0 586 15 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870389389864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23078] ppid=23065 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/23067/task/23078/stat : 23078 (java) S 23065 23067 21172 0 -1 4202560 129 0 0 0 35 5 0 0 20 0 19 0 346302874 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870377192040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23079] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23079/stat : 23079 (java) S 23065 23067 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870376138360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23080] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23080/stat : 23080 (java) S 23065 23067 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869770737288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23081] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23081/stat : 23081 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869769686032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2741 0 0 0 59 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3217 0 0 0 68 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 100 0 0 0 49 43 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1764.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/213 23160
/proc/meminfo: memFree=24782224/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 14153 0 1 0 179808 193 0 0 20 0 19 0 346302870 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 756105 420914 2307 9 0 746526 0
[pid=23067/tid=23069] ppid=23065 vsize=3024420 CPUtime=1745.49 cores=1,3,5,7
/proc/23067/task/23069/stat : 23069 (java) R 23065 23067 21172 0 -1 4202560 3859 0 1 0 174507 42 0 0 20 0 19 0 346302871 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870531636432 139870392411773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23070] ppid=23065 vsize=3024420 CPUtime=5.98 cores=1,3,5,7
/proc/23067/task/23070/stat : 23070 (java) S 23065 23067 21172 0 -1 4202560 401 0 0 0 580 18 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870515063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23071] ppid=23065 vsize=3024420 CPUtime=5.7 cores=1,3,5,7
/proc/23067/task/23071/stat : 23071 (java) S 23065 23067 21172 0 -1 4202560 334 0 0 0 553 17 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870514010920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23072] ppid=23065 vsize=3024420 CPUtime=5.99 cores=1,3,5,7
/proc/23067/task/23072/stat : 23072 (java) S 23065 23067 21172 0 -1 4202560 375 0 0 0 584 15 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870512958376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23073] ppid=23065 vsize=3024420 CPUtime=5.91 cores=1,3,5,7
/proc/23067/task/23073/stat : 23073 (java) S 23065 23067 21172 0 -1 4202560 384 0 0 0 574 17 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870511905832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23074] ppid=23065 vsize=3024420 CPUtime=5.78 cores=1,3,5,7
/proc/23067/task/23074/stat : 23074 (java) S 23065 23067 21172 0 -1 4202560 343 0 0 0 565 13 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870510852264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23075] ppid=23065 vsize=3024420 CPUtime=6.18 cores=1,3,5,7
/proc/23067/task/23075/stat : 23075 (java) S 23065 23067 21172 0 -1 4202560 411 0 0 0 602 16 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870391494952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23076] ppid=23065 vsize=3024420 CPUtime=5.99 cores=1,3,5,7
/proc/23067/task/23076/stat : 23076 (java) S 23065 23067 21172 0 -1 4202560 315 0 0 0 584 15 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870390442408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23077] ppid=23065 vsize=3024420 CPUtime=6.01 cores=1,3,5,7
/proc/23067/task/23077/stat : 23077 (java) S 23065 23067 21172 0 -1 4202560 362 0 0 0 586 15 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870389389864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23078] ppid=23065 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/23067/task/23078/stat : 23078 (java) S 23065 23067 21172 0 -1 4202560 129 0 0 0 35 5 0 0 20 0 19 0 346302874 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870377192040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23079] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23079/stat : 23079 (java) S 23065 23067 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870376138360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23080] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23080/stat : 23080 (java) S 23065 23067 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869770737288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23081] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23081/stat : 23081 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869769686032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2741 0 0 0 59 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3217 0 0 0 68 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 100 0 0 0 49 43 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23067 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=589332
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=301650
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1764.33
CPU time (s): 1800.01
CPU user time (s): 1798.08
CPU system time (s): 1.93
CPU usage (%): 102.022
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.59
system time used= 2.30165
maximum resident set size= 1683772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14183
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56376
involuntary context switches= 107180

runsolver used 6.46102 second user time and 16.6035 second system time

The end

Launcher Data

Begin job on node130 at 2012-06-04 11:22:53
IDJOB=3744482
IDBENCH=92762
IDSOLVER=2319
FILE ID=node130/3744482-1338801773
RUNJOBID= node130-1338783068-21189
PBS_JOBID= 14636838
Free space on /tmp= 70980 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_3_ic.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744482-1338801773/watcher-3744482-1338801773 -o /tmp/evaluation-result-3744482-1338801773/solver-3744482-1338801773 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744482-1338801773.opb           

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

MD5SUM BENCH= fa2d46c927da2620047f5e5cfeece7cd
RANDOM SEED=1588599445

node130.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.875
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.75
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.875
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	: 5331.91
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.875
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	: 5331.91
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.875
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	: 5331.86
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.875
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	: 5331.91
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.875
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	: 5331.92
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.875
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	: 5331.91
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26025880 kB
Buffers:         1705032 kB
Cached:          2572864 kB
SwapCached:         4312 kB
Active:          4107496 kB
Inactive:        1867308 kB
Active(anon):    1685032 kB
Inactive(anon):     8188 kB
Active(file):    2422464 kB
Inactive(file):  1859120 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099292 kB
Dirty:              4756 kB
Writeback:             0 kB
AnonPages:       1750004 kB
Mapped:            17804 kB
Shmem:                 4 kB
Slab:             730316 kB
SReclaimable:     171664 kB
SUnreclaim:       558652 kB
KernelStack:        1768 kB
PageTables:         7532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1695744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70976 MiB
End job on node130 at 2012-06-04 11:52:19