Trace number 349517

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, and are wall clock time (not CPU 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
SAT4JPseudoResolution 2007-03-23? (TO) 1800.34 1787.84

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-dcmulti.opb
MD5SUM8db02a87a2ff672cda2bdb003f710a98
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14265
Total number of constraints290
Number of constraints which are clauses27
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint2
Maximum length of a constraint420
Number of terms in the objective function 14235
Biggest coefficient in the objective function 714038312960
Number of bits for the biggest coefficient in the objective function 40
Sum of the numbers in the objective function 68224730472397
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 714038312960
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 68224730472397
Number of bits of the biggest sum of numbers46
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.07/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.07/0.15	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.07/0.15	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.16	c no version file found!!!
0.07/0.16	c sun.arch.data.model	32
0.07/0.16	c java.version	1.6.0
0.07/0.16	c os.name	Linux
0.07/0.16	c os.version	2.6.9-22.EL.rootsmp
0.07/0.16	c os.arch	i386
0.07/0.16	c Free memory 1651659224
0.07/0.16	c Max memory 1654456320
0.07/0.16	c Total memory 1654456320
0.07/0.16	c Number of processors 2
0.18/0.22	--- Begin Solver configuration ---
0.18/0.22	c Stops conflict analysis at the first Unique Implication Point
0.18/0.22	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.18/0.22	c Learn all clauses as in MiniSAT
0.18/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.18/0.22	c VSIDS like heuristics from MiniSAT using a heap
0.18/0.22	c No reason simplification
0.18/0.22	c --- End Solver configuration ---
0.18/0.22	c solving /tmp/evaluation/349517-1176704256/instance-349517-1176704256.opb
0.18/0.22	c reading problem ... 
2.10/1.35	c ... done. Wall clock time 1.13s.
2.10/1.35	c CPU time (experimental) 0.9s.
2.10/1.35	c #vars     14265
2.10/1.35	c #constraints  368
1719.98/1708.33	c cleaning 487696 clauses out of 975455 for limit 0.007541588414212922
1730.34/1718.68	c cleaning 244869 clauses out of 489762 for limit 0.11143254864998198
1734.87/1723.15	c cleaning 123440 clauses out of 246889 for limit 1.6284743025280024
1736.87/1725.10	c cleaning 61933 clauses out of 123949 for limit 5.349282205918984
1738.72/1726.90	c cleaning 31711 clauses out of 63516 for limit 46.819099712352106
1739.22/1727.47	c cleaning 16106 clauses out of 32307 for limit 152.10184331448542
1740.76/1728.95	c cleaning 8802 clauses out of 17700 for limit 1243.9158219472624
1741.16/1729.38	c cleaning 4659 clauses out of 9397 for limit 3860.08089850707
1742.29/1730.46	c cleaning 3082 clauses out of 6238 for limit 26080.020236832715
1742.59/1730.76	c cleaning 1786 clauses out of 3656 for limit 73384.27270928283
1743.52/1731.67	c cleaning 1643 clauses out of 3371 for limit 357316.11366989004
1743.82/1731.93	c cleaning 1073 clauses out of 2227 for limit 891071.4159853136
1744.02/1732.15	c cleaning 782 clauses out of 1654 for limit 1978577.7061633987
1744.22/1732.37	c cleaning 641 clauses out of 1372 for limit 3933601.783247581
1745.05/1733.18	c cleaning 1079 clauses out of 2231 for limit 1.0849571701394934E7
1745.35/1733.44	c cleaning 784 clauses out of 1652 for limit 2.416339807134571E7
1745.57/1733.68	c cleaning 640 clauses out of 1368 for limit 4.8121354279883355E7
1746.69/1734.71	c cleaning 1323 clauses out of 2730 for limit 1.787120609035324E8
1746.89/1734.95	c cleaning 948 clauses out of 1906 for limit 4.217110579723521E8
1747.19/1735.23	c cleaning 725 clauses out of 1458 for limit 9.091514765954565E8
1748.52/1736.56	c cleaning 1617 clauses out of 3235 for limit 5.008041810431134E9
1748.82/1736.81	c cleaning 1042 clauses out of 2115 for limit 1.2594595126785126E10
1750.46/1738.44	c cleaning 2269 clauses out of 4576 for limit 1.9368826606523035E11
1750.66/1738.66	c cleaning 1404 clauses out of 2808 for limit 5.2105386584162384E11
1750.86/1738.89	c cleaning 927 clauses out of 1900 for limit 1.2648643866543618E12
1751.17/1739.11	c cleaning 735 clauses out of 1474 for limit 2.6914758108409927E12
1752.69/1740.69	c cleaning 1848 clauses out of 3742 for limit 2.139060355538774E13
1752.99/1740.93	c cleaning 1194 clauses out of 2390 for limit 5.501064801517979E13
1753.19/1741.16	c cleaning 847 clauses out of 1698 for limit 1.2794752415022852E14
1753.39/1741.38	c cleaning 672 clauses out of 1349 for limit 2.650601785495769E14
1755.43/1743.40	c cleaning 2332 clauses out of 4679 for limit 4.189088256741882E-5
1755.72/1743.65	c cleaning 1414 clauses out of 2845 for limit 1.133906247662837E-4
1755.92/1743.89	c cleaning 942 clauses out of 1931 for limit 2.7550725020520934E-4
1756.22/1744.11	c cleaning 718 clauses out of 1491 for limit 5.896069213719209E-4
1758.25/1746.13	c cleaning 2366 clauses out of 4771 for limit 0.010060252299573736
1758.45/1746.39	c cleaning 1431 clauses out of 2905 for limit 0.0272475864585848
1758.75/1746.65	c cleaning 963 clauses out of 1975 for limit 0.06616030137405837
1758.96/1746.89	c cleaning 735 clauses out of 1511 for limit 0.1424693640477167
1761.40/1749.20	c cleaning 2613 clauses out of 5276 for limit 3.6811553548741753
1761.60/1749.48	c cleaning 1562 clauses out of 3165 for limit 10.140050766959437
1761.90/1749.72	c cleaning 1030 clauses out of 2101 for limit 25.140543066313864
1762.10/1749.93	c cleaning 765 clauses out of 1572 for limit 55.46749644722693
1762.30/1750.18	c cleaning 631 clauses out of 1306 for limit 109.99407813470019
1762.59/1750.41	c cleaning 564 clauses out of 1175 for limit 201.61855673426297
1764.63/1752.44	c cleaning 2282 clauses out of 4611 for limit 2810.7378500823047
1764.83/1752.68	c cleaning 1394 clauses out of 2831 for limit 7564.8532123690275
1765.13/1752.92	c cleaning 943 clauses out of 1936 for limit 18224.53252327594
1765.33/1753.17	c cleaning 725 clauses out of 1492 for limit 38959.58320901034
1765.53/1753.40	c cleaning 608 clauses out of 1268 for limit 75675.32077040007
1765.83/1753.63	c cleaning 558 clauses out of 1161 for limit 136436.85598962425
1768.66/1756.42	c cleaning 3029 clauses out of 6101 for limit 6357825.902738829
1768.86/1756.66	c cleaning 1787 clauses out of 3574 for limit 1.7934117828224916E7
1769.16/1756.90	c cleaning 1123 clauses out of 2285 for limit 4.61673796779089E7
1769.36/1757.13	c cleaning 808 clauses out of 1663 for limit 1.0471757584236713E8
1769.56/1757.35	c cleaning 651 clauses out of 1354 for limit 2.1189199018142998E8
1769.76/1757.57	c cleaning 577 clauses out of 1204 for limit 3.933662687103281E8
1772.39/1760.13	c cleaning 2813 clauses out of 5626 for limit 1.2512619370763142E10
1772.59/1760.38	c cleaning 1656 clauses out of 3313 for limit 3.504147774470738E10
1772.89/1760.62	c cleaning 1056 clauses out of 2157 for limit 8.875842566866759E10
1773.09/1760.87	c cleaning 783 clauses out of 1601 for limit 1.9720789190012625E11
1773.30/1761.08	c cleaning 640 clauses out of 1320 for limit 3.952451977143926E11
1773.49/1761.29	c cleaning 565 clauses out of 1178 for limit 7.28923758974493E11
1776.93/1764.70	c cleaning 3788 clauses out of 7614 for limit 1.2423142132286355E14
1777.23/1764.95	c cleaning 2161 clauses out of 4325 for limit 3.603127164726746E14
1777.53/1765.20	c cleaning 1330 clauses out of 2664 for limit 9.646890927541066E14
1777.73/1765.41	c cleaning 915 clauses out of 1835 for limit 2.311936592551481E15
1777.93/1765.64	c cleaning 694 clauses out of 1419 for limit 4.925507302257664E15
1778.12/1765.84	c cleaning 607 clauses out of 1225 for limit 9.409209990545048E-5
1778.33/1766.06	c cleaning 556 clauses out of 1119 for limit 1.7003939927060088E-4
1781.17/1768.81	c cleaning 3010 clauses out of 6064 for limit 0.007706722559687317
1781.37/1769.07	c cleaning 1756 clauses out of 3553 for limit 0.02166980908544286
1781.67/1769.31	c cleaning 1120 clauses out of 2296 for limit 0.05524586580081237
1781.87/1769.56	c cleaning 816 clauses out of 1676 for limit 0.12481119477720538
1782.07/1769.80	c cleaning 658 clauses out of 1362 for limit 0.2537904979475161
1782.37/1770.04	c cleaning 582 clauses out of 1203 for limit 0.47337815572490377
1782.57/1770.27	c cleaning 539 clauses out of 1122 for limit 0.8378598555266868
1782.87/1770.51	c cleaning 518 clauses out of 1081 for limit 1.4312826570897572
1783.07/1770.73	c cleaning 502 clauses out of 1063 for limit 2.400345322382998
1787.21/1774.85	c cleaning 4002 clauses out of 8062 for limit 574.9591807085677
1787.53/1775.17	c cleaning 2249 clauses out of 4559 for limit 1675.0647129791346
1787.84/1775.41	c cleaning 1374 clauses out of 2811 for limit 4484.672517555602
1788.03/1775.66	c cleaning 936 clauses out of 1939 for limit 10743.324218060065
1788.23/1775.90	c cleaning 722 clauses out of 1501 for limit 22841.397020405155
1788.53/1776.13	c cleaning 615 clauses out of 1280 for limit 44216.4410898901
1788.73/1776.34	c cleaning 553 clauses out of 1163 for limit 80094.16947085968
1788.93/1776.57	c cleaning 529 clauses out of 1110 for limit 138392.8092853462
1792.86/1780.48	c cleaning 4016 clauses out of 8081 for limit 3.449925386738182E7
1793.16/1780.76	c cleaning 2258 clauses out of 4570 for limit 1.011083574280722E8
1793.46/1781.00	c cleaning 1403 clauses out of 2807 for limit 2.7011218163009876E8
1793.66/1781.24	c cleaning 953 clauses out of 1907 for limit 6.576507391105345E8
1793.86/1781.48	c cleaning 727 clauses out of 1454 for limit 1.4224515605439606E9
1794.06/1781.68	c cleaning 611 clauses out of 1224 for limit 2.7782596178333635E9
1794.26/1781.90	c cleaning 556 clauses out of 1113 for limit 5.038658991163403E9
1794.56/1782.11	c cleaning 497 clauses out of 1057 for limit 8.749657053316923E9
1794.76/1782.33	c cleaning 504 clauses out of 1060 for limit 1.438851719196001E10
1794.96/1782.55	c cleaning 502 clauses out of 1056 for limit 2.38184707325672E10
1798.49/1786.02	c cleaning 3503 clauses out of 7054 for limit 2.37940772974035E12
1798.69/1786.27	c cleaning 2025 clauses out of 4051 for limit 6.832788332316364E12
1798.99/1786.51	c cleaning 1264 clauses out of 2529 for limit 1.8103844198428848E13
1799.19/1786.73	c cleaning 857 clauses out of 1765 for limit 4.277901790288063E13
1799.39/1786.95	c cleaning 703 clauses out of 1407 for limit 8.841028642785405E13
1799.59/1787.17	c cleaning 578 clauses out of 1203 for limit 1.703541205899463E14
1799.79/1787.39	c cleaning 561 clauses out of 1126 for limit 3.0044866492289825E14
1799.99/1787.59	c cleaning 532 clauses out of 1064 for limit 5.2382764708275356E14
1800.09/1787.61	c starts		: 22
1800.09/1787.61	c conflicts		: 1099544
1800.09/1787.61	c decisions		: 1393419
1800.09/1787.61	c propagations		: 37889234
1800.09/1787.61	c inspects		: 1904349917
1800.09/1787.61	c learnt literals	: 46
1800.09/1787.61	c learnt binary clauses	: 86
1800.09/1787.61	c learnt ternary clauses	: 58
1800.09/1787.61	c learnt clauses	: 1099499
1800.09/1787.61	c root simplifications	: 0
1800.09/1787.61	c removed literals (reason simplification)	: 0
1800.09/1787.61	c reason swapping (by a shorter reason)	: 0
1800.09/1787.61	c Calls to reduceDB	: 104
1800.09/1787.61	c speed (decisions/second)	: 780.2446641062066
1800.09/1787.61	c non guided choices	504
1800.09/1787.61	s UNKNOWN
1800.09/1787.61	c Total wall clock time (ms): 1787.393

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node4/watcher-349517-1176704256 -o ROOT/results/node4/solver-349517-1176704256 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349517-1176704256/sat4jPseudoResolution.jar /tmp/evaluation/349517-1176704256/instance-349517-1176704256.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 1/77 13594
/proc/meminfo: memFree=1763344/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=152 CPUtime=0
/proc/13594/stat : 13594 (java) D 13592 13594 13222 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 146463305 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 10588964 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/13594/statm: 38 26 19 9 0 4 0

[startup+0.0714491 s]
/proc/loadavg: 1.00 1.00 1.00 1/77 13594
/proc/meminfo: memFree=1763344/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1777708 CPUtime=0.04
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 3567 0 1 0 2 2 0 0 18 0 7 0 146463305 1820372992 3310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 444427 3310 1060 9 0 442063 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1777708

[startup+0.101454 s]
/proc/loadavg: 1.00 1.00 1.00 1/77 13594
/proc/meminfo: memFree=1763344/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1777844 CPUtime=0.07
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 3818 0 1 0 5 2 0 0 18 0 7 0 146463305 1820512256 3560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 444461 3560 1090 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.301473 s]
/proc/loadavg: 1.00 1.00 1.00 1/77 13594
/proc/meminfo: memFree=1763344/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1782292 CPUtime=0.31
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 5197 0 1 0 28 3 0 0 18 0 12 0 146463305 1825067008 4933 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 445573 4933 1267 9 0 443185 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1782292

