Trace number 1038908

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J CSP 2008-06-13? (TO) 1800.16 1809.66

General information on the benchmark

Namecsp/BH-4-13/
normalized-BlackHole-4-13-m-2_ext.xml
MD5SUMa7b2d88fca63e18bbc1a826209f183ae
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.185971
Satisfiable
(Un)Satisfiability was proved
Number of variables208
Number of constraints4217
Maximum constraint arity2
Maximum domain size52
Number of constraints which are defined in extension4217
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.19/0.28	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.19/0.28	c This is free software under the dual EPL/GNU LGPL licenses.
0.19/0.28	c See www.sat4j.org for details.
0.19/0.28	c That software uses the Rhino library from the Mozilla project.
0.30/0.32	c version 9.9.9.token
0.30/0.32	c sun.arch.data.model	32
0.30/0.32	c java.version	1.6.0_06
0.30/0.32	c os.name	Linux
0.30/0.32	c os.version	2.6.9-22.EL.rootsmp
0.30/0.32	c os.arch	i386
0.30/0.32	c Free memory 669864272
0.30/0.32	c Max memory 672137216
0.30/0.32	c Total memory 672137216
0.30/0.32	c Number of processors 2
0.30/0.37	c c --- Begin Solver configuration ---
0.30/0.37	c Stops conflict analysis at the first Unique Implication Point
0.30/0.37	c org.sat4j.minisat.constraints.MixedDataStructureDaniel@1d2068d
0.30/0.37	c Learn all clauses as in MiniSAT
0.30/0.37	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.37	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.30/0.37	c Expensive reason simplification
0.30/0.37	c MiniSAT restarts strategy
0.30/0.37	c timeout=2147483s
0.30/0.37	c DB Simplification allowed=false
0.30/0.37	c --- End Solver configuration ---
0.30/0.37	c solving HOME/instance-1038908-1214966022.xml
0.30/0.37	c reading problem ... 
0.59/0.62	c reading problem named null
0.59/0.62	c reading domains done.
0.59/0.63	c reading variables done.
0.80/0.88	c reading relations done.
1.00/1.03	c reading constraints
3.69/3.70	c done with constraints.
3.69/3.70	c ... done. Wall clock time 3.334s.
3.69/3.70	c #vars     7334
3.69/3.70	c #constraints  292712
3.69/3.70	c constraints type 
3.69/3.70	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 292082
3.69/3.70	c org.sat4j.minisat.constraints.card.AtLeast => 206
1701.99/1710.65	c cleaning 263239 clauses out of 526500 for limit 1120.6891223214568
1707.24/1715.94	c cleaning 131868 clauses out of 263760 for limit 3685.4962463337
1709.12/1717.87	c cleaning 66145 clauses out of 132392 for limit 12108.742713332638
1710.31/1719.03	c cleaning 33301 clauses out of 66747 for limit 39608.183979140726
1711.10/1719.85	c cleaning 16905 clauses out of 33946 for limit 128435.16899097065
1711.70/1720.48	c cleaning 8701 clauses out of 17542 for limit 410283.31936193357
1712.29/1721.00	c cleaning 4595 clauses out of 9340 for limit 1269513.9169547043
1712.69/1721.43	c cleaning 2550 clauses out of 5245 for limit 3728161.6682681413
1712.98/1721.71	c cleaning 1516 clauses out of 3195 for limit 1.0093115751110647E7
1713.18/1721.91	c cleaning 1027 clauses out of 2179 for limit 2.4405896948190812E7
1713.38/1722.16	c cleaning 821 clauses out of 1652 for limit 5.308818129326526E7
1713.58/1722.33	c cleaning 663 clauses out of 1333 for limit 1.0871829968446831E8
1713.78/1722.55	c cleaning 539 clauses out of 1172 for limit 2.0432904249149534E8
1713.97/1722.75	c cleaning 563 clauses out of 1131 for limit 3.484832995018107E8
1714.17/1722.95	c cleaning 529 clauses out of 1067 for limit 6.085573762300594E8
1714.37/1723.18	c cleaning 444 clauses out of 1037 for limit 1.031593433642401E9
1714.58/1723.39	c cleaning 545 clauses out of 1093 for limit 1.6140725457414691E9
1714.87/1723.64	c cleaning 519 clauses out of 1052 for limit 2.776651706380252E9
1715.07/1723.85	c cleaning 514 clauses out of 1031 for limit 4.662999240943075E9
1715.37/1724.10	c cleaning 502 clauses out of 1015 for limit 7.79551535383282E9
1715.57/1724.32	c cleaning 501 clauses out of 1013 for limit 1.2881229416697548E10
1715.77/1724.52	c cleaning 433 clauses out of 1013 for limit 2.1264134662838844E10
1800.00/1809.52	c starts		: 20
1800.00/1809.52	c conflicts		: 588141
1800.00/1809.52	c decisions		: 863863
1800.00/1809.52	c propagations		: 43508910
1800.00/1809.52	c inspects		: 2798714176
1800.00/1809.52	c learnt literals	: 1
1800.00/1809.52	c learnt binary clauses	: 45
1800.00/1809.52	c learnt ternary clauses	: 16
1800.00/1809.52	c learnt clauses	: 588140
1800.00/1809.52	c ignored clauses	: 0
1800.00/1809.52	c root simplifications	: 0
1800.00/1809.52	c removed literals (reason simplification)	: 77581697
1800.00/1809.52	c reason swapping (by a shorter reason)	: 0
1800.00/1809.52	c Calls to reduceDB	: 22
1800.00/1809.52	c speed (assignments/second)	: 24093.953822179843
1800.00/1809.52	c non guided choices	12322
1800.00/1809.52	s UNKNOWN
1800.00/1809.52	c Total wall clock time (in seconds) : 1809.149

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1038908-1214966022/watcher-1038908-1214966022 -o /tmp/evaluation-result-1038908-1214966022/solver-1038908-1214966022 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1038908-1214966022.xml 

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): 2200 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
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: 2.17 2.06 2.01 4/81 17406
/proc/meminfo: memFree=557520/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=152 CPUtime=0
/proc/17406/stat : 17406 (java) R 17404 17406 15327 0 -1 0 211 0 0 0 0 0 0 0 18 0 1 0 619539327 155648 26 996147200 134512640 134550740 4294956032 18446744073709551615 7893291 0 0 4096 0 0 0 0 17 0 0 0
/proc/17406/statm: 38 26 19 9 0 4 0

