Trace number 347873

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.2 1785.43

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3703.opb
MD5SUMde8002a7213606f6cc39967e9305bae2
Bench CategoryOPT-SMALLINT (optimisation, small 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 variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 154999
Biggest coefficient in the objective function 76
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 654248
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 654248
Number of bits of the biggest sum of numbers20
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.13	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.13	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.13	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.14	c no version file found!!!
0.08/0.14	c sun.arch.data.model	32
0.08/0.14	c java.version	1.6.0
0.08/0.14	c os.name	Linux
0.08/0.14	c os.version	2.6.9-22.EL.rootsmp
0.08/0.14	c os.arch	i386
0.08/0.14	c Free memory 1651659224
0.08/0.14	c Max memory 1654456320
0.08/0.14	c Total memory 1654456320
0.08/0.14	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/347873-1176526423/instance-347873-1176526423.opb
0.20/0.20	c reading problem ... 
6.73/5.36	c ... done. Wall clock time 5.158s.
6.73/5.36	c CPU time (experimental) 4.09s.
6.73/5.36	c #vars     155000
6.73/5.36	c #constraints  5300
1583.48/1570.57	c cleaning 101743 clauses out of 203500 for limit 1301.9119071996602
1594.06/1581.08	c cleaning 51121 clauses out of 102267 for limit 4315.305047190579
1605.04/1591.93	c cleaning 25821 clauses out of 51648 for limit 14119.470787420565
1625.51/1612.24	c cleaning 13403 clauses out of 26818 for limit 73290.3354602322
1637.08/1623.79	c cleaning 6945 clauses out of 13912 for limit 232292.86940769895
1648.06/1634.62	c cleaning 3712 clauses out of 7467 for limit 713732.0240801816
1652.72/1639.21	c cleaning 2123 clauses out of 4256 for limit 2067141.062958396
1656.76/1643.21	c cleaning 1313 clauses out of 2633 for limit 5510319.251959746
1660.81/1647.28	c cleaning 902 clauses out of 1819 for limit 1.3140633315049008E7
1664.94/1651.35	c cleaning 697 clauses out of 1417 for limit 2.78185847911808E7
1669.19/1655.56	c cleaning 603 clauses out of 1220 for limit 5.328450541565911E7
1673.22/1659.54	c cleaning 558 clauses out of 1118 for limit 9.598632514349085E7
1677.24/1663.56	c cleaning 529 clauses out of 1060 for limit 1.6695567671546546E8
1681.47/1667.76	c cleaning 507 clauses out of 1030 for limit 2.830682800040194E8
1685.70/1671.96	c cleaning 507 clauses out of 1023 for limit 4.7001171630630237E8
1690.05/1676.22	c cleaning 492 clauses out of 1016 for limit 7.804525371731421E8
1694.57/1680.74	c cleaning 514 clauses out of 1028 for limit 1.2771474017959948E9
1698.89/1685.07	c cleaning 505 clauses out of 1011 for limit 2.1351841403367927E9
1703.42/1689.56	c cleaning 492 clauses out of 1006 for limit 3.5387053025834913E9
1708.08/1694.11	c cleaning 497 clauses out of 1013 for limit 5.789676624790589E9
1711.70/1697.76	c cleaning 501 clauses out of 1017 for limit 9.519917803787422E9
1715.12/1701.13	c cleaning 506 clauses out of 1015 for limit 1.5714822664948309E10
1718.48/1704.45	c cleaning 504 clauses out of 1009 for limit 2.606995296219265E10
1722.41/1708.34	c cleaning 496 clauses out of 1009 for limit 4.316524216037408E10
1726.43/1712.32	c cleaning 505 clauses out of 1012 for limit 7.090326113521193E10
1730.38/1716.21	c cleaning 496 clauses out of 1004 for limit 1.1750743922490166E11
1734.11/1719.96	c cleaning 503 clauses out of 1008 for limit 1.930164971174863E11
1738.04/1723.84	c cleaning 503 clauses out of 1006 for limit 3.1926211025340735E11
1742.99/1728.74	c cleaning 497 clauses out of 1003 for limit 5.280807233384214E11
1746.61/1732.37	c cleaning 483 clauses out of 1006 for limit 8.68278713155874E11
1750.44/1736.19	c cleaning 501 clauses out of 1022 for limit 1.4080809212982861E12
1755.59/1741.21	c cleaning 499 clauses out of 1022 for limit 2.324438247163619E12
1761.44/1747.08	c cleaning 508 clauses out of 1024 for limit 3.8296523468391616E12
1765.89/1751.42	c cleaning 507 clauses out of 1014 for limit 6.365143746083999E12
1771.93/1757.48	c cleaning 503 clauses out of 1009 for limit 1.0570119938044076E13
1777.99/1763.47	c cleaning 503 clauses out of 1009 for limit 1.748394121247946E13
1783.33/1768.71	c cleaning 484 clauses out of 1001 for limit 2.8918765822131355E13
1788.89/1774.21	c cleaning 511 clauses out of 1022 for limit 4.6945220364921375E13
1800.07/1785.32	c starts		: 18
1800.07/1785.32	c conflicts		: 223356
1800.07/1785.32	c decisions		: 559035
1800.07/1785.32	c propagations		: 75087006
1800.07/1785.32	c inspects		: 410251801
1800.07/1785.32	c learnt literals	: 0
1800.07/1785.32	c learnt binary clauses	: 0
1800.07/1785.32	c learnt ternary clauses	: 0
1800.07/1785.32	c learnt clauses	: 223356
1800.07/1785.32	c root simplifications	: 0
1800.07/1785.32	c removed literals (reason simplification)	: 0
1800.07/1785.32	c reason swapping (by a shorter reason)	: 0
1800.07/1785.32	c Calls to reduceDB	: 38
1800.07/1785.32	c speed (decisions/second)	: 314.1955804048654
1800.07/1785.32	c non guided choices	156967
1800.07/1785.32	s UNKNOWN
1800.07/1785.32	c Total wall clock time (ms): 1785.118

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/node9/watcher-347873-1176526423 -o ROOT/results/node9/solver-347873-1176526423 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/347873-1176526423/sat4jPseudoResolution.jar /tmp/evaluation/347873-1176526423/instance-347873-1176526423.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 2/77 20328
/proc/meminfo: memFree=1780800/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1800 CPUtime=0
/proc/20328/stat : 20328 (java) D 20326 20328 19903 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 128679913 1843200 151 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/20328/statm: 450 151 114 9 0 92 0

[startup+0.0944059 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 20328
/proc/meminfo: memFree=1780800/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1780108 CPUtime=0.08
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 3955 0 1 0 6 2 0 0 18 0 12 0 128679913 1822830592 3696 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 445027 3696 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.101407 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 20328
/proc/meminfo: memFree=1780800/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1780256 CPUtime=0.08
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 4002 0 1 0 6 2 0 0 18 0 12 0 128679913 1822982144 3743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 445064 3743 1124 9 0 442683 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780256

[startup+0.301435 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 20328
/proc/meminfo: memFree=1780800/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1781568 CPUtime=0.32
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 6436 0 1 0 29 3 0 0 18 0 12 0 128679913 1824325632 6166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 445392 6166 1267 9 0 443004 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1781568

[startup+0.701485 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 20328
/proc/meminfo: memFree=1780800/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1782980 CPUtime=0.91
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 10790 0 1 0 85 6 0 0 18 0 12 0 128679913 1825771520 10023 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 445745 10023 1296 9 0 443357 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1782980

[startup+1.50157 s]
/proc/loadavg: 1.16 1.03 1.01 2/89 20340
/proc/meminfo: memFree=1717088/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1782980 CPUtime=1.84
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 24789 0 1 0 172 12 0 0 18 0 12 0 128679913 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 445745 24022 1302 9 0 443357 0
[pid=20328/tid=20330] ppid=20326 vsize=1782980 CPUtime=1.23
/proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 22680 0 1 0 113 10 0 0 25 0 12 0 128679914 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20331] ppid=20326 vsize=1782980 CPUtime=0
/proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 128679916 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20332] ppid=20326 vsize=1782980 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 128679916 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20333] ppid=20326 vsize=1782980 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 128679918 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20334] ppid=20326 vsize=1782980 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 128679918 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20335] ppid=20326 vsize=1782980 CPUtime=0
/proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 128679918 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20336] ppid=20326 vsize=1782980 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 128679922 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20337] ppid=20326 vsize=1782980 CPUtime=0.32
/proc/20328/task/20337/stat : 20337 (java) R 20326 20328 19903 0 -1 64 1118 0 0 0 32 0 0 0 16 0 12 0 128679922 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 101904289 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20338] ppid=20326 vsize=1782980 CPUtime=0.25
/proc/20328/task/20338/stat : 20338 (java) R 20326 20328 19903 0 -1 64 273 0 0 0 25 0 0 0 16 0 12 0 128679922 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104812846 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20339] ppid=20326 vsize=1782980 CPUtime=0
/proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 128679922 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20340] ppid=20326 vsize=1782980 CPUtime=0
/proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 128679922 1825771520 24022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 1782980

