Trace number 2074980

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 2.1.1? 122.736 122.833

General information on the benchmark

Namecsp/rand-8-20-5/
normalized-rand-8-20-5-18-800-19_ext.xml
MD5SUM0d3371b4f098cfc1ba29218d9b5a7fe9
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.049
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints18
Maximum constraint arity8
Maximum domain size5
Number of constraints which are defined in extension18
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.14	c That software uses the Rhino library from the Mozilla project.
0.08/0.16	c version 2.1.1.v20090622
0.08/0.16	c sun.arch.data.model	32
0.08/0.16	c java.version	1.6.0_12
0.08/0.16	c os.name	Linux
0.08/0.16	c os.version	2.6.9-22.EL.rootsmp
0.08/0.16	c os.arch	i386
0.08/0.16	c Free memory 671000808
0.08/0.16	c Max memory 672137216
0.08/0.16	c Total memory 672137216
0.08/0.16	c Number of processors 2
0.19/0.25	c c --- Begin Solver configuration ---
0.19/0.25	c Stops conflict analysis at the first Unique Implication Point
0.19/0.25	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1f14ceb
0.19/0.25	c Learn all clauses as in MiniSAT
0.19/0.25	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.19/0.25	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.19/0.25	c Expensive reason simplification
0.19/0.25	c MiniSAT restarts strategy
0.19/0.25	c Memory based learned constraints deletion strategy
0.19/0.25	c timeout=2147483s
0.19/0.25	c DB Simplification allowed=false
0.19/0.25	c --- End Solver configuration ---
0.19/0.25	c solving HOME/instance-2074980-1247359516.xml
0.19/0.25	c reading problem ... 
0.48/0.52	c reading problem named null
0.48/0.52	c reading domains done.
0.48/0.52	c reading variables done.
0.48/0.54	c reading relations done.
14.01/14.11	c reading constraints
30.99/31.00	c done with constraints.
30.99/31.01	c ... done. Wall clock time 30.747s.
30.99/31.01	c #vars     100
30.99/31.01	c #constraints  5625110
30.99/31.01	c constraints type 
30.99/31.01	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5625090
30.99/31.01	c org.sat4j.minisat.constraints.card.AtLeast => 20
61.29/61.35	c cleaning 246 clauses out of 500
77.98/78.04	c cleaning 371 clauses out of 754
99.96/100.03	c cleaning 433 clauses out of 883
116.95/117.02	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
116.95/117.02		at org.sat4j.core.Vec.ensure(Unknown Source)
116.95/117.02		at org.sat4j.core.Vec.push(Unknown Source)
116.95/117.02		at org.sat4j.minisat.constraints.cnf.Lits.watch(Unknown Source)
116.95/117.02		at org.sat4j.minisat.constraints.cnf.WLClause.propagate(Unknown Source)
116.95/117.02		at org.sat4j.minisat.core.Solver.propagate(Unknown Source)
116.95/117.02		at org.sat4j.minisat.core.Solver.search(Unknown Source)
116.95/117.02		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
116.95/117.02		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
116.95/117.02		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
116.95/117.02		at org.sat4j.AbstractLauncher.solve(Unknown Source)
116.95/117.02		at org.sat4j.AbstractLauncher.run(Unknown Source)
116.95/117.02		at org.sat4j.csp.CSPLauncher.main(Unknown Source)
119.74/119.89	c starts		: 6
119.74/119.89	c conflicts		: 1769
119.74/119.89	c decisions		: 2955
119.74/119.89	c propagations		: 17102
119.74/119.89	c inspects		: 140474647
119.74/119.89	c learnt literals	: 0
119.74/119.89	c learnt binary clauses	: 0
119.74/119.89	c learnt ternary clauses	: 0
119.74/119.89	c learnt clauses	: 1769
119.74/119.89	c ignored clauses	: 0
119.74/119.89	c root simplifications	: 0
119.74/119.89	c removed literals (reason simplification)	: 462
119.74/119.89	c reason swapping (by a shorter reason)	: 0
119.74/119.89	c Calls to reduceDB	: 3
119.74/119.89	c speed (assignments/second)	: 192.40375312197648
119.74/119.89	c non guided choices	57
119.74/119.89	c learnt constraints type 
119.74/119.89	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 719
119.74/119.89	c constraints type 
119.74/119.89	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5625090
119.74/119.89	c org.sat4j.minisat.constraints.card.AtLeast => 20
119.74/119.89	s UNKNOWN
119.74/119.89	c Total wall clock time (in seconds) : 116.764

