Trace number 237779

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 NameAnswerCPU timeWall clock time
sat4jCSP 1.7 RC BF3? (MO) 1106.95 1106.06

General information on the benchmark

Namehaystacks/
haystacks_34.xml
MD5SUM59402b4c8ddb23a8b0b5394ce6a8b96b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark71.2382
SatisfiableNO
(Un)Satisfiability was proved
Number of variables1156
Number of constraints19107
Maximum constraint arity2
Maximum domain size34
Number of constraints which are defined in extension0
Number of constraints which are defined in intension19107
Global constraints used (with number of constraints)

Solver Data (download as text)

0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.16	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.16	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.17	c version CSP COMPETITION BUGFIX 3
0.17	c sun.arch.data.model	32
0.17	c java.version	1.5.0_10
0.17	c os.name	Linux
0.17	c os.version	2.6.9-22.EL.rootsmp
0.17	c os.arch	i386
0.17	c Free memory 722620888
0.17	c Max memory 723845120
0.17	c Total memory 723845120
0.17	c Number of processors 2
0.25	c --- Begin Solver configuration ---
0.25	c Stops conflict analysis at the first Unique Implication Point
0.25	c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.25	c Learn all clauses as in MiniSAT
0.25	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25	c VSIDS like heuristics from MiniSAT using a heap
0.25	c No reason simplification
0.25	c --- End Solver configuration ---
0.25	c solving /tmp/evaluation/237779-1168350938/unknown.xml
0.25	c reading problem ... 
0.51	c reading problem named ?
0.51	c reading domains done.
0.51	c reading variables
c reading variables (1156) done.
1.27	c reading predicates 
c reading relations (5) done.
1.48	c reading constraints
c reading constraints done.
53.85	c ... done. Wall clock time 53.599s.
53.85	c CPU time (experimental) 46.1s.
53.85	c #vars     39304
53.85	c #constraints  1299344
379.31	c cleaning 51998 clauses out of 104002 for limit 1.489538834337606
614.27	c cleaning 49749 clauses out of 99508 for limit 6.812128581476258
616.69	c cleaning 25121 clauses out of 50255 for limit 22.15538987880482
618.73	c cleaning 12808 clauses out of 25632 for limit 71.49292129927457
620.30	c cleaning 6657 clauses out of 13325 for limit 227.02240429613593
621.62	c cleaning 3581 clauses out of 7169 for limit 696.5747935152817
622.73	c cleaning 2037 clauses out of 4087 for limit 2012.9967457154587
623.71	c cleaning 1266 clauses out of 2550 for limit 5320.63438862158
624.56	c cleaning 884 clauses out of 1786 for limit 12552.986261561831
625.40	c cleaning 691 clauses out of 1400 for limit 26356.475606402186
626.19	c cleaning 595 clauses out of 1208 for limit 50323.38109089602
626.97	c cleaning 553 clauses out of 1114 for limit 90082.81618505708
627.79	c cleaning 521 clauses out of 1060 for limit 155970.5686417524
628.56	c cleaning 514 clauses out of 1039 for limit 262415.12323696277
629.31	c cleaning 505 clauses out of 1025 for limit 438668.4795910156
630.07	c cleaning 504 clauses out of 1022 for limit 726999.8304266868
630.84	c cleaning 501 clauses out of 1016 for limit 1203589.4183283406
631.59	c cleaning 500 clauses out of 1015 for limit 1986835.510897869
632.28	c cleaning 501 clauses out of 1015 for limit 3276557.551569989
633.02	c cleaning 508 clauses out of 1016 for limit 5408975.887833851
1105.90	c starts		: 18
1105.90	c conflicts		: 253923
1105.90	c decisions		: 723453
1105.90	c propagations		: 7758167
1105.90	c inspects		: 1726863518
1105.90	c learnt literals	: 0
1105.90	c learnt binary clauses	: 0
1105.90	c learnt ternary clauses	: 0
1105.90	c learnt clauses	: 253924
1105.90	c root simplifications	: 0
1105.90	c removed literals (reason simplification)	: 0
1105.90	c reason swapping (by a shorter reason)	: 0
1105.90	c Calls to reduceDB	: 20
1105.90	c speed (decisions/second)	: 687.6949268866736
1105.90	c non guided choices	437834
1105.90	s UNKNOWN
1105.90	c Total wall clock time (in seconds) : 1105.652
1105.90	c Total CPU time (experimental, in seconds) : 0.0

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: UNKNOWN

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node40/watcher-237779-1168350938 -o ROOT/results/node40/solver-237779-1168350938 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/237779-1168350938/sat4jCSP-bf3.jar /tmp/evaluation/237779-1168350938/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.06 1.66 1.87 5/69 1797
/proc/meminfo: memFree=1828784/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=0 CPUtime=0
/proc/1796/stat : 1796 (runsolver) R 1791 1796 1693 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 183493114 0 0 18446744073709551615 0 0 0 18446744073709551615 264519609639 0 0 4096 24578 0 0 0 17 0 0 0
/proc/1796/statm: 0 0 0 0 0 0 0