[startup+0.076255 s]
/proc/loadavg: 2.17 2.06 2.01 4/81 17406
/proc/meminfo: memFree=557520/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=802236 CPUtime=0.06
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 2864 0 1 0 5 1 0 0 18 0 7 0 619539327 821489664 2599 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 200559 2600 1011 9 0 197942 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 802236

[startup+0.101265 s]
/proc/loadavg: 2.17 2.06 2.01 4/81 17406
/proc/meminfo: memFree=557520/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=804756 CPUtime=0.08
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 3227 0 1 0 7 1 0 0 18 0 12 0 619539327 824070144 2958 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 201189 2960 1220 9 0 198558 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 804756

[startup+0.301303 s]
/proc/loadavg: 2.17 2.06 2.01 4/81 17406
/proc/meminfo: memFree=557520/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=807856 CPUtime=0.3
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 5001 0 1 0 27 3 0 0 18 0 12 0 619539327 827244544 4330 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 201964 4330 1310 9 0 199333 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 807856

[startup+0.701376 s]
/proc/loadavg: 2.17 2.06 2.01 4/81 17406
/proc/meminfo: memFree=557520/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=807884 CPUtime=0.7
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 6376 0 1 0 65 5 0 0 18 0 12 0 619539327 827273216 5525 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 201971 5526 1335 9 0 199333 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 807884

[startup+1.50253 s]
/proc/loadavg: 2.17 2.06 2.01 3/93 17418
/proc/meminfo: memFree=538224/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=810076 CPUtime=1.49
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 9369 0 1 0 143 6 0 0 18 0 12 0 619539327 829517824 7166 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 202519 7166 1349 9 0 199881 0
[pid=17406/tid=17408] ppid=17404 vsize=810076 CPUtime=0.72
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 5090 0 1 0 68 4 0 0 25 0 12 0 619539328 829517824 7166 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17409] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 619539329 829517824 7166 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17410] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 619539329 829517824 7167 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17411] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 619539330 829517824 7168 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17412] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 24 0 12 0 619539331 829517824 7169 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 12 0 619539331 829517824 7170 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 619539335 829517824 7171 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=810076 CPUtime=0.33
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 1130 0 0 0 33 0 0 0 16 0 12 0 619539335 829517824 7171 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17416] ppid=17404 vsize=810076 CPUtime=0.42
/proc/17406/task/17416/stat : 17416 (java) R 17404 17406 15327 0 -1 64 2389 0 0 0 41 1 0 0 16 0 12 0 619539335 829517824 7172 996147200 134512640 134550740 4294956032 18446744073709551615 105689618 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17417] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 619539335 829517824 7172 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=810076 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 619539335 829517824 7172 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 810076

