Trace number 349297

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.32 1783.36

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
MD5SUMbb02029eb777c2a6ae8e192b29bcb9de
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 variables107808
Total number of constraints3904
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 348966092800
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 299074813804544
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 348966092800
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 299074813804544
Number of bits of the biggest sum of numbers49
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.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c solving /tmp/evaluation/349297-1176694288/instance-349297-1176694288.opb
0.20/0.20	c reading problem ... 
4.87/3.83	c ... done. Wall clock time 3.629s.
4.87/3.83	c CPU time (experimental) 2.96s.
4.87/3.83	c #vars     107808
4.87/3.83	c #constraints  5184
1637.22/1621.75	c cleaning 555098 clauses out of 1110301 for limit 3.01914739426417E-4
1657.49/1641.90	c cleaning 279335 clauses out of 558703 for limit 0.019903765779016418
1663.44/1647.82	c cleaning 141386 clauses out of 282868 for limit 1.3041382865354754
1665.14/1649.54	c cleaning 70945 clauses out of 141982 for limit 4.284795136101116
1668.90/1653.24	c cleaning 37002 clauses out of 74037 for limit 165.29124892621115
1672.04/1656.37	c cleaning 19438 clauses out of 39036 for limit 2321.0870276734327
1673.04/1657.31	c cleaning 9970 clauses out of 20097 for limit 7427.572103134229
1675.69/1659.99	c cleaning 5974 clauses out of 12127 for limit 91043.36045835828
1676.49/1660.79	c cleaning 3238 clauses out of 6653 for limit 273678.0838698451
1680.44/1664.61	c cleaning 2957 clauses out of 5917 for limit 3761009.5247949776
1683.77/1667.92	c cleaning 2636 clauses out of 5458 for limit 4.963441215931086E7
1684.48/1668.61	c cleaning 1565 clauses out of 3323 for limit 1.3457874423729676E8
1688.01/1672.18	c cleaning 2279 clauses out of 4758 for limit 1.890678550375327E9
1688.61/1672.76	c cleaning 1484 clauses out of 2978 for limit 4.976669688477668E9
1692.44/1676.57	c cleaning 2494 clauses out of 4995 for limit 9.852665494178044E10
1693.14/1677.20	c cleaning 1412 clauses out of 3000 for limit 2.7026471645566513E11
1696.48/1680.51	c cleaning 2287 clauses out of 4589 for limit 3.557643136695722E12
1697.08/1681.13	c cleaning 1309 clauses out of 2803 for limit 9.614965738731611E12
1697.68/1681.78	c cleaning 989 clauses out of 1994 for limit 2.2289563917289043E13
1701.22/1685.21	c cleaning 1991 clauses out of 4004 for limit 2.2306604502850393E-6
1701.82/1685.81	c cleaning 1257 clauses out of 2519 for limit 5.8825052879407955E-6
1705.56/1689.50	c cleaning 2371 clauses out of 4755 for limit 1.0265724361549066E-4
1706.05/1690.03	c cleaning 1432 clauses out of 2885 for limit 2.7930885320701153E-4
1706.55/1690.56	c cleaning 887 clauses out of 1952 for limit 6.800989135653525E-4
1709.79/1693.72	c cleaning 1941 clauses out of 4065 for limit 0.00656941452727049
1710.39/1694.32	c cleaning 1220 clauses out of 2624 for limit 0.01678337401098591
1713.72/1697.66	c cleaning 2112 clauses out of 4410 for limit 0.20209096919203814
1714.22/1698.14	c cleaning 1308 clauses out of 2792 for limit 0.5232616406551415
1714.72/1698.66	c cleaning 905 clauses out of 1986 for limit 1.2155700158996825
1717.76/1701.68	c cleaning 1947 clauses out of 4080 for limit 11.890493238186297
1718.26/1702.13	c cleaning 1226 clauses out of 2633 for limit 30.38540723452499
1718.66/1702.54	c cleaning 864 clauses out of 1907 for limit 69.18646068715385
1719.16/1703.05	c cleaning 679 clauses out of 1543 for limit 141.01384946348537
1721.49/1705.39	c cleaning 1337 clauses out of 2863 for limit 561.5589878984218
1722.09/1705.99	c cleaning 923 clauses out of 2026 for limit 1308.679130089909
1722.69/1706.54	c cleaning 711 clauses out of 1605 for limit 2729.7475915131454
1725.92/1709.79	c cleaning 1853 clauses out of 3892 for limit 22599.092259057477
1726.52/1710.40	c cleaning 1179 clauses out of 2540 for limit 57163.72336934291
1728.95/1712.71	c cleaning 1588 clauses out of 3362 for limit 319752.9620011388
1729.45/1713.21	c cleaning 1043 clauses out of 2272 for limit 778737.0215052002
1730.05/1713.82	c cleaning 784 clauses out of 1731 for limit 1688989.662464711
1732.58/1716.38	c cleaning 1470 clauses out of 2947 for limit 7337827.05251955
1733.18/1716.95	c cleaning 967 clauses out of 1976 for limit 1.8029431894093107E7
1733.78/1717.58	c cleaning 666 clauses out of 1509 for limit 3.8934592161796965E7
1736.21/1719.98	c cleaning 1335 clauses out of 2844 for limit 1.5295135802993232E8
1736.91/1720.65	c cleaning 917 clauses out of 2010 for limit 3.5725414042901236E8
1739.75/1723.44	c cleaning 1541 clauses out of 3093 for limit 1.717184486287732E9
1740.45/1724.12	c cleaning 1023 clauses out of 2050 for limit 4.2641245227024074E9
1742.88/1726.53	c cleaning 1483 clauses out of 3029 for limit 2.1388337966236374E10
1743.48/1727.13	c cleaning 931 clauses out of 2043 for limit 5.213871174770339E10
1744.08/1727.72	c cleaning 803 clauses out of 1612 for limit 1.0897315191477637E11
1745.91/1729.53	c cleaning 1146 clauses out of 2309 for limit 3.4121512834179395E11
1746.41/1730.05	c cleaning 727 clauses out of 1664 for limit 7.81608525456658E11
1747.01/1730.65	c cleaning 718 clauses out of 1438 for limit 1.493049211663642E12
1749.34/1732.95	c cleaning 1356 clauses out of 2719 for limit 5.83462350500275E12
1750.05/1733.61	c cleaning 880 clauses out of 1864 for limit 1.4049683328161908E13
1752.37/1735.97	c cleaning 1398 clauses out of 2982 for limit 6.482750823156389E13
1752.97/1736.53	c cleaning 945 clauses out of 2084 for limit 1.5297664799638234E14
1753.57/1737.16	c cleaning 719 clauses out of 1639 for limit 3.2077446443746075E14
1755.62/1739.15	c cleaning 1208 clauses out of 2420 for limit 9.743860040169058E-6
1756.21/1739.77	c cleaning 851 clauses out of 1713 for limit 2.2723720506241447E-5
1756.81/1740.31	c cleaning 662 clauses out of 1362 for limit 4.713196878345524E-5
1759.54/1743.08	c cleaning 1583 clauses out of 3200 for limit 2.4469333812370876E-4
1760.14/1743.62	c cleaning 971 clauses out of 2116 for limit 6.096461504817717E-4
1760.74/1744.22	c cleaning 734 clauses out of 1649 for limit 0.0012952892991645395
1762.97/1746.49	c cleaning 1362 clauses out of 2911 for limit 0.005405435989186122
1763.57/1747.02	c cleaning 931 clauses out of 2049 for limit 0.012664465430904454
1764.17/1747.63	c cleaning 715 clauses out of 1618 for limit 0.026448813302241206
1767.00/1750.41	c cleaning 1611 clauses out of 3407 for limit 0.15382610973175684
1767.60/1751.01	c cleaning 1053 clauses out of 2293 for limit 0.37579455862964073
1767.90/1751.39	c cleaning 778 clauses out of 1739 for limit 0.816349883941739
1768.40/1751.83	c cleaning 639 clauses out of 1462 for limit 1.6029461897405302
1770.83/1754.21	c cleaning 1315 clauses out of 2822 for limit 6.136183562771006
1771.33/1754.75	c cleaning 918 clauses out of 2007 for limit 14.228655579385048
1771.93/1755.36	c cleaning 704 clauses out of 1589 for limit 29.63761343453168
1773.97/1757.38	c cleaning 1105 clauses out of 2386 for limit 88.61328973493164
1774.57/1757.99	c cleaning 801 clauses out of 1780 for limit 195.69091871283518
1775.17/1758.52	c cleaning 652 clauses out of 1479 for limit 388.3992543312856
1777.50/1760.88	c cleaning 1320 clauses out of 2829 for limit 1504.894952602369
1778.12/1761.40	c cleaning 909 clauses out of 2008 for limit 3492.985636649206
1778.72/1762.01	c cleaning 706 clauses out of 1601 for limit 7239.25853638433
1780.96/1764.24	c cleaning 1353 clauses out of 2892 for limit 29553.378972205668
1781.56/1764.83	c cleaning 922 clauses out of 2040 for limit 69161.70050532398
1782.17/1765.43	c cleaning 714 clauses out of 1618 for limit 143804.7396148873
1784.80/1768.01	c cleaning 1357 clauses out of 2903 for limit 592234.519913825
1785.40/1768.62	c cleaning 930 clauses out of 2046 for limit 1385769.5405236105
1787.93/1771.16	c cleaning 1550 clauses out of 3117 for limit 6734694.471274149
1788.53/1771.73	c cleaning 936 clauses out of 2066 for limit 1.6739626300301377E7
1789.13/1772.30	c cleaning 815 clauses out of 1630 for limit 3.499003349754407E7
1790.66/1773.88	c cleaning 1150 clauses out of 2317 for limit 1.1062228206655587E8
1791.26/1774.45	c cleaning 825 clauses out of 1666 for limit 2.5346326525655818E8
1791.86/1775.04	c cleaning 584 clauses out of 1342 for limit 5.194310482666113E8
1792.35/1775.55	c cleaning 535 clauses out of 1257 for limit 9.136219368213289E8
1794.59/1777.75	c cleaning 1254 clauses out of 2721 for limit 3.1186187880942016E9
1795.19/1778.34	c cleaning 887 clauses out of 1967 for limit 7.114466845520259E9
1797.53/1780.63	c cleaning 1433 clauses out of 3080 for limit 3.3606211113481472E10
1798.02/1781.17	c cleaning 978 clauses out of 2148 for limit 7.954747330413939E10
1798.62/1781.73	c cleaning 727 clauses out of 1670 for limit 1.6873302109000238E11
1799.12/1782.28	c cleaning 721 clauses out of 1442 for limit 3.219383163141026E11
1800.06/1783.12	c starts		: 22
1800.06/1783.12	c conflicts		: 1231210
1800.06/1783.12	c decisions		: 1966001
1800.06/1783.12	c propagations		: 140818713
1800.06/1783.12	c inspects		: 843246888
1800.06/1783.12	c learnt literals	: 199
1800.06/1783.12	c learnt binary clauses	: 165
1800.06/1783.12	c learnt ternary clauses	: 66
1800.06/1783.12	c learnt clauses	: 1231011
1800.06/1783.12	c root simplifications	: 0
1800.06/1783.12	c removed literals (reason simplification)	: 0
1800.06/1783.12	c reason swapping (by a shorter reason)	: 0
1800.06/1783.12	c Calls to reduceDB	: 99
1800.06/1783.12	c speed (decisions/second)	: 1105.1586598918113
1800.06/1783.12	c non guided choices	13303
1800.06/1783.12	s UNKNOWN
1800.06/1783.12	c Total wall clock time (ms): 1782.914

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/node61/watcher-349297-1176694288 -o ROOT/results/node61/solver-349297-1176694288 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349297-1176694288/sat4jPseudoResolution.jar /tmp/evaluation/349297-1176694288/instance-349297-1176694288.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 0.99 0.98 2/64 31538
/proc/meminfo: memFree=1845184/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=152 CPUtime=0
/proc/31538/stat : 31538 (java) R 31536 31538 31376 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 81392453 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 10384164 0 0 4096 0 0 0 0 17 1 0 0
/proc/31538/statm: 38 26 19 9 0 4 0