[startup+0.107881 s]
/proc/loadavg: 1.06 1.66 1.87 5/69 1797
/proc/meminfo: memFree=1828784/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=901540 CPUtime=0.08
/proc/1796/stat : 1796 (java) R 1791 1796 1693 0 -1 0 3300 0 1 0 7 1 0 0 21 0 12 0 183493114 923176960 3060 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1796/statm: 225385 3060 1552 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540

[startup+0.515939 s]
/proc/loadavg: 1.06 1.66 1.87 5/69 1797
/proc/meminfo: memFree=1828784/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=905236 CPUtime=0.49
/proc/1796/stat : 1796 (java) R 1791 1796 1693 0 -1 0 5972 0 1 0 46 3 0 0 19 0 12 0 183493114 926961664 5566 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1796/statm: 226309 5566 2293 14 0 212746 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 905236

[startup+1.33805 s]
/proc/loadavg: 1.06 1.66 1.87 5/82 2328
/proc/meminfo: memFree=1806024/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=905236 CPUtime=1.3
/proc/1796/stat : 1796 (java) R 1791 1796 1693 0 -1 0 8974 0 1 0 126 4 0 0 23 0 12 0 183493114 926961664 8427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154529201 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1796/statm: 226309 8427 2391 14 0 212746 0
[pid=1796/tid=1798] ppid=1791 vsize=905236 CPUtime=0
/proc/1796/task/1798/stat : 1798 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 183493117 926961664 8427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1799] ppid=1791 vsize=905236 CPUtime=0
/proc/1796/task/1799/stat : 1799 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 183493117 926961664 8427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1800] ppid=1791 vsize=905236 CPUtime=0
/proc/1796/task/1800/stat : 1800 (java) S 1791 1796 1693 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 183493120 926961664 8427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1801] ppid=1791 vsize=905236 CPUtime=0
/proc/1796/task/1801/stat : 1801 (java) S 1791 1796 1693 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 183493121 926961664 8427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1802] ppid=1791 vsize=905236 CPUtime=0
/proc/1796/task/1802/stat : 1802 (java) S 1791 1796 1693 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 183493121 926961664 8427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1803] ppid=1791 vsize=905236 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1791 1796 1693 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183493124 926961664 8427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1804] ppid=1791 vsize=905236 CPUtime=0
/proc/1796/task/1804/stat : 1804 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 183493124 926961664 8427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1805] ppid=1791 vsize=905236 CPUtime=0.28
/proc/1796/task/1805/stat : 1805 (java) S 1791 1796 1693 0 -1 64 326 0 0 0 28 0 0 0 16 0 12 0 183493124 926961664 8427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1806] ppid=1791 vsize=905236 CPUtime=0.31
/proc/1796/task/1806/stat : 1806 (java) S 1791 1796 1693 0 -1 64 759 0 0 0 31 0 0 0 16 0 12 0 183493124 926961664 8427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1791 vsize=905236 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183493124 926961664 8427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1808] ppid=1791 vsize=905236 CPUtime=0
/proc/1796/task/1808/stat : 1808 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183493125 926961664 8427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 905236