[startup+3.10275 s]
/proc/loadavg: 1.16 1.03 1.01 2/89 20340
/proc/meminfo: memFree=1632288/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1785292 CPUtime=3.88
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 48900 0 1 0 366 22 0 0 18 0 12 0 128679913 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 446323 47316 1313 9 0 443935 0
[pid=20328/tid=20330] ppid=20326 vsize=1785292 CPUtime=2.47
/proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 37671 0 1 0 231 16 0 0 23 0 12 0 128679914 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109511944 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20331] ppid=20326 vsize=1785292 CPUtime=0.2
/proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 3963 0 0 0 19 1 0 0 16 0 12 0 128679916 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20332] ppid=20326 vsize=1785292 CPUtime=0.21
/proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 4786 0 0 0 19 2 0 0 18 0 12 0 128679916 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20333] ppid=20326 vsize=1785292 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 128679918 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20334] ppid=20326 vsize=1785292 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 128679918 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20335] ppid=20326 vsize=1785292 CPUtime=0
/proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 128679918 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20336] ppid=20326 vsize=1785292 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 128679922 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20337] ppid=20326 vsize=1785292 CPUtime=0.5
/proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 1291 0 0 0 50 0 0 0 15 0 12 0 128679922 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20338] ppid=20326 vsize=1785292 CPUtime=0.44
/proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 464 0 0 0 44 0 0 0 15 0 12 0 128679922 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20339] ppid=20326 vsize=1785292 CPUtime=0
/proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 128679922 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20340] ppid=20326 vsize=1785292 CPUtime=0
/proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 128679922 1828139008 47316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 1785292