[startup+3.10184 s]
/proc/loadavg: 2.17 2.06 2.01 4/93 17418
/proc/meminfo: memFree=526320/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=809804 CPUtime=3.09
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 15598 0 1 0 301 8 0 0 18 0 12 0 619539327 829239296 13002 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 202451 13003 1355 9 0 199813 0
[pid=17406/tid=17408] ppid=17404 vsize=809804 CPUtime=1.32
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 10795 0 1 0 126 6 0 0 25 0 12 0 619539328 829239296 13003 996147200 134512640 134550740 4294956032 18446744073709551615 4109672960 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17409] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 619539329 829239296 13003 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17410] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 619539329 829239296 13004 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17411] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 619539330 829239296 13005 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17412] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 24 0 12 0 619539331 829239296 13005 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 12 0 619539331 829239296 13006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 619539335 829239296 13006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=809804 CPUtime=0.82
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 1169 0 0 0 82 0 0 0 16 0 12 0 619539335 829239296 13006 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17416] ppid=17404 vsize=809804 CPUtime=0.92
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2869 0 0 0 91 1 0 0 16 0 12 0 619539335 829239296 13008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17417] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 619539335 829239296 13008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=809804 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 619539335 829239296 13008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 809804

[startup+6.30245 s]
/proc/loadavg: 2.15 2.06 2.01 3/94 17419
/proc/meminfo: memFree=490024/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=814572 CPUtime=6.29
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 22696 0 1 0 617 12 0 0 18 0 13 0 619539327 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 203643 18411 1378 9 0 201005 0
[pid=17406/tid=17408] ppid=17404 vsize=814572 CPUtime=3.35
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 15008 0 1 0 327 8 0 0 25 0 13 0 619539328 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4109982464 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17409] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 3 0 0 0 0 0 0 0 21 0 13 0 619539329 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17410] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 619539329 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17411] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 619539330 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17412] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 24 0 13 0 619539331 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539331 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=814572 CPUtime=1.59
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4000 0 0 0 158 1 0 0 15 0 13 0 619539335 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17416] ppid=17404 vsize=814572 CPUtime=1.31
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2918 0 0 0 130 1 0 0 16 0 13 0 619539335 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17417] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 834121728 18411 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 814572

[startup+12.7017 s]
/proc/loadavg: 2.22 2.07 2.02 3/94 17419
/proc/meminfo: memFree=481384/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=814572 CPUtime=12.68
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 27022 0 1 0 1255 13 0 0 18 0 13 0 619539327 834121728 22735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 203643 22741 1381 9 0 201005 0
[pid=17406/tid=17408] ppid=17404 vsize=814572 CPUtime=9.62
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 17022 0 1 0 953 9 0 0 25 0 13 0 619539328 834121728 22745 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17409] ppid=17404 vsize=814572 CPUtime=0.03
/proc/17406/task/17409/stat : 17409 (java) R 17404 17406 15327 0 -1 64 1406 0 0 0 3 0 0 0 17 0 13 0 619539329 834121728 22750 996147200 134512640 134550740 4294956032 18446744073709551615 106160161 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17410] ppid=17404 vsize=814572 CPUtime=0.02
/proc/17406/task/17410/stat : 17410 (java) R 17404 17406 15327 0 -1 64 920 0 0 0 2 0 0 0 17 0 13 0 619539329 834121728 22755 996147200 134512640 134550740 4294956032 18446744073709551615 106160161 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17411] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 619539330 834121728 22762 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17412] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 24 0 13 0 619539331 834121728 22767 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539331 834121728 22773 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 834121728 22779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=814572 CPUtime=1.63
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4004 0 0 0 162 1 0 0 16 0 13 0 619539335 834121728 22785 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17416] ppid=17404 vsize=814572 CPUtime=1.34
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2919 0 0 0 133 1 0 0 16 0 13 0 619539335 834121728 22791 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17417] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 834121728 22796 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 834121728 22801 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 834121728 22807 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 814572