Verifier Data 

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

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2074980-1247359516/watcher-2074980-1247359516 -o /tmp/evaluation-result-2074980-1247359516/solver-2074980-1247359516 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2074980-1247359516.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): 2000 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


[startup+0 s]
/proc/loadavg: 2.09 1.67 1.75 3/82 23534
/proc/meminfo: memFree=1415904/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=1612 CPUtime=0
/proc/23534/stat : 23534 (java6) D 23532 23534 20198 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 23015675 1650688 150 996147200 134512640 134550932 4294956176 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 0 0 0
/proc/23534/statm: 403 150 114 9 0 45 0

[startup+0.049886 s]
/proc/loadavg: 2.09 1.67 1.75 3/82 23534
/proc/meminfo: memFree=1415904/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=801708 CPUtime=0.03
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 2531 0 1 0 2 1 0 0 18 0 6 0 23015675 820948992 2278 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 200427 2278 985 9 0 197778 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 801708

[startup+0.102321 s]
/proc/loadavg: 2.09 1.67 1.75 3/82 23534
/proc/meminfo: memFree=1415904/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=804428 CPUtime=0.08
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 2971 0 1 0 6 2 0 0 18 0 12 0 23015675 823734272 2714 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 201107 2714 1077 9 0 198441 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 804428

[startup+0.301342 s]
/proc/loadavg: 2.09 1.67 1.75 3/82 23534
/proc/meminfo: memFree=1415904/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=805628 CPUtime=0.28
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 4258 0 1 0 25 3 0 0 18 0 12 0 23015675 824963072 3995 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 201407 3995 1358 9 0 198734 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 805628

[startup+0.702391 s]
/proc/loadavg: 2.09 1.67 1.75 3/82 23534
/proc/meminfo: memFree=1415904/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=807184 CPUtime=0.69
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 7937 0 1 0 63 6 0 0 18 0 12 0 23015675 826556416 7391 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 201796 7391 1384 9 0 199123 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 807184

[startup+1.50247 s]
/proc/loadavg: 2.09 1.67 1.75 3/94 23546
/proc/meminfo: memFree=1382848/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=807356 CPUtime=1.47
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 12817 0 1 0 139 8 0 0 18 0 12 0 23015675 826732544 11980 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 201839 11980 1403 9 0 199166 0
[pid=23534/tid=23536] ppid=23532 vsize=807356 CPUtime=0.86
/proc/23534/task/23536/stat : 23536 (java) R 23532 23534 20198 0 -1 64 10505 0 1 0 79 7 0 0 23 0 12 0 23015677 826732544 11980 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23537] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23537/stat : 23537 (java) S 23532 23534 20198 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 23015678 826732544 11980 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23538] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23538/stat : 23538 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 23015678 826732544 11980 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23539] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23539/stat : 23539 (java) S 23532 23534 20198 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 23015680 826732544 11980 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23532 23534 20198 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 23015680 826732544 11980 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23532 23534 20198 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 23015680 826732544 11980 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 23015685 826732544 11980 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23543/stat : 23543 (java) S 23532 23534 20198 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 23015685 826732544 11980 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23544] ppid=23532 vsize=807356 CPUtime=0.59
/proc/23534/task/23544/stat : 23544 (java) R 23532 23534 20198 0 -1 64 1554 0 0 0 59 0 0 0 17 0 12 0 23015685 826732544 11980 996147200 134512640 134550932 4294956016 18446744073709551615 106032047 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23545] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 23015685 826732544 11980 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23546] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23546/stat : 23546 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 23015685 826732544 11980 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 807356