[startup+6.30292 s]
/proc/loadavg: 1.15 1.03 1.01 4/89 20340
/proc/meminfo: memFree=1531104/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1788752 CPUtime=8.36
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 73276 0 1 0 801 35 0 0 18 0 13 0 128679913 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 447188 67405 1334 9 0 444800 0
[pid=20328/tid=20330] ppid=20326 vsize=1788752 CPUtime=4.66
/proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 37713 0 1 0 450 16 0 0 17 0 13 0 128679914 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109674471 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20331] ppid=20326 vsize=1788752 CPUtime=1.09
/proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 15027 0 0 0 102 7 0 0 19 0 13 0 128679916 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20332] ppid=20326 vsize=1788752 CPUtime=1.08
/proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 16743 0 0 0 100 8 0 0 18 0 13 0 128679916 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20333] ppid=20326 vsize=1788752 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 128679918 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20334] ppid=20326 vsize=1788752 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20335] ppid=20326 vsize=1788752 CPUtime=0
/proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20336] ppid=20326 vsize=1788752 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20337] ppid=20326 vsize=1788752 CPUtime=0.73
/proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 2339 0 0 0 73 0 0 0 16 0 13 0 128679922 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20338] ppid=20326 vsize=1788752 CPUtime=0.73
/proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 724 0 0 0 73 0 0 0 16 0 13 0 128679922 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20339] ppid=20326 vsize=1788752 CPUtime=0
/proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20340] ppid=20326 vsize=1788752 CPUtime=0
/proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1831682048 67405 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.36
Current children cumulated vsize (KiB) 1788752

[startup+12.7016 s]
/proc/loadavg: 1.13 1.03 1.01 3/90 20341
/proc/meminfo: memFree=1515232/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1787632 CPUtime=15.2
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 76292 0 1 0 1483 37 0 0 18 0 13 0 128679913 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 446908 69549 1334 9 0 444520 0
[pid=20328/tid=20330] ppid=20326 vsize=1787632 CPUtime=10.75
/proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 37720 0 1 0 1058 17 0 0 21 0 13 0 128679914 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109844731 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20331] ppid=20326 vsize=1787632 CPUtime=1.29
/proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 16576 0 0 0 121 8 0 0 16 0 13 0 128679916 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20332] ppid=20326 vsize=1787632 CPUtime=1.28
/proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 17741 0 0 0 119 9 0 0 16 0 13 0 128679916 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 7 0 0 0 0 0 0 0 15 0 13 0 128679918 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20336] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20337] ppid=20326 vsize=1787632 CPUtime=0.88
/proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 2668 0 0 0 88 0 0 0 16 0 13 0 128679922 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20338] ppid=20326 vsize=1787632 CPUtime=0.95
/proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 857 0 0 0 95 0 0 0 17 0 13 0 128679922 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20339] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20340] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20341] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20341/stat : 20341 (java) S 20326 20328 19903 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 128680531 1830535168 69549 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.2
Current children cumulated vsize (KiB) 1787632