[startup+25.5021 s]
/proc/loadavg: 2.17 2.07 2.02 3/94 17419
/proc/meminfo: memFree=448872/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=814572 CPUtime=25.48
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 32596 0 1 0 2533 15 0 0 18 0 13 0 619539327 834121728 28308 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 203643 28308 1382 9 0 201005 0
[pid=17406/tid=17408] ppid=17404 vsize=814572 CPUtime=22.25
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 17022 0 1 0 2216 9 0 0 25 0 13 0 619539328 834121728 28308 996147200 134512640 134550740 4294956032 18446744073709551615 4110104771 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17409] ppid=17404 vsize=814572 CPUtime=0.1
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 4809 0 0 0 9 1 0 0 18 0 13 0 619539329 834121728 28308 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17410] ppid=17404 vsize=814572 CPUtime=0.09
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 3047 0 0 0 9 0 0 0 18 0 13 0 619539329 834121728 28308 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17411] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 619539330 834121728 28308 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17412] ppid=17404 vsize=814572 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 619539331 834121728 28308 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

[pid=17406/tid=17411] ppid=17404 vsize=819700 CPUtime=2.34
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 5709 0 0 0 232 2 0 0 16 0 13 0 619539330 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17412] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=819700 CPUtime=1.65
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4005 0 0 0 164 1 0 0 16 0 13 0 619539335 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17416] ppid=17404 vsize=819700 CPUtime=1.35
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2919 0 0 0 134 1 0 0 16 0 13 0 619539335 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17417] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 839372800 161613 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.34
Current children cumulated vsize (KiB) 819700

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17506
/proc/meminfo: memFree=544104/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=819700 CPUtime=1654.15
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 203574 0 1 0 165325 90 0 0 18 0 13 0 619539327 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 204925 167506 1387 9 0 202287 0
[pid=17406/tid=17408] ppid=17404 vsize=819700 CPUtime=1642.75
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 17039 0 1 0 164262 13 0 0 25 0 13 0 619539328 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4109977759 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17409] ppid=17404 vsize=819700 CPUtime=2.34
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 87046 0 0 0 200 34 0 0 16 0 13 0 619539329 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17410] ppid=17404 vsize=819700 CPUtime=2.27
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 78858 0 0 0 194 33 0 0 17 0 13 0 619539329 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17411] ppid=17404 vsize=819700 CPUtime=3.72
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 12940 0 0 0 367 5 0 0 16 0 13 0 619539330 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17412] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=819700 CPUtime=1.65
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4005 0 0 0 164 1 0 0 16 0 13 0 619539335 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17416] ppid=17404 vsize=819700 CPUtime=1.35
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2919 0 0 0 134 1 0 0 16 0 13 0 619539335 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17417] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 839372800 167506 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.15
Current children cumulated vsize (KiB) 819700

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17506
/proc/meminfo: memFree=543656/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=819700 CPUtime=1713.58
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 203586 0 1 0 171268 90 0 0 18 0 13 0 619539327 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 204925 167515 1391 9 0 202287 0
[pid=17406/tid=17408] ppid=17404 vsize=819700 CPUtime=1702
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 17043 0 1 0 170187 13 0 0 25 0 13 0 619539328 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4109557184 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17409] ppid=17404 vsize=819700 CPUtime=2.34
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 87046 0 0 0 200 34 0 0 16 0 13 0 619539329 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17410] ppid=17404 vsize=819700 CPUtime=2.27
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 78858 0 0 0 194 33 0 0 17 0 13 0 619539329 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17411] ppid=17404 vsize=819700 CPUtime=3.72
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 12940 0 0 0 367 5 0 0 16 0 13 0 619539330 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17412] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=819700 CPUtime=1.72
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4009 0 0 0 171 1 0 0 17 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17416] ppid=17404 vsize=819700 CPUtime=1.47
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2923 0 0 0 146 1 0 0 16 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17417] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.58
Current children cumulated vsize (KiB) 819700

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17506
/proc/meminfo: memFree=541416/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=819700 CPUtime=1773.01
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 204089 0 1 0 177210 91 0 0 18 0 13 0 619539327 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 204925 167515 1391 9 0 202287 0
[pid=17406/tid=17408] ppid=17404 vsize=819700 CPUtime=1760.81
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 17045 0 1 0 176068 13 0 0 25 0 13 0 619539328 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4110116851 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17409] ppid=17404 vsize=819700 CPUtime=2.4
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 87046 0 0 0 206 34 0 0 17 0 13 0 619539329 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17410] ppid=17404 vsize=819700 CPUtime=2.35
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 78858 0 0 0 202 33 0 0 17 0 13 0 619539329 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17411] ppid=17404 vsize=819700 CPUtime=4.19
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 13441 0 0 0 414 5 0 0 16 0 13 0 619539330 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17412] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=819700 CPUtime=1.72
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4009 0 0 0 171 1 0 0 17 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17416] ppid=17404 vsize=819700 CPUtime=1.47
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2923 0 0 0 146 1 0 0 16 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17417] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.01
Current children cumulated vsize (KiB) 819700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17506
/proc/meminfo: memFree=541416/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=819700 CPUtime=1800
/proc/17406/stat : 17406 (java) S 17404 17406 15327 0 -1 0 204090 0 1 0 179909 91 0 0 18 0 13 0 619539327 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17406/statm: 204925 167515 1391 9 0 202287 0
[pid=17406/tid=17408] ppid=17404 vsize=819700 CPUtime=1787.61
/proc/17406/task/17408/stat : 17408 (java) R 17404 17406 15327 0 -1 64 17046 0 1 0 178748 13 0 0 25 0 13 0 619539328 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4109981487 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17409] ppid=17404 vsize=819700 CPUtime=2.49
/proc/17406/task/17409/stat : 17409 (java) S 17404 17406 15327 0 -1 64 87046 0 0 0 215 34 0 0 16 0 13 0 619539329 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17410] ppid=17404 vsize=819700 CPUtime=2.44
/proc/17406/task/17410/stat : 17410 (java) S 17404 17406 15327 0 -1 64 78858 0 0 0 211 33 0 0 17 0 13 0 619539329 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17411] ppid=17404 vsize=819700 CPUtime=4.2
/proc/17406/task/17411/stat : 17411 (java) S 17404 17406 15327 0 -1 64 13441 0 0 0 415 5 0 0 16 0 13 0 619539330 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17412] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17412/stat : 17412 (java) S 17404 17406 15327 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17413] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17413/stat : 17413 (java) S 17404 17406 15327 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 619539331 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17414] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17414/stat : 17414 (java) S 17404 17406 15327 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17415] ppid=17404 vsize=819700 CPUtime=1.72
/proc/17406/task/17415/stat : 17415 (java) S 17404 17406 15327 0 -1 64 4009 0 0 0 171 1 0 0 17 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17416] ppid=17404 vsize=819700 CPUtime=1.47
/proc/17406/task/17416/stat : 17416 (java) S 17404 17406 15327 0 -1 64 2923 0 0 0 146 1 0 0 16 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17406/tid=17417] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17417/stat : 17417 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17418] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17418/stat : 17418 (java) S 17404 17406 15327 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 619539335 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17406/tid=17419] ppid=17404 vsize=819700 CPUtime=0
/proc/17406/task/17419/stat : 17419 (java) S 17404 17406 15327 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 619539699 839372800 167515 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 819700

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

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

