0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.15 c version CSP COMPETITION BUGFIX 3
0.15 c sun.arch.data.model 32
0.15 c java.version 1.5.0_10
0.15 c os.name Linux
0.15 c os.version 2.6.9-22.EL.rootsmp
0.15 c os.arch i386
0.15 c Free memory 722620888
0.15 c Max memory 723845120
0.15 c Total memory 723845120
0.15 c Number of processors 2
0.24 c --- Begin Solver configuration ---
0.24 c Stops conflict analysis at the first Unique Implication Point
0.24 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.24 c Learn all clauses as in MiniSAT
0.24 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.24 c VSIDS like heuristics from MiniSAT using a heap
0.24 c No reason simplification
0.24 c --- End Solver configuration ---
0.24 c solving /tmp/evaluation/208921-1168190987/unknown.xml
0.24 c reading problem ...
0.51 c reading problem named ?
0.51 c reading domains done.
0.58 c reading variables
c reading variables (350) done.
1.12 c reading predicates
c reading relations (8) done.
1.32 c reading constraintsException in thread "main" java.lang.OutOfMemoryError: Java heap space
886.58 c starts : 0
886.58 c conflicts : 0
886.58 c decisions : 0
886.58 c propagations : 0
886.58 c inspects : 0
886.58 c learnt literals : 0
886.58 c learnt binary clauses : 0
886.58 c learnt ternary clauses : 0
886.58 c learnt clauses : 0
886.58 c root simplifications : 0
886.58 c removed literals (reason simplification) : 0
886.58 c reason swapping (by a shorter reason) : 0
886.58 c Calls to reduceDB : 0
886.58 c speed (decisions/second) : 0.0
886.58 c non guided choices 0
886.58 s UNKNOWN
886.58 c Total wall clock time (in seconds) : 880.611
886.58 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/node29/watcher-208921-1168190987 -o ROOT/results/node29/solver-208921-1168190987 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/208921-1168190987/sat4jCSP-bf3.jar /tmp/evaluation/208921-1168190987/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.98 2.03 1.88 4/94 18573
/proc/meminfo: memFree=1144744/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=1500 CPUtime=0
/proc/18572/stat : 18572 (java) R 18570 18572 17861 0 -1 0 244 0 0 0 0 0 0 0 18 0 1 0 167492778 1536000 65 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4132952 0 0 4096 0 0 0 0 17 0 0 0
/proc/18572/statm: 375 69 55 14 0 8 0
[startup+0.108427 s]
/proc/loadavg: 1.98 2.03 1.88 4/94 18573
/proc/meminfo: memFree=1144744/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=902816 CPUtime=0.09
/proc/18572/stat : 18572 (java) R 18570 18572 17861 0 -1 0 3409 0 1 0 7 2 0 0 25 0 12 0 167492778 924483584 3169 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4149668675 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 225704 3170 1583 14 0 212148 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 902816
[startup+0.525043 s]
/proc/loadavg: 1.98 2.03 1.88 4/94 18573
/proc/meminfo: memFree=1144744/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=905196 CPUtime=0.5
/proc/18572/stat : 18572 (java) R 18570 18572 17861 0 -1 0 6003 0 1 0 46 4 0 0 25 0 12 0 167492778 926920704 5597 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151513458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 226299 5597 2291 14 0 212736 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 905196
[startup+1.35651 s]
/proc/loadavg: 1.98 2.03 1.88 3/105 18584
/proc/meminfo: memFree=1108944/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=905308 CPUtime=1.33
/proc/18572/stat : 18572 (java) R 18570 18572 17861 0 -1 0 11927 0 1 0 125 8 0 0 25 0 12 0 167492778 927035392 11285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 226327 11285 2461 14 0 212764 0
[pid=18572/tid=18574] ppid=18570 vsize=905308 CPUtime=0
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 167492780 927035392 11285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=905308 CPUtime=0
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 167492780 927035392 11285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=905308 CPUtime=0
/proc/18572/task/18576/stat : 18576 (java) S 18570 18572 17861 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 167492783 927035392 11285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=905308 CPUtime=0
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 17861 0 -1 64 8 0 0 0 0 0 0 0 22 0 12 0 167492783 927035392 11285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=905308 CPUtime=0
/proc/18572/task/18578/stat : 18578 (java) S 18570 18572 17861 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 167492783 927035392 11285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=905308 CPUtime=0
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 17861 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 167492787 927035392 11285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=905308 CPUtime=0
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 167492787 927035392 11285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=905308 CPUtime=0.25
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 17861 0 -1 64 295 0 0 0 25 0 0 0 16 0 12 0 167492787 927035392 11285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=905308 CPUtime=0.28
/proc/18572/task/18582/stat : 18582 (java) R 18570 18572 17861 0 -1 64 729 0 0 0 28 0 0 0 16 0 12 0 167492787 927035392 11285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154764144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=905308 CPUtime=0
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 167492787 927035392 11285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=905308 CPUtime=0
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 167492787 927035392 11285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 905308
[startup+2.9966 s]
/proc/loadavg: 1.98 2.03 1.88 4/105 18584
/proc/meminfo: memFree=1090448/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=913136 CPUtime=3.02
/proc/18572/stat : 18572 (java) R 18570 18572 17861 0 -1 0 29244 0 1 0 283 19 0 0 25 0 12 0 167492778 935051264 26142 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 228284 26142 2477 14 0 214721 0
[pid=18572/tid=18574] ppid=18570 vsize=913136 CPUtime=0.06
/proc/18572/task/18574/stat : 18574 (java) R 18570 18572 17861 0 -1 64 1502 0 0 0 6 0 0 0 17 0 12 0 167492780 935051264 26142 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155242719 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=913136 CPUtime=0.07
/proc/18572/task/18575/stat : 18575 (java) R 18570 18572 17861 0 -1 64 2290 0 0 0 7 0 0 0 17 0 12 0 167492780 935051264 26142 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958789 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18572/tid=18576] ppid=18570 vsize=913136 CPUtime=0
/proc/18572/task/18576/stat : 18576 (java) S 18570 18572 17861 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 167492783 935051264 26142 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=913136 CPUtime=0
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 17861 0 -1 64 8 0 0 0 0 0 0 0 22 0 12 0 167492783 935051264 26142 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=913136 CPUtime=0
/proc/18572/task/18578/stat : 18578 (java) S 18570 18572 17861 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 167492783 935051264 26142 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=913136 CPUtime=0
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 17861 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 167492787 935051264 26142 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=913136 CPUtime=0
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 167492787 935051264 26142 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=913136 CPUtime=0.87
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 17861 0 -1 64 3315 0 0 0 86 1 0 0 16 0 12 0 167492787 935051264 26142 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=913136 CPUtime=0.59
/proc/18572/task/18582/stat : 18582 (java) S 18570 18572 17861 0 -1 64 1897 0 0 0 58 1 0 0 16 0 12 0 167492787 935051264 26142 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=913136 CPUtime=0
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 167492787 935051264 26142 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=913136 CPUtime=0
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 167492787 935051264 26142 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 913136
[startup+6.29782 s]
/proc/loadavg: 1.98 2.03 1.88 3/105 18584
/proc/meminfo: memFree=1024976/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=914064 CPUtime=6.37
/proc/18572/stat : 18572 (java) R 18570 18572 17861 0 -1 0 34416 0 1 0 615 22 0 0 25 0 12 0 167492778 936001536 30960 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054079984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 228516 30960 2479 14 0 214953 0
[pid=18572/tid=18574] ppid=18570 vsize=914064 CPUtime=0.28
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 17861 0 -1 64 4578 0 0 0 27 1 0 0 16 0 12 0 167492780 936001536 30960 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=914064 CPUtime=0.26
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 17861 0 -1 64 4368 0 0 0 24 2 0 0 16 0 12 0 167492780 936001536 30960 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=914064 CPUtime=0
/proc/18572/task/18576/stat : 18576 (java) S 18570 18572 17861 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 167492783 936001536 30960 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=914064 CPUtime=0
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 17861 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 167492783 936001536 30960 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=914064 CPUtime=0
/proc/18572/task/18578/stat : 18578 (java) S 18570 18572 17861 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 167492783 936001536 30960 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=914064 CPUtime=0
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 17861 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 167492787 936001536 30960 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=914064 CPUtime=0
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 167492787 936001536 30960 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=914064 CPUtime=0.94
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 17861 0 -1 64 3319 0 0 0 93 1 0 0 16 0 12 0 167492787 936001536 30960 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=914064 CPUtime=0.6
/proc/18572/task/18582/stat : 18582 (java) S 18570 18572 17861 0 -1 64 1897 0 0 0 59 1 0 0 17 0 12 0 167492787 936001536 30960 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=914064 CPUtime=0
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 167492787 936001536 30960 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=914064 CPUtime=0
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 167492787 936001536 30960 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 914064
[startup+12.7032 s]
/proc/loadavg: 1.98 2.03 1.88 3/105 18584
/proc/meminfo: memFree=994448/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=913968 CPUtime=12.77
/proc/18572/stat : 18572 (java) R 18570 18572 17861 0 -1 0 40626 0 1 0 1252 25 0 0 25 0 12 0 167492778 935903232 36156 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054387834 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 228492 36156 2480 14 0 214929 0
[pid=18572/tid=18574] ppid=18570 vsize=913968 CPUtime=0.35
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 17861 0 -1 64 6890 0 0 0 32 3 0 0 16 0 12 0 167492780 935903232 36156 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=913968 CPUtime=0.34
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 17861 0 -1 64 7628 0 0 0 31 3 0 0 16 0 12 0 167492780 935903232 36156 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=913968 CPUtime=0.01
/proc/18572/task/18576/stat : 18576 (java) S 18570 18572 17861 0 -1 64 12 0 0 0 1 0 0 0 16 0 12 0 167492783 935903232 36156 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=913968 CPUtime=0
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 17861 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 167492783 935903232 36156 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=913968 CPUtime=0
/proc/18572/task/18578/stat : 18578 (java) S 18570 18572 17861 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 167492783 935903232 36156 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=913968 CPUtime=0
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 17861 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 167492787 935903232 36156 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=913968 CPUtime=0
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 167492787 935903232 36156 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=913968 CPUtime=1.06
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 17861 0 -1 64 3321 0 0 0 105 1 0 0 17 0 12 0 167492787 935903232 36156 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=913968 CPUtime=1.17
/proc/18572/task/18582/stat : 18582 (java) S 18570 18572 17861 0 -1 64 2517 0 0 0 116 1 0 0 17 0 12 0 167492787 935903232 36156 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=913968 CPUtime=0
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 167492787 935903232 36156 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=913968 CPUtime=0
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 167492787 935903232 36156 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 913968
[startup+25.512 s]
/proc/loadavg: 2.06 2.04 1.88 3/105 18584
/proc/meminfo: memFree=958928/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=913968 CPUtime=25.58
/proc/18572/stat : 18572 (java) R 18570 18572 17861 0 -1 0 48250 0 1 0 2529 29 0 0 25 0 12 0 167492778 935903232 43658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054079836 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 228492 43658 2480 14 0 214929 0
[pid=18572/tid=18574] ppid=18570 vsize=913968 CPUtime=0.47
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 17861 0 -1 64 11054 0 0 0 42 5 0 0 16 0 12 0 167492780 935903232 43658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=913968 CPUtime=0.45
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 17861 0 -1 64 11057 0 0 0 41 4 0 0 16 0 12 0 167492780 935903232 43658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=913968 CPUtime=0.01
/proc/18572/task/18576/stat : 18576 (java) S 18570 18572 17861 0 -1 64 12 0 0 0 1 0 0 0 16 0 12 0 167492783 935903232 43658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=913968 CPUtime=0
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 17861 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 167492783 935903232 43658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=913968 CPUtime=0
/proc/18572/task/18578/stat : 18578 (java) S 18570 18572 17861 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 167492783 935903232 43658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=913968 CPUtime=0
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 17861 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 167492787 935903232 43658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=913968 CPUtime=0
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 167492787 935903232 43658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=913968 CPUtime=1.09
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 17861 0 -1 64 3323 0 0 0 108 1 0 0 17 0 12 0 167492787 935903232 43658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=913968 CPUtime=1.23
/proc/18572/task/18582/stat : 18582 (java) S 18570 18572 17861 0 -1 64 2520 0 0 0 122 1 0 0 17 0 12 0 167492787 935903232 43658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=913968 CPUtime=0
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 167492787 935903232 43658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=913968 CPUtime=0
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 167492787 935903232 43658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 913968
[startup+51.2156 s]
/proc/loadavg: 2.04 2.04 1.89 3/105 18584
/proc/meminfo: memFree=878736/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=913968 CPUtime=51.23
/proc/18572/stat : 18572 (java) R 18570 18572 17861 0 -1 0 63925 0 1 0 5086 37 0 0 25 0 12 0 167492778 935903232 59287 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054243187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 228492 59287 2480 14 0 214929 0
[pid=18572/tid=18574] ppid=18570 vsize=913968 CPUtime=0.69
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 17861 0 -1 64 17713 0 0 0 60 9 0 0 16 0 12 0 167492780 935903232 59287 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=913968 CPUtime=0.7
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 17861 0 -1 64 20019 0 0 0 62 8 0 0 16 0 12 0 167492780 935903232 59287 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=913968 CPUtime=0.03
################
# More data... #
################
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 17861 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=914992 CPUtime=0.01
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 1 0 0 0 16 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=914992 CPUtime=1.62
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 17861 0 -1 64 3353 0 0 0 161 1 0 0 17 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=914992 CPUtime=1.72
/proc/18572/task/18582/stat : 18582 (java) S 18570 18572 17861 0 -1 64 2539 0 0 0 171 1 0 0 17 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.47
Current children cumulated vsize (KiB) 914992
[startup+642.941 s]
/proc/loadavg: 2.03 2.14 2.00 3/105 18584
/proc/meminfo: memFree=69520/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=914992 CPUtime=640.19
/proc/18572/stat : 18572 (java) S 18570 18572 17861 0 -1 0 208787 0 1 0 63900 119 0 0 16 0 12 0 167492778 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 228748 186891 2481 14 0 215185 0
[pid=18572/tid=18574] ppid=18570 vsize=914992 CPUtime=4.94
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 17861 0 -1 64 81158 0 0 0 456 38 0 0 16 0 12 0 167492780 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=914992 CPUtime=4.97
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 17861 0 -1 64 84802 0 0 0 459 38 0 0 15 0 12 0 167492780 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=914992 CPUtime=315.81
/proc/18572/task/18576/stat : 18576 (java) R 18570 18572 17861 0 -1 64 15872 0 0 0 31562 19 0 0 25 0 12 0 167492783 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152681624 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 17861 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 167492783 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18578/stat : 18578 (java) S 18570 18572 17861 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 167492783 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 17861 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=914992 CPUtime=0.01
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 1 0 0 0 16 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=914992 CPUtime=1.62
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 17861 0 -1 64 3353 0 0 0 161 1 0 0 17 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=914992 CPUtime=1.72
/proc/18572/task/18582/stat : 18582 (java) S 18570 18572 17861 0 -1 64 2539 0 0 0 171 1 0 0 17 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 640.19
Current children cumulated vsize (KiB) 914992
[startup+702.996 s]
/proc/loadavg: 2.01 2.11 2.00 3/105 18584
/proc/meminfo: memFree=43664/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=914992 CPUtime=699.92
/proc/18572/stat : 18572 (java) S 18570 18572 17861 0 -1 0 208854 0 1 0 69872 120 0 0 16 0 12 0 167492778 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 228748 186891 2481 14 0 215185 0
[pid=18572/tid=18574] ppid=18570 vsize=914992 CPUtime=4.94
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 17861 0 -1 64 81158 0 0 0 456 38 0 0 16 0 12 0 167492780 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=914992 CPUtime=4.97
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 17861 0 -1 64 84802 0 0 0 459 38 0 0 15 0 12 0 167492780 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=914992 CPUtime=375.4
/proc/18572/task/18576/stat : 18576 (java) R 18570 18572 17861 0 -1 64 15872 0 0 0 37521 19 0 0 25 0 12 0 167492783 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154921381 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 17861 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 167492783 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18578/stat : 18578 (java) S 18570 18572 17861 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 167492783 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 17861 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=914992 CPUtime=0.01
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 1 0 0 0 16 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=914992 CPUtime=1.62
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 17861 0 -1 64 3353 0 0 0 161 1 0 0 17 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=914992 CPUtime=1.72
/proc/18572/task/18582/stat : 18582 (java) S 18570 18572 17861 0 -1 64 2539 0 0 0 171 1 0 0 17 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699.92
Current children cumulated vsize (KiB) 914992
[startup+763.028 s]
/proc/loadavg: 2.05 2.10 2.00 3/105 18584
/proc/meminfo: memFree=33616/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=914992 CPUtime=759.61
/proc/18572/stat : 18572 (java) S 18570 18572 17861 0 -1 0 208924 0 1 0 75840 121 0 0 16 0 12 0 167492778 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 228748 186891 2481 14 0 215185 0
[pid=18572/tid=18574] ppid=18570 vsize=914992 CPUtime=4.94
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 17861 0 -1 64 81158 0 0 0 456 38 0 0 16 0 12 0 167492780 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=914992 CPUtime=4.97
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 17861 0 -1 64 84802 0 0 0 459 38 0 0 15 0 12 0 167492780 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=914992 CPUtime=435.03
/proc/18572/task/18576/stat : 18576 (java) R 18570 18572 17861 0 -1 64 15872 0 0 0 43483 20 0 0 25 0 12 0 167492783 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152681624 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 17861 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 167492783 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18578/stat : 18578 (java) S 18570 18572 17861 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 167492783 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 17861 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=914992 CPUtime=0.01
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 1 0 0 0 16 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=914992 CPUtime=1.62
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 17861 0 -1 64 3353 0 0 0 161 1 0 0 17 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=914992 CPUtime=1.72
/proc/18572/task/18582/stat : 18582 (java) S 18570 18572 17861 0 -1 64 2539 0 0 0 171 1 0 0 17 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=914992 CPUtime=0
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 167492787 936951808 186891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 759.61
Current children cumulated vsize (KiB) 914992
[startup+823.078 s]
/proc/loadavg: 2.02 2.08 2.00 3/105 18584
/proc/meminfo: memFree=19600/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=918996 CPUtime=819.33
/proc/18572/stat : 18572 (java) S 18570 18572 17861 0 -1 0 212167 0 1 0 81810 123 0 0 15 0 12 0 167492778 941051904 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 229749 187685 2481 14 0 216186 0
[pid=18572/tid=18574] ppid=18570 vsize=918996 CPUtime=4.94
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 17861 0 -1 64 81158 0 0 0 456 38 0 0 16 0 12 0 167492780 941051904 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=918996 CPUtime=4.97
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 17861 0 -1 64 84802 0 0 0 459 38 0 0 15 0 12 0 167492780 941051904 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=918996 CPUtime=494.72
/proc/18572/task/18576/stat : 18576 (java) R 18570 18572 17861 0 -1 64 19048 0 0 0 49450 22 0 0 25 0 12 0 167492783 941051904 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154454535 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=918996 CPUtime=0
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 17861 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 167492783 941051904 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=918996 CPUtime=0
/proc/18572/task/18578/stat : 18578 (java) S 18570 18572 17861 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 167492783 941051904 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=918996 CPUtime=0
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 17861 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 167492787 941051904 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=918996 CPUtime=0.01
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 1 0 0 0 16 0 12 0 167492787 941051904 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=918996 CPUtime=1.62
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 17861 0 -1 64 3353 0 0 0 161 1 0 0 17 0 12 0 167492787 941051904 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=918996 CPUtime=1.72
/proc/18572/task/18582/stat : 18582 (java) S 18570 18572 17861 0 -1 64 2539 0 0 0 171 1 0 0 17 0 12 0 167492787 941051904 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=918996 CPUtime=0
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 167492787 941051904 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=918996 CPUtime=0
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 167492787 941051904 187685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 819.33
Current children cumulated vsize (KiB) 918996
[startup+883.12 s]
/proc/loadavg: 2.00 2.06 2.00 3/106 18585
/proc/meminfo: memFree=19272/2055920 swapFree=4191880/4192956
[pid=18572] ppid=18570 vsize=915508 CPUtime=879.05
/proc/18572/stat : 18572 (java) S 18570 18572 17861 0 -1 0 217801 0 1 0 87778 127 0 0 16 0 13 0 167492778 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18572/statm: 228877 186899 2483 14 0 215314 0
[pid=18572/tid=18574] ppid=18570 vsize=915508 CPUtime=4.94
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 17861 0 -1 64 81158 0 0 0 456 38 0 0 16 0 13 0 167492780 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=915508 CPUtime=4.97
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 17861 0 -1 64 84802 0 0 0 459 38 0 0 15 0 13 0 167492780 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=915508 CPUtime=554.43
/proc/18572/task/18576/stat : 18576 (java) R 18570 18572 17861 0 -1 64 24607 0 0 0 55417 26 0 0 25 0 13 0 167492783 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152694605 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=915508 CPUtime=0
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 17861 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 167492783 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=915508 CPUtime=0
/proc/18572/task/18578/stat : 18578 (java) S 18570 18572 17861 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 167492783 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=915508 CPUtime=0
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 17861 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 167492787 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=915508 CPUtime=0.01
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 17861 0 -1 64 1 0 0 0 1 0 0 0 16 0 13 0 167492787 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=915508 CPUtime=1.62
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 17861 0 -1 64 3353 0 0 0 161 1 0 0 17 0 13 0 167492787 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=915508 CPUtime=1.72
/proc/18572/task/18582/stat : 18582 (java) S 18570 18572 17861 0 -1 64 2539 0 0 0 171 1 0 0 17 0 13 0 167492787 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=915508 CPUtime=0
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 167492787 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=915508 CPUtime=0
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 17861 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 167492787 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18572/tid=18585] ppid=18570 vsize=915508 CPUtime=0
/proc/18572/task/18585/stat : 18585 (java) S 18570 18572 17861 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 167580863 937480192 186899 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 879.05
Current children cumulated vsize (KiB) 915508
Child status: 1
Real time (s): 886.731
CPU time (s): 882.579
CPU user time (s): 881.198
CPU system time (s): 1.38079
CPU usage (%): 99.5318
Max. virtual memory (cumulated for all children) (KiB): 918996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 881.198
system time used= 1.38079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217811
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= 25772
involuntary context switches= 27131
runsolver used 1.04684 s user time and 2.92656 s system time
The end
Begin job on node29 on Sun Jan 7 17:29:47 UTC 2007
IDJOB= 208921
IDBENCH= 4484
FILE ID= node29/208921-1168190987
PBS_JOBID= 3479253
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp01-05/fapp05/fapp05-0350-4.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/208921-1168190987/sat4jCSP-bf3.jar /tmp/evaluation/208921-1168190987/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-208921-1168190987 -o ROOT/results/node29/solver-208921-1168190987 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/208921-1168190987/sat4jCSP-bf3.jar /tmp/evaluation/208921-1168190987/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= 95ba3b30ed9a468e4d1a7bd23b8f7329
RANDOM SEED= 772533679
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.241
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.241
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: 1145224 kB
Buffers: 57952 kB
Cached: 403048 kB
SwapCached: 448 kB
Active: 456456 kB
Inactive: 383348 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1145224 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3092 kB
Writeback: 0 kB
Mapped: 405312 kB
Slab: 54784 kB
Committed_AS: 4226140 kB
PageTables: 3132 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= 66543 MiB
End job on node29 on Sun Jan 7 17:44:34 UTC 2007