184.04/185.88 s UNSATISFIABLE
184.04/185.88 d AC 32
184.04/185.88 d RUNTIME 185.775
184.04/185.88 d NODES 262970
184.04/185.88 d NODES/s 1416
184.04/185.88 d BACKTRACKS 393707
184.04/185.88 d BACKTRACKS/s 2119
184.04/185.88 d CHECKS 0
184.04/185.88 d CHECKS/s 0
184.04/185.88 c UNSAT 185.775 TIME 262970 NDS 221 PARSTIME 188 BUILDPB 198 CONFIG 185168 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-2115834-1248030339/watcher-2115834-1248030339 -o /tmp/evaluation-result-2115834-1248030339/solver-2115834-1248030339 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115834-1248030339.xml -randval true -h 1 -ac 32 -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
[startup+0 s]
/proc/loadavg: 1.98 1.98 1.91 4/80 26458
/proc/meminfo: memFree=1190576/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=18576 CPUtime=0
/proc/26458/stat : 26458 (runsolver) R 26456 26173 26173 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 1 0 90100382 19021824 282 996147200 4194304 4302564 548682068272 18446744073709551615 4252651 0 0 4096 24578 0 0 0 17 1 0 0
/proc/26458/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.098206 s]
/proc/loadavg: 1.98 1.98 1.91 4/80 26458
/proc/meminfo: memFree=1190576/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=864060 CPUtime=0.08
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 3765 0 1 0 7 1 0 0 18 0 9 0 90100382 884797440 3230 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216015 3230 1701 9 0 210484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864060
[startup+0.101203 s]
/proc/loadavg: 1.98 1.98 1.91 4/80 26458
/proc/meminfo: memFree=1190576/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=864060 CPUtime=0.08
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 3801 0 1 0 7 1 0 0 18 0 9 0 90100382 884797440 3264 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216015 3264 1721 9 0 210484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864060
[startup+0.301227 s]
/proc/loadavg: 1.98 1.98 1.91 4/80 26458
/proc/meminfo: memFree=1190576/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=864188 CPUtime=0.28
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 4560 0 1 0 26 2 0 0 18 0 9 0 90100382 884928512 3981 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216047 3981 1869 9 0 210516 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864188
[startup+0.701273 s]
/proc/loadavg: 1.98 1.98 1.91 4/80 26458
/proc/meminfo: memFree=1190576/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=0.68
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 7513 0 1 0 64 4 0 0 18 0 9 0 90100382 885854208 6899 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 6899 1952 9 0 210742 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865092
[startup+1.50236 s]
/proc/loadavg: 1.98 1.98 1.91 3/89 26467
/proc/meminfo: memFree=1169704/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=1.48
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 7902 0 1 0 143 5 0 0 18 0 9 0 90100382 885854208 7286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 7286 1957 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=1.29
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 6657 0 1 0 126 3 0 0 25 0 9 0 90100383 885854208 7286 996147200 134512640 134550932 4294955888 18446744073709551615 4126724876 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 90100385 885854208 7286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90100385 885854208 7286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 90100385 885854208 7286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 7286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.16
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 515 0 0 0 16 0 0 0 16 0 9 0 90100387 885854208 7286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 7286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26467] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26467/stat : 26467 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90100387 885854208 7286 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865092
[startup+3.10253 s]
/proc/loadavg: 1.98 1.98 1.91 4/89 26467
/proc/meminfo: memFree=1167848/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=3.06
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 8529 0 1 0 300 6 0 0 18 0 9 0 90100382 885854208 7911 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 7911 1961 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=2.86
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 7268 0 1 0 282 4 0 0 25 0 9 0 90100383 885854208 7911 996147200 134512640 134550932 4294955888 18446744073709551615 4126724803 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 90100385 885854208 7911 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90100385 885854208 7911 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 90100385 885854208 7911 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 7911 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.17
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 531 0 0 0 17 0 0 0 16 0 9 0 90100387 885854208 7911 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 7911 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26467] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26467/stat : 26467 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90100387 885854208 7911 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 865092
[startup+6.30187 s]
/proc/loadavg: 1.98 1.98 1.91 3/89 26467
/proc/meminfo: memFree=1162600/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=6.22
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 9794 0 1 0 615 7 0 0 18 0 9 0 90100382 885854208 9174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 9174 1962 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=6.03
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 8531 0 1 0 597 6 0 0 25 0 9 0 90100383 885854208 9174 996147200 134512640 134550932 4294955888 18446744073709551615 4126724818 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 9174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90100385 885854208 9174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 90100385 885854208 9174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 9174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.18
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 533 0 0 0 18 0 0 0 15 0 9 0 90100387 885854208 9174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 9174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26467] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26467/stat : 26467 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90100387 885854208 9174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 865092
[startup+12.7016 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26467
/proc/meminfo: memFree=1147368/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=12.56
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 12396 0 1 0 1245 11 0 0 18 0 9 0 90100382 885854208 11776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 11776 1962 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=12.36
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 11133 0 1 0 1227 9 0 0 25 0 9 0 90100383 885854208 11776 996147200 134512640 134550932 4294955888 18446744073709551615 4126724803 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 11776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90100385 885854208 11776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 90100385 885854208 11776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 11776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.18
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 533 0 0 0 18 0 0 0 15 0 9 0 90100387 885854208 11776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 11776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26467] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26467/stat : 26467 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90100387 885854208 11776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 865092
[startup+25.5029 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26467
/proc/meminfo: memFree=1129896/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=25.25
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 16477 0 1 0 2506 19 0 0 18 0 9 0 90100382 885854208 15854 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 15854 1972 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=25.03
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 14763 0 1 0 2486 17 0 0 25 0 9 0 90100383 885854208 15854 996147200 134512640 134550932 4294955888 18446744073709551615 4126769985 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0.01
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 448 0 0 0 1 0 0 0 16 0 9 0 90100385 885854208 15854 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 15854 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 15854 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 15854 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.18
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 533 0 0 0 18 0 0 0 15 0 9 0 90100387 885854208 15854 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 15854 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26467] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26467/stat : 26467 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90100387 885854208 15854 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 865092
[startup+51.1027 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26467
/proc/meminfo: memFree=1128232/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=50.59
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 16912 0 1 0 5026 33 0 0 18 0 9 0 90100382 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 16288 1972 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=50.37
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 14764 0 1 0 5006 31 0 0 25 0 9 0 90100383 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4126597227 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0.01
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 882 0 0 0 1 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.18
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 533 0 0 0 18 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 16917 0 1 0 17647 93 0 0 18 0 9 0 90100382 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 16288 1972 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=177.15
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 14769 0 1 0 17624 91 0 0 25 0 9 0 90100383 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4126597240 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0.04
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 882 0 0 0 4 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.18
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 533 0 0 0 18 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26467] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26467/stat : 26467 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 177.4
Current children cumulated vsize (KiB) 865092
[startup+182.303 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26467
/proc/meminfo: memFree=1127784/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=180.57
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 16917 0 1 0 17963 94 0 0 18 0 9 0 90100382 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 16288 1972 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=180.31
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 14769 0 1 0 17939 92 0 0 25 0 9 0 90100383 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4126724844 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0.04
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 882 0 0 0 4 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.18
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 533 0 0 0 18 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26467] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26467/stat : 26467 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 180.57
Current children cumulated vsize (KiB) 865092
[startup+183.901 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26467
/proc/meminfo: memFree=1127784/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=182.15
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 16918 0 1 0 18120 95 0 0 18 0 9 0 90100382 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 16288 1972 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=181.89
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 14770 0 1 0 18096 93 0 0 25 0 9 0 90100383 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4126724895 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0.05
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 882 0 0 0 5 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.18
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 533 0 0 0 18 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26467] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26467/stat : 26467 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 182.15
Current children cumulated vsize (KiB) 865092
[startup+184.701 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26467
/proc/meminfo: memFree=1127784/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=182.95
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 16918 0 1 0 18199 96 0 0 18 0 9 0 90100382 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 16288 1972 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=182.68
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 14770 0 1 0 18175 93 0 0 25 0 9 0 90100383 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4126716912 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0.05
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 882 0 0 0 5 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.18
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 533 0 0 0 18 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26467] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26467/stat : 26467 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 182.95
Current children cumulated vsize (KiB) 865092
[startup+185.501 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26467
/proc/meminfo: memFree=1127784/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=183.74
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 16918 0 1 0 18277 97 0 0 18 0 9 0 90100382 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 16288 1972 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=183.47
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 14770 0 1 0 18253 94 0 0 25 0 9 0 90100383 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4126597227 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0.05
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 882 0 0 0 5 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.18
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 533 0 0 0 18 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26467] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26467/stat : 26467 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 183.74
Current children cumulated vsize (KiB) 865092
[startup+185.701 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26467
/proc/meminfo: memFree=1127784/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=183.94
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 16918 0 1 0 18297 97 0 0 18 0 9 0 90100382 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 16288 1972 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=183.67
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 14770 0 1 0 18273 94 0 0 25 0 9 0 90100383 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4126724803 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0.05
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 882 0 0 0 5 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.18
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 533 0 0 0 18 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26467] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26467/stat : 26467 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 183.94
Current children cumulated vsize (KiB) 865092
[startup+185.801 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26467
/proc/meminfo: memFree=1127784/2055920 swapFree=4192812/4192956
[pid=26458] ppid=26456 vsize=865092 CPUtime=184.04
/proc/26458/stat : 26458 (java) S 26456 26458 26173 0 -1 0 16918 0 1 0 18307 97 0 0 18 0 9 0 90100382 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26458/statm: 216273 16288 1972 9 0 210742 0
[pid=26458/tid=26460] ppid=26456 vsize=865092 CPUtime=183.78
/proc/26458/task/26460/stat : 26460 (java) R 26456 26458 26173 0 -1 64 14770 0 1 0 18283 95 0 0 25 0 9 0 90100383 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4126724812 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26461] ppid=26456 vsize=865092 CPUtime=0.05
/proc/26458/task/26461/stat : 26461 (java) S 26456 26458 26173 0 -1 64 882 0 0 0 5 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26462] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26462/stat : 26462 (java) S 26456 26458 26173 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26463] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26463/stat : 26463 (java) S 26456 26458 26173 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90100385 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26464] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26464/stat : 26464 (java) S 26456 26458 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26465] ppid=26456 vsize=865092 CPUtime=0.18
/proc/26458/task/26465/stat : 26465 (java) S 26456 26458 26173 0 -1 64 533 0 0 0 18 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26466] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26466/stat : 26466 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26458/tid=26467] ppid=26456 vsize=865092 CPUtime=0
/proc/26458/task/26467/stat : 26467 (java) S 26456 26458 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90100387 885854208 16288 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 184.04
Current children cumulated vsize (KiB) 865092
Child status: 0
Real time (s): 185.905
CPU time (s): 184.136
CPU user time (s): 183.153
CPU system time (s): 0.98285
CPU usage (%): 99.0487
Max. virtual memory (cumulated for all children) (KiB): 865092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.153
system time used= 0.98285
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16942
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= 4619
involuntary context switches= 9567
runsolver used 0.228965 second user time and 0.627904 second system time
The end
Begin job on node21 at 2009-07-19 21:05:39
IDJOB=2115834
IDBENCH=55768
IDSOLVER=780
FILE ID=node21/2115834-1248030339
PBS_JOBID= 9529004
Free space on /tmp= 66332 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-t2001-13queen13-1110971363.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2115834-1248030339/watcher-2115834-1248030339 -o /tmp/evaluation-result-2115834-1248030339/solver-2115834-1248030339 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115834-1248030339.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f384518555f7702654680d6e2acdc8f8
RANDOM SEED=1383428150
node21.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.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1191056 kB
Buffers: 94644 kB
Cached: 606912 kB
SwapCached: 0 kB
Active: 300648 kB
Inactive: 476400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1191056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10244 kB
Writeback: 0 kB
Mapped: 93296 kB
Slab: 72940 kB
Committed_AS: 1225912 kB
PageTables: 1888 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= 66328 MiB
End job on node21 at 2009-07-19 21:08:45