[startup+3.10162 s]
/proc/loadavg: 2.09 1.67 1.75 5/94 23546
/proc/meminfo: memFree=1327296/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=807356 CPUtime=3.05
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 27891 0 1 0 287 18 0 0 18 0 12 0 23015675 826732544 26804 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 201839 26804 1417 9 0 199166 0
[pid=23534/tid=23536] ppid=23532 vsize=807356 CPUtime=1.96
/proc/23534/task/23536/stat : 23536 (java) R 23532 23534 20198 0 -1 64 16903 0 1 0 185 11 0 0 25 0 12 0 23015677 826732544 26804 996147200 134512640 134550932 4294956016 18446744073709551615 4109656646 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23537] ppid=23532 vsize=807356 CPUtime=0.09
/proc/23534/task/23537/stat : 23537 (java) S 23532 23534 20198 0 -1 64 4459 0 0 0 7 2 0 0 16 0 12 0 23015678 826732544 26804 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23538] ppid=23532 vsize=807356 CPUtime=0.07
/proc/23534/task/23538/stat : 23538 (java) S 23532 23534 20198 0 -1 64 3935 0 0 0 5 2 0 0 16 0 12 0 23015678 826732544 26804 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23539] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23539/stat : 23539 (java) S 23532 23534 20198 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 23015680 826732544 26804 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23532 23534 20198 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 23015680 826732544 26804 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23532 23534 20198 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 23015680 826732544 26804 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 23015685 826732544 26804 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23543/stat : 23543 (java) S 23532 23534 20198 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 23015685 826732544 26804 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23544] ppid=23532 vsize=807356 CPUtime=0.89
/proc/23534/task/23544/stat : 23544 (java) S 23532 23534 20198 0 -1 64 1829 0 0 0 88 1 0 0 16 0 12 0 23015685 826732544 26804 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23545] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 23015685 826732544 26804 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23546] ppid=23532 vsize=807356 CPUtime=0
/proc/23534/task/23546/stat : 23546 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 23015685 826732544 26804 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 807356

[startup+6.30297 s]
/proc/loadavg: 2.08 1.68 1.75 3/94 23546
/proc/meminfo: memFree=1258368/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=807844 CPUtime=6.21
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 45826 0 1 0 593 28 0 0 18 0 12 0 23015675 827232256 44683 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 201961 44683 1420 9 0 199288 0
[pid=23534/tid=23536] ppid=23532 vsize=807844 CPUtime=4.51
/proc/23534/task/23536/stat : 23536 (java) R 23532 23534 20198 0 -1 64 16921 0 1 0 439 12 0 0 25 0 12 0 23015677 827232256 44683 996147200 134512640 134550932 4294956016 18446744073709551615 11746899 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23537] ppid=23532 vsize=807844 CPUtime=0.41
/proc/23534/task/23537/stat : 23537 (java) S 23532 23534 20198 0 -1 64 14959 0 0 0 34 7 0 0 16 0 12 0 23015678 827232256 44683 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23538] ppid=23532 vsize=807844 CPUtime=0.36
/proc/23534/task/23538/stat : 23538 (java) S 23532 23534 20198 0 -1 64 11352 0 0 0 30 6 0 0 16 0 12 0 23015678 827232256 44683 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23539] ppid=23532 vsize=807844 CPUtime=0
/proc/23534/task/23539/stat : 23539 (java) S 23532 23534 20198 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 23015680 827232256 44683 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23532 vsize=807844 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23532 23534 20198 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 23015680 827232256 44683 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23532 vsize=807844 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23532 23534 20198 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 23015680 827232256 44683 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23532 vsize=807844 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 23015685 827232256 44683 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23532 vsize=807844 CPUtime=0
/proc/23534/task/23543/stat : 23543 (java) S 23532 23534 20198 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 23015685 827232256 44683 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23544] ppid=23532 vsize=807844 CPUtime=0.89
/proc/23534/task/23544/stat : 23544 (java) S 23532 23534 20198 0 -1 64 1829 0 0 0 88 1 0 0 16 0 12 0 23015685 827232256 44683 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23545] ppid=23532 vsize=807844 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 23015685 827232256 44683 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23546] ppid=23532 vsize=807844 CPUtime=0
/proc/23534/task/23546/stat : 23546 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 23015685 827232256 44683 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 807844