[startup+0.0339919 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 31538
/proc/meminfo: memFree=1845184/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1775952 CPUtime=0.01
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 2895 0 1 0 0 1 0 0 18 0 4 0 81392453 1818574848 2642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 443988 2642 667 9 0 441624 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1775952

[startup+0.101999 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 31538
/proc/meminfo: memFree=1845184/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1780108 CPUtime=0.08
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 3974 0 1 0 6 2 0 0 18 0 12 0 81392453 1822830592 3715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 445027 3715 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.30202 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 31538
/proc/meminfo: memFree=1845184/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1781508 CPUtime=0.33
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 5997 0 1 0 30 3 0 0 18 0 12 0 81392453 1824264192 5735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 445377 5735 1267 9 0 442989 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1781508

[startup+0.701061 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 31538
/proc/meminfo: memFree=1845184/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1782352 CPUtime=0.89
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 9954 0 1 0 84 5 0 0 18 0 12 0 81392453 1825128448 9467 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 445588 9467 1297 9 0 443200 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 1782352

[startup+1.50113 s]
/proc/loadavg: 1.00 0.99 0.98 2/76 31550
/proc/meminfo: memFree=1801056/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1782584 CPUtime=2
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 23973 0 1 0 189 11 0 0 18 0 12 0 81392453 1825366016 23111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 445646 23111 1304 9 0 443258 0
[pid=31538/tid=31540] ppid=31536 vsize=1782584 CPUtime=1.18
/proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 21850 0 1 0 109 9 0 0 24 0 12 0 81392454 1825366016 23112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109589318 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31541] ppid=31536 vsize=1782584 CPUtime=0
/proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 81392456 1825366016 23115 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31542] ppid=31536 vsize=1782584 CPUtime=0
/proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 81392456 1825366016 23117 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31543] ppid=31536 vsize=1782584 CPUtime=0
/proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 81392458 1825366016 23119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31544] ppid=31536 vsize=1782584 CPUtime=0
/proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 81392459 1825366016 23119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31545] ppid=31536 vsize=1782584 CPUtime=0
/proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 81392459 1825366016 23120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31546] ppid=31536 vsize=1782584 CPUtime=0
/proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 81392463 1825366016 23121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31547] ppid=31536 vsize=1782584 CPUtime=0.39
/proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 736 0 0 0 39 0 0 0 16 0 12 0 81392463 1825366016 23122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31548] ppid=31536 vsize=1782584 CPUtime=0.4
/proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 668 0 0 0 40 0 0 0 16 0 12 0 81392463 1825366016 23123 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31549] ppid=31536 vsize=1782584 CPUtime=0
/proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 81392463 1825366016 23124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31550] ppid=31536 vsize=1782584 CPUtime=0
/proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 81392463 1825366016 23124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 1782584