[startup+2.99126 s]
/proc/loadavg: 1.22 1.68 1.88 4/85 2493
/proc/meminfo: memFree=1757096/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=906420 CPUtime=2.97
/proc/1796/stat : 1796 (java) R 1791 1796 1693 0 -1 0 19043 0 1 0 287 10 0 0 21 0 12 0 183493114 928174080 17507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054342650 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1796/statm: 226605 17507 2476 14 0 213042 0
[pid=1796/tid=1798] ppid=1791 vsize=906420 CPUtime=0
/proc/1796/task/1798/stat : 1798 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 183493117 928174080 17507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1799] ppid=1791 vsize=906420 CPUtime=0
/proc/1796/task/1799/stat : 1799 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 183493117 928174080 17507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1800] ppid=1791 vsize=906420 CPUtime=0
/proc/1796/task/1800/stat : 1800 (java) S 1791 1796 1693 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 183493120 928174080 17508 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1801] ppid=1791 vsize=906420 CPUtime=0
/proc/1796/task/1801/stat : 1801 (java) S 1791 1796 1693 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 183493121 928174080 17508 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1802] ppid=1791 vsize=906420 CPUtime=0
/proc/1796/task/1802/stat : 1802 (java) S 1791 1796 1693 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 183493121 928174080 17508 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1803] ppid=1791 vsize=906420 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1791 1796 1693 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183493124 928174080 17508 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1804] ppid=1791 vsize=906420 CPUtime=0
/proc/1796/task/1804/stat : 1804 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 183493124 928174080 17508 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1805] ppid=1791 vsize=906420 CPUtime=0.52
/proc/1796/task/1805/stat : 1805 (java) S 1791 1796 1693 0 -1 64 727 0 0 0 52 0 0 0 16 0 12 0 183493124 928174080 17508 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1806] ppid=1791 vsize=906420 CPUtime=0.76
/proc/1796/task/1806/stat : 1806 (java) S 1791 1796 1693 0 -1 64 1535 0 0 0 75 1 0 0 16 0 12 0 183493124 928174080 17508 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1807] ppid=1791 vsize=906420 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183493124 928174080 17508 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1808] ppid=1791 vsize=906420 CPUtime=0
/proc/1796/task/1808/stat : 1808 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183493125 928174080 17508 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 906420

[startup+6.28168 s]
/proc/loadavg: 1.22 1.68 1.88 3/85 2494
/proc/meminfo: memFree=1699112/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=908208 CPUtime=6.35
/proc/1796/stat : 1796 (java) R 1791 1796 1693 0 -1 0 31107 0 1 0 619 16 0 0 19 0 12 0 183493114 930004992 28765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1796/statm: 227052 28765 2480 14 0 213489 0
[pid=1796/tid=1798] ppid=1791 vsize=908208 CPUtime=0.14
/proc/1796/task/1798/stat : 1798 (java) S 1791 1796 1693 0 -1 64 3628 0 0 0 13 1 0 0 17 0 12 0 183493117 930004992 28765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1799] ppid=1791 vsize=908208 CPUtime=0.15
/proc/1796/task/1799/stat : 1799 (java) S 1791 1796 1693 0 -1 64 3941 0 0 0 14 1 0 0 17 0 12 0 183493117 930004992 28765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1800] ppid=1791 vsize=908208 CPUtime=0
/proc/1796/task/1800/stat : 1800 (java) S 1791 1796 1693 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 183493120 930004992 28765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1801] ppid=1791 vsize=908208 CPUtime=0
/proc/1796/task/1801/stat : 1801 (java) S 1791 1796 1693 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 183493121 930004992 28765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1802] ppid=1791 vsize=908208 CPUtime=0
/proc/1796/task/1802/stat : 1802 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 183493121 930004992 28765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1803] ppid=1791 vsize=908208 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1791 1796 1693 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183493124 930004992 28765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1804] ppid=1791 vsize=908208 CPUtime=0.01
/proc/1796/task/1804/stat : 1804 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 1 0 0 0 16 0 12 0 183493124 930004992 28765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1805] ppid=1791 vsize=908208 CPUtime=1
/proc/1796/task/1805/stat : 1805 (java) R 1791 1796 1693 0 -1 64 1724 0 0 0 99 1 0 0 16 0 12 0 183493124 930004992 28765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154882249 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1806] ppid=1791 vsize=908208 CPUtime=1.07
/proc/1796/task/1806/stat : 1806 (java) S 1791 1796 1693 0 -1 64 1567 0 0 0 106 1 0 0 15 0 12 0 183493124 930004992 28765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1791 vsize=908208 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183493124 930004992 28765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1808] ppid=1791 vsize=908208 CPUtime=0
/proc/1796/task/1808/stat : 1808 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183493125 930004992 28765 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (KiB) 908208