[startup+1809.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17506
/proc/meminfo: memFree=541416/2055920 swapFree=4170004/4192956
[pid=17406] ppid=17404 vsize=0 CPUtime=1800.1
/proc/17406/stat : 17406 (java) Z 17404 17406 15327 0 -1 1036 204106 0 1 0 179914 96 0 0 16 0 2 0 619539327 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17406/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1809.66
CPU time (s): 1800.16
CPU user time (s): 1799.15
CPU system time (s): 1.01185
CPU usage (%): 99.475
Max. virtual memory (cumulated for all children) (KiB): 823704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 1.01185
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204106
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= 37720
involuntary context switches= 61026

runsolver used 2.55561 second user time and 5.72813 second system time

The end

Launcher Data (download as text)

Begin job on node5 at 2008-07-02 04:33:42
IDJOB=1038908
IDBENCH=53590
IDSOLVER=344
FILE ID=node5/1038908-1214966022
PBS_JOBID= 7870324
Free space on /tmp= 66448 MiB

SOLVER NAME= SAT4J CSP 2008-06-13
BENCH NAME= CPAI08/csp/BH-4-13/normalized-BlackHole-4-13-m-2_ext.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1038908-1214966022/watcher-1038908-1214966022 -o /tmp/evaluation-result-1038908-1214966022/solver-1038908-1214966022 -C 1800 -W 2200 -M 900 --output-limit 1,15  java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1038908-1214966022.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a7b2d88fca63e18bbc1a826209f183ae
RANDOM SEED=547329160

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

/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.279
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.279
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:        558000 kB
Buffers:         61504 kB
Cached:         782656 kB
SwapCached:      17400 kB
Active:         855064 kB
Inactive:       566356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        558000 kB
SwapTotal:     4192956 kB
SwapFree:      4170004 kB
Dirty:            1540 kB
Writeback:           0 kB
Mapped:         582536 kB
Slab:            60724 kB
Committed_AS:  1544336 kB
PageTables:       2916 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= 66536 MiB
End job on node5 at 2008-07-02 05:03:53