[startup+3.10128 s]
/proc/loadavg: 1.00 0.99 0.98 3/76 31550
/proc/meminfo: memFree=1681440/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1784416 CPUtime=3.82
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 47158 0 1 0 360 22 0 0 18 0 12 0 81392453 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 446104 46100 1325 9 0 443716 0
[pid=31538/tid=31540] ppid=31536 vsize=1784416 CPUtime=2.56
/proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 37673 0 1 0 241 15 0 0 25 0 12 0 81392454 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109220357 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31541] ppid=31536 vsize=1784416 CPUtime=0.17
/proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 3641 0 0 0 15 2 0 0 16 0 12 0 81392456 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31542] ppid=31536 vsize=1784416 CPUtime=0.17
/proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 3703 0 0 0 16 1 0 0 16 0 12 0 81392456 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31543] ppid=31536 vsize=1784416 CPUtime=0
/proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 7 0 0 0 0 0 0 0 15 0 12 0 81392458 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31544] ppid=31536 vsize=1784416 CPUtime=0
/proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 81392459 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31545] ppid=31536 vsize=1784416 CPUtime=0
/proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 81392459 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31546] ppid=31536 vsize=1784416 CPUtime=0
/proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 81392463 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31547] ppid=31536 vsize=1784416 CPUtime=0.43
/proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 747 0 0 0 43 0 0 0 16 0 12 0 81392463 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31548] ppid=31536 vsize=1784416 CPUtime=0.42
/proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 668 0 0 0 42 0 0 0 16 0 12 0 81392463 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31549] ppid=31536 vsize=1784416 CPUtime=0
/proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 81392463 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31550] ppid=31536 vsize=1784416 CPUtime=0
/proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 81392463 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 1784416