[startup+12.7295 s]
/proc/loadavg: 1.34 1.69 1.88 3/85 2494
/proc/meminfo: memFree=1646568/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=915008 CPUtime=12.75
/proc/1796/stat : 1796 (java) R 1791 1796 1693 0 -1 0 43118 0 1 0 1254 21 0 0 25 0 12 0 183493114 936968192 38022 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054299949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1796/statm: 228752 38022 2480 14 0 215189 0
[pid=1796/tid=1798] ppid=1791 vsize=915008 CPUtime=0.37
/proc/1796/task/1798/stat : 1798 (java) S 1791 1796 1693 0 -1 64 6819 0 0 0 35 2 0 0 16 0 12 0 183493117 936968192 38022 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1799] ppid=1791 vsize=915008 CPUtime=0.38
/proc/1796/task/1799/stat : 1799 (java) S 1791 1796 1693 0 -1 64 8389 0 0 0 35 3 0 0 16 0 12 0 183493117 936968192 38022 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1800] ppid=1791 vsize=915008 CPUtime=0
/proc/1796/task/1800/stat : 1800 (java) S 1791 1796 1693 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 183493120 936968192 38022 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1801] ppid=1791 vsize=915008 CPUtime=0
/proc/1796/task/1801/stat : 1801 (java) S 1791 1796 1693 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 183493121 936968192 38022 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1802] ppid=1791 vsize=915008 CPUtime=0
/proc/1796/task/1802/stat : 1802 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 183493121 936968192 38022 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1803] ppid=1791 vsize=915008 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1791 1796 1693 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183493124 936968192 38022 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1804] ppid=1791 vsize=915008 CPUtime=0.01
/proc/1796/task/1804/stat : 1804 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 1 0 0 0 16 0 12 0 183493124 936968192 38022 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1805] ppid=1791 vsize=915008 CPUtime=1.68
/proc/1796/task/1805/stat : 1805 (java) S 1791 1796 1693 0 -1 64 5069 0 0 0 166 2 0 0 16 0 12 0 183493124 936968192 38022 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1806] ppid=1791 vsize=915008 CPUtime=1.54
/proc/1796/task/1806/stat : 1806 (java) S 1791 1796 1693 0 -1 64 2579 0 0 0 153 1 0 0 16 0 12 0 183493124 936968192 38022 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1791 vsize=915008 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183493124 936968192 38022 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1808] ppid=1791 vsize=915008 CPUtime=0
/proc/1796/task/1808/stat : 1808 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183493125 936968192 38022 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 915008