[startup+25.5021 s]
/proc/loadavg: 1.11 1.03 1.01 2/90 20341
/proc/meminfo: memFree=1497632/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1787632 CPUtime=28.37
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 78870 0 1 0 2799 38 0 0 18 0 13 0 128679913 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 446908 71856 1334 9 0 444520 0
[pid=20328/tid=20330] ppid=20326 vsize=1787632 CPUtime=23.15
/proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 37724 0 1 0 2298 17 0 0 25 0 13 0 128679914 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109845309 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20331] ppid=20326 vsize=1787632 CPUtime=1.67
/proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 17602 0 0 0 159 8 0 0 16 0 13 0 128679916 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20332] ppid=20326 vsize=1787632 CPUtime=1.66
/proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 19289 0 0 0 156 10 0 0 16 0 13 0 128679916 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 71856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0.18
/proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 110 0 0 0 9 9 0 0 16 0 13 0 128679918 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20336] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20337] ppid=20326 vsize=1787632 CPUtime=1.05
/proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 3069 0 0 0 104 1 0 0 16 0 13 0 128679922 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20338] ppid=20326 vsize=1787632 CPUtime=1.12
/proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 880 0 0 0 112 0 0 0 17 0 13 0 128679922 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20339] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20340] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20341] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20341/stat : 20341 (java) S 20326 20328 19903 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 128680531 1830535168 352131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1615.54
Current children cumulated vsize (KiB) 1787632

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 20538
/proc/meminfo: memFree=309856/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1787632 CPUtime=1676.04
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 482973 0 1 0 167337 267 0 0 18 0 13 0 128679913 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 446908 367960 1334 9 0 444520 0
[pid=20328/tid=20330] ppid=20326 vsize=1787632 CPUtime=1647.06
/proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 50519 0 1 0 164670 36 0 0 23 0 13 0 128679914 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110000789 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20331] ppid=20326 vsize=1787632 CPUtime=13.33
/proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 197214 0 0 0 1234 99 0 0 16 0 13 0 128679916 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20332] ppid=20326 vsize=1787632 CPUtime=13.25
/proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 230439 0 0 0 1205 120 0 0 16 0 13 0 128679916 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0.18
/proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 129 0 0 0 9 9 0 0 16 0 13 0 128679918 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20336] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20337] ppid=20326 vsize=1787632 CPUtime=1.05
/proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 3069 0 0 0 104 1 0 0 16 0 13 0 128679922 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20338] ppid=20326 vsize=1787632 CPUtime=1.12
/proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 880 0 0 0 112 0 0 0 17 0 13 0 128679922 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20339] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20340] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20341] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20341/stat : 20341 (java) S 20326 20328 19903 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 128680531 1830535168 367960 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1676.04
Current children cumulated vsize (KiB) 1787632

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 20538
/proc/meminfo: memFree=273632/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1787632 CPUtime=1736.53
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 495803 0 1 0 173379 274 0 0 18 0 13 0 128679913 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 446908 376980 1334 9 0 444520 0
[pid=20328/tid=20330] ppid=20326 vsize=1787632 CPUtime=1706.5
/proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 50538 0 1 0 170614 36 0 0 25 0 13 0 128679914 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109863791 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20331] ppid=20326 vsize=1787632 CPUtime=13.85
/proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 203343 0 0 0 1282 103 0 0 16 0 13 0 128679916 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20332] ppid=20326 vsize=1787632 CPUtime=13.77
/proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 237116 0 0 0 1255 122 0 0 16 0 13 0 128679916 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0.18
/proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 134 0 0 0 9 9 0 0 16 0 13 0 128679918 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20336] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20337] ppid=20326 vsize=1787632 CPUtime=1.05
/proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 3069 0 0 0 104 1 0 0 16 0 13 0 128679922 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20338] ppid=20326 vsize=1787632 CPUtime=1.12
/proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 880 0 0 0 112 0 0 0 17 0 13 0 128679922 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20339] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20340] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20341] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20341/stat : 20341 (java) S 20326 20328 19903 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 128680531 1830535168 376980 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1736.53
Current children cumulated vsize (KiB) 1787632

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 20538
/proc/meminfo: memFree=1413920/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1787632 CPUtime=1797.06
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 511365 0 1 0 179405 301 0 0 18 0 13 0 128679913 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 446908 91798 1336 9 0 444520 0
[pid=20328/tid=20330] ppid=20326 vsize=1787632 CPUtime=1765.2
/proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 50559 0 1 0 176483 37 0 0 25 0 13 0 128679914 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109863439 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20331] ppid=20326 vsize=1787632 CPUtime=14.39
/proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 209493 0 0 0 1333 106 0 0 16 0 13 0 128679916 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20332] ppid=20326 vsize=1787632 CPUtime=14.32
/proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 243500 0 0 0 1307 125 0 0 16 0 13 0 128679916 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0.9
/proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 3141 0 0 0 62 28 0 0 16 0 13 0 128679918 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20336] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20337] ppid=20326 vsize=1787632 CPUtime=1.05
/proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 3069 0 0 0 104 1 0 0 16 0 13 0 128679922 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20338] ppid=20326 vsize=1787632 CPUtime=1.12
/proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 880 0 0 0 112 0 0 0 17 0 13 0 128679922 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20339] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20340] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20341] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20341/stat : 20341 (java) S 20326 20328 19903 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 128680531 1830535168 91798 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.06
Current children cumulated vsize (KiB) 1787632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 20538
/proc/meminfo: memFree=1414752/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=1787632 CPUtime=1800.07
/proc/20328/stat : 20328 (java) S 20326 20328 19903 0 -1 0 511366 0 1 0 179706 301 0 0 18 0 13 0 128679913 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 446908 91590 1336 9 0 444520 0
[pid=20328/tid=20330] ppid=20326 vsize=1787632 CPUtime=1768.21
/proc/20328/task/20330/stat : 20330 (java) R 20326 20328 19903 0 -1 64 50560 0 1 0 176784 37 0 0 25 0 13 0 128679914 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109864070 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20331] ppid=20326 vsize=1787632 CPUtime=14.4
/proc/20328/task/20331/stat : 20331 (java) S 20326 20328 19903 0 -1 64 209493 0 0 0 1334 106 0 0 16 0 13 0 128679916 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20332] ppid=20326 vsize=1787632 CPUtime=14.33
/proc/20328/task/20332/stat : 20332 (java) S 20326 20328 19903 0 -1 64 243500 0 0 0 1308 125 0 0 16 0 13 0 128679916 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20333] ppid=20326 vsize=1787632 CPUtime=0.9
/proc/20328/task/20333/stat : 20333 (java) S 20326 20328 19903 0 -1 64 3141 0 0 0 62 28 0 0 16 0 13 0 128679918 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20334] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20326 20328 19903 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20335] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20335/stat : 20335 (java) S 20326 20328 19903 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 128679918 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20336] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20337] ppid=20326 vsize=1787632 CPUtime=1.05
/proc/20328/task/20337/stat : 20337 (java) S 20326 20328 19903 0 -1 64 3069 0 0 0 104 1 0 0 16 0 13 0 128679922 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20338] ppid=20326 vsize=1787632 CPUtime=1.12
/proc/20328/task/20338/stat : 20338 (java) S 20326 20328 19903 0 -1 64 880 0 0 0 112 0 0 0 17 0 13 0 128679922 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20339] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20339/stat : 20339 (java) S 20326 20328 19903 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 128679922 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20328/tid=20340] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20340/stat : 20340 (java) S 20326 20328 19903 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 128679922 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20328/tid=20341] ppid=20326 vsize=1787632 CPUtime=0
/proc/20328/task/20341/stat : 20341 (java) S 20326 20328 19903 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 128680531 1830535168 91590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1787632

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

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