[startup+6.30259 s]
/proc/loadavg: 1.00 0.99 0.98 2/77 31551
/proc/meminfo: memFree=1617496/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1787116 CPUtime=8.04
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 63119 0 1 0 775 29 0 0 18 0 13 0 81392453 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 446779 57940 1335 9 0 444391 0
[pid=31538/tid=31540] ppid=31536 vsize=1787116 CPUtime=5.2
/proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 37713 0 1 0 504 16 0 0 25 0 13 0 81392454 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109717113 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31541] ppid=31536 vsize=1787116 CPUtime=0.51
/proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 10255 0 0 0 47 4 0 0 16 0 13 0 81392456 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31542] ppid=31536 vsize=1787116 CPUtime=0.52
/proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 9503 0 0 0 47 5 0 0 16 0 13 0 81392456 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31543] ppid=31536 vsize=1787116 CPUtime=0
/proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 81392458 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31544] ppid=31536 vsize=1787116 CPUtime=0
/proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31545] ppid=31536 vsize=1787116 CPUtime=0
/proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81392459 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31546] ppid=31536 vsize=1787116 CPUtime=0
/proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 81392463 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31547] ppid=31536 vsize=1787116 CPUtime=1.03
/proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3916 0 0 0 102 1 0 0 16 0 13 0 81392463 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31548] ppid=31536 vsize=1787116 CPUtime=0.74
/proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1002 0 0 0 74 0 0 0 16 0 13 0 81392463 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31549] ppid=31536 vsize=1787116 CPUtime=0
/proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31550] ppid=31536 vsize=1787116 CPUtime=0
/proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31551] ppid=31536 vsize=1787116 CPUtime=0
/proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.04
Current children cumulated vsize (KiB) 1787116