[startup+0.701513 s]
/proc/loadavg: 1.00 1.00 1.00 1/77 13594
/proc/meminfo: memFree=1763344/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1783352 CPUtime=0.91
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 7838 0 1 0 86 5 0 0 18 0 12 0 146463305 1826152448 7280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 445838 7280 1301 9 0 443450 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1783352

[startup+1.50259 s]
/proc/loadavg: 1.08 1.02 1.01 4/89 13606
/proc/meminfo: memFree=1724976/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1798144 CPUtime=2.49
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 22351 0 1 0 237 12 0 0 18 0 12 0 146463305 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 449536 18277 1312 9 0 447148 0
[pid=13594/tid=13596] ppid=13592 vsize=1798144 CPUtime=0.96
/proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 13591 0 1 0 89 7 0 0 20 0 12 0 146463306 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13597] ppid=13592 vsize=1798144 CPUtime=0
/proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 146463308 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13598] ppid=13592 vsize=1798144 CPUtime=0
/proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 146463308 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13599] ppid=13592 vsize=1798144 CPUtime=0
/proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 146463310 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13600] ppid=13592 vsize=1798144 CPUtime=0
/proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 146463310 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13601] ppid=13592 vsize=1798144 CPUtime=0
/proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 146463310 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13602] ppid=13592 vsize=1798144 CPUtime=0
/proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 146463316 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13603] ppid=13592 vsize=1798144 CPUtime=0.97
/proc/13594/task/13603/stat : 13603 (java) R 13592 13594 13222 0 -1 64 5816 0 0 0 95 2 0 0 18 0 12 0 146463316 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103315195 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13604] ppid=13592 vsize=1798144 CPUtime=0.53
/proc/13594/task/13604/stat : 13604 (java) R 13592 13594 13222 0 -1 64 2223 0 0 0 52 1 0 0 16 0 12 0 146463316 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 101901617 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13605] ppid=13592 vsize=1798144 CPUtime=0
/proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 146463316 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13606] ppid=13592 vsize=1798144 CPUtime=0
/proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 146463316 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 1798144

