0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.15 c version CSP COMPETITION BUGFIX 3 CACHED
0.15 c sun.arch.data.model 32
0.15 c java.version 1.5.0_10
0.15 c os.name Linux
0.15 c os.version 2.6.9-22.EL.rootsmp
0.15 c os.arch i386
0.15 c Free memory 722620888
0.15 c Max memory 723845120
0.15 c Total memory 723845120
0.15 c Number of processors 2
0.24 c --- Begin Solver configuration ---
0.24 c Stops conflict analysis at the first Unique Implication Point
0.24 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.24 c Learn all clauses as in MiniSAT
0.24 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.24 c VSIDS like heuristics from MiniSAT using a heap
0.24 c No reason simplification
0.24 c --- End Solver configuration ---
0.24 c solving /tmp/evaluation/203175-1168157383/unknown.xml
0.24 c reading problem ...
0.49 c reading problem named ?
0.49 c reading domains done.
0.50 c reading variables
c reading variables (28) done.
0.54 c reading relations
c reading relations (93) done.
4.65 c reading constraints
c reading constraints done.
6.63 c ... done. Wall clock time 6.394s.
6.63 c CPU time (experimental) 4.5s.
6.63 c #vars 784
6.63 c #constraints 1290245
1815.73 c starts : 20
1815.73 c conflicts : 640688
1815.73 c decisions : 1104843
1815.73 c propagations : 39077952
1815.73 c inspects : 3731938567
1815.73 c learnt literals : 0
1815.73 c learnt binary clauses : 0
1815.73 c learnt ternary clauses : 166
1815.73 c learnt clauses : 640687
1815.73 c root simplifications : 0
1815.73 c removed literals (reason simplification) : 0
1815.73 c reason swapping (by a shorter reason) : 0
1815.73 c Calls to reduceDB : 0
1815.73 c speed (decisions/second) : 610.7151800041678
1815.73 c non guided choices 216
1815.73 s UNKNOWN
1815.73 c Total wall clock time (in seconds) : 1815.494
1815.73 c Total CPU time (experimental, in seconds) : 0.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-203175-1168157383 -o ROOT/results/node47/solver-203175-1168157383 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/203175-1168157383/sat4jCSP-bf3-cached.jar /tmp/evaluation/203175-1168157383/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.05 2.03 1.96 4/85 30893
/proc/meminfo: memFree=1173808/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=172 CPUtime=0
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 201 0 0 0 0 0 0 0 18 0 1 0 164137573 176128 24 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 10518827 0 0 4096 0 0 0 0 17 0 0 0
/proc/30892/statm: 43 24 18 14 0 3 0
[startup+0.107354 s]
/proc/loadavg: 2.05 2.03 1.96 4/85 30893
/proc/meminfo: memFree=1173808/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=902660 CPUtime=0.09
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 3403 0 1 0 7 2 0 0 25 0 12 0 164137573 924323840 3163 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151513458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30892/statm: 225665 3163 1582 14 0 212109 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 902660
[startup+0.515397 s]
/proc/loadavg: 2.05 2.03 1.96 4/85 30893
/proc/meminfo: memFree=1173808/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=905236 CPUtime=0.5
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 5975 0 1 0 46 4 0 0 25 0 12 0 164137573 926961664 5569 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30892/statm: 226309 5569 2291 14 0 212746 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 905236
[startup+1.33748 s]
/proc/loadavg: 2.05 2.03 1.96 3/96 30904
/proc/meminfo: memFree=1154392/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=907064 CPUtime=1.32
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 10249 0 1 0 125 7 0 0 25 0 12 0 164137573 928833536 9411 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054256461 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30892/statm: 226766 9417 2328 14 0 213203 0
[pid=30892/tid=30894] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30894/stat : 30894 (java) S 30890 30892 29962 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 164137576 928833536 9419 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30895] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30895/stat : 30895 (java) S 30890 30892 29962 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 164137576 928833536 9423 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30896] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30896/stat : 30896 (java) S 30890 30892 29962 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 164137579 928833536 9427 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30897] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30897/stat : 30897 (java) S 30890 30892 29962 0 -1 64 8 0 0 0 0 0 0 0 22 0 12 0 164137579 928833536 9431 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30898] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30898/stat : 30898 (java) S 30890 30892 29962 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 164137579 928833536 9434 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30899] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30899/stat : 30899 (java) S 30890 30892 29962 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 164137583 928833536 9438 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30900] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30900/stat : 30900 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 164137583 928833536 9442 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30901] ppid=30890 vsize=907064 CPUtime=0.27
/proc/30892/task/30901/stat : 30901 (java) S 30890 30892 29962 0 -1 64 298 0 0 0 27 0 0 0 16 0 12 0 164137583 928833536 9446 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30902] ppid=30890 vsize=907064 CPUtime=0.43
/proc/30892/task/30902/stat : 30902 (java) S 30890 30892 29962 0 -1 64 1515 0 0 0 43 0 0 0 16 0 12 0 164137583 928833536 9450 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30903] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30903/stat : 30903 (java) S 30890 30892 29962 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 164137583 928833536 9454 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30904] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30904/stat : 30904 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 164137583 928833536 9458 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 907064
[startup+2.99066 s]
/proc/loadavg: 2.04 2.03 1.96 3/96 30904
/proc/meminfo: memFree=1089560/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=907064 CPUtime=3
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 26820 0 1 0 284 16 0 0 25 0 12 0 164137573 928833536 25970 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054260063 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30892/statm: 226766 25970 2334 14 0 213203 0
[pid=30892/tid=30894] ppid=30890 vsize=907064 CPUtime=0.15
/proc/30892/task/30894/stat : 30894 (java) S 30890 30892 29962 0 -1 64 3109 0 0 0 14 1 0 0 16 0 12 0 164137576 928833536 25970 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30895] ppid=30890 vsize=907064 CPUtime=0.13
/proc/30892/task/30895/stat : 30895 (java) S 30890 30892 29962 0 -1 64 2226 0 0 0 13 0 0 0 16 0 12 0 164137576 928833536 25970 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30896] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30896/stat : 30896 (java) S 30890 30892 29962 0 -1 64 33 0 0 0 0 0 0 0 16 0 12 0 164137579 928833536 25970 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30897] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30897/stat : 30897 (java) S 30890 30892 29962 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 164137579 928833536 25970 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30898] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30898/stat : 30898 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 164137579 928833536 25970 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30899] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30899/stat : 30899 (java) S 30890 30892 29962 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 164137583 928833536 25970 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30900] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30900/stat : 30900 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 164137583 928833536 25970 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30901] ppid=30890 vsize=907064 CPUtime=0.27
/proc/30892/task/30901/stat : 30901 (java) S 30890 30892 29962 0 -1 64 299 0 0 0 27 0 0 0 17 0 12 0 164137583 928833536 25970 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30902] ppid=30890 vsize=907064 CPUtime=0.43
/proc/30892/task/30902/stat : 30902 (java) S 30890 30892 29962 0 -1 64 1519 0 0 0 43 0 0 0 17 0 12 0 164137583 928833536 25970 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30903] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30903/stat : 30903 (java) S 30890 30892 29962 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 164137583 928833536 25970 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30904] ppid=30890 vsize=907064 CPUtime=0
/proc/30892/task/30904/stat : 30904 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 164137583 928833536 25970 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 907064
[startup+6.199 s]
/proc/loadavg: 2.04 2.03 1.96 6/96 30904
/proc/meminfo: memFree=1062104/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=909532 CPUtime=6.45
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 45007 0 1 0 619 26 0 0 25 0 12 0 164137573 931360768 41329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054289306 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30892/statm: 227383 41329 2337 14 0 213820 0
[pid=30892/tid=30894] ppid=30890 vsize=909532 CPUtime=0.65
/proc/30892/task/30894/stat : 30894 (java) S 30890 30892 29962 0 -1 64 13495 0 0 0 59 6 0 0 18 0 12 0 164137576 931360768 41329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30895] ppid=30890 vsize=909532 CPUtime=0.59
/proc/30892/task/30895/stat : 30895 (java) S 30890 30892 29962 0 -1 64 9993 0 0 0 55 4 0 0 18 0 12 0 164137576 931360768 41329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30896] ppid=30890 vsize=909532 CPUtime=0
/proc/30892/task/30896/stat : 30896 (java) S 30890 30892 29962 0 -1 64 34 0 0 0 0 0 0 0 17 0 12 0 164137579 931360768 41329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30897] ppid=30890 vsize=909532 CPUtime=0
/proc/30892/task/30897/stat : 30897 (java) S 30890 30892 29962 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 164137579 931360768 41329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30898] ppid=30890 vsize=909532 CPUtime=0
/proc/30892/task/30898/stat : 30898 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 164137579 931360768 41329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30899] ppid=30890 vsize=909532 CPUtime=0
/proc/30892/task/30899/stat : 30899 (java) S 30890 30892 29962 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 164137583 931360768 41329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30900] ppid=30890 vsize=909532 CPUtime=0.01
/proc/30892/task/30900/stat : 30900 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 1 0 0 0 16 0 12 0 164137583 931360768 41329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30901] ppid=30890 vsize=909532 CPUtime=0.39
/proc/30892/task/30901/stat : 30901 (java) S 30890 30892 29962 0 -1 64 311 0 0 0 39 0 0 0 16 0 12 0 164137583 931360768 41329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30902] ppid=30890 vsize=909532 CPUtime=0.54
/proc/30892/task/30902/stat : 30902 (java) S 30890 30892 29962 0 -1 64 1525 0 0 0 54 0 0 0 16 0 12 0 164137583 931360768 41329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30903] ppid=30890 vsize=909532 CPUtime=0
/proc/30892/task/30903/stat : 30903 (java) S 30890 30892 29962 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 164137583 931360768 41329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30904] ppid=30890 vsize=909532 CPUtime=0
/proc/30892/task/30904/stat : 30904 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 164137583 931360768 41329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.45
Current children cumulated vsize (KiB) 909532
[startup+12.6957 s]
/proc/loadavg: 2.04 2.03 1.96 3/97 30905
/proc/meminfo: memFree=985744/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=911300 CPUtime=13.04
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 53112 0 1 0 1275 29 0 0 25 0 13 0 164137573 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054355253 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30892/statm: 227825 49257 2357 14 0 214262 0
[pid=30892/tid=30894] ppid=30890 vsize=911300 CPUtime=0.89
/proc/30892/task/30894/stat : 30894 (java) S 30890 30892 29962 0 -1 64 19384 0 0 0 81 8 0 0 17 0 13 0 164137576 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30895] ppid=30890 vsize=911300 CPUtime=0.85
/proc/30892/task/30895/stat : 30895 (java) S 30890 30892 29962 0 -1 64 12119 0 0 0 80 5 0 0 17 0 13 0 164137576 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30896] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30896/stat : 30896 (java) S 30890 30892 29962 0 -1 64 35 0 0 0 0 0 0 0 17 0 13 0 164137579 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30897] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30897/stat : 30897 (java) S 30890 30892 29962 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30898] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30898/stat : 30898 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30899] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30899/stat : 30899 (java) S 30890 30892 29962 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164137583 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30900] ppid=30890 vsize=911300 CPUtime=0.01
/proc/30892/task/30900/stat : 30900 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 164137583 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30901] ppid=30890 vsize=911300 CPUtime=0.62
/proc/30892/task/30901/stat : 30901 (java) S 30890 30892 29962 0 -1 64 338 0 0 0 62 0 0 0 16 0 13 0 164137583 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30902] ppid=30890 vsize=911300 CPUtime=0.85
/proc/30892/task/30902/stat : 30902 (java) S 30890 30892 29962 0 -1 64 1555 0 0 0 85 0 0 0 17 0 13 0 164137583 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30903] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30903/stat : 30903 (java) S 30890 30892 29962 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 164137583 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30904] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30904/stat : 30904 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 164137583 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30905] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30905/stat : 30905 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 164138237 933171200 49257 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.04
Current children cumulated vsize (KiB) 911300
[startup+25.5891 s]
/proc/loadavg: 2.03 2.03 1.96 3/97 30905
/proc/meminfo: memFree=985872/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=911300 CPUtime=25.9
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 53116 0 1 0 2561 29 0 0 25 0 13 0 164137573 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054355398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30892/statm: 227825 49259 2357 14 0 214262 0
[pid=30892/tid=30894] ppid=30890 vsize=911300 CPUtime=0.89
/proc/30892/task/30894/stat : 30894 (java) S 30890 30892 29962 0 -1 64 19384 0 0 0 81 8 0 0 17 0 13 0 164137576 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30895] ppid=30890 vsize=911300 CPUtime=0.85
/proc/30892/task/30895/stat : 30895 (java) S 30890 30892 29962 0 -1 64 12119 0 0 0 80 5 0 0 17 0 13 0 164137576 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30896] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30896/stat : 30896 (java) S 30890 30892 29962 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30897] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30897/stat : 30897 (java) S 30890 30892 29962 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30898] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30898/stat : 30898 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30899] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30899/stat : 30899 (java) S 30890 30892 29962 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164137583 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30900] ppid=30890 vsize=911300 CPUtime=0.01
/proc/30892/task/30900/stat : 30900 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 164137583 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30901] ppid=30890 vsize=911300 CPUtime=0.64
/proc/30892/task/30901/stat : 30901 (java) S 30890 30892 29962 0 -1 64 339 0 0 0 64 0 0 0 17 0 13 0 164137583 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30902] ppid=30890 vsize=911300 CPUtime=0.86
/proc/30892/task/30902/stat : 30902 (java) S 30890 30892 29962 0 -1 64 1556 0 0 0 86 0 0 0 16 0 13 0 164137583 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30903] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30903/stat : 30903 (java) S 30890 30892 29962 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 164137583 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30904] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30904/stat : 30904 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 164137583 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30905] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30905/stat : 30905 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 164138237 933171200 49259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.9
Current children cumulated vsize (KiB) 911300
[startup+51.2888 s]
/proc/loadavg: 2.02 2.03 1.96 3/97 30905
/proc/meminfo: memFree=964944/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=911300 CPUtime=51.65
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 58481 0 1 0 5132 33 0 0 25 0 13 0 164137573 933171200 54527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054355398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30892/statm: 227825 54527 2357 14 0 214262 0
[pid=30892/tid=30894] ppid=30890 vsize=911300 CPUtime=1.01
################
# More data... #
################
/proc/loadavg: 1.94 2.00 1.99 3/97 30962
/proc/meminfo: memFree=631824/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=911300 CPUtime=1589.82
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 175294 0 1 0 158891 91 0 0 25 0 13 0 164137573 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054355959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30892/statm: 227825 160830 2357 14 0 214262 0
[pid=30892/tid=30894] ppid=30890 vsize=911300 CPUtime=2.58
/proc/30892/task/30894/stat : 30894 (java) S 30890 30892 29962 0 -1 64 71897 0 0 0 228 30 0 0 16 0 13 0 164137576 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30892/tid=30895] ppid=30890 vsize=911300 CPUtime=2.56
/proc/30892/task/30895/stat : 30895 (java) S 30890 30892 29962 0 -1 64 81768 0 0 0 221 35 0 0 16 0 13 0 164137576 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30896] ppid=30890 vsize=911300 CPUtime=0.01
/proc/30892/task/30896/stat : 30896 (java) S 30890 30892 29962 0 -1 64 35 0 0 0 1 0 0 0 16 0 13 0 164137579 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30897] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30897/stat : 30897 (java) S 30890 30892 29962 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30898] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30898/stat : 30898 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30899] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30899/stat : 30899 (java) S 30890 30892 29962 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164137583 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30900] ppid=30890 vsize=911300 CPUtime=0.01
/proc/30892/task/30900/stat : 30900 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 164137583 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30901] ppid=30890 vsize=911300 CPUtime=0.65
/proc/30892/task/30901/stat : 30901 (java) S 30890 30892 29962 0 -1 64 339 0 0 0 65 0 0 0 16 0 13 0 164137583 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30902] ppid=30890 vsize=911300 CPUtime=0.87
/proc/30892/task/30902/stat : 30902 (java) S 30890 30892 29962 0 -1 64 1556 0 0 0 87 0 0 0 17 0 13 0 164137583 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30903] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30903/stat : 30903 (java) S 30890 30892 29962 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 164137583 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30904] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30904/stat : 30904 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 164137583 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30905] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30905/stat : 30905 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 164138237 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.82
Current children cumulated vsize (KiB) 911300
[startup+1664.13 s]
/proc/loadavg: 1.98 2.00 1.99 3/97 30962
/proc/meminfo: memFree=611216/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=911300 CPUtime=1649.74
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 175294 0 1 0 164883 91 0 0 25 0 13 0 164137573 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054388113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30892/statm: 227825 160830 2357 14 0 214262 0
[pid=30892/tid=30894] ppid=30890 vsize=911300 CPUtime=2.58
/proc/30892/task/30894/stat : 30894 (java) S 30890 30892 29962 0 -1 64 71897 0 0 0 228 30 0 0 16 0 13 0 164137576 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30892/tid=30895] ppid=30890 vsize=911300 CPUtime=2.56
/proc/30892/task/30895/stat : 30895 (java) S 30890 30892 29962 0 -1 64 81768 0 0 0 221 35 0 0 16 0 13 0 164137576 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30896] ppid=30890 vsize=911300 CPUtime=0.01
/proc/30892/task/30896/stat : 30896 (java) S 30890 30892 29962 0 -1 64 35 0 0 0 1 0 0 0 16 0 13 0 164137579 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30897] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30897/stat : 30897 (java) S 30890 30892 29962 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30898] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30898/stat : 30898 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30899] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30899/stat : 30899 (java) S 30890 30892 29962 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164137583 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30900] ppid=30890 vsize=911300 CPUtime=0.01
/proc/30892/task/30900/stat : 30900 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 164137583 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30901] ppid=30890 vsize=911300 CPUtime=0.65
/proc/30892/task/30901/stat : 30901 (java) S 30890 30892 29962 0 -1 64 339 0 0 0 65 0 0 0 16 0 13 0 164137583 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30902] ppid=30890 vsize=911300 CPUtime=0.87
/proc/30892/task/30902/stat : 30902 (java) S 30890 30892 29962 0 -1 64 1556 0 0 0 87 0 0 0 17 0 13 0 164137583 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30903] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30903/stat : 30903 (java) S 30890 30892 29962 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 164137583 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30904] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30904/stat : 30904 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 164137583 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30905] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30905/stat : 30905 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 164138237 933171200 160830 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.74
Current children cumulated vsize (KiB) 911300
[startup+1724.19 s]
/proc/loadavg: 1.99 2.00 1.99 3/97 30962
/proc/meminfo: memFree=556304/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=911300 CPUtime=1709.36
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 182832 0 1 0 170840 96 0 0 25 0 13 0 164137573 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054388470 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30892/statm: 227825 168220 2357 14 0 214262 0
[pid=30892/tid=30894] ppid=30890 vsize=911300 CPUtime=2.7
/proc/30892/task/30894/stat : 30894 (java) S 30890 30892 29962 0 -1 64 74844 0 0 0 238 32 0 0 16 0 13 0 164137576 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30892/tid=30895] ppid=30890 vsize=911300 CPUtime=2.69
/proc/30892/task/30895/stat : 30895 (java) S 30890 30892 29962 0 -1 64 86358 0 0 0 231 38 0 0 18 0 13 0 164137576 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30896] ppid=30890 vsize=911300 CPUtime=0.01
/proc/30892/task/30896/stat : 30896 (java) S 30890 30892 29962 0 -1 64 35 0 0 0 1 0 0 0 16 0 13 0 164137579 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30892/tid=30897] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30897/stat : 30897 (java) S 30890 30892 29962 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30898] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30898/stat : 30898 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30899] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30899/stat : 30899 (java) S 30890 30892 29962 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30900] ppid=30890 vsize=911300 CPUtime=0.01
/proc/30892/task/30900/stat : 30900 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30901] ppid=30890 vsize=911300 CPUtime=0.65
/proc/30892/task/30901/stat : 30901 (java) S 30890 30892 29962 0 -1 64 339 0 0 0 65 0 0 0 16 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30902] ppid=30890 vsize=911300 CPUtime=0.87
/proc/30892/task/30902/stat : 30902 (java) S 30890 30892 29962 0 -1 64 1556 0 0 0 87 0 0 0 17 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30903] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30903/stat : 30903 (java) S 30890 30892 29962 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30904] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30904/stat : 30904 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30905] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30905/stat : 30905 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 164138237 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.36
Current children cumulated vsize (KiB) 911300
[startup+1784.25 s]
/proc/loadavg: 1.99 2.00 1.99 3/97 30962
/proc/meminfo: memFree=528080/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=911300 CPUtime=1768.87
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 182832 0 1 0 176791 96 0 0 25 0 13 0 164137573 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054388524 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30892/statm: 227825 168220 2357 14 0 214262 0
[pid=30892/tid=30894] ppid=30890 vsize=911300 CPUtime=2.7
/proc/30892/task/30894/stat : 30894 (java) S 30890 30892 29962 0 -1 64 74844 0 0 0 238 32 0 0 16 0 13 0 164137576 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30892/tid=30895] ppid=30890 vsize=911300 CPUtime=2.69
/proc/30892/task/30895/stat : 30895 (java) S 30890 30892 29962 0 -1 64 86358 0 0 0 231 38 0 0 18 0 13 0 164137576 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30896] ppid=30890 vsize=911300 CPUtime=0.01
/proc/30892/task/30896/stat : 30896 (java) S 30890 30892 29962 0 -1 64 35 0 0 0 1 0 0 0 16 0 13 0 164137579 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30892/tid=30897] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30897/stat : 30897 (java) S 30890 30892 29962 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30898] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30898/stat : 30898 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30899] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30899/stat : 30899 (java) S 30890 30892 29962 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30900] ppid=30890 vsize=911300 CPUtime=0.01
/proc/30892/task/30900/stat : 30900 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30901] ppid=30890 vsize=911300 CPUtime=0.65
/proc/30892/task/30901/stat : 30901 (java) S 30890 30892 29962 0 -1 64 339 0 0 0 65 0 0 0 16 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30902] ppid=30890 vsize=911300 CPUtime=0.87
/proc/30892/task/30902/stat : 30902 (java) S 30890 30892 29962 0 -1 64 1556 0 0 0 87 0 0 0 17 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30903] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30903/stat : 30903 (java) S 30890 30892 29962 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30904] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30904/stat : 30904 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30905] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30905/stat : 30905 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 164138237 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.87
Current children cumulated vsize (KiB) 911300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.72 s]
/proc/loadavg: 2.05 2.01 2.00 3/97 30962
/proc/meminfo: memFree=500112/2055920 swapFree=4183928/4192956
[pid=30892] ppid=30890 vsize=911300 CPUtime=1800.03
/proc/30892/stat : 30892 (java) R 30890 30892 29962 0 -1 0 182832 0 1 0 179907 96 0 0 25 0 13 0 164137573 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054388113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30892/statm: 227825 168220 2357 14 0 214262 0
[pid=30892/tid=30894] ppid=30890 vsize=911300 CPUtime=2.7
/proc/30892/task/30894/stat : 30894 (java) S 30890 30892 29962 0 -1 64 74844 0 0 0 238 32 0 0 16 0 13 0 164137576 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30892/tid=30895] ppid=30890 vsize=911300 CPUtime=2.69
/proc/30892/task/30895/stat : 30895 (java) S 30890 30892 29962 0 -1 64 86358 0 0 0 231 38 0 0 18 0 13 0 164137576 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30896] ppid=30890 vsize=911300 CPUtime=0.01
/proc/30892/task/30896/stat : 30896 (java) S 30890 30892 29962 0 -1 64 35 0 0 0 1 0 0 0 16 0 13 0 164137579 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30892/tid=30897] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30897/stat : 30897 (java) S 30890 30892 29962 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30898] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30898/stat : 30898 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 164137579 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30899] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30899/stat : 30899 (java) S 30890 30892 29962 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30900] ppid=30890 vsize=911300 CPUtime=0.01
/proc/30892/task/30900/stat : 30900 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30901] ppid=30890 vsize=911300 CPUtime=0.65
/proc/30892/task/30901/stat : 30901 (java) S 30890 30892 29962 0 -1 64 339 0 0 0 65 0 0 0 16 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30902] ppid=30890 vsize=911300 CPUtime=0.87
/proc/30892/task/30902/stat : 30902 (java) S 30890 30892 29962 0 -1 64 1556 0 0 0 87 0 0 0 17 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30903] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30903/stat : 30903 (java) S 30890 30892 29962 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30904] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30904/stat : 30904 (java) S 30890 30892 29962 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 164137583 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30892/tid=30905] ppid=30890 vsize=911300 CPUtime=0
/proc/30892/task/30905/stat : 30905 (java) S 30890 30892 29962 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 164138237 933171200 168220 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 911300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1815.87
CPU time (s): 1800.18
CPU user time (s): 1799.11
CPU system time (s): 1.06784
CPU usage (%): 99.1358
Max. virtual memory (cumulated for all children) (KiB): 911332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.06784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182852
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= 37814
involuntary context switches= 64771
runsolver used 2.96055 s user time and 6.03008 s system time
The end
Begin job on node47 on Sun Jan 7 08:09:43 UTC 2007
IDJOB= 203175
IDBENCH= 3924
FILE ID= node47/203175-1168157383
PBS_JOBID= 3478492
Free space on /tmp= 66539 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-21_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/203175-1168157383/sat4jCSP-bf3-cached.jar /tmp/evaluation/203175-1168157383/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-203175-1168157383 -o ROOT/results/node47/solver-203175-1168157383 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/203175-1168157383/sat4jCSP-bf3-cached.jar /tmp/evaluation/203175-1168157383/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= cce2fe8a82350e68a666dd3adc81b815
RANDOM SEED= 715138047
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1174288 kB
Buffers: 27888 kB
Cached: 491720 kB
SwapCached: 3720 kB
Active: 370156 kB
Inactive: 454564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1174288 kB
SwapTotal: 4192956 kB
SwapFree: 4183928 kB
Dirty: 8220 kB
Writeback: 0 kB
Mapped: 320152 kB
Slab: 41540 kB
Committed_AS: 3961156 kB
PageTables: 2452 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= 66539 MiB
End job on node47 on Sun Jan 7 08:39:59 UTC 2007