0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.15 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.16 c version CSP COMPETITION BUGFIX 3
0.16 c sun.arch.data.model 32
0.16 c java.version 1.5.0_10
0.16 c os.name Linux
0.16 c os.version 2.6.9-22.EL.rootsmp
0.16 c os.arch i386
0.16 c Free memory 722620888
0.16 c Max memory 723845120
0.16 c Total memory 723845120
0.16 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/204704-1168166674/unknown.xml
0.24 c reading problem ...
0.50 c reading problem named ?
0.50 c reading domains done.
0.82 c reading variables
c reading variables (300) done.
1.22 c reading predicates
c reading relations (7) done.
1.41 c reading constraintsException in thread "main" java.lang.OutOfMemoryError: Java heap space
951.75 c starts : 0
951.75 c conflicts : 0
951.75 c decisions : 0
951.75 c propagations : 0
951.75 c inspects : 0
951.75 c learnt literals : 0
951.75 c learnt binary clauses : 0
951.75 c learnt ternary clauses : 0
951.75 c learnt clauses : 0
951.75 c root simplifications : 0
951.75 c removed literals (reason simplification) : 0
951.75 c reason swapping (by a shorter reason) : 0
951.75 c Calls to reduceDB : 0
951.75 c speed (decisions/second) : 0.0
951.75 c non guided choices 0
951.75 s UNKNOWN
955.37 c Total wall clock time (in seconds) : 948.346
955.37 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/node20/watcher-204704-1168166674 -o ROOT/results/node20/solver-204704-1168166674 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/204704-1168166674/sat4jCSP-bf3.jar /tmp/evaluation/204704-1168166674/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.96 2.04 1.73 4/97 18824
/proc/meminfo: memFree=697784/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=18540 CPUtime=0
/proc/18823/stat : 18823 (runsolver) R 18821 18823 18553 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 165061980 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18823/statm: 4635 279 244 17 0 2626 0
[startup+0.107837 s]
/proc/loadavg: 1.96 2.04 1.73 4/97 18824
/proc/meminfo: memFree=697784/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=901540 CPUtime=0.08
/proc/18823/stat : 18823 (java) R 18821 18823 18553 0 -1 0 3325 0 1 0 7 1 0 0 21 0 12 0 165061980 923176960 3085 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 8060145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18823/statm: 225385 3085 1561 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540
[startup+0.515878 s]
/proc/loadavg: 1.96 2.04 1.73 4/97 18824
/proc/meminfo: memFree=697784/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=906160 CPUtime=0.51
/proc/18823/stat : 18823 (java) R 18821 18823 18553 0 -1 0 6036 0 1 0 48 3 0 0 18 0 12 0 165061980 927907840 5630 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18823/statm: 226540 5630 2291 14 0 212977 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 906160
[startup+1.33898 s]
/proc/loadavg: 1.96 2.04 1.73 3/108 18835
/proc/meminfo: memFree=678688/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=907516 CPUtime=1.33
/proc/18823/stat : 18823 (java) R 18821 18823 18553 0 -1 0 11494 0 1 0 127 6 0 0 22 0 12 0 165061980 929296384 10454 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4149668675 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18823/statm: 226879 10454 2434 14 0 213316 0
[pid=18823/tid=18825] ppid=18821 vsize=907516 CPUtime=0
/proc/18823/task/18825/stat : 18825 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 165061984 929296384 10455 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18826] ppid=18821 vsize=907516 CPUtime=0
/proc/18823/task/18826/stat : 18826 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 165061984 929296384 10455 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18827] ppid=18821 vsize=907516 CPUtime=0
/proc/18823/task/18827/stat : 18827 (java) S 18821 18823 18553 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 165061986 929296384 10455 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18828] ppid=18821 vsize=907516 CPUtime=0
/proc/18823/task/18828/stat : 18828 (java) S 18821 18823 18553 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 165061987 929296384 10455 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18829] ppid=18821 vsize=907516 CPUtime=0
/proc/18823/task/18829/stat : 18829 (java) S 18821 18823 18553 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 165061987 929296384 10455 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18830] ppid=18821 vsize=907516 CPUtime=0
/proc/18823/task/18830/stat : 18830 (java) S 18821 18823 18553 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 165061991 929296384 10456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18831] ppid=18821 vsize=907516 CPUtime=0
/proc/18823/task/18831/stat : 18831 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 165061991 929296384 10456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18832] ppid=18821 vsize=907516 CPUtime=0.34
/proc/18823/task/18832/stat : 18832 (java) S 18821 18823 18553 0 -1 64 1163 0 0 0 34 0 0 0 16 0 12 0 165061991 929296384 10456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18833] ppid=18821 vsize=907516 CPUtime=0.31
/proc/18823/task/18833/stat : 18833 (java) S 18821 18823 18553 0 -1 64 568 0 0 0 31 0 0 0 16 0 12 0 165061991 929296384 10456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18834] ppid=18821 vsize=907516 CPUtime=0
/proc/18823/task/18834/stat : 18834 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 165061991 929296384 10456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18835] ppid=18821 vsize=907516 CPUtime=0
/proc/18823/task/18835/stat : 18835 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 165061991 929296384 10456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 907516
[startup+2.99218 s]
/proc/loadavg: 1.96 2.04 1.73 4/108 18835
/proc/meminfo: memFree=655328/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=913932 CPUtime=2.98
/proc/18823/stat : 18823 (java) R 18821 18823 18553 0 -1 0 28969 0 1 0 283 15 0 0 25 0 12 0 165061980 935866368 25934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054019679 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18823/statm: 228483 25934 2479 14 0 214920 0
[pid=18823/tid=18825] ppid=18821 vsize=913932 CPUtime=0.04
/proc/18823/task/18825/stat : 18825 (java) S 18821 18823 18553 0 -1 64 2330 0 0 0 4 0 0 0 17 0 12 0 165061984 935866368 25934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18826] ppid=18821 vsize=913932 CPUtime=0.02
/proc/18823/task/18826/stat : 18826 (java) S 18821 18823 18553 0 -1 64 1206 0 0 0 2 0 0 0 17 0 12 0 165061984 935866368 25934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18827] ppid=18821 vsize=913932 CPUtime=0
/proc/18823/task/18827/stat : 18827 (java) S 18821 18823 18553 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 165061986 935866368 25934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18828] ppid=18821 vsize=913932 CPUtime=0
/proc/18823/task/18828/stat : 18828 (java) S 18821 18823 18553 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 165061987 935866368 25934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18829] ppid=18821 vsize=913932 CPUtime=0
/proc/18823/task/18829/stat : 18829 (java) S 18821 18823 18553 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 165061987 935866368 25934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18830] ppid=18821 vsize=913932 CPUtime=0
/proc/18823/task/18830/stat : 18830 (java) S 18821 18823 18553 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 165061991 935866368 25934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18831] ppid=18821 vsize=913932 CPUtime=0
/proc/18823/task/18831/stat : 18831 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 165061991 935866368 25934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18832] ppid=18821 vsize=913932 CPUtime=0.49
/proc/18823/task/18832/stat : 18832 (java) S 18821 18823 18553 0 -1 64 1239 0 0 0 49 0 0 0 16 0 12 0 165061991 935866368 25934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18833] ppid=18821 vsize=913932 CPUtime=0.92
/proc/18823/task/18833/stat : 18833 (java) S 18821 18823 18553 0 -1 64 3871 0 0 0 90 2 0 0 16 0 12 0 165061991 935866368 25934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18834] ppid=18821 vsize=913932 CPUtime=0
/proc/18823/task/18834/stat : 18834 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 165061991 935866368 25934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18835] ppid=18821 vsize=913932 CPUtime=0
/proc/18823/task/18835/stat : 18835 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 165061991 935866368 25934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 913932
[startup+6.28857 s]
/proc/loadavg: 2.04 2.05 1.73 3/108 18835
/proc/meminfo: memFree=590760/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=914092 CPUtime=6.27
/proc/18823/stat : 18823 (java) R 18821 18823 18553 0 -1 0 34353 0 1 0 610 17 0 0 25 0 12 0 165061980 936030208 29473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054297090 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18823/statm: 228523 29473 2479 14 0 214960 0
[pid=18823/tid=18825] ppid=18821 vsize=914092 CPUtime=0.14
/proc/18823/task/18825/stat : 18825 (java) S 18821 18823 18553 0 -1 64 3654 0 0 0 14 0 0 0 16 0 12 0 165061984 936030208 29473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18826] ppid=18821 vsize=914092 CPUtime=0.16
/proc/18823/task/18826/stat : 18826 (java) S 18821 18823 18553 0 -1 64 3819 0 0 0 15 1 0 0 16 0 12 0 165061984 936030208 29473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18827] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18827/stat : 18827 (java) S 18821 18823 18553 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 165061986 936030208 29473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18828] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18828/stat : 18828 (java) S 18821 18823 18553 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 29473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18829] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18829/stat : 18829 (java) S 18821 18823 18553 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 29473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18830] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18830/stat : 18830 (java) S 18821 18823 18553 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 165061991 936030208 29473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18831] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18831/stat : 18831 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 165061991 936030208 29473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18832] ppid=18821 vsize=914092 CPUtime=0.52
/proc/18823/task/18832/stat : 18832 (java) S 18821 18823 18553 0 -1 64 1239 0 0 0 52 0 0 0 17 0 12 0 165061991 936030208 29473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18833] ppid=18821 vsize=914092 CPUtime=1.29
/proc/18823/task/18833/stat : 18833 (java) S 18821 18823 18553 0 -1 64 5311 0 0 0 126 3 0 0 17 0 12 0 165061991 936030208 29473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18834] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18834/stat : 18834 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 165061991 936030208 29473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18835] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18835/stat : 18835 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 165061991 936030208 29473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 914092
[startup+12.6943 s]
/proc/loadavg: 2.04 2.05 1.73 3/108 18835
/proc/meminfo: memFree=568936/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=914092 CPUtime=12.64
/proc/18823/stat : 18823 (java) R 18821 18823 18553 0 -1 0 39783 0 1 0 1245 19 0 0 25 0 12 0 165061980 936030208 34463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054281391 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18823/statm: 228523 34463 2479 14 0 214960 0
[pid=18823/tid=18825] ppid=18821 vsize=914092 CPUtime=0.23
/proc/18823/task/18825/stat : 18825 (java) S 18821 18823 18553 0 -1 64 6689 0 0 0 21 2 0 0 16 0 12 0 165061984 936030208 34463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18826] ppid=18821 vsize=914092 CPUtime=0.24
/proc/18823/task/18826/stat : 18826 (java) S 18821 18823 18553 0 -1 64 6196 0 0 0 22 2 0 0 16 0 12 0 165061984 936030208 34463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18827] ppid=18821 vsize=914092 CPUtime=0.01
/proc/18823/task/18827/stat : 18827 (java) S 18821 18823 18553 0 -1 64 12 0 0 0 1 0 0 0 16 0 12 0 165061986 936030208 34463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18828] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18828/stat : 18828 (java) S 18821 18823 18553 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 34463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18829] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18829/stat : 18829 (java) S 18821 18823 18553 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 34463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18830] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18830/stat : 18830 (java) S 18821 18823 18553 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 165061991 936030208 34463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18831] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18831/stat : 18831 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 165061991 936030208 34463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18832] ppid=18821 vsize=914092 CPUtime=0.63
/proc/18823/task/18832/stat : 18832 (java) S 18821 18823 18553 0 -1 64 1244 0 0 0 63 0 0 0 16 0 12 0 165061991 936030208 34463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18833] ppid=18821 vsize=914092 CPUtime=1.33
/proc/18823/task/18833/stat : 18833 (java) S 18821 18823 18553 0 -1 64 5311 0 0 0 130 3 0 0 17 0 12 0 165061991 936030208 34463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18834] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18834/stat : 18834 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 165061991 936030208 34463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18835] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18835/stat : 18835 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 165061991 936030208 34463 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 914092
[startup+25.5779 s]
/proc/loadavg: 2.03 2.05 1.74 4/108 18835
/proc/meminfo: memFree=543272/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=918188 CPUtime=25.4
/proc/18823/stat : 18823 (java) R 18821 18823 18553 0 -1 0 47249 0 1 0 2517 23 0 0 25 0 12 0 165061980 940224512 41205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054281757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18823/statm: 229547 41205 2480 14 0 215984 0
[pid=18823/tid=18825] ppid=18821 vsize=918188 CPUtime=0.31
/proc/18823/task/18825/stat : 18825 (java) S 18821 18823 18553 0 -1 64 9920 0 0 0 28 3 0 0 16 0 12 0 165061984 940224512 41205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18826] ppid=18821 vsize=918188 CPUtime=0.29
/proc/18823/task/18826/stat : 18826 (java) S 18821 18823 18553 0 -1 64 8769 0 0 0 27 2 0 0 15 0 12 0 165061984 940224512 41205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18827] ppid=18821 vsize=918188 CPUtime=0.01
/proc/18823/task/18827/stat : 18827 (java) S 18821 18823 18553 0 -1 64 12 0 0 0 1 0 0 0 16 0 12 0 165061986 940224512 41205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18828] ppid=18821 vsize=918188 CPUtime=0
/proc/18823/task/18828/stat : 18828 (java) S 18821 18823 18553 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 165061987 940224512 41205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18829] ppid=18821 vsize=918188 CPUtime=0
/proc/18823/task/18829/stat : 18829 (java) S 18821 18823 18553 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 165061987 940224512 41205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18830] ppid=18821 vsize=918188 CPUtime=0
/proc/18823/task/18830/stat : 18830 (java) S 18821 18823 18553 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 165061991 940224512 41205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18831] ppid=18821 vsize=918188 CPUtime=0
/proc/18823/task/18831/stat : 18831 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 165061991 940224512 41205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18832] ppid=18821 vsize=918188 CPUtime=0.64
/proc/18823/task/18832/stat : 18832 (java) S 18821 18823 18553 0 -1 64 1274 0 0 0 64 0 0 0 16 0 12 0 165061991 940224512 41205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18833] ppid=18821 vsize=918188 CPUtime=1.83
/proc/18823/task/18833/stat : 18833 (java) S 18821 18823 18553 0 -1 64 6920 0 0 0 179 4 0 0 17 0 12 0 165061991 940224512 41205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18834] ppid=18821 vsize=918188 CPUtime=0
/proc/18823/task/18834/stat : 18834 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 165061991 940224512 41205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18835] ppid=18821 vsize=918188 CPUtime=0
/proc/18823/task/18835/stat : 18835 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 165061991 940224512 41205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 918188
[startup+51.2 s]
/proc/loadavg: 2.02 2.04 1.74 4/108 18835
/proc/meminfo: memFree=492328/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=914092 CPUtime=50.89
/proc/18823/stat : 18823 (java) R 18821 18823 18553 0 -1 0 60690 0 1 0 5060 29 0 0 25 0 12 0 165061980 936030208 53599 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054413751 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18823/statm: 228523 53599 2480 14 0 214960 0
[pid=18823/tid=18825] ppid=18821 vsize=914092 CPUtime=0.46
/proc/18823/task/18825/stat : 18825 (java) S 18821 18823 18553 0 -1 64 16102 0 0 0 41 5 0 0 16 0 12 0 165061984 936030208 53599 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18826] ppid=18821 vsize=914092 CPUtime=0.47
/proc/18823/task/18826/stat : 18826 (java) S 18821 18823 18553 0 -1 64 15971 0 0 0 42 5 0 0 15 0 12 0 165061984 936030208 53599 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18827] ppid=18821 vsize=914092 CPUtime=0.03
################
# More data... #
################
/proc/18823/task/18829/stat : 18829 (java) S 18821 18823 18553 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18830] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18830/stat : 18830 (java) S 18821 18823 18553 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18831] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18831/stat : 18831 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18832] ppid=18821 vsize=914092 CPUtime=1.28
/proc/18823/task/18832/stat : 18832 (java) S 18821 18823 18553 0 -1 64 1307 0 0 0 128 0 0 0 16 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18833] ppid=18821 vsize=914092 CPUtime=2.67
/proc/18823/task/18833/stat : 18833 (java) S 18821 18823 18553 0 -1 64 6965 0 0 0 263 4 0 0 17 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18834] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18834/stat : 18834 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18835] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18835/stat : 18835 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 914092
[startup+703 s]
/proc/loadavg: 1.13 1.56 1.70 2/92 19888
/proc/meminfo: memFree=758560/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=914092 CPUtime=702.01
/proc/18823/stat : 18823 (java) S 18821 18823 18553 0 -1 0 199898 0 1 0 70091 110 0 0 15 0 12 0 165061980 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18823/statm: 228523 186178 2482 14 0 214960 0
[pid=18823/tid=18825] ppid=18821 vsize=914092 CPUtime=5.17
/proc/18823/task/18825/stat : 18825 (java) S 18821 18823 18553 0 -1 64 84058 0 0 0 481 36 0 0 15 0 12 0 165061984 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18826] ppid=18821 vsize=914092 CPUtime=4.91
/proc/18823/task/18826/stat : 18826 (java) S 18821 18823 18553 0 -1 64 81537 0 0 0 458 33 0 0 16 0 12 0 165061984 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18827] ppid=18821 vsize=914092 CPUtime=317.09
/proc/18823/task/18827/stat : 18827 (java) R 18821 18823 18553 0 -1 64 4802 0 0 0 31691 18 0 0 18 0 12 0 165061986 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155440556 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18828] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18828/stat : 18828 (java) S 18821 18823 18553 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18829] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18829/stat : 18829 (java) S 18821 18823 18553 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18830] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18830/stat : 18830 (java) S 18821 18823 18553 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18831] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18831/stat : 18831 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18832] ppid=18821 vsize=914092 CPUtime=1.28
/proc/18823/task/18832/stat : 18832 (java) S 18821 18823 18553 0 -1 64 1307 0 0 0 128 0 0 0 16 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18833] ppid=18821 vsize=914092 CPUtime=2.67
/proc/18823/task/18833/stat : 18833 (java) S 18821 18823 18553 0 -1 64 6965 0 0 0 263 4 0 0 17 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18834] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18834/stat : 18834 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18835] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18835/stat : 18835 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 914092
[startup+763.061 s]
/proc/loadavg: 1.05 1.46 1.65 2/92 19915
/proc/meminfo: memFree=756256/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=914092 CPUtime=761.96
/proc/18823/stat : 18823 (java) S 18821 18823 18553 0 -1 0 199983 0 1 0 76084 112 0 0 15 0 12 0 165061980 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18823/statm: 228523 186178 2482 14 0 214960 0
[pid=18823/tid=18825] ppid=18821 vsize=914092 CPUtime=5.17
/proc/18823/task/18825/stat : 18825 (java) S 18821 18823 18553 0 -1 64 84058 0 0 0 481 36 0 0 15 0 12 0 165061984 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18826] ppid=18821 vsize=914092 CPUtime=4.91
/proc/18823/task/18826/stat : 18826 (java) S 18821 18823 18553 0 -1 64 81537 0 0 0 458 33 0 0 16 0 12 0 165061984 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18827] ppid=18821 vsize=914092 CPUtime=376.85
/proc/18823/task/18827/stat : 18827 (java) R 18821 18823 18553 0 -1 64 4802 0 0 0 37665 20 0 0 17 0 12 0 165061986 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154921393 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18828] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18828/stat : 18828 (java) S 18821 18823 18553 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18829] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18829/stat : 18829 (java) S 18821 18823 18553 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18830] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18830/stat : 18830 (java) S 18821 18823 18553 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18831] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18831/stat : 18831 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18832] ppid=18821 vsize=914092 CPUtime=1.28
/proc/18823/task/18832/stat : 18832 (java) S 18821 18823 18553 0 -1 64 1307 0 0 0 128 0 0 0 16 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18833] ppid=18821 vsize=914092 CPUtime=2.67
/proc/18823/task/18833/stat : 18833 (java) S 18821 18823 18553 0 -1 64 6965 0 0 0 263 4 0 0 17 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18834] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18834/stat : 18834 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18835] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18835/stat : 18835 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 914092
[startup+823.13 s]
/proc/loadavg: 1.62 1.54 1.66 3/109 19932
/proc/meminfo: memFree=704152/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=914092 CPUtime=821.97
/proc/18823/stat : 18823 (java) S 18821 18823 18553 0 -1 0 200066 0 1 0 82084 113 0 0 15 0 12 0 165061980 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18823/statm: 228523 186178 2482 14 0 214960 0
[pid=18823/tid=18825] ppid=18821 vsize=914092 CPUtime=5.17
/proc/18823/task/18825/stat : 18825 (java) S 18821 18823 18553 0 -1 64 84058 0 0 0 481 36 0 0 15 0 12 0 165061984 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18826] ppid=18821 vsize=914092 CPUtime=4.91
/proc/18823/task/18826/stat : 18826 (java) S 18821 18823 18553 0 -1 64 81537 0 0 0 458 33 0 0 16 0 12 0 165061984 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18827] ppid=18821 vsize=914092 CPUtime=436.78
/proc/18823/task/18827/stat : 18827 (java) R 18821 18823 18553 0 -1 64 4802 0 0 0 43658 20 0 0 25 0 12 0 165061986 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152681624 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18828] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18828/stat : 18828 (java) S 18821 18823 18553 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18829] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18829/stat : 18829 (java) S 18821 18823 18553 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18830] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18830/stat : 18830 (java) S 18821 18823 18553 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18831] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18831/stat : 18831 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18832] ppid=18821 vsize=914092 CPUtime=1.28
/proc/18823/task/18832/stat : 18832 (java) S 18821 18823 18553 0 -1 64 1307 0 0 0 128 0 0 0 16 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18833] ppid=18821 vsize=914092 CPUtime=2.67
/proc/18823/task/18833/stat : 18833 (java) S 18821 18823 18553 0 -1 64 6965 0 0 0 263 4 0 0 17 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18834] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18834/stat : 18834 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18835] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18835/stat : 18835 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 914092
[startup+883.198 s]
/proc/loadavg: 1.26 1.45 1.62 2/92 19944
/proc/meminfo: memFree=758560/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=914092 CPUtime=881.97
/proc/18823/stat : 18823 (java) S 18821 18823 18553 0 -1 0 200154 0 1 0 88083 114 0 0 15 0 12 0 165061980 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18823/statm: 228523 186178 2482 14 0 214960 0
[pid=18823/tid=18825] ppid=18821 vsize=914092 CPUtime=5.17
/proc/18823/task/18825/stat : 18825 (java) S 18821 18823 18553 0 -1 64 84058 0 0 0 481 36 0 0 15 0 12 0 165061984 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18826] ppid=18821 vsize=914092 CPUtime=4.91
/proc/18823/task/18826/stat : 18826 (java) S 18821 18823 18553 0 -1 64 81537 0 0 0 458 33 0 0 16 0 12 0 165061984 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18827] ppid=18821 vsize=914092 CPUtime=496.72
/proc/18823/task/18827/stat : 18827 (java) R 18821 18823 18553 0 -1 64 4802 0 0 0 49651 21 0 0 25 0 12 0 165061986 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154921554 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18828] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18828/stat : 18828 (java) S 18821 18823 18553 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18829] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18829/stat : 18829 (java) S 18821 18823 18553 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18830] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18830/stat : 18830 (java) S 18821 18823 18553 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18831] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18831/stat : 18831 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18832] ppid=18821 vsize=914092 CPUtime=1.28
/proc/18823/task/18832/stat : 18832 (java) S 18821 18823 18553 0 -1 64 1307 0 0 0 128 0 0 0 16 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18833] ppid=18821 vsize=914092 CPUtime=2.67
/proc/18823/task/18833/stat : 18833 (java) S 18821 18823 18553 0 -1 64 6965 0 0 0 263 4 0 0 17 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18834] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18834/stat : 18834 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18835] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18835/stat : 18835 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 914092
[startup+943.258 s]
/proc/loadavg: 1.18 1.40 1.59 2/92 19997
/proc/meminfo: memFree=756584/2055920 swapFree=4170192/4192956
[pid=18823] ppid=18821 vsize=914092 CPUtime=941.99
/proc/18823/stat : 18823 (java) S 18821 18823 18553 0 -1 0 213211 0 1 0 94075 124 0 0 15 0 12 0 165061980 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18823/statm: 228523 186178 2482 14 0 214960 0
[pid=18823/tid=18825] ppid=18821 vsize=914092 CPUtime=5.17
/proc/18823/task/18825/stat : 18825 (java) S 18821 18823 18553 0 -1 64 84058 0 0 0 481 36 0 0 15 0 12 0 165061984 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18826] ppid=18821 vsize=914092 CPUtime=4.91
/proc/18823/task/18826/stat : 18826 (java) S 18821 18823 18553 0 -1 64 81537 0 0 0 458 33 0 0 16 0 12 0 165061984 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18827] ppid=18821 vsize=914092 CPUtime=556.73
/proc/18823/task/18827/stat : 18827 (java) R 18821 18823 18553 0 -1 64 17778 0 0 0 55642 31 0 0 25 0 12 0 165061986 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154631064 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18828] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18828/stat : 18828 (java) S 18821 18823 18553 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18829] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18829/stat : 18829 (java) S 18821 18823 18553 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 165061987 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18830] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18830/stat : 18830 (java) S 18821 18823 18553 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18831] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18831/stat : 18831 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18832] ppid=18821 vsize=914092 CPUtime=1.28
/proc/18823/task/18832/stat : 18832 (java) S 18821 18823 18553 0 -1 64 1307 0 0 0 128 0 0 0 16 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18823/tid=18833] ppid=18821 vsize=914092 CPUtime=2.67
/proc/18823/task/18833/stat : 18833 (java) S 18821 18823 18553 0 -1 64 6965 0 0 0 263 4 0 0 17 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18834] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18834/stat : 18834 (java) S 18821 18823 18553 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18823/tid=18835] ppid=18821 vsize=914092 CPUtime=0
/proc/18823/task/18835/stat : 18835 (java) S 18821 18823 18553 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 165061991 936030208 186178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 914092
Child status: 1
Real time (s): 955.535
CPU time (s): 954.216
CPU user time (s): 952.847
CPU system time (s): 1.36879
CPU usage (%): 99.862
Max. virtual memory (cumulated for all children) (KiB): 918308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 952.847
system time used= 1.36879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215091
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= 27704
involuntary context switches= 29425
runsolver used 1.20082 s user time and 3.07753 s system time
The end
Begin job on node20 on Sun Jan 7 10:44:34 UTC 2007
IDJOB= 204704
IDBENCH= 4049
FILE ID= node20/204704-1168166674
PBS_JOBID= 3478668
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp16-20/fapp17/fapp17-0300-10.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/204704-1168166674/sat4jCSP-bf3.jar /tmp/evaluation/204704-1168166674/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-204704-1168166674 -o ROOT/results/node20/solver-204704-1168166674 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/204704-1168166674/sat4jCSP-bf3.jar /tmp/evaluation/204704-1168166674/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= f7d83e5046cff98a2f782fbfcef83f73
RANDOM SEED= 98469525
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.216
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.216
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: 698264 kB
Buffers: 46164 kB
Cached: 478956 kB
SwapCached: 3580 kB
Active: 843736 kB
Inactive: 446024 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 698264 kB
SwapTotal: 4192956 kB
SwapFree: 4170192 kB
Dirty: 3052 kB
Writeback: 0 kB
Mapped: 789616 kB
Slab: 51056 kB
Committed_AS: 4026272 kB
PageTables: 3880 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= 66554 MiB
End job on node20 on Sun Jan 7 11:00:35 UTC 2007