[startup+12.7022 s]
/proc/loadavg: 1.00 0.99 0.98 2/77 31551
/proc/meminfo: memFree=1612448/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1787756 CPUtime=14.84
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 64680 0 1 0 1454 30 0 0 18 0 13 0 81392453 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 446939 59237 1335 9 0 444551 0
[pid=31538/tid=31540] ppid=31536 vsize=1787756 CPUtime=11.2
/proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 37717 0 1 0 1104 16 0 0 25 0 13 0 81392454 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109822444 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31541] ppid=31536 vsize=1787756 CPUtime=0.9
/proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 11529 0 0 0 85 5 0 0 16 0 13 0 81392456 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31542] ppid=31536 vsize=1787756 CPUtime=0.9
/proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 9786 0 0 0 85 5 0 0 16 0 13 0 81392456 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31543] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 81392458 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31544] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31545] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31546] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 81392463 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31547] ppid=31536 vsize=1787756 CPUtime=1.04
/proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3916 0 0 0 103 1 0 0 16 0 13 0 81392463 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31548] ppid=31536 vsize=1787756 CPUtime=0.74
/proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1002 0 0 0 74 0 0 0 17 0 13 0 81392463 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31549] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31550] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31551] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.84
Current children cumulated vsize (KiB) 1787756