[startup+25.5692 s]
/proc/loadavg: 1.44 1.70 1.88 4/85 2494
/proc/meminfo: memFree=1577464/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=911392 CPUtime=25.49
/proc/1796/stat : 1796 (java) R 1791 1796 1693 0 -1 0 61972 0 1 0 2520 29 0 0 25 0 12 0 183493114 933265408 55331 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054278707 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1796/statm: 227848 55331 2484 14 0 214285 0
[pid=1796/tid=1798] ppid=1791 vsize=911392 CPUtime=0.75
/proc/1796/task/1798/stat : 1798 (java) S 1791 1796 1693 0 -1 64 16523 0 0 0 70 5 0 0 16 0 12 0 183493117 933265408 55331 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1799] ppid=1791 vsize=911392 CPUtime=0.76
/proc/1796/task/1799/stat : 1799 (java) S 1791 1796 1693 0 -1 64 17496 0 0 0 70 6 0 0 16 0 12 0 183493117 933265408 55331 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1800] ppid=1791 vsize=911392 CPUtime=0.01
/proc/1796/task/1800/stat : 1800 (java) S 1791 1796 1693 0 -1 64 13 0 0 0 1 0 0 0 15 0 12 0 183493120 933265408 55331 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1801] ppid=1791 vsize=911392 CPUtime=0
/proc/1796/task/1801/stat : 1801 (java) S 1791 1796 1693 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 183493121 933265408 55331 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1802] ppid=1791 vsize=911392 CPUtime=0
/proc/1796/task/1802/stat : 1802 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 183493121 933265408 55331 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1803] ppid=1791 vsize=911392 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1791 1796 1693 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 183493124 933265408 55331 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1804] ppid=1791 vsize=911392 CPUtime=0.01
/proc/1796/task/1804/stat : 1804 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 1 0 0 0 16 0 12 0 183493124 933265408 55331 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1805] ppid=1791 vsize=911392 CPUtime=1.91
/proc/1796/task/1805/stat : 1805 (java) S 1791 1796 1693 0 -1 64 5082 0 0 0 189 2 0 0 16 0 12 0 183493124 933265408 55331 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1806] ppid=1791 vsize=911392 CPUtime=1.71
/proc/1796/task/1806/stat : 1806 (java) S 1791 1796 1693 0 -1 64 2584 0 0 0 170 1 0 0 16 0 12 0 183493124 933265408 55331 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1791 vsize=911392 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 183493124 933265408 55331 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1808] ppid=1791 vsize=911392 CPUtime=0
/proc/1796/task/1808/stat : 1808 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 183493125 933265408 55331 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 911392

[startup+51.2495 s]
/proc/loadavg: 1.63 1.72 1.88 3/85 2494
/proc/meminfo: memFree=1423992/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=911392 CPUtime=50.94
/proc/1796/stat : 1796 (java) R 1791 1796 1693 0 -1 0 100493 0 1 0 5048 46 0 0 25 0 12 0 183493114 933265408 93663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054130647 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1796/statm: 227848 93663 2484 14 0 214285 0
[pid=1796/tid=1798] ppid=1791 vsize=911392 CPUtime=1.7
/proc/1796/task/1798/stat : 1798 (java) S 1791 1796 1693 0 -1 64 35422 0 0 0 157 13 0 0 16 0 12 0 183493117 933265408 93663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1799] ppid=1791 vsize=911392 CPUtime=1.69
/proc/1796/task/1799/stat : 1799 (java) S 1791 1796 1693 0 -1 64 37073 0 0 0 155 14 0 0 16 0 12 0 183493117 933265408 93663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1800] ppid=1791 vsize=911392 CPUtime=0.01

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