[startup+12.7026 s]
/proc/loadavg: 2.15 1.70 1.76 6/94 23546
/proc/meminfo: memFree=1121024/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=807680 CPUtime=12.61
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 80993 0 1 0 1213 48 0 0 18 0 12 0 23015675 827064320 79781 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 201920 79782 1420 9 0 199247 0
[pid=23534/tid=23536] ppid=23532 vsize=807680 CPUtime=9.59
/proc/23534/task/23536/stat : 23536 (java) R 23532 23534 20198 0 -1 64 16950 0 1 0 946 13 0 0 25 0 12 0 23015677 827064320 79783 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23537] ppid=23532 vsize=807680 CPUtime=1.04
/proc/23534/task/23537/stat : 23537 (java) R 23532 23534 20198 0 -1 64 32209 0 0 0 89 15 0 0 15 0 12 0 23015678 827064320 79785 996147200 134512640 134550932 4294956016 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23538] ppid=23532 vsize=807680 CPUtime=1.02
/proc/23534/task/23538/stat : 23538 (java) R 23532 23534 20198 0 -1 64 29244 0 0 0 87 15 0 0 16 0 12 0 23015678 827064320 79786 996147200 134512640 134550932 4294956016 18446744073709551615 106193762 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23539] ppid=23532 vsize=807680 CPUtime=0
/proc/23534/task/23539/stat : 23539 (java) S 23532 23534 20198 0 -1 64 10 0 0 0 0 0 0 0 15 0 12 0 23015680 827064320 79787 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23540] ppid=23532 vsize=807680 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23532 23534 20198 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 23015680 827064320 79789 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23532 vsize=807680 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23532 23534 20198 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 23015680 827064320 79790 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23532 vsize=807680 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 23015685 827064320 79791 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23532 vsize=807680 CPUtime=0
/proc/23534/task/23543/stat : 23543 (java) S 23532 23534 20198 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 23015685 827064320 79793 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23544] ppid=23532 vsize=807680 CPUtime=0.89
/proc/23534/task/23544/stat : 23544 (java) S 23532 23534 20198 0 -1 64 1829 0 0 0 88 1 0 0 17 0 12 0 23015685 827064320 79794 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23545] ppid=23532 vsize=807680 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 23015685 827064320 79795 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23546] ppid=23532 vsize=807680 CPUtime=0
/proc/23534/task/23546/stat : 23546 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 23015685 827064320 79796 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 807680

[startup+25.5029 s]
/proc/loadavg: 2.34 1.76 1.78 4/94 23546
/proc/meminfo: memFree=744960/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=810424 CPUtime=25.41
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 171405 0 1 0 2450 91 0 0 18 0 12 0 23015675 829874176 168729 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 202606 168729 1425 9 0 199933 0
[pid=23534/tid=23536] ppid=23532 vsize=810424 CPUtime=14.51
/proc/23534/task/23536/stat : 23536 (java) R 23532 23534 20198 0 -1 64 16982 0 1 0 1437 14 0 0 16 0 12 0 23015677 829874176 168729 996147200 134512640 134550932 4294956016 18446744073709551615 4109678297 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23537] ppid=23532 vsize=810424 CPUtime=3.66
/proc/23534/task/23537/stat : 23537 (java) S 23532 23534 20198 0 -1 64 82738 0 0 0 326 40 0 0 17 0 12 0 23015678 829874176 168729 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23538] ppid=23532 vsize=810424 CPUtime=3.8
/proc/23534/task/23538/stat : 23538 (java) S 23532 23534 20198 0 -1 64 67337 0 0 0 348 32 0 0 17 0 12 0 23015678 829874176 168729 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23539] ppid=23532 vsize=810424 CPUtime=2.23
/proc/23534/task/23539/stat : 23539 (java) R 23532 23534 20198 0 -1 64 280 0 0 0 222 1 0 0 18 0 12 0 23015680 829874176 168729 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23540] ppid=23532 vsize=810424 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23532 23534 20198 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 23015680 829874176 168729 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23532 vsize=810424 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23532 23534 20198 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 23015680 829874176 168729 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23532 vsize=810424 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 23015685 829874176 168729 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23532 vsize=810424 CPUtime=0

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