[startup+25.5014 s]
/proc/loadavg: 1.00 0.99 0.98 2/77 31551
/proc/meminfo: memFree=1583584/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1787756 CPUtime=28.27
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 73944 0 1 0 2793 34 0 0 18 0 13 0 81392453 1830662144 66491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 446939 66491 1335 9 0 444551 0
[pid=31538/tid=31540] ppid=31536 vsize=1787756 CPUtime=23.36
/proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 37722 0 1 0 2320 16 0 0 25 0 13 0 81392454 1830662144 66491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109893642 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31541] ppid=31536 vsize=1787756 CPUtime=1.51
/proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 15929 0 0 0 145 6 0 0 17 0 13 0 81392456 1830662144 66491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31542] ppid=31536 vsize=1787756 CPUtime=1.51
/proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 14641 0 0 0 144 7 0 0 16 0 13 0 81392456 1830662144 66491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31543] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 81392458 1830662144 66491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31544] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 66491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3920 0 0 0 112 1 0 0 16 0 13 0 81392463 1830662144 367396 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31548] ppid=31536 vsize=1787756 CPUtime=0.81
/proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1007 0 0 0 81 0 0 0 16 0 13 0 81392463 1830662144 367396 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31549] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830662144 367396 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31550] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830662144 367396 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31551] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830662144 367396 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1617.81
Current children cumulated vsize (KiB) 1787756

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 31551
/proc/meminfo: memFree=339360/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1787756 CPUtime=1678.14
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 566859 0 1 0 167537 277 0 0 18 0 13 0 81392453 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 446939 376717 1335 9 0 444551 0
[pid=31538/tid=31540] ppid=31536 vsize=1787756 CPUtime=1645.11
/proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 91026 0 1 0 164471 40 0 0 25 0 13 0 81392454 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109822875 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31541] ppid=31536 vsize=1787756 CPUtime=15.33
/proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 220430 0 0 0 1433 100 0 0 16 0 13 0 81392456 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31542] ppid=31536 vsize=1787756 CPUtime=15.36
/proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 249464 0 0 0 1420 116 0 0 16 0 13 0 81392456 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31543] ppid=31536 vsize=1787756 CPUtime=0.28
/proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 285 0 0 0 12 16 0 0 16 0 13 0 81392458 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31544] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31545] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31546] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 81392463 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31547] ppid=31536 vsize=1787756 CPUtime=1.16
/proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3922 0 0 0 115 1 0 0 17 0 13 0 81392463 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31548] ppid=31536 vsize=1787756 CPUtime=0.83
/proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1009 0 0 0 83 0 0 0 16 0 13 0 81392463 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31549] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31550] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31551] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1678.14
Current children cumulated vsize (KiB) 1787756

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 31551
/proc/meminfo: memFree=346080/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1787756 CPUtime=1738.65
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 572630 0 1 0 173584 281 0 0 18 0 13 0 81392453 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 446939 374978 1335 9 0 444551 0
[pid=31538/tid=31540] ppid=31536 vsize=1787756 CPUtime=1704.55
/proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 92113 0 1 0 170414 41 0 0 25 0 13 0 81392454 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109822634 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31541] ppid=31536 vsize=1787756 CPUtime=15.86
/proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 222685 0 0 0 1485 101 0 0 16 0 13 0 81392456 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31542] ppid=31536 vsize=1787756 CPUtime=15.89
/proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 251881 0 0 0 1472 117 0 0 16 0 13 0 81392456 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31543] ppid=31536 vsize=1787756 CPUtime=0.29
/proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 297 0 0 0 12 17 0 0 16 0 13 0 81392458 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31544] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31545] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31546] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 81392463 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31547] ppid=31536 vsize=1787756 CPUtime=1.16
/proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3922 0 0 0 115 1 0 0 17 0 13 0 81392463 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31548] ppid=31536 vsize=1787756 CPUtime=0.83
/proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1009 0 0 0 83 0 0 0 16 0 13 0 81392463 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31549] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31550] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31551] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1738.65
Current children cumulated vsize (KiB) 1787756

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 31623
/proc/meminfo: memFree=346544/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1787756 CPUtime=1799.23
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 578022 0 1 0 179637 286 0 0 18 0 13 0 81392453 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 446939 374547 1335 9 0 444551 0
[pid=31538/tid=31540] ppid=31536 vsize=1787756 CPUtime=1763.94
/proc/31538/task/31540/stat : 31540 (java) S 31536 31538 31376 0 -1 64 94243 0 1 0 176350 44 0 0 25 0 13 0 81392454 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31541] ppid=31536 vsize=1787756 CPUtime=16.43
/proc/31538/task/31541/stat : 31541 (java) R 31536 31538 31376 0 -1 64 224926 0 0 0 1541 102 0 0 16 0 13 0 81392456 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070793 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31542] ppid=31536 vsize=1787756 CPUtime=16.47
/proc/31538/task/31542/stat : 31542 (java) R 31536 31538 31376 0 -1 64 252881 0 0 0 1529 118 0 0 16 0 13 0 81392456 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102355646 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31543] ppid=31536 vsize=1787756 CPUtime=0.3
/proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 316 0 0 0 13 17 0 0 15 0 13 0 81392458 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31544] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31545] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31546] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 81392463 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31547] ppid=31536 vsize=1787756 CPUtime=1.16
/proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3922 0 0 0 115 1 0 0 17 0 13 0 81392463 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31548] ppid=31536 vsize=1787756 CPUtime=0.86
/proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1011 0 0 0 86 0 0 0 17 0 13 0 81392463 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31549] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31550] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31551] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.23
Current children cumulated vsize (KiB) 1787756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 31625
/proc/meminfo: memFree=345520/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=1787756 CPUtime=1800.06
/proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 578297 0 1 0 179720 286 0 0 18 0 13 0 81392453 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31538/statm: 446939 374821 1335 9 0 444551 0
[pid=31538/tid=31540] ppid=31536 vsize=1787756 CPUtime=1764.73
/proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 94243 0 1 0 176429 44 0 0 25 0 13 0 81392454 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109822939 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31541] ppid=31536 vsize=1787756 CPUtime=16.46
/proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 225055 0 0 0 1544 102 0 0 16 0 13 0 81392456 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31542] ppid=31536 vsize=1787756 CPUtime=16.49
/proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 253027 0 0 0 1531 118 0 0 16 0 13 0 81392456 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31543] ppid=31536 vsize=1787756 CPUtime=0.3
/proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 316 0 0 0 13 17 0 0 15 0 13 0 81392458 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31544] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31545] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31546] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 81392463 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31547] ppid=31536 vsize=1787756 CPUtime=1.16
/proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3922 0 0 0 115 1 0 0 17 0 13 0 81392463 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31548] ppid=31536 vsize=1787756 CPUtime=0.86
/proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1011 0 0 0 86 0 0 0 17 0 13 0 81392463 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31549] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31538/tid=31550] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31538/tid=31551] ppid=31536 vsize=1787756 CPUtime=0
/proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1787756

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

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