[startup+3.10274 s]
/proc/loadavg: 1.08 1.02 1.01 3/90 13607
/proc/meminfo: memFree=1685864/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1797204 CPUtime=4.75
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 35767 0 1 0 457 18 0 0 18 0 13 0 146463305 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 449301 28821 1318 9 0 446913 0
[pid=13594/tid=13596] ppid=13592 vsize=1797204 CPUtime=2.27
/proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 24013 0 1 0 215 12 0 0 24 0 13 0 146463306 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109832320 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13597] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 146463308 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13598] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 146463308 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13599] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13600] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 146463310 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13601] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 146463310 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13602] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13603] ppid=13592 vsize=1797204 CPUtime=1.4
/proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6531 0 0 0 137 3 0 0 16 0 13 0 146463316 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13604] ppid=13592 vsize=1797204 CPUtime=1.05
/proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4499 0 0 0 103 2 0 0 16 0 13 0 146463316 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13605] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13606] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13607] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 1797204

[startup+6.30104 s]
/proc/loadavg: 1.08 1.02 1.01 2/90 13607
/proc/meminfo: memFree=1589160/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1797204 CPUtime=8.06
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 51697 0 1 0 781 25 0 0 18 0 13 0 146463305 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 449301 44561 1327 9 0 446913 0
[pid=13594/tid=13596] ppid=13592 vsize=1797204 CPUtime=5.4
/proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 37717 0 1 0 523 17 0 0 25 0 13 0 146463306 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109832903 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13597] ppid=13592 vsize=1797204 CPUtime=0.03
/proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 948 0 0 0 3 0 0 0 16 0 13 0 146463308 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13598] ppid=13592 vsize=1797204 CPUtime=0.03
/proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 1262 0 0 0 3 0 0 0 16 0 13 0 146463308 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13599] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 146463310 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13600] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13601] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13602] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13603] ppid=13592 vsize=1797204 CPUtime=1.44
/proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6539 0 0 0 141 3 0 0 17 0 13 0 146463316 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13604] ppid=13592 vsize=1797204 CPUtime=1.1
/proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4502 0 0 0 108 2 0 0 16 0 13 0 146463316 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13605] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13606] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13607] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.06
Current children cumulated vsize (KiB) 1797204