/proc/23534/statm: 203011 172091 1451 9 0 200338 0
[pid=23534/tid=23536] ppid=23532 vsize=812044 CPUtime=32.68
/proc/23534/task/23536/stat : 23536 (java) S 23532 23534 20198 0 -1 64 17036 0 1 0 3254 14 0 0 18 0 14 0 23015677 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23537] ppid=23532 vsize=812044 CPUtime=5.34
/proc/23534/task/23537/stat : 23537 (java) S 23532 23534 20198 0 -1 64 84274 0 0 0 493 41 0 0 15 0 14 0 23015678 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23538] ppid=23532 vsize=812044 CPUtime=5.49
/proc/23534/task/23538/stat : 23538 (java) S 23532 23534 20198 0 -1 64 68423 0 0 0 516 33 0 0 16 0 14 0 23015678 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23539] ppid=23532 vsize=812044 CPUtime=72.82
/proc/23534/task/23539/stat : 23539 (java) R 23532 23534 20198 0 -1 64 13820 0 0 0 7272 10 0 0 25 0 14 0 23015680 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 106157706 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23532 23534 20198 0 -1 64 11 0 0 0 0 0 0 0 16 0 14 0 23015680 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23541] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23532 23534 20198 0 -1 64 7 0 0 0 0 0 0 0 16 0 14 0 23015680 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23542] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 18 0 14 0 23015685 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23532 vsize=812044 CPUtime=0.62
/proc/23534/task/23543/stat : 23543 (java) S 23532 23534 20198 0 -1 64 922 0 0 0 62 0 0 0 17 0 14 0 23015685 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23544] ppid=23532 vsize=812044 CPUtime=1.23
/proc/23534/task/23544/stat : 23544 (java) S 23532 23534 20198 0 -1 64 3315 0 0 0 122 1 0 0 16 0 14 0 23015685 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23545] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 20 0 14 0 23015685 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23546] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23546/stat : 23546 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 23015685 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23547] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23547/stat : 23547 (java) S 23532 23534 20198 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 23018776 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23567] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23567/stat : 23567 (java) S 23532 23534 20198 0 -1 64 4 0 0 0 0 0 0 0 18 0 14 0 23027378 831533056 172091 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 118.25
Current children cumulated vsize (KiB) 812044

[startup+119.908 s]
/proc/loadavg: 2.50 1.98 1.85 3/86 23577
/proc/meminfo: memFree=1163456/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=811040 CPUtime=119.83
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 188544 0 1 0 11880 103 0 0 18 0 13 0 23015675 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 202760 171842 1452 9 0 200087 0
[pid=23534/tid=23536] ppid=23532 vsize=811040 CPUtime=32.68
/proc/23534/task/23536/stat : 23536 (java) S 23532 23534 20198 0 -1 64 17036 0 1 0 3254 14 0 0 16 0 13 0 23015677 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23537] ppid=23532 vsize=811040 CPUtime=5.34
/proc/23534/task/23537/stat : 23537 (java) S 23532 23534 20198 0 -1 64 84274 0 0 0 493 41 0 0 15 0 13 0 23015678 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23538] ppid=23532 vsize=811040 CPUtime=5.49
/proc/23534/task/23538/stat : 23538 (java) S 23532 23534 20198 0 -1 64 68423 0 0 0 516 33 0 0 16 0 13 0 23015678 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23539] ppid=23532 vsize=811040 CPUtime=74.4
/proc/23534/task/23539/stat : 23539 (java) R 23532 23534 20198 0 -1 64 13820 0 0 0 7430 10 0 0 25 0 13 0 23015680 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 105696848 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23532 vsize=811040 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23532 23534 20198 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23015680 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23532 vsize=811040 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23532 23534 20198 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 23015680 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23532 vsize=811040 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 23015685 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23532 vsize=811040 CPUtime=0.62
/proc/23534/task/23543/stat : 23543 (java) S 23532 23534 20198 0 -1 64 922 0 0 0 62 0 0 0 17 0 13 0 23015685 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23544] ppid=23532 vsize=811040 CPUtime=1.23
/proc/23534/task/23544/stat : 23544 (java) S 23532 23534 20198 0 -1 64 3315 0 0 0 122 1 0 0 16 0 13 0 23015685 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23545] ppid=23532 vsize=811040 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23015685 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23546] ppid=23532 vsize=811040 CPUtime=0
/proc/23534/task/23546/stat : 23546 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23015685 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23547] ppid=23532 vsize=811040 CPUtime=0
/proc/23534/task/23547/stat : 23547 (java) S 23532 23534 20198 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23018776 830504960 171842 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 119.83
Current children cumulated vsize (KiB) 811040