[startup+1783.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 31625
/proc/meminfo: memFree=345520/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=0 CPUtime=1800.16
/proc/31538/stat : 31538 (java) Z 31536 31538 31376 0 -1 1036 578317 0 1 0 179721 295 0 0 16 0 2 0 81392453 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31538/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 31625
/proc/meminfo: memFree=345520/2055920 swapFree=4184540/4192956
[pid=31538] ppid=31536 vsize=0 CPUtime=1800.25
/proc/31538/stat : 31538 (java) Z 31536 31538 31376 0 -1 1036 578317 0 1 0 179721 304 0 0 16 0 2 0 81392453 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31538/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1783.36
CPU time (s): 1800.32
CPU user time (s): 1797.22
CPU system time (s): 3.10053
CPU usage (%): 100.951
Max. virtual memory (cumulated for all children) (KiB): 1787756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.22
system time used= 3.10053
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578317
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= 44025
involuntary context switches= 31192

runsolver used 1.91771 second user time and 5.08323 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Mon Apr 16 03:31:28 UTC 2007

IDJOB= 349297
IDBENCH= 2342
IDSOLVER= 159
FILE ID= node61/349297-1176694288

PBS_JOBID= 4560033

Free space on /tmp= 66550 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349297-1176694288/sat4jPseudoResolution.jar /tmp/evaluation/349297-1176694288/instance-349297-1176694288.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-349297-1176694288 -o ROOT/results/node61/solver-349297-1176694288 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349297-1176694288/sat4jPseudoResolution.jar /tmp/evaluation/349297-1176694288/instance-349297-1176694288.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  bb02029eb777c2a6ae8e192b29bcb9de

RANDOM SEED= 435800627

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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	: 5914.62
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.240
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:       1845592 kB
Buffers:          7388 kB
Cached:         137864 kB
SwapCached:       2648 kB
Active:          52468 kB
Inactive:       103092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845592 kB
SwapTotal:     4192956 kB
SwapFree:      4184540 kB
Dirty:            8240 kB
Writeback:           0 kB
Mapped:          16356 kB
Slab:            40852 kB
Committed_AS:   727588 kB
PageTables:       1388 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= 66550 MiB

End job on node61 on Mon Apr 16 04:01:14 UTC 2007