604.64/607.73 s UNSATISFIABLE
604.64/607.73 d AC 32
604.64/607.73 d RUNTIME 607.621
604.64/607.73 d NODES 683937
604.64/607.73 d NODES/s 1126
604.64/607.73 d BACKTRACKS 1134983
604.64/607.73 d BACKTRACKS/s 1868
604.64/607.73 d CHECKS 0
604.64/607.73 d CHECKS/s 0
604.64/607.73 c UNSAT 607.621 TIME 683937 NDS 620 PARSTIME 207 BUILDPB 388 CONFIG 606406 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-2116910-1248032736/watcher-2116910-1248032736 -o /tmp/evaluation-result-2116910-1248032736/solver-2116910-1248032736 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116910-1248032736.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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.14 2.12 4/81 30940
/proc/meminfo: memFree=724760/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=18576 CPUtime=0
/proc/30940/stat : 30940 (runsolver) R 30938 30940 28833 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 90338971 19021824 284 996147200 4194304 4302564 548682068272 18446744073709551615 265674091815 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30940/statm: 4644 284 249 26 0 2626 0
[startup+0.0558759 s]
/proc/loadavg: 2.05 2.14 2.12 4/81 30940
/proc/meminfo: memFree=724760/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=861892 CPUtime=0.03
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 2565 0 1 0 2 1 0 0 19 0 9 0 90338971 882577408 2100 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 215473 2100 995 9 0 210343 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861892
[startup+0.101881 s]
/proc/loadavg: 2.05 2.14 2.12 4/81 30940
/proc/meminfo: memFree=724760/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=864104 CPUtime=0.08
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 3753 0 1 0 6 2 0 0 19 0 9 0 90338971 884842496 3218 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216026 3218 1682 9 0 210495 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864104
[startup+0.301921 s]
/proc/loadavg: 2.05 2.14 2.12 4/81 30940
/proc/meminfo: memFree=724760/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=864368 CPUtime=0.28
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 4583 0 1 0 26 2 0 0 19 0 9 0 90338971 885112832 4008 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216092 4008 1855 9 0 210561 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864368
[startup+0.701999 s]
/proc/loadavg: 2.05 2.14 2.12 4/81 30940
/proc/meminfo: memFree=724760/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=864972 CPUtime=0.68
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 6842 0 1 0 64 4 0 0 19 0 9 0 90338971 885731328 6256 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216243 6256 1902 9 0 210712 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 864972
[startup+1.50215 s]
/proc/loadavg: 2.05 2.14 2.12 3/90 30949
/proc/meminfo: memFree=697040/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=865268 CPUtime=1.47
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 11734 0 1 0 140 7 0 0 19 0 9 0 90338971 886034432 11112 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 11112 1979 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=1.12
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 10305 0 1 0 106 6 0 0 25 0 9 0 90338972 886034432 11112 996147200 134512640 134550932 4294955888 18446744073709551615 4127216807 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 11112 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 90338974 886034432 11112 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 90338974 886034432 11112 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 11112 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.33
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 699 0 0 0 33 0 0 0 16 0 9 0 90338976 886034432 11112 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 11112 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90338976 886034432 11112 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 865268
[startup+3.10246 s]
/proc/loadavg: 2.05 2.14 2.12 3/90 30949
/proc/meminfo: memFree=685648/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=865268 CPUtime=3.07
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 13067 0 1 0 298 9 0 0 19 0 9 0 90338971 886034432 12443 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 12443 1982 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=2.68
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 11618 0 1 0 261 7 0 0 25 0 9 0 90338972 886034432 12443 996147200 134512640 134550932 4294955888 18446744073709551615 4127378466 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 90338974 886034432 12443 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 90338974 886034432 12443 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 90338974 886034432 12443 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 12443 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.36
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 719 0 0 0 36 0 0 0 16 0 9 0 90338976 886034432 12443 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 12443 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90338976 886034432 12443 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 865268
[startup+6.30107 s]
/proc/loadavg: 2.12 2.15 2.13 3/90 30949
/proc/meminfo: memFree=674528/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=865268 CPUtime=6.25
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 15717 0 1 0 613 12 0 0 19 0 9 0 90338971 886034432 15091 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 15091 1982 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=5.86
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 14266 0 1 0 576 10 0 0 25 0 9 0 90338972 886034432 15091 996147200 134512640 134550932 4294955888 18446744073709551615 4127374408 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 15091 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 90338974 886034432 15091 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 90338974 886034432 15091 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 15091 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.36
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 721 0 0 0 36 0 0 0 16 0 9 0 90338976 886034432 15091 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 15091 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30949/stat : 30949 (java) R 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90338976 886034432 15091 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 865268
[startup+12.7023 s]
/proc/loadavg: 2.11 2.15 2.13 4/90 30949
/proc/meminfo: memFree=662368/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=865268 CPUtime=12.62
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 17998 0 1 0 1247 15 0 0 19 0 9 0 90338971 886034432 17369 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 17369 1991 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=12.18
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 14832 0 1 0 1205 13 0 0 25 0 9 0 90338972 886034432 17369 996147200 134512640 134550932 4294955888 18446744073709551615 4127321251 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0.04
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 1714 0 0 0 4 0 0 0 16 0 9 0 90338974 886034432 17369 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 17369 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 17369 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 17369 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.36
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 721 0 0 0 36 0 0 0 16 0 9 0 90338976 886034432 17369 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 17369 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90338976 886034432 17369 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 865268
[startup+25.5018 s]
/proc/loadavg: 2.09 2.14 2.12 3/90 30949
/proc/meminfo: memFree=656928/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=865268 CPUtime=25.35
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 19379 0 1 0 2515 20 0 0 19 0 9 0 90338971 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 18749 1991 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=24.88
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 14833 0 1 0 2471 17 0 0 25 0 9 0 90338972 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4127302016 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0.07
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 3094 0 0 0 7 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.36
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 721 0 0 0 36 0 0 0 16 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 865268
[startup+51.1017 s]
/proc/loadavg: 2.06 2.13 2.12 3/90 30949
/proc/meminfo: memFree=656928/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=865268 CPUtime=50.83
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 19381 0 1 0 5054 29 0 0 19 0 9 0 90338971 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 18749 1991 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=50.36
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 14835 0 1 0 5010 26 0 0 25 0 9 0 90338972 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4127374428 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0.07
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 3094 0 0 0 7 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.36
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 721 0 0 0 36 0 0 0 16 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 19425 0 1 0 58327 246 0 0 19 0 9 0 90338971 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 18749 1991 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=585.24
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 14879 0 1 0 58281 243 0 0 25 0 9 0 90338972 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4127357486 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0.09
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 3094 0 0 0 9 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.36
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 721 0 0 0 36 0 0 0 16 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 585.73
Current children cumulated vsize (KiB) 865268
[startup+601.502 s]
/proc/loadavg: 2.00 2.01 2.05 3/90 30951
/proc/meminfo: memFree=656672/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=865268 CPUtime=598.47
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 19426 0 1 0 59596 251 0 0 19 0 9 0 90338971 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 18749 1991 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=597.97
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 14880 0 1 0 59549 248 0 0 25 0 9 0 90338972 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4127378261 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0.1
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 3094 0 0 0 10 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.36
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 721 0 0 0 36 0 0 0 16 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 598.47
Current children cumulated vsize (KiB) 865268
[startup+604.702 s]
/proc/loadavg: 2.00 2.01 2.05 3/90 30951
/proc/meminfo: memFree=656672/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=865268 CPUtime=601.65
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 19426 0 1 0 59913 252 0 0 19 0 9 0 90338971 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 18749 1991 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=601.16
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 14880 0 1 0 59866 250 0 0 25 0 9 0 90338972 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4127216841 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0.1
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 3094 0 0 0 10 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.36
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 721 0 0 0 36 0 0 0 16 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 601.65
Current children cumulated vsize (KiB) 865268
[startup+606.302 s]
/proc/loadavg: 2.00 2.01 2.05 3/90 30951
/proc/meminfo: memFree=656672/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=865268 CPUtime=603.24
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 19426 0 1 0 60071 253 0 0 19 0 9 0 90338971 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 18749 1991 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=602.75
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 14880 0 1 0 60024 251 0 0 25 0 9 0 90338972 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4127302028 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0.1
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 3094 0 0 0 10 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.36
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 721 0 0 0 36 0 0 0 16 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 603.24
Current children cumulated vsize (KiB) 865268
[startup+607.102 s]
/proc/loadavg: 2.00 2.01 2.05 3/90 30951
/proc/meminfo: memFree=656672/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=865268 CPUtime=604.05
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 19426 0 1 0 60151 254 0 0 19 0 9 0 90338971 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 18749 1991 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=603.55
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 14880 0 1 0 60104 251 0 0 25 0 9 0 90338972 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4127378261 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0.1
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 3094 0 0 0 10 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.36
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 721 0 0 0 36 0 0 0 16 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 604.05
Current children cumulated vsize (KiB) 865268
[startup+607.503 s]
/proc/loadavg: 2.00 2.01 2.05 3/90 30951
/proc/meminfo: memFree=656672/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=865268 CPUtime=604.44
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 19427 0 1 0 60190 254 0 0 19 0 9 0 90338971 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 18749 1991 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=603.95
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 14881 0 1 0 60143 252 0 0 25 0 9 0 90338972 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4127195569 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0.1
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 3094 0 0 0 10 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.36
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 721 0 0 0 36 0 0 0 16 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 604.44
Current children cumulated vsize (KiB) 865268
[startup+607.703 s]
/proc/loadavg: 2.00 2.01 2.05 3/90 30951
/proc/meminfo: memFree=656672/2055920 swapFree=4192812/4192956
[pid=30940] ppid=30938 vsize=865268 CPUtime=604.64
/proc/30940/stat : 30940 (java) S 30938 30940 28833 0 -1 0 19427 0 1 0 60210 254 0 0 19 0 9 0 90338971 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30940/statm: 216317 18749 1991 9 0 210786 0
[pid=30940/tid=30942] ppid=30938 vsize=865268 CPUtime=604.15
/proc/30940/task/30942/stat : 30942 (java) R 30938 30940 28833 0 -1 64 14881 0 1 0 60163 252 0 0 25 0 9 0 90338972 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4127374423 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30943] ppid=30938 vsize=865268 CPUtime=0.1
/proc/30940/task/30943/stat : 30943 (java) S 30938 30940 28833 0 -1 64 3094 0 0 0 10 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30944] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30944/stat : 30944 (java) S 30938 30940 28833 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30945] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30945/stat : 30945 (java) S 30938 30940 28833 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90338974 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30946] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30946/stat : 30946 (java) S 30938 30940 28833 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30947] ppid=30938 vsize=865268 CPUtime=0.36
/proc/30940/task/30947/stat : 30947 (java) S 30938 30940 28833 0 -1 64 721 0 0 0 36 0 0 0 16 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30948] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30948/stat : 30948 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30940/tid=30949] ppid=30938 vsize=865268 CPUtime=0
/proc/30940/task/30949/stat : 30949 (java) S 30938 30940 28833 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90338976 886034432 18749 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 604.64
Current children cumulated vsize (KiB) 865268
Child status: 0
Real time (s): 607.759
CPU time (s): 604.694
CPU user time (s): 602.135
CPU system time (s): 2.55861
CPU usage (%): 99.4958
Max. virtual memory (cumulated for all children) (KiB): 865268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 602.135
system time used= 2.55861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19451
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= 14763
involuntary context switches= 31829
runsolver used 0.737887 second user time and 2.03469 second system time
The end
Begin job on node76 at 2009-07-19 21:45:36
IDJOB=2116910
IDBENCH=58076
IDSOLVER=780
FILE ID=node76/2116910-1248032736
PBS_JOBID= 9528902
Free space on /tmp= 66348 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/graphColoring/myciel/normalized-myciel7-5.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-2116910-1248032736/watcher-2116910-1248032736 -o /tmp/evaluation-result-2116910-1248032736/solver-2116910-1248032736 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116910-1248032736.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= db0f93b84b1192e2e8f64726b7d53b32
RANDOM SEED=144312114
node76.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.277
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.277
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 725176 kB
Buffers: 106972 kB
Cached: 852848 kB
SwapCached: 0 kB
Active: 580984 kB
Inactive: 648624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 725176 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5280 kB
Writeback: 0 kB
Mapped: 287608 kB
Slab: 85900 kB
Committed_AS: 1260524 kB
PageTables: 2348 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= 66344 MiB
End job on node76 at 2009-07-19 21:55:44