/proc/loadavg: 1.00 1.05 1.36 2/77 2927
/proc/meminfo: memFree=1101456/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=911908 CPUtime=884.09
/proc/1796/stat : 1796 (java) R 1791 1796 1693 0 -1 0 222752 0 1 0 88304 105 0 0 25 0 13 0 183493114 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055092082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1796/statm: 227977 186660 2492 14 0 214414 0
[pid=1796/tid=1798] ppid=1791 vsize=911908 CPUtime=3.69
/proc/1796/task/1798/stat : 1798 (java) S 1791 1796 1693 0 -1 64 88125 0 0 0 333 36 0 0 16 0 13 0 183493117 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1799] ppid=1791 vsize=911908 CPUtime=3.71
/proc/1796/task/1799/stat : 1799 (java) S 1791 1796 1693 0 -1 64 90916 0 0 0 333 38 0 0 17 0 13 0 183493117 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1800] ppid=1791 vsize=911908 CPUtime=5.84
/proc/1796/task/1800/stat : 1800 (java) S 1791 1796 1693 0 -1 64 15605 0 0 0 577 7 0 0 16 0 13 0 183493120 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1801] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1801/stat : 1801 (java) S 1791 1796 1693 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183493121 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1802] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1802/stat : 1802 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183493121 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1803] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1791 1796 1693 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1804] ppid=1791 vsize=911908 CPUtime=0.01
/proc/1796/task/1804/stat : 1804 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1805] ppid=1791 vsize=911908 CPUtime=2.39
/proc/1796/task/1805/stat : 1805 (java) S 1791 1796 1693 0 -1 64 5121 0 0 0 237 2 0 0 16 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1806] ppid=1791 vsize=911908 CPUtime=2.11
/proc/1796/task/1806/stat : 1806 (java) S 1791 1796 1693 0 -1 64 2611 0 0 0 210 1 0 0 16 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1808] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1808/stat : 1808 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183493125 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=2495] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/2495/stat : 2495 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 183498505 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 884.09
Current children cumulated vsize (KiB) 911908

[startup+943.469 s]
/proc/loadavg: 1.00 1.04 1.34 2/77 2927
/proc/meminfo: memFree=1101456/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=911908 CPUtime=944.18
/proc/1796/stat : 1796 (java) R 1791 1796 1693 0 -1 0 222752 0 1 0 94313 105 0 0 25 0 13 0 183493114 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055099731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1796/statm: 227977 186660 2492 14 0 214414 0
[pid=1796/tid=1798] ppid=1791 vsize=911908 CPUtime=3.69
/proc/1796/task/1798/stat : 1798 (java) S 1791 1796 1693 0 -1 64 88125 0 0 0 333 36 0 0 16 0 13 0 183493117 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1799] ppid=1791 vsize=911908 CPUtime=3.71
/proc/1796/task/1799/stat : 1799 (java) S 1791 1796 1693 0 -1 64 90916 0 0 0 333 38 0 0 17 0 13 0 183493117 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1800] ppid=1791 vsize=911908 CPUtime=5.84
/proc/1796/task/1800/stat : 1800 (java) S 1791 1796 1693 0 -1 64 15605 0 0 0 577 7 0 0 16 0 13 0 183493120 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1801] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1801/stat : 1801 (java) S 1791 1796 1693 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183493121 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1802] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1802/stat : 1802 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183493121 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1803] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1791 1796 1693 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1804] ppid=1791 vsize=911908 CPUtime=0.01
/proc/1796/task/1804/stat : 1804 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1805] ppid=1791 vsize=911908 CPUtime=2.39
/proc/1796/task/1805/stat : 1805 (java) S 1791 1796 1693 0 -1 64 5121 0 0 0 237 2 0 0 16 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1806] ppid=1791 vsize=911908 CPUtime=2.11
/proc/1796/task/1806/stat : 1806 (java) S 1791 1796 1693 0 -1 64 2611 0 0 0 210 1 0 0 16 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1808] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1808/stat : 1808 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183493125 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=2495] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/2495/stat : 2495 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 183498505 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 944.18
Current children cumulated vsize (KiB) 911908