[startup+12.7027 s]
/proc/loadavg: 1.07 1.02 1.00 2/90 13607
/proc/meminfo: memFree=1568744/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1797204 CPUtime=14.54
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 56940 0 1 0 1427 27 0 0 18 0 13 0 146463305 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 449301 49694 1327 9 0 446913 0
[pid=13594/tid=13596] ppid=13592 vsize=1797204 CPUtime=11.72
/proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 37721 0 1 0 1155 17 0 0 25 0 13 0 146463306 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109833184 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13597] ppid=13592 vsize=1797204 CPUtime=0.08
/proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 3919 0 0 0 7 1 0 0 17 0 13 0 146463308 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13598] ppid=13592 vsize=1797204 CPUtime=0.08
/proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 3517 0 0 0 7 1 0 0 16 0 13 0 146463308 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13599] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13600] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13601] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13602] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13603] ppid=13592 vsize=1797204 CPUtime=1.47
/proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6547 0 0 0 144 3 0 0 16 0 13 0 146463316 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13604] ppid=13592 vsize=1797204 CPUtime=1.13
/proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4505 0 0 0 111 2 0 0 16 0 13 0 146463316 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13605] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13606] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13607] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.54
Current children cumulated vsize (KiB) 1797204

[startup+25.5019 s]
/proc/loadavg: 1.06 1.01 1.00 2/90 13607
/proc/meminfo: memFree=1541928/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1797204 CPUtime=27.4
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 64290 0 1 0 2709 31 0 0 18 0 13 0 146463305 1840336896 56384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 449301 56384 1327 9 0 446913 0
[pid=13594/tid=13596] ppid=13592 vsize=1797204 CPUtime=24.44
/proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 37722 0 1 0 2427 17 0 0 25 0 13 0 146463306 1840336896 56384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109874353 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13597] ppid=13592 vsize=1797204 CPUtime=0.15
/proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 9012 0 0 0 12 3 0 0 16 0 13 0 146463308 1840336896 56384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13598] ppid=13592 vsize=1797204 CPUtime=0.16
/proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 5771 0 0 0 13 3 0 0 16 0 13 0 146463308 1840336896 56384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13599] ppid=13592 vsize=1797204 CPUtime=0
/proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 56384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=13594/tid=13599] ppid=13592 vsize=1795444 CPUtime=0.13
/proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 48 0 0 0 7 6 0 0 15 0 13 0 146463310 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13600] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13601] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13602] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13603] ppid=13592 vsize=1795444 CPUtime=1.48
/proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6547 0 0 0 145 3 0 0 17 0 13 0 146463316 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13604] ppid=13592 vsize=1795444 CPUtime=1.14
/proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4506 0 0 0 112 2 0 0 17 0 13 0 146463316 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13605] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13606] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13606/stat : 13606 (java) R 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13607] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1613.24
Current children cumulated vsize (KiB) 1795444