[startup+1785.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 20538
/proc/meminfo: memFree=1414752/2055920 swapFree=4192812/4192956
[pid=20328] ppid=20326 vsize=0 CPUtime=1800.17
/proc/20328/stat : 20328 (java) Z 20326 20328 19903 0 -1 1036 511386 0 1 0 179712 305 0 0 15 0 2 0 128679913 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20328/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1785.43
CPU time (s): 1800.2
CPU user time (s): 1797.12
CPU system time (s): 3.07253
CPU usage (%): 100.827
Max. virtual memory (cumulated for all children) (KiB): 1794764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.12
system time used= 3.07253
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511386
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= 43103
involuntary context switches= 40166

runsolver used 1.85572 second user time and 4.73028 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Apr 14 04:53:44 UTC 2007

IDJOB= 347873
IDBENCH= 1543
IDSOLVER= 159
FILE ID= node9/347873-1176526423

PBS_JOBID= 4556721

Free space on /tmp= 66548 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  de8002a7213606f6cc39967e9305bae2

RANDOM SEED= 646627691

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1781208 kB
Buffers:         22764 kB
Cached:         141932 kB
SwapCached:          0 kB
Active:         111696 kB
Inactive:       108424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1781208 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10156 kB
Writeback:           0 kB
Mapped:          74316 kB
Slab:            40100 kB
Committed_AS:  4231320 kB
PageTables:       1784 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= 66548 MiB

End job on node9 on Sat Apr 14 05:23:31 UTC 2007