39.29/40.12 s UNSATISFIABLE
39.29/40.12 d AC 32
39.29/40.12 d RUNTIME 40.011
39.29/40.12 d NODES 153
39.29/40.12 d NODES/s 4
39.29/40.12 d BACKTRACKS 276
39.29/40.12 d BACKTRACKS/s 7
39.29/40.12 d CHECKS 0
39.29/40.12 d CHECKS/s 0
39.29/40.12 c UNSAT 40.011 TIME 153 NDS 1467 PARSTIME 4367 BUILDPB 34177 RES true RESTART 1 HEURISTIC true RANDVAL
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083378-1247377277/watcher-2083378-1247377277 -o /tmp/evaluation-result-2083378-1247377277/solver-2083378-1247377277 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2083378-1247377277.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.81 4.59 3.50 4/85 24756
/proc/meminfo: memFree=140880/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=18576 CPUtime=0
/proc/24756/stat : 24756 (runsolver) R 24754 24756 20253 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 24794186 19021824 284 996147200 4194304 4302564 548682068192 18446744073709551615 214945033511 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24756/statm: 4644 284 249 26 0 2626 0
[startup+0.0441219 s]
/proc/loadavg: 4.81 4.59 3.50 4/85 24756
/proc/meminfo: memFree=140880/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=859892 CPUtime=0.02
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 2259 0 1 0 1 1 0 0 20 0 5 0 24794186 880529408 1848 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 214973 1848 862 9 0 209888 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 859892
[startup+0.10113 s]
/proc/loadavg: 4.81 4.59 3.50 4/85 24756
/proc/meminfo: memFree=140880/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=864108 CPUtime=0.08
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 3782 0 1 0 6 2 0 0 20 0 9 0 24794186 884846592 3247 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216027 3247 1717 9 0 210495 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864108
[startup+0.301154 s]
/proc/loadavg: 4.81 4.59 3.50 4/85 24756
/proc/meminfo: memFree=140880/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=864896 CPUtime=0.28
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 4848 0 1 0 26 2 0 0 20 0 9 0 24794186 885653504 4273 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216224 4273 1855 9 0 210692 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864896
[startup+0.701197 s]
/proc/loadavg: 4.81 4.59 3.50 4/85 24756
/proc/meminfo: memFree=140880/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865028 CPUtime=0.68
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 10052 0 1 0 63 5 0 0 20 0 9 0 24794186 885788672 9466 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216257 9466 1894 9 0 210725 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865028
[startup+1.50229 s]
/proc/loadavg: 4.81 4.59 3.50 3/94 24765
/proc/meminfo: memFree=82056/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865028 CPUtime=1.48
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 20664 0 1 0 138 10 0 0 20 0 9 0 24794186 885788672 20074 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216257 20074 1909 9 0 210725 0
[pid=24756/tid=24758] ppid=24754 vsize=865028 CPUtime=1.13
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14277 0 1 0 107 6 0 0 25 0 9 0 24794188 885788672 20074 996147200 134512640 134550932 4294955840 18446744073709551615 102628800 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865028 CPUtime=0.13
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 5087 0 0 0 11 2 0 0 17 0 9 0 24794189 885788672 20074 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865028 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885788672 20074 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865028 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885788672 20074 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865028 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885788672 20074 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865028 CPUtime=0.19
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 569 0 0 0 19 0 0 0 15 0 9 0 24794191 885788672 20074 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24764] ppid=24754 vsize=865028 CPUtime=0
/proc/24756/task/24764/stat : 24764 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24794191 885788672 20074 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24765] ppid=24754 vsize=865028 CPUtime=0
/proc/24756/task/24765/stat : 24765 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24794191 885788672 20074 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865028
[startup+3.10247 s]
/proc/loadavg: 4.99 4.63 3.52 3/94 24765
/proc/meminfo: memFree=26056/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865148 CPUtime=2.86
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 30830 0 1 0 269 17 0 0 20 0 9 0 24794186 885911552 30220 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216287 30220 1960 9 0 210755 0
[pid=24756/tid=24758] ppid=24754 vsize=865148 CPUtime=2.12
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14529 0 1 0 205 7 0 0 25 0 9 0 24794188 885911552 30220 996147200 134512640 134550932 4294955840 18446744073709551615 4126808314 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865148 CPUtime=0.44
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 14940 0 0 0 36 8 0 0 18 0 9 0 24794189 885911552 30220 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 30220 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 30220 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 30220 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865148 CPUtime=0.26
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 630 0 0 0 26 0 0 0 15 0 9 0 24794191 885911552 30220 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24764] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24764/stat : 24764 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 30220 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24765] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24765/stat : 24765 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24794191 885911552 30220 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 865148
[startup+6.30183 s]
/proc/loadavg: 4.99 4.63 3.52 3/97 24768
/proc/meminfo: memFree=15408/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865148 CPUtime=5.71
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 47757 0 1 0 544 27 0 0 20 0 9 0 24794186 885911552 47128 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216287 47128 1985 9 0 210755 0
[pid=24756/tid=24758] ppid=24754 vsize=865148 CPUtime=4.3
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14809 0 1 0 422 8 0 0 25 0 9 0 24794188 885911552 47128 996147200 134512640 134550932 4294955840 18446744073709551615 4127302704 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865148 CPUtime=0.94
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 31481 0 0 0 78 16 0 0 17 0 9 0 24794189 885911552 47128 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 47128 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 47128 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 47128 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865148 CPUtime=0.44
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 736 0 0 0 43 1 0 0 15 0 9 0 24794191 885911552 47128 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24764] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24764/stat : 24764 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 47128 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24765] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24765/stat : 24765 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24794191 885911552 47128 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 865148
[startup+12.7016 s]
/proc/loadavg: 5.83 4.82 3.60 2/98 24769
/proc/meminfo: memFree=16296/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865148 CPUtime=12.06
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 52662 0 1 0 1177 29 0 0 20 0 9 0 24794186 885911552 52030 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216287 52030 1985 9 0 210755 0
[pid=24756/tid=24758] ppid=24754 vsize=865148 CPUtime=10.45
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14812 0 1 0 1037 8 0 0 25 0 9 0 24794188 885911552 52030 996147200 134512640 134550932 4294955840 18446744073709551615 4127542508 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865148 CPUtime=1.14
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 36382 0 0 0 96 18 0 0 16 0 9 0 24794189 885911552 52030 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 52030 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 52030 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 52030 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865148 CPUtime=0.44
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 737 0 0 0 43 1 0 0 16 0 9 0 24794191 885911552 52030 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24764] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24764/stat : 24764 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 52030 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24765] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24765/stat : 24765 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24794191 885911552 52030 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 865148
[startup+25.502 s]
/proc/loadavg: 7.11 5.12 3.71 2/103 24775
/proc/meminfo: memFree=15488/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865148 CPUtime=24.76
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 63663 0 1 0 2442 34 0 0 20 0 9 0 24794186 885911552 63028 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216287 63028 1985 9 0 210755 0
[pid=24756/tid=24758] ppid=24754 vsize=865148 CPUtime=23.04
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14815 0 1 0 2296 8 0 0 25 0 9 0 24794188 885911552 63028 996147200 134512640 134550932 4294955840 18446744073709551615 4127361747 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865148 CPUtime=1.25
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 47380 0 0 0 102 23 0 0 16 0 9 0 24794189 885911552 63028 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 63028 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 63028 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 63028 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865148 CPUtime=0.44
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 737 0 0 0 43 1 0 0 16 0 9 0 24794191 885911552 63028 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24764] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24764/stat : 24764 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 63028 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24765] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24765/stat : 24765 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24794191 885911552 63028 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.76
Current children cumulated vsize (KiB) 865148
Solver just ended. Dumping a history of the last processes samples
[startup+25.802 s]
/proc/loadavg: 7.11 5.12 3.71 2/103 24775
/proc/meminfo: memFree=15488/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865148 CPUtime=25.06
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 74657 0 1 0 2469 37 0 0 20 0 9 0 24794186 885911552 74021 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216287 74021 1985 9 0 210755 0
[pid=24756/tid=24758] ppid=24754 vsize=865148 CPUtime=23.26
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14816 0 1 0 2318 8 0 0 18 0 9 0 24794188 885911552 74021 996147200 134512640 134550932 4294955840 18446744073709551615 4126626612 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865148 CPUtime=1.32
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 58373 0 0 0 106 26 0 0 16 0 9 0 24794189 885911552 74021 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 74021 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 74021 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 74021 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865148 CPUtime=0.44
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 737 0 0 0 43 1 0 0 16 0 9 0 24794191 885911552 74021 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 74660 0 1 0 3105 37 0 0 20 0 9 0 24794186 885911552 74023 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216287 74023 1985 9 0 210755 0
[pid=24756/tid=24758] ppid=24754 vsize=865148 CPUtime=29.63
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14817 0 1 0 2955 8 0 0 25 0 9 0 24794188 885911552 74023 996147200 134512640 134550932 4294955840 18446744073709551615 4126626602 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865148 CPUtime=1.32
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 58373 0 0 0 106 26 0 0 16 0 9 0 24794189 885911552 74023 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 74023 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 74023 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 74023 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865148 CPUtime=0.44
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 739 0 0 0 43 1 0 0 16 0 9 0 24794191 885911552 74023 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24764] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24764/stat : 24764 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 74023 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24765] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24765/stat : 24765 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24794191 885911552 74023 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.42
Current children cumulated vsize (KiB) 865148
[startup+35.4021 s]
/proc/loadavg: 8.55 5.50 3.84 3/103 24775
/proc/meminfo: memFree=15744/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865148 CPUtime=34.6
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 85662 0 1 0 3419 41 0 0 20 0 9 0 24794186 885911552 85024 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216287 85024 1985 9 0 210755 0
[pid=24756/tid=24758] ppid=24754 vsize=865148 CPUtime=32.73
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14818 0 1 0 3264 9 0 0 25 0 9 0 24794188 885911552 85024 996147200 134512640 134550932 4294955840 18446744073709551615 4127361680 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865148 CPUtime=1.4
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 69374 0 0 0 110 30 0 0 16 0 9 0 24794189 885911552 85024 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 85024 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 85024 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 85024 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865148 CPUtime=0.44
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 739 0 0 0 43 1 0 0 16 0 9 0 24794191 885911552 85024 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24764] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24764/stat : 24764 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 85024 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24765] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24765/stat : 24765 (java) R 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24794191 885911552 85024 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 34.6
Current children cumulated vsize (KiB) 865148
[startup+38.6015 s]
/proc/loadavg: 8.27 5.49 3.85 2/94 24776
/proc/meminfo: memFree=236424/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865148 CPUtime=37.8
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 85691 0 1 0 3738 42 0 0 20 0 9 0 24794186 885911552 85053 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216287 85053 1985 9 0 210755 0
[pid=24756/tid=24758] ppid=24754 vsize=865148 CPUtime=35.9
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14833 0 1 0 3581 9 0 0 25 0 9 0 24794188 885911552 85053 996147200 134512640 134550932 4294955840 18446744073709551615 4127583808 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865148 CPUtime=1.4
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 69374 0 0 0 110 30 0 0 16 0 9 0 24794189 885911552 85053 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 85053 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 85053 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 85053 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865148 CPUtime=0.47
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 753 0 0 0 46 1 0 0 16 0 9 0 24794191 885911552 85053 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24764] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24764/stat : 24764 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 85053 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24765] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24765/stat : 24765 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24794191 885911552 85053 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 37.8
Current children cumulated vsize (KiB) 865148
[startup+39.4016 s]
/proc/loadavg: 8.27 5.49 3.85 2/94 24776
/proc/meminfo: memFree=236296/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865148 CPUtime=38.59
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 85698 0 2 0 3817 42 0 0 20 0 9 0 24794186 885911552 85060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216287 85060 1987 9 0 210755 0
[pid=24756/tid=24758] ppid=24754 vsize=865148 CPUtime=36.68
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14835 0 2 0 3659 9 0 0 24 0 9 0 24794188 885911552 85060 996147200 134512640 134550932 4294955840 18446744073709551615 4126627275 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865148 CPUtime=1.4
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 69374 0 0 0 110 30 0 0 16 0 9 0 24794189 885911552 85060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 85060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 85060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 85060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865148 CPUtime=0.48
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 758 0 0 0 47 1 0 0 15 0 9 0 24794191 885911552 85060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24764] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24764/stat : 24764 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 85060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24765] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24765/stat : 24765 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24794191 885911552 85060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 38.59
Current children cumulated vsize (KiB) 865148
[startup+39.8016 s]
/proc/loadavg: 8.27 5.49 3.85 2/94 24777
/proc/meminfo: memFree=236040/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865148 CPUtime=38.99
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 85700 0 2 0 3857 42 0 0 20 0 9 0 24794186 885911552 85061 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216287 85061 1987 9 0 210755 0
[pid=24756/tid=24758] ppid=24754 vsize=865148 CPUtime=37.08
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14836 0 2 0 3699 9 0 0 25 0 9 0 24794188 885911552 85061 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865148 CPUtime=1.4
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 69374 0 0 0 110 30 0 0 17 0 9 0 24794189 885911552 85061 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 85061 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 85061 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 85061 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865148 CPUtime=0.48
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 759 0 0 0 47 1 0 0 15 0 9 0 24794191 885911552 85061 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24764] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24764/stat : 24764 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 85061 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24765] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24765/stat : 24765 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24794191 885911552 85061 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 38.99
Current children cumulated vsize (KiB) 865148
[startup+40.0017 s]
/proc/loadavg: 8.27 5.49 3.85 2/94 24777
/proc/meminfo: memFree=236040/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865148 CPUtime=39.19
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 85703 0 2 0 3877 42 0 0 20 0 9 0 24794186 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216287 85064 1987 9 0 210755 0
[pid=24756/tid=24758] ppid=24754 vsize=865148 CPUtime=37.27
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14836 0 2 0 3718 9 0 0 25 0 9 0 24794188 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4127572265 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865148 CPUtime=1.4
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 69374 0 0 0 110 30 0 0 17 0 9 0 24794189 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865148 CPUtime=0.49
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 762 0 0 0 48 1 0 0 16 0 9 0 24794191 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24764] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24764/stat : 24764 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24765] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24765/stat : 24765 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24794191 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 39.19
Current children cumulated vsize (KiB) 865148
[startup+40.1017 s]
/proc/loadavg: 8.27 5.49 3.85 2/94 24777
/proc/meminfo: memFree=236040/2055920 swapFree=4192812/4192956
[pid=24756] ppid=24754 vsize=865148 CPUtime=39.29
/proc/24756/stat : 24756 (java) S 24754 24756 20253 0 -1 0 85703 0 2 0 3887 42 0 0 20 0 9 0 24794186 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 216287 85064 1987 9 0 210755 0
[pid=24756/tid=24758] ppid=24754 vsize=865148 CPUtime=37.37
/proc/24756/task/24758/stat : 24758 (java) R 24754 24756 20253 0 -1 64 14836 0 2 0 3728 9 0 0 25 0 9 0 24794188 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4127572439 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24754 vsize=865148 CPUtime=1.4
/proc/24756/task/24759/stat : 24759 (java) S 24754 24756 20253 0 -1 64 69374 0 0 0 110 30 0 0 17 0 9 0 24794189 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24760] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24754 24756 20253 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24761/stat : 24761 (java) S 24754 24756 20253 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24794189 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24754 24756 20253 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24754 vsize=865148 CPUtime=0.49
/proc/24756/task/24763/stat : 24763 (java) S 24754 24756 20253 0 -1 64 762 0 0 0 48 1 0 0 16 0 9 0 24794191 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24756/tid=24764] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24764/stat : 24764 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24794191 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24756/tid=24765] ppid=24754 vsize=865148 CPUtime=0
/proc/24756/task/24765/stat : 24765 (java) S 24754 24756 20253 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24794191 885911552 85064 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 39.29
Current children cumulated vsize (KiB) 865148
Child status: 0
Real time (s): 40.1951
CPU time (s): 39.377
CPU user time (s): 38.9011
CPU system time (s): 0.475927
CPU usage (%): 97.9647
Max. virtual memory (cumulated for all children) (KiB): 865232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.9011
system time used= 0.475927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85724
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3230
involuntary context switches= 3998
runsolver used 0.06099 second user time and 0.149977 second system time
The end
Begin job on node85 at 2009-07-12 07:41:29
IDJOB=2083378
IDBENCH=57796
IDSOLVER=737
FILE ID=node85/2083378-1247377277
PBS_JOBID= 9507101
Free space on /tmp= 125108 MiB
SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/fapp/fapp11/normalized-fapp11-1000-4.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083378-1247377277/watcher-2083378-1247377277 -o /tmp/evaluation-result-2083378-1247377277/solver-2083378-1247377277 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2083378-1247377277.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a8e79faf7692d3f5f7256e10541a9d64
RANDOM SEED=425205258
node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
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.220
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 141424 kB
Buffers: 9460 kB
Cached: 1544272 kB
SwapCached: 0 kB
Active: 1766032 kB
Inactive: 27368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 141424 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 282144 kB
Writeback: 27984 kB
Mapped: 260952 kB
Slab: 105732 kB
Committed_AS: 545408 kB
PageTables: 2344 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= 124832 MiB
End job on node85 at 2009-07-12 07:42:09