[startup+1662.3 s]
/proc/loadavg: 1.00 1.05 1.02 2/90 13609
/proc/meminfo: memFree=405800/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1795444 CPUtime=1673.79
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 470861 0 1 0 167134 245 0 0 18 0 13 0 146463305 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 448861 339371 1327 9 0 446473 0
[pid=13594/tid=13596] ppid=13592 vsize=1795444 CPUtime=1650.4
/proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 40596 0 1 0 165008 32 0 0 25 0 13 0 146463306 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109832443 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13597] ppid=13592 vsize=1795444 CPUtime=10.27
/proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 223335 0 0 0 923 104 0 0 16 0 13 0 146463308 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13598] ppid=13592 vsize=1795444 CPUtime=10.31
/proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 195107 0 0 0 936 95 0 0 16 0 13 0 146463308 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13599] ppid=13592 vsize=1795444 CPUtime=0.13
/proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 48 0 0 0 7 6 0 0 16 0 13 0 146463310 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13600] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13601] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13602] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13603] ppid=13592 vsize=1795444 CPUtime=1.48
/proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6547 0 0 0 145 3 0 0 17 0 13 0 146463316 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13604] ppid=13592 vsize=1795444 CPUtime=1.14
/proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4506 0 0 0 112 2 0 0 17 0 13 0 146463316 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13605] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13606] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13607] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1673.79
Current children cumulated vsize (KiB) 1795444