[startup+121.503 s]
/proc/loadavg: 2.50 1.98 1.85 3/85 23577
/proc/meminfo: memFree=1163328/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=812044 CPUtime=121.41
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 188795 0 1 0 12038 103 0 0 18 0 13 0 23015675 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 203011 172093 1452 9 0 200338 0
[pid=23534/tid=23536] ppid=23532 vsize=812044 CPUtime=32.68
/proc/23534/task/23536/stat : 23536 (java) S 23532 23534 20198 0 -1 64 17036 0 1 0 3254 14 0 0 16 0 13 0 23015677 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23537] ppid=23532 vsize=812044 CPUtime=5.34
/proc/23534/task/23537/stat : 23537 (java) S 23532 23534 20198 0 -1 64 84274 0 0 0 493 41 0 0 15 0 13 0 23015678 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23538] ppid=23532 vsize=812044 CPUtime=5.49
/proc/23534/task/23538/stat : 23538 (java) S 23532 23534 20198 0 -1 64 68423 0 0 0 516 33 0 0 16 0 13 0 23015678 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23539] ppid=23532 vsize=812044 CPUtime=75.98
/proc/23534/task/23539/stat : 23539 (java) R 23532 23534 20198 0 -1 64 14071 0 0 0 7588 10 0 0 25 0 13 0 23015680 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 104187712 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23532 23534 20198 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23015680 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23532 23534 20198 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 23015680 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23532 vsize=812044 CPUtime=0.62
/proc/23534/task/23543/stat : 23543 (java) S 23532 23534 20198 0 -1 64 922 0 0 0 62 0 0 0 17 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23544] ppid=23532 vsize=812044 CPUtime=1.23
/proc/23534/task/23544/stat : 23544 (java) S 23532 23534 20198 0 -1 64 3315 0 0 0 122 1 0 0 16 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23545] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23546] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23546/stat : 23546 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23547] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23547/stat : 23547 (java) S 23532 23534 20198 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23018776 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 121.41
Current children cumulated vsize (KiB) 812044

[startup+122.302 s]
/proc/loadavg: 2.50 1.98 1.85 3/85 23577
/proc/meminfo: memFree=1163328/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=812044 CPUtime=122.21
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 188795 0 1 0 12118 103 0 0 18 0 13 0 23015675 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 203011 172093 1452 9 0 200338 0
[pid=23534/tid=23536] ppid=23532 vsize=812044 CPUtime=32.68
/proc/23534/task/23536/stat : 23536 (java) S 23532 23534 20198 0 -1 64 17036 0 1 0 3254 14 0 0 16 0 13 0 23015677 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23537] ppid=23532 vsize=812044 CPUtime=5.34
/proc/23534/task/23537/stat : 23537 (java) S 23532 23534 20198 0 -1 64 84274 0 0 0 493 41 0 0 15 0 13 0 23015678 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23538] ppid=23532 vsize=812044 CPUtime=5.49
/proc/23534/task/23538/stat : 23538 (java) S 23532 23534 20198 0 -1 64 68423 0 0 0 516 33 0 0 16 0 13 0 23015678 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23539] ppid=23532 vsize=812044 CPUtime=76.77
/proc/23534/task/23539/stat : 23539 (java) R 23532 23534 20198 0 -1 64 14071 0 0 0 7667 10 0 0 25 0 13 0 23015680 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 106159261 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23532 23534 20198 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23015680 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23532 23534 20198 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 23015680 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23532 vsize=812044 CPUtime=0.62
/proc/23534/task/23543/stat : 23543 (java) S 23532 23534 20198 0 -1 64 922 0 0 0 62 0 0 0 17 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23544] ppid=23532 vsize=812044 CPUtime=1.23
/proc/23534/task/23544/stat : 23544 (java) S 23532 23534 20198 0 -1 64 3315 0 0 0 122 1 0 0 16 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23545] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23546] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23546/stat : 23546 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23547] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23547/stat : 23547 (java) S 23532 23534 20198 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23018776 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 122.21
Current children cumulated vsize (KiB) 812044