[startup+1003.57 s]
/proc/loadavg: 1.00 1.03 1.31 2/77 2927
/proc/meminfo: memFree=1101456/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=911908 CPUtime=1004.33
/proc/1796/stat : 1796 (java) R 1791 1796 1693 0 -1 0 222753 0 1 0 100328 105 0 0 25 0 13 0 183493114 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055099409 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1796/statm: 227977 186660 2492 14 0 214414 0
[pid=1796/tid=1798] ppid=1791 vsize=911908 CPUtime=3.76
/proc/1796/task/1798/stat : 1798 (java) S 1791 1796 1693 0 -1 64 88125 0 0 0 340 36 0 0 16 0 13 0 183493117 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1799] ppid=1791 vsize=911908 CPUtime=3.78
/proc/1796/task/1799/stat : 1799 (java) S 1791 1796 1693 0 -1 64 90916 0 0 0 340 38 0 0 17 0 13 0 183493117 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1800] ppid=1791 vsize=911908 CPUtime=5.84
/proc/1796/task/1800/stat : 1800 (java) S 1791 1796 1693 0 -1 64 15605 0 0 0 577 7 0 0 16 0 13 0 183493120 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1801] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1801/stat : 1801 (java) S 1791 1796 1693 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183493121 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1802] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1802/stat : 1802 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183493121 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1803] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1791 1796 1693 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1804] ppid=1791 vsize=911908 CPUtime=0.01
/proc/1796/task/1804/stat : 1804 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1805] ppid=1791 vsize=911908 CPUtime=2.39
/proc/1796/task/1805/stat : 1805 (java) S 1791 1796 1693 0 -1 64 5121 0 0 0 237 2 0 0 16 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1806] ppid=1791 vsize=911908 CPUtime=2.11
/proc/1796/task/1806/stat : 1806 (java) S 1791 1796 1693 0 -1 64 2611 0 0 0 210 1 0 0 16 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1808] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1808/stat : 1808 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183493125 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=2495] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/2495/stat : 2495 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 183498505 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1004.33
Current children cumulated vsize (KiB) 911908

[startup+1063.58 s]
/proc/loadavg: 1.00 1.02 1.29 2/77 2927
/proc/meminfo: memFree=1101456/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=911908 CPUtime=1064.38
/proc/1796/stat : 1796 (java) R 1791 1796 1693 0 -1 0 222754 0 1 0 106333 105 0 0 25 0 13 0 183493114 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055092397 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1796/statm: 227977 186660 2492 14 0 214414 0
[pid=1796/tid=1798] ppid=1791 vsize=911908 CPUtime=3.83
/proc/1796/task/1798/stat : 1798 (java) S 1791 1796 1693 0 -1 64 88125 0 0 0 347 36 0 0 16 0 13 0 183493117 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1799] ppid=1791 vsize=911908 CPUtime=3.86
/proc/1796/task/1799/stat : 1799 (java) S 1791 1796 1693 0 -1 64 90916 0 0 0 347 39 0 0 16 0 13 0 183493117 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1800] ppid=1791 vsize=911908 CPUtime=5.84
/proc/1796/task/1800/stat : 1800 (java) S 1791 1796 1693 0 -1 64 15605 0 0 0 577 7 0 0 16 0 13 0 183493120 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1801] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1801/stat : 1801 (java) S 1791 1796 1693 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183493121 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1802] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1802/stat : 1802 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183493121 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1803] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1791 1796 1693 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1804] ppid=1791 vsize=911908 CPUtime=0.01
/proc/1796/task/1804/stat : 1804 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1805] ppid=1791 vsize=911908 CPUtime=2.39
/proc/1796/task/1805/stat : 1805 (java) S 1791 1796 1693 0 -1 64 5121 0 0 0 237 2 0 0 16 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1806] ppid=1791 vsize=911908 CPUtime=2.11
/proc/1796/task/1806/stat : 1806 (java) S 1791 1796 1693 0 -1 64 2611 0 0 0 210 1 0 0 16 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183493124 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1808] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/1808/stat : 1808 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183493125 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=2495] ppid=1791 vsize=911908 CPUtime=0
/proc/1796/task/2495/stat : 2495 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 183498505 933793792 186660 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1064.38
Current children cumulated vsize (KiB) 911908



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1104.94 s]
/proc/loadavg: 1.00 1.02 1.27 2/77 2927
/proc/meminfo: memFree=1095248/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1791 vsize=919912 CPUtime=1105.82
/proc/1796/stat : 1796 (java) S 1791 1796 1693 0 -1 0 225279 0 1 0 110475 107 0 0 25 0 13 0 183493114 941989888 187682 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1796/statm: 229978 187683 2492 14 0 216415 0
[pid=1796/tid=1798] ppid=1791 vsize=919912 CPUtime=3.91
/proc/1796/task/1798/stat : 1798 (java) S 1791 1796 1693 0 -1 64 88125 0 0 0 355 36 0 0 16 0 13 0 183493117 941989888 187683 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1799] ppid=1791 vsize=919912 CPUtime=3.93
/proc/1796/task/1799/stat : 1799 (java) S 1791 1796 1693 0 -1 64 90916 0 0 0 354 39 0 0 17 0 13 0 183493117 941989888 187683 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1800] ppid=1791 vsize=919912 CPUtime=6.08
/proc/1796/task/1800/stat : 1800 (java) R 1791 1796 1693 0 -1 64 18131 0 0 0 599 9 0 0 16 0 13 0 183493120 941989888 187684 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154454247 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1801] ppid=1791 vsize=919912 CPUtime=0
/proc/1796/task/1801/stat : 1801 (java) S 1791 1796 1693 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183493121 941989888 187684 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1802] ppid=1791 vsize=919912 CPUtime=0
/proc/1796/task/1802/stat : 1802 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183493121 941989888 187684 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1803] ppid=1791 vsize=919912 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1791 1796 1693 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 183493124 941989888 187684 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1804] ppid=1791 vsize=919912 CPUtime=0.01
/proc/1796/task/1804/stat : 1804 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 183493124 941989888 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1805] ppid=1791 vsize=919912 CPUtime=2.39
/proc/1796/task/1805/stat : 1805 (java) S 1791 1796 1693 0 -1 64 5121 0 0 0 237 2 0 0 16 0 13 0 183493124 941989888 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1806] ppid=1791 vsize=919912 CPUtime=2.11
/proc/1796/task/1806/stat : 1806 (java) S 1791 1796 1693 0 -1 64 2611 0 0 0 210 1 0 0 16 0 13 0 183493124 941989888 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1791 vsize=919912 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1791 1796 1693 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 183493124 941989888 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1796/tid=1808] ppid=1791 vsize=919912 CPUtime=0
/proc/1796/task/1808/stat : 1808 (java) S 1791 1796 1693 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 183493125 941989888 187686 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=2495] ppid=1791 vsize=919912 CPUtime=0
/proc/1796/task/2495/stat : 2495 (java) S 1791 1796 1693 0 -1 64 5 0 0 0 0 0 0 0 22 0 13 0 183498505 941989888 187686 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1105.82
Current children cumulated vsize (KiB) 919912

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