[startup+1722.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/90 13609
/proc/meminfo: memFree=392424/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1795444 CPUtime=1734.07
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 474779 0 1 0 173160 247 0 0 18 0 13 0 146463305 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 448861 342743 1330 9 0 446473 0
[pid=13594/tid=13596] ppid=13592 vsize=1795444 CPUtime=1710.12
/proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 40602 0 1 0 170980 32 0 0 25 0 13 0 146463306 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109343383 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13597] ppid=13592 vsize=1795444 CPUtime=10.47
/proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 225646 0 0 0 943 104 0 0 17 0 13 0 146463308 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13598] ppid=13592 vsize=1795444 CPUtime=10.51
/proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 196693 0 0 0 955 96 0 0 16 0 13 0 146463308 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13599] ppid=13592 vsize=1795444 CPUtime=0.13
/proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 50 0 0 0 7 6 0 0 16 0 13 0 146463310 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13600] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13601] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13602] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13603] ppid=13592 vsize=1795444 CPUtime=1.56
/proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6552 0 0 0 153 3 0 0 17 0 13 0 146463316 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13604] ppid=13592 vsize=1795444 CPUtime=1.21
/proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4514 0 0 0 119 2 0 0 16 0 13 0 146463316 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13605] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13606] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13607] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1734.07
Current children cumulated vsize (KiB) 1795444

