0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.16 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.17 c version CSP COMPETITION BUGFIX 3
0.17 c sun.arch.data.model 32
0.17 c java.version 1.5.0_10
0.17 c os.name Linux
0.17 c os.version 2.6.9-22.EL.rootsmp
0.17 c os.arch i386
0.17 c Free memory 722620888
0.17 c Max memory 723845120
0.17 c Total memory 723845120
0.17 c Number of processors 2
0.26 c --- Begin Solver configuration ---
0.26 c Stops conflict analysis at the first Unique Implication Point
0.26 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.26 c Learn all clauses as in MiniSAT
0.26 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.26 c VSIDS like heuristics from MiniSAT using a heap
0.26 c No reason simplification
0.26 c --- End Solver configuration ---
0.26 c solving /tmp/evaluation/207163-1168180279/unknown.xml
0.26 c reading problem ...
0.55 c reading problem named ?
0.55 c reading domains done.
0.91 c reading variables
c reading variables (400) done.
1.39 c reading predicates
c reading relations (8) done.
1.65 c reading constraintsException in thread "main" java.lang.OutOfMemoryError: Java heap space
1623.21 c starts : 0
1623.21 c conflicts : 0
1623.21 c decisions : 0
1623.21 c propagations : 0
1623.21 c inspects : 0
1623.21 c learnt literals : 0
1623.21 c learnt binary clauses : 0
1623.21 c learnt ternary clauses : 0
1623.21 c learnt clauses : 0
1623.21 c root simplifications : 0
1623.21 c removed literals (reason simplification) : 0
1623.21 c reason swapping (by a shorter reason) : 0
1626.26 c Calls to reduceDB : 0
1626.26 c speed (decisions/second) : 0.0
1626.26 c non guided choices 0
1626.26 s UNKNOWN
1626.26 c Total wall clock time (in seconds) : 1619.879
1626.26 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/node51/watcher-207163-1168180279 -o ROOT/results/node51/solver-207163-1168180279 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/207163-1168180279/sat4jCSP-bf3.jar /tmp/evaluation/207163-1168180279/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.10 2.04 1.97 5/81 30693
/proc/meminfo: memFree=1315080/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=12200 CPUtime=0
/proc/30692/stat : 30692 (java) S 30690 30692 29323 0 -1 0 870 0 0 0 0 0 0 0 16 0 1 0 166426435 12492800 636 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/30692/statm: 3050 636 481 14 0 1142 0
[startup+0.103387 s]
/proc/loadavg: 2.10 2.04 1.97 5/81 30693
/proc/meminfo: memFree=1315080/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=900216 CPUtime=0.09
/proc/30692/stat : 30692 (java) R 30690 30692 29323 0 -1 0 3264 0 1 0 7 2 0 0 20 0 12 0 166426435 921821184 3024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151480378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30692/statm: 225054 3024 1529 14 0 212074 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 900216
[startup+0.511456 s]
/proc/loadavg: 2.10 2.04 1.97 5/81 30693
/proc/meminfo: memFree=1315080/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=905236 CPUtime=0.49
/proc/30692/stat : 30692 (java) R 30690 30692 29323 0 -1 0 5815 0 1 0 45 4 0 0 19 0 12 0 166426435 926961664 5410 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152422889 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30692/statm: 226309 5410 2250 14 0 212746 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 905236
[startup+1.3346 s]
/proc/loadavg: 2.17 2.05 1.97 3/92 30704
/proc/meminfo: memFree=1296816/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=906456 CPUtime=1.31
/proc/30692/stat : 30692 (java) R 30690 30692 29323 0 -1 0 9244 0 1 0 124 7 0 0 22 0 12 0 166426435 928210944 8265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054239122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30692/statm: 226614 8265 2312 14 0 213051 0
[pid=30692/tid=30694] ppid=30690 vsize=906456 CPUtime=0
/proc/30692/task/30694/stat : 30694 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 166426437 928210944 8265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30695] ppid=30690 vsize=906456 CPUtime=0
/proc/30692/task/30695/stat : 30695 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 166426437 928210944 8265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30696] ppid=30690 vsize=906456 CPUtime=0
/proc/30692/task/30696/stat : 30696 (java) S 30690 30692 29323 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 166426440 928210944 8265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30697] ppid=30690 vsize=906456 CPUtime=0
/proc/30692/task/30697/stat : 30697 (java) S 30690 30692 29323 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 166426441 928210944 8265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30698] ppid=30690 vsize=906456 CPUtime=0
/proc/30692/task/30698/stat : 30698 (java) S 30690 30692 29323 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 166426441 928210944 8265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30699] ppid=30690 vsize=906456 CPUtime=0
/proc/30692/task/30699/stat : 30699 (java) S 30690 30692 29323 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 166426445 928210944 8265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30700] ppid=30690 vsize=906456 CPUtime=0
/proc/30692/task/30700/stat : 30700 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 166426445 928210944 8265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30701] ppid=30690 vsize=906456 CPUtime=0.26
/proc/30692/task/30701/stat : 30701 (java) S 30690 30692 29323 0 -1 64 278 0 0 0 26 0 0 0 16 0 12 0 166426445 928210944 8265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30702] ppid=30690 vsize=906456 CPUtime=0.42
/proc/30692/task/30702/stat : 30702 (java) S 30690 30692 29323 0 -1 64 1517 0 0 0 42 0 0 0 16 0 12 0 166426445 928210944 8265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30703] ppid=30690 vsize=906456 CPUtime=0
/proc/30692/task/30703/stat : 30703 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 166426445 928210944 8265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30704] ppid=30690 vsize=906456 CPUtime=0
/proc/30692/task/30704/stat : 30704 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166426445 928210944 8265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 906456
[startup+2.98588 s]
/proc/loadavg: 2.17 2.05 1.97 4/92 30704
/proc/meminfo: memFree=1272944/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=912216 CPUtime=2.94
/proc/30692/stat : 30692 (java) R 30690 30692 29323 0 -1 0 20046 0 1 0 281 13 0 0 25 0 12 0 166426435 934109184 16633 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054204939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30692/statm: 228054 16633 2476 14 0 214491 0
[pid=30692/tid=30694] ppid=30690 vsize=912216 CPUtime=0
/proc/30692/task/30694/stat : 30694 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 166426437 934109184 16633 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30695] ppid=30690 vsize=912216 CPUtime=0
/proc/30692/task/30695/stat : 30695 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 166426437 934109184 16633 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30696] ppid=30690 vsize=912216 CPUtime=0
/proc/30692/task/30696/stat : 30696 (java) S 30690 30692 29323 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 166426440 934109184 16633 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30697] ppid=30690 vsize=912216 CPUtime=0
/proc/30692/task/30697/stat : 30697 (java) S 30690 30692 29323 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 166426441 934109184 16633 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30698] ppid=30690 vsize=912216 CPUtime=0
/proc/30692/task/30698/stat : 30698 (java) S 30690 30692 29323 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 166426441 934109184 16633 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30699] ppid=30690 vsize=912216 CPUtime=0
/proc/30692/task/30699/stat : 30699 (java) S 30690 30692 29323 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 166426445 934109184 16633 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30700] ppid=30690 vsize=912216 CPUtime=0
/proc/30692/task/30700/stat : 30700 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 166426445 934109184 16633 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30701] ppid=30690 vsize=912216 CPUtime=0.45
/proc/30692/task/30701/stat : 30701 (java) S 30690 30692 29323 0 -1 64 374 0 0 0 45 0 0 0 16 0 12 0 166426445 934109184 16633 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30702] ppid=30690 vsize=912216 CPUtime=1.26
/proc/30692/task/30702/stat : 30702 (java) S 30690 30692 29323 0 -1 64 5377 0 0 0 123 3 0 0 16 0 12 0 166426445 934109184 16633 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30703] ppid=30690 vsize=912216 CPUtime=0
/proc/30692/task/30703/stat : 30703 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 166426445 934109184 16633 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30704] ppid=30690 vsize=912216 CPUtime=0
/proc/30692/task/30704/stat : 30704 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166426445 934109184 16633 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 912216
[startup+6.28344 s]
/proc/loadavg: 2.15 2.05 1.97 3/92 30704
/proc/meminfo: memFree=1201904/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=913504 CPUtime=6.3
/proc/30692/stat : 30692 (java) R 30690 30692 29323 0 -1 0 34272 0 1 0 609 21 0 0 25 0 12 0 166426435 935428096 30688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054310744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30692/statm: 228376 30688 2479 14 0 214813 0
[pid=30692/tid=30694] ppid=30690 vsize=913504 CPUtime=0.21
/proc/30692/task/30694/stat : 30694 (java) S 30690 30692 29323 0 -1 64 3586 0 0 0 21 0 0 0 16 0 12 0 166426437 935428096 30688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30695] ppid=30690 vsize=913504 CPUtime=0.24
/proc/30692/task/30695/stat : 30695 (java) S 30690 30692 29323 0 -1 64 4823 0 0 0 22 2 0 0 16 0 12 0 166426437 935428096 30688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30696] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30696/stat : 30696 (java) S 30690 30692 29323 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 166426440 935428096 30688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30697] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30697/stat : 30697 (java) S 30690 30692 29323 0 -1 64 8 0 0 0 0 0 0 0 17 0 12 0 166426441 935428096 30688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30698] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30698/stat : 30698 (java) S 30690 30692 29323 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166426441 935428096 30688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30699] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30699/stat : 30699 (java) S 30690 30692 29323 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 166426445 935428096 30688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30700] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30700/stat : 30700 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 166426445 935428096 30688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30701] ppid=30690 vsize=913504 CPUtime=0.46
/proc/30692/task/30701/stat : 30701 (java) S 30690 30692 29323 0 -1 64 374 0 0 0 46 0 0 0 17 0 12 0 166426445 935428096 30688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30702] ppid=30690 vsize=913504 CPUtime=1.26
/proc/30692/task/30702/stat : 30702 (java) S 30690 30692 29323 0 -1 64 5377 0 0 0 123 3 0 0 16 0 12 0 166426445 935428096 30688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30703] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30703/stat : 30703 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 166426445 935428096 30688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30704] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30704/stat : 30704 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166426445 935428096 30688 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 913504
[startup+12.6945 s]
/proc/loadavg: 2.14 2.05 1.97 3/92 30704
/proc/meminfo: memFree=1179448/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=913504 CPUtime=12.7
/proc/30692/stat : 30692 (java) R 30690 30692 29323 0 -1 0 39659 0 1 0 1246 24 0 0 25 0 12 0 166426435 935428096 35501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054495322 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30692/statm: 228376 35501 2479 14 0 214813 0
[pid=30692/tid=30694] ppid=30690 vsize=913504 CPUtime=0.33
/proc/30692/task/30694/stat : 30694 (java) S 30690 30692 29323 0 -1 64 6228 0 0 0 31 2 0 0 16 0 12 0 166426437 935428096 35501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30695] ppid=30690 vsize=913504 CPUtime=0.34
/proc/30692/task/30695/stat : 30695 (java) S 30690 30692 29323 0 -1 64 7502 0 0 0 31 3 0 0 16 0 12 0 166426437 935428096 35501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30696] ppid=30690 vsize=913504 CPUtime=0.01
/proc/30692/task/30696/stat : 30696 (java) S 30690 30692 29323 0 -1 64 11 0 0 0 1 0 0 0 16 0 12 0 166426440 935428096 35501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30697] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30697/stat : 30697 (java) S 30690 30692 29323 0 -1 64 8 0 0 0 0 0 0 0 17 0 12 0 166426441 935428096 35501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30698] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30698/stat : 30698 (java) S 30690 30692 29323 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166426441 935428096 35501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30699] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30699/stat : 30699 (java) S 30690 30692 29323 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 166426445 935428096 35501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30700] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30700/stat : 30700 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 166426445 935428096 35501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30701] ppid=30690 vsize=913504 CPUtime=0.76
/proc/30692/task/30701/stat : 30701 (java) S 30690 30692 29323 0 -1 64 411 0 0 0 76 0 0 0 16 0 12 0 166426445 935428096 35501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30702] ppid=30690 vsize=913504 CPUtime=1.42
/proc/30692/task/30702/stat : 30702 (java) S 30690 30692 29323 0 -1 64 5388 0 0 0 139 3 0 0 16 0 12 0 166426445 935428096 35501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30703] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30703/stat : 30703 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 166426445 935428096 35501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30704] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30704/stat : 30704 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166426445 935428096 35501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 913504
[startup+25.5885 s]
/proc/loadavg: 2.12 2.05 1.97 3/92 30704
/proc/meminfo: memFree=1146104/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=913504 CPUtime=25.53
/proc/30692/stat : 30692 (java) R 30690 30692 29323 0 -1 0 47774 0 1 0 2523 30 0 0 25 0 12 0 166426435 935428096 43593 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054374012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30692/statm: 228376 43593 2479 14 0 214813 0
[pid=30692/tid=30694] ppid=30690 vsize=913504 CPUtime=0.43
/proc/30692/task/30694/stat : 30694 (java) S 30690 30692 29323 0 -1 64 10325 0 0 0 39 4 0 0 16 0 12 0 166426437 935428096 43593 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30695] ppid=30690 vsize=913504 CPUtime=0.47
/proc/30692/task/30695/stat : 30695 (java) S 30690 30692 29323 0 -1 64 11486 0 0 0 41 6 0 0 16 0 12 0 166426437 935428096 43593 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30696] ppid=30690 vsize=913504 CPUtime=0.01
/proc/30692/task/30696/stat : 30696 (java) S 30690 30692 29323 0 -1 64 12 0 0 0 1 0 0 0 16 0 12 0 166426440 935428096 43593 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30697] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30697/stat : 30697 (java) S 30690 30692 29323 0 -1 64 8 0 0 0 0 0 0 0 17 0 12 0 166426441 935428096 43593 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30698] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30698/stat : 30698 (java) S 30690 30692 29323 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166426441 935428096 43593 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30699] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30699/stat : 30699 (java) S 30690 30692 29323 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 166426445 935428096 43593 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30700] ppid=30690 vsize=913504 CPUtime=0.01
/proc/30692/task/30700/stat : 30700 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 1 0 0 0 16 0 12 0 166426445 935428096 43593 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30701] ppid=30690 vsize=913504 CPUtime=0.84
/proc/30692/task/30701/stat : 30701 (java) S 30690 30692 29323 0 -1 64 419 0 0 0 84 0 0 0 17 0 12 0 166426445 935428096 43593 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30702] ppid=30690 vsize=913504 CPUtime=1.44
/proc/30692/task/30702/stat : 30702 (java) S 30690 30692 29323 0 -1 64 5389 0 0 0 141 3 0 0 17 0 12 0 166426445 935428096 43593 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30703] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30703/stat : 30703 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 166426445 935428096 43593 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30704] ppid=30690 vsize=913504 CPUtime=0
/proc/30692/task/30704/stat : 30704 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 166426445 935428096 43593 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 913504
[startup+51.2759 s]
/proc/loadavg: 2.07 2.04 1.97 3/92 30704
/proc/meminfo: memFree=1065656/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=913528 CPUtime=51.07
/proc/30692/stat : 30692 (java) R 30690 30692 29323 0 -1 0 64153 0 1 0 5068 39 0 0 25 0 12 0 166426435 935452672 59468 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054294625 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30692/statm: 228382 59468 2480 14 0 214819 0
[pid=30692/tid=30694] ppid=30690 vsize=913528 CPUtime=0.68
/proc/30692/task/30694/stat : 30694 (java) S 30690 30692 29323 0 -1 64 18776 0 0 0 60 8 0 0 16 0 12 0 166426437 935452672 59468 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30695] ppid=30690 vsize=913528 CPUtime=0.7
/proc/30692/task/30695/stat : 30695 (java) S 30690 30692 29323 0 -1 64 18836 0 0 0 60 10 0 0 16 0 12 0 166426437 935452672 59468 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30696] ppid=30690 vsize=913528 CPUtime=0.03
################
# More data... #
################
/proc/30692/task/30698/stat : 30698 (java) S 30690 30692 29323 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166426441 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30699] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30699/stat : 30699 (java) S 30690 30692 29323 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30700] ppid=30690 vsize=914552 CPUtime=0.01
/proc/30692/task/30700/stat : 30700 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 1 0 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30701] ppid=30690 vsize=914552 CPUtime=1.84
/proc/30692/task/30701/stat : 30701 (java) S 30690 30692 29323 0 -1 64 974 0 0 0 184 0 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30702] ppid=30690 vsize=914552 CPUtime=2.31
/proc/30692/task/30702/stat : 30702 (java) S 30690 30692 29323 0 -1 64 5440 0 0 0 228 3 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30703] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30703/stat : 30703 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30704] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30704/stat : 30704 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1292.35
Current children cumulated vsize (KiB) 914552
[startup+1364.07 s]
/proc/loadavg: 2.04 2.05 2.06 3/92 30704
/proc/meminfo: memFree=207608/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=914552 CPUtime=1351.87
/proc/30692/stat : 30692 (java) S 30690 30692 29323 0 -1 0 197535 0 1 0 135064 123 0 0 15 0 12 0 166426435 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30692/statm: 228638 186743 2481 14 0 215075 0
[pid=30692/tid=30694] ppid=30690 vsize=914552 CPUtime=5.07
/proc/30692/task/30694/stat : 30694 (java) S 30690 30692 29323 0 -1 64 84776 0 0 0 467 40 0 0 16 0 12 0 166426437 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30695] ppid=30690 vsize=914552 CPUtime=5.11
/proc/30692/task/30695/stat : 30695 (java) S 30690 30692 29323 0 -1 64 80800 0 0 0 474 37 0 0 15 0 12 0 166426437 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30696] ppid=30690 vsize=914552 CPUtime=1025.59
/proc/30692/task/30696/stat : 30696 (java) R 30690 30692 29323 0 -1 64 3895 0 0 0 102539 20 0 0 25 0 12 0 166426440 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154921381 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30697] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30697/stat : 30697 (java) S 30690 30692 29323 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166426441 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30698] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30698/stat : 30698 (java) S 30690 30692 29323 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166426441 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30699] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30699/stat : 30699 (java) S 30690 30692 29323 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30700] ppid=30690 vsize=914552 CPUtime=0.01
/proc/30692/task/30700/stat : 30700 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 1 0 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30701] ppid=30690 vsize=914552 CPUtime=1.84
/proc/30692/task/30701/stat : 30701 (java) S 30690 30692 29323 0 -1 64 974 0 0 0 184 0 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30702] ppid=30690 vsize=914552 CPUtime=2.31
/proc/30692/task/30702/stat : 30702 (java) S 30690 30692 29323 0 -1 64 5440 0 0 0 228 3 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30703] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30703/stat : 30703 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30704] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30704/stat : 30704 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1351.87
Current children cumulated vsize (KiB) 914552
[startup+1424.14 s]
/proc/loadavg: 2.01 2.04 2.06 3/92 30704
/proc/meminfo: memFree=197880/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=914552 CPUtime=1411.3
/proc/30692/stat : 30692 (java) S 30690 30692 29323 0 -1 0 197598 0 1 0 141006 124 0 0 15 0 12 0 166426435 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30692/statm: 228638 186743 2481 14 0 215075 0
[pid=30692/tid=30694] ppid=30690 vsize=914552 CPUtime=5.07
/proc/30692/task/30694/stat : 30694 (java) S 30690 30692 29323 0 -1 64 84776 0 0 0 467 40 0 0 16 0 12 0 166426437 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30695] ppid=30690 vsize=914552 CPUtime=5.11
/proc/30692/task/30695/stat : 30695 (java) S 30690 30692 29323 0 -1 64 80800 0 0 0 474 37 0 0 15 0 12 0 166426437 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30696] ppid=30690 vsize=914552 CPUtime=1085.02
/proc/30692/task/30696/stat : 30696 (java) R 30690 30692 29323 0 -1 64 3895 0 0 0 108481 21 0 0 25 0 12 0 166426440 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154454060 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30697] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30697/stat : 30697 (java) S 30690 30692 29323 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166426441 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30698] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30698/stat : 30698 (java) S 30690 30692 29323 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166426441 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30699] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30699/stat : 30699 (java) S 30690 30692 29323 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30700] ppid=30690 vsize=914552 CPUtime=0.01
/proc/30692/task/30700/stat : 30700 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 1 0 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30701] ppid=30690 vsize=914552 CPUtime=1.84
/proc/30692/task/30701/stat : 30701 (java) S 30690 30692 29323 0 -1 64 974 0 0 0 184 0 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30702] ppid=30690 vsize=914552 CPUtime=2.31
/proc/30692/task/30702/stat : 30702 (java) S 30690 30692 29323 0 -1 64 5440 0 0 0 228 3 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30703] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30703/stat : 30703 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30704] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30704/stat : 30704 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1411.3
Current children cumulated vsize (KiB) 914552
[startup+1484.23 s]
/proc/loadavg: 2.04 2.04 2.06 3/92 30704
/proc/meminfo: memFree=193080/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=914552 CPUtime=1471.1
/proc/30692/stat : 30692 (java) S 30690 30692 29323 0 -1 0 197665 0 1 0 146986 124 0 0 15 0 12 0 166426435 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30692/statm: 228638 186743 2481 14 0 215075 0
[pid=30692/tid=30694] ppid=30690 vsize=914552 CPUtime=5.07
/proc/30692/task/30694/stat : 30694 (java) S 30690 30692 29323 0 -1 64 84776 0 0 0 467 40 0 0 16 0 12 0 166426437 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30695] ppid=30690 vsize=914552 CPUtime=5.11
/proc/30692/task/30695/stat : 30695 (java) S 30690 30692 29323 0 -1 64 80800 0 0 0 474 37 0 0 15 0 12 0 166426437 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30696] ppid=30690 vsize=914552 CPUtime=1144.81
/proc/30692/task/30696/stat : 30696 (java) R 30690 30692 29323 0 -1 64 3895 0 0 0 114460 21 0 0 25 0 12 0 166426440 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154454060 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30697] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30697/stat : 30697 (java) S 30690 30692 29323 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166426441 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30698] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30698/stat : 30698 (java) S 30690 30692 29323 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166426441 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30699] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30699/stat : 30699 (java) S 30690 30692 29323 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30700] ppid=30690 vsize=914552 CPUtime=0.01
/proc/30692/task/30700/stat : 30700 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 1 0 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30701] ppid=30690 vsize=914552 CPUtime=1.84
/proc/30692/task/30701/stat : 30701 (java) S 30690 30692 29323 0 -1 64 974 0 0 0 184 0 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30702] ppid=30690 vsize=914552 CPUtime=2.31
/proc/30692/task/30702/stat : 30702 (java) S 30690 30692 29323 0 -1 64 5440 0 0 0 228 3 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30703] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30703/stat : 30703 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30704] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30704/stat : 30704 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.1
Current children cumulated vsize (KiB) 914552
[startup+1544.33 s]
/proc/loadavg: 2.01 2.03 2.05 3/84 30743
/proc/meminfo: memFree=443248/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=914552 CPUtime=1530.86
/proc/30692/stat : 30692 (java) S 30690 30692 29323 0 -1 0 197746 0 1 0 152958 128 0 0 15 0 12 0 166426435 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30692/statm: 228638 186743 2481 14 0 215075 0
[pid=30692/tid=30694] ppid=30690 vsize=914552 CPUtime=5.07
/proc/30692/task/30694/stat : 30694 (java) S 30690 30692 29323 0 -1 64 84776 0 0 0 467 40 0 0 16 0 12 0 166426437 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30695] ppid=30690 vsize=914552 CPUtime=5.11
/proc/30692/task/30695/stat : 30695 (java) S 30690 30692 29323 0 -1 64 80800 0 0 0 474 37 0 0 15 0 12 0 166426437 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30696] ppid=30690 vsize=914552 CPUtime=1204.57
/proc/30692/task/30696/stat : 30696 (java) R 30690 30692 29323 0 -1 64 3895 0 0 0 120432 25 0 0 25 0 12 0 166426440 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152694584 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30697] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30697/stat : 30697 (java) S 30690 30692 29323 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166426441 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30698] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30698/stat : 30698 (java) S 30690 30692 29323 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166426441 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30699] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30699/stat : 30699 (java) S 30690 30692 29323 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30700] ppid=30690 vsize=914552 CPUtime=0.01
/proc/30692/task/30700/stat : 30700 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 1 0 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30701] ppid=30690 vsize=914552 CPUtime=1.84
/proc/30692/task/30701/stat : 30701 (java) S 30690 30692 29323 0 -1 64 974 0 0 0 184 0 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30702] ppid=30690 vsize=914552 CPUtime=2.31
/proc/30692/task/30702/stat : 30702 (java) S 30690 30692 29323 0 -1 64 5440 0 0 0 228 3 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30703] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30703/stat : 30703 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30704] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30704/stat : 30704 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.86
Current children cumulated vsize (KiB) 914552
[startup+1604.4 s]
/proc/loadavg: 1.85 1.99 2.03 2/76 30758
/proc/meminfo: memFree=947976/2055920 swapFree=4192812/4192956
[pid=30692] ppid=30690 vsize=914552 CPUtime=1590.67
/proc/30692/stat : 30692 (java) S 30690 30692 29323 0 -1 0 197834 0 1 0 158938 129 0 0 15 0 12 0 166426435 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30692/statm: 228638 186743 2481 14 0 215075 0
[pid=30692/tid=30694] ppid=30690 vsize=914552 CPUtime=5.07
/proc/30692/task/30694/stat : 30694 (java) S 30690 30692 29323 0 -1 64 84776 0 0 0 467 40 0 0 16 0 12 0 166426437 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30695] ppid=30690 vsize=914552 CPUtime=5.11
/proc/30692/task/30695/stat : 30695 (java) S 30690 30692 29323 0 -1 64 80800 0 0 0 474 37 0 0 15 0 12 0 166426437 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30696] ppid=30690 vsize=914552 CPUtime=1264.37
/proc/30692/task/30696/stat : 30696 (java) R 30690 30692 29323 0 -1 64 3895 0 0 0 126411 26 0 0 17 0 12 0 166426440 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152681624 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30697] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30697/stat : 30697 (java) S 30690 30692 29323 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 166426441 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30692/tid=30698] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30698/stat : 30698 (java) S 30690 30692 29323 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 166426441 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30699] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30699/stat : 30699 (java) S 30690 30692 29323 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30700] ppid=30690 vsize=914552 CPUtime=0.01
/proc/30692/task/30700/stat : 30700 (java) S 30690 30692 29323 0 -1 64 1 0 0 0 1 0 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30701] ppid=30690 vsize=914552 CPUtime=1.84
/proc/30692/task/30701/stat : 30701 (java) S 30690 30692 29323 0 -1 64 974 0 0 0 184 0 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30702] ppid=30690 vsize=914552 CPUtime=2.31
/proc/30692/task/30702/stat : 30702 (java) S 30690 30692 29323 0 -1 64 5440 0 0 0 228 3 0 0 17 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30703] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30703/stat : 30703 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30692/tid=30704] ppid=30690 vsize=914552 CPUtime=0
/proc/30692/task/30704/stat : 30704 (java) S 30690 30692 29323 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 166426445 936501248 186743 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.67
Current children cumulated vsize (KiB) 914552
Child status: 1
Real time (s): 1626.4
CPU time (s): 1612.65
CPU user time (s): 1611.24
CPU system time (s): 1.41379
CPU usage (%): 99.1545
Max. virtual memory (cumulated for all children) (KiB): 918556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1611.24
system time used= 1.41378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197877
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= 41928
involuntary context switches= 84803
runsolver used 2.11168 s user time and 5.48517 s system time
The end
Begin job on node51 on Sun Jan 7 14:31:19 UTC 2007
IDJOB= 207163
IDBENCH= 4273
FILE ID= node51/207163-1168180279
PBS_JOBID= 3479101
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test03/test03-0400-5.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/207163-1168180279/sat4jCSP-bf3.jar /tmp/evaluation/207163-1168180279/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-207163-1168180279 -o ROOT/results/node51/solver-207163-1168180279 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/207163-1168180279/sat4jCSP-bf3.jar /tmp/evaluation/207163-1168180279/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= a64b1c1676ccef27a5c55e97d7cfbaea
RANDOM SEED= 496177980
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.277
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.277
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: 1315496 kB
Buffers: 33352 kB
Cached: 317256 kB
SwapCached: 0 kB
Active: 449764 kB
Inactive: 230784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1315496 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2968 kB
Writeback: 0 kB
Mapped: 349068 kB
Slab: 44384 kB
Committed_AS: 4204916 kB
PageTables: 2484 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= 66559 MiB
End job on node51 on Sun Jan 7 14:58:25 UTC 2007