[startup+122.702 s]
/proc/loadavg: 2.50 1.98 1.85 3/85 23577
/proc/meminfo: memFree=1163328/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=812044 CPUtime=122.6
/proc/23534/stat : 23534 (java) S 23532 23534 20198 0 -1 0 188795 0 1 0 12157 103 0 0 18 0 13 0 23015675 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 203011 172093 1452 9 0 200338 0
[pid=23534/tid=23536] ppid=23532 vsize=812044 CPUtime=32.68
/proc/23534/task/23536/stat : 23536 (java) S 23532 23534 20198 0 -1 64 17036 0 1 0 3254 14 0 0 16 0 13 0 23015677 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23537] ppid=23532 vsize=812044 CPUtime=5.34
/proc/23534/task/23537/stat : 23537 (java) S 23532 23534 20198 0 -1 64 84274 0 0 0 493 41 0 0 15 0 13 0 23015678 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23538] ppid=23532 vsize=812044 CPUtime=5.49
/proc/23534/task/23538/stat : 23538 (java) S 23532 23534 20198 0 -1 64 68423 0 0 0 516 33 0 0 16 0 13 0 23015678 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23539] ppid=23532 vsize=812044 CPUtime=77.17
/proc/23534/task/23539/stat : 23539 (java) R 23532 23534 20198 0 -1 64 14071 0 0 0 7707 10 0 0 25 0 13 0 23015680 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 106159206 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23540] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23540/stat : 23540 (java) S 23532 23534 20198 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23015680 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23541] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23541/stat : 23541 (java) S 23532 23534 20198 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 23015680 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23542] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23542/stat : 23542 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23543] ppid=23532 vsize=812044 CPUtime=0.62
/proc/23534/task/23543/stat : 23543 (java) S 23532 23534 20198 0 -1 64 922 0 0 0 62 0 0 0 17 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23544] ppid=23532 vsize=812044 CPUtime=1.23
/proc/23534/task/23544/stat : 23544 (java) S 23532 23534 20198 0 -1 64 3315 0 0 0 122 1 0 0 16 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23534/tid=23545] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23545/stat : 23545 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23546] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23546/stat : 23546 (java) S 23532 23534 20198 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 23015685 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23534/tid=23547] ppid=23532 vsize=812044 CPUtime=0
/proc/23534/task/23547/stat : 23547 (java) S 23532 23534 20198 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 23018776 831533056 172093 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 122.6
Current children cumulated vsize (KiB) 812044

[startup+122.802 s]
/proc/loadavg: 2.50 1.98 1.85 3/85 23577
/proc/meminfo: memFree=1163328/2055920 swapFree=4192812/4192956
[pid=23534] ppid=23532 vsize=0 CPUtime=122.7
/proc/23534/stat : 23534 (java) Z 23532 23534 20198 0 -1 12 188801 0 1 0 12159 111 0 0 16 0 2 0 23015675 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23534/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 122.7
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 122.833
CPU time (s): 122.736
CPU user time (s): 121.592
CPU system time (s): 1.14482
CPU usage (%): 99.9209
Max. virtual memory (cumulated for all children) (KiB): 814720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121.592
system time used= 1.14482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188801
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= 4666
involuntary context switches= 5995

runsolver used 0.227965 second user time and 0.485926 second system time

The end

Launcher Data 

Begin job on node44 at 2009-07-12 02:45:18
IDJOB=2074980
IDBENCH=56213
IDSOLVER=731
FILE ID=node44/2074980-1247359516
PBS_JOBID= 9506829
Free space on /tmp= 66360 MiB

SOLVER NAME= SAT4J CSP 2.1.1
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-19_ext.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2074980-1247359516/watcher-2074980-1247359516 -o /tmp/evaluation-result-2074980-1247359516/solver-2074980-1247359516 -C 1800 -W 2000 -M 900  java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2074980-1247359516.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0d3371b4f098cfc1ba29218d9b5a7fe9
RANDOM SEED=1875116802

node44.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.219
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.219
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:       1416384 kB
Buffers:         17888 kB
Cached:         113012 kB
SwapCached:          0 kB
Active:         556328 kB
Inactive:        32764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1416384 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           23184 kB
Writeback:           0 kB
Mapped:         478612 kB
Slab:            34704 kB
Committed_AS:   670492 kB
PageTables:       2680 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= 66356 MiB
End job on node44 at 2009-07-12 02:47:21