[startup+1782.3 s]
/proc/loadavg: 1.13 1.06 1.02 2/90 13609
/proc/meminfo: memFree=284392/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1795444 CPUtime=1794.76
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 503895 0 1 0 179213 263 0 0 18 0 13 0 146463305 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 448861 369713 1330 9 0 446473 0
[pid=13594/tid=13596] ppid=13592 vsize=1795444 CPUtime=1769.39
/proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 52014 0 1 0 176900 39 0 0 25 0 13 0 146463306 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109832358 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13597] ppid=13592 vsize=1795444 CPUtime=11.17
/proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 235869 0 0 0 1008 109 0 0 16 0 13 0 146463308 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13598] ppid=13592 vsize=1795444 CPUtime=11.2
/proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 204131 0 0 0 1020 100 0 0 16 0 13 0 146463308 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13599] ppid=13592 vsize=1795444 CPUtime=0.14
/proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 91 0 0 0 7 7 0 0 16 0 13 0 146463310 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13600] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13601] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13602] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13603] ppid=13592 vsize=1795444 CPUtime=1.56
/proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6552 0 0 0 153 3 0 0 17 0 13 0 146463316 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13604] ppid=13592 vsize=1795444 CPUtime=1.24
/proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4516 0 0 0 122 2 0 0 16 0 13 0 146463316 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13605] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13606] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13607] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 1795444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.6 s]
/proc/loadavg: 1.12 1.06 1.02 2/90 13609
/proc/meminfo: memFree=281000/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=1795444 CPUtime=1800.09
/proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 504943 0 1 0 179745 264 0 0 18 0 13 0 146463305 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13594/statm: 448861 370513 1330 9 0 446473 0
[pid=13594/tid=13596] ppid=13592 vsize=1795444 CPUtime=1774.66
/proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 52015 0 1 0 177427 39 0 0 25 0 13 0 146463306 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109940374 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13597] ppid=13592 vsize=1795444 CPUtime=11.21
/proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 236479 0 0 0 1011 110 0 0 16 0 13 0 146463308 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13598] ppid=13592 vsize=1795444 CPUtime=11.23
/proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 204568 0 0 0 1023 100 0 0 16 0 13 0 146463308 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13599] ppid=13592 vsize=1795444 CPUtime=0.14
/proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 91 0 0 0 7 7 0 0 16 0 13 0 146463310 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13600] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13601] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13602] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13603] ppid=13592 vsize=1795444 CPUtime=1.56
/proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6552 0 0 0 153 3 0 0 17 0 13 0 146463316 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13594/tid=13604] ppid=13592 vsize=1795444 CPUtime=1.24
/proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4516 0 0 0 122 2 0 0 16 0 13 0 146463316 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13605] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13606] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13594/tid=13607] ppid=13592 vsize=1795444 CPUtime=0
/proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1795444

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

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

[startup+1787.8 s]
/proc/loadavg: 1.12 1.06 1.02 2/90 13609
/proc/meminfo: memFree=281000/2055920 swapFree=4153844/4192956
[pid=13594] ppid=13592 vsize=0 CPUtime=1800.29
/proc/13594/stat : 13594 (java) Z 13592 13594 13222 0 -1 1036 504963 0 1 0 179747 282 0 0 16 0 2 0 146463305 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13594/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1787.84
CPU time (s): 1800.34
CPU user time (s): 1797.48
CPU system time (s): 2.85956
CPU usage (%): 100.699
Max. virtual memory (cumulated for all children) (KiB): 1798144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.48
system time used= 2.85956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504963
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= 40408
involuntary context switches= 49947

runsolver used 1.78173 second user time and 4.76628 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Mon Apr 16 06:17:36 UTC 2007

IDJOB= 349517
IDBENCH= 2472
IDSOLVER= 159
FILE ID= node4/349517-1176704256

PBS_JOBID= 4559426

Free space on /tmp= 66515 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-dcmulti.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349517-1176704256/sat4jPseudoResolution.jar /tmp/evaluation/349517-1176704256/instance-349517-1176704256.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-349517-1176704256 -o ROOT/results/node4/solver-349517-1176704256 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349517-1176704256/sat4jPseudoResolution.jar /tmp/evaluation/349517-1176704256/instance-349517-1176704256.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  8db02a87a2ff672cda2bdb003f710a98

RANDOM SEED= 414694312

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1763752 kB
Buffers:         22496 kB
Cached:         194556 kB
SwapCached:       2316 kB
Active:          70612 kB
Inactive:       169672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1763752 kB
SwapTotal:     4192956 kB
SwapFree:      4153844 kB
Dirty:            4236 kB
Writeback:           0 kB
Mapped:          30680 kB
Slab:            37304 kB
Committed_AS:  5167804 kB
PageTables:       1816 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66515 MiB

End job on node4 on Mon Apr 16 06:47:25 UTC 2007