Child status: 143
Real time (s): 1106.06
CPU time (s): 1106.95
CPU user time (s): 1105.75
CPU system time (s): 1.19282
CPU usage (%): 100.08
Max. virtual memory (cumulated for all children) (KiB): 923916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1105.75
system time used= 1.19282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225546
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= 24926
involuntary context switches= 8682

runsolver used 1.21881 s user time and 2.82757 s system time

The end

Launcher Data (download as text)

Begin job on node40 on Tue Jan  9 13:55:38 UTC 2007


IDJOB= 237779
IDBENCH= 6962
FILE ID= node40/237779-1168350938

PBS_JOBID= 3503915

Free space on /tmp= 66550 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_34.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/237779-1168350938/sat4jCSP-bf3.jar /tmp/evaluation/237779-1168350938/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-237779-1168350938 -o ROOT/results/node40/solver-237779-1168350938 -C 1800 -M 900  java -server -Xmx700M -Xms700M -jar /tmp/evaluation/237779-1168350938/sat4jCSP-bf3.jar /tmp/evaluation/237779-1168350938/unknown.xml

META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH=  59402b4c8ddb23a8b0b5394ce6a8b96b

RANDOM SEED= 45003993

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.239
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.239
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:       1834768 kB
Buffers:         22612 kB
Cached:         122976 kB
SwapCached:          0 kB
Active:          97252 kB
Inactive:        68508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834768 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6068 kB
Writeback:           0 kB
Mapped:          30436 kB
Slab:            41156 kB
Committed_AS:  4049812 kB
PageTables:       1656 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 node40 on Tue Jan  9 14:14:04 UTC 2007