runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1036123-1214956020/watcher-1036123-1214956020 -o /tmp/evaluation-result-1036123-1214956020/solver-1036123-1214956020 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1036123-1214956020.xml
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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.04 1.94 4/72 2513
/proc/meminfo: memFree=1104096/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=1804 CPUtime=0
/proc/2513/stat : 2513 (java) R 2511 2513 1470 0 -1 0 195 0 0 0 0 0 0 0 18 0 1 0 1974570875 1847296 163 996147200 134512640 134550740 4294956192 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/2513/statm: 451 163 124 9 0 93 0
[startup+0.101418 s]
/proc/loadavg: 2.15 2.04 1.94 4/72 2513
/proc/meminfo: memFree=1104096/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=866556 CPUtime=0.09
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 3845 0 1 0 7 2 0 0 18 0 9 0 1974570875 887353344 3306 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216639 3306 1768 9 0 211111 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866556
[startup+0.201435 s]
/proc/loadavg: 2.15 2.04 1.94 4/72 2513
/proc/meminfo: memFree=1104096/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=866556 CPUtime=0.18
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 4246 0 1 0 16 2 0 0 18 0 9 0 1974570875 887353344 3699 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216639 3699 1843 9 0 211111 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866556
[startup+0.301452 s]
/proc/loadavg: 2.15 2.04 1.94 4/72 2513
/proc/meminfo: memFree=1104096/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=866556 CPUtime=0.28
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 4368 0 1 0 26 2 0 0 18 0 9 0 1974570875 887353344 3821 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216639 3821 1852 9 0 211111 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866556
[startup+0.701526 s]
/proc/loadavg: 2.15 2.04 1.94 4/72 2513
/proc/meminfo: memFree=1104096/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=0.68
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 7307 0 1 0 64 4 0 0 18 0 9 0 1974570875 888266752 6745 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 6745 1893 9 0 211334 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867448
[startup+1.50267 s]
/proc/loadavg: 2.13 2.04 1.94 3/81 2522
/proc/meminfo: memFree=1077720/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=1.48
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 9304 0 1 0 142 6 0 0 18 0 9 0 1974570875 888266752 8713 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 8713 1944 9 0 211334 0
[pid=2513/tid=2515] ppid=2511 vsize=867448 CPUtime=1.24
/proc/2513/task/2515/stat : 2515 (java) R 2511 2513 1470 0 -1 64 8007 0 1 0 120 4 0 0 25 0 9 0 1974570876 888266752 8713 996147200 134512640 134550740 4294956032 18446744073709551615 4126861129 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2516] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 1470 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 1974570877 888266752 8713 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2517] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 1470 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 1974570878 888266752 8713 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2518] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1974570878 888266752 8713 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 8713 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.22
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 566 0 0 0 22 0 0 0 16 0 9 0 1974570880 888266752 8713 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 1470 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1974570880 888266752 8713 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2522] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974570880 888266752 8713 996147200 134512640 134550740 4294956032 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) 867448
[startup+3.10295 s]
/proc/loadavg: 2.13 2.04 1.94 3/81 2522
/proc/meminfo: memFree=1075096/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=3.06
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 10133 0 1 0 299 7 0 0 18 0 9 0 1974570875 888266752 9540 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 9540 1945 9 0 211334 0
[pid=2513/tid=2515] ppid=2511 vsize=867448 CPUtime=2.82
/proc/2513/task/2515/stat : 2515 (java) R 2511 2513 1470 0 -1 64 8828 0 1 0 276 6 0 0 25 0 9 0 1974570876 888266752 9540 996147200 134512640 134550740 4294956032 18446744073709551615 4126897207 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2516] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 1470 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 1974570877 888266752 9540 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2517] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 1470 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 1974570878 888266752 9540 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2518] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1974570878 888266752 9540 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 9540 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.23
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 574 0 0 0 23 0 0 0 16 0 9 0 1974570880 888266752 9540 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 1470 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1974570880 888266752 9540 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2522] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974570880 888266752 9540 996147200 134512640 134550740 4294956032 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) 867448
[startup+6.30153 s]
/proc/loadavg: 2.13 2.04 1.94 3/81 2522
/proc/meminfo: memFree=1068120/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=6.23
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 11805 0 1 0 615 8 0 0 18 0 9 0 1974570875 888266752 11210 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 11210 1946 9 0 211334 0
[pid=2513/tid=2515] ppid=2511 vsize=867448 CPUtime=5.98
/proc/2513/task/2515/stat : 2515 (java) R 2511 2513 1470 0 -1 64 10496 0 1 0 591 7 0 0 25 0 9 0 1974570876 888266752 11210 996147200 134512640 134550740 4294956032 18446744073709551615 4126843711 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2516] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 1470 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 1974570877 888266752 11210 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2517] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 1470 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 1974570878 888266752 11210 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2518] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1974570878 888266752 11210 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 11210 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.23
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 578 0 0 0 23 0 0 0 16 0 9 0 1974570880 888266752 11210 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 1470 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1974570880 888266752 11210 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2522] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2522/stat : 2522 (java) R 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974570880 888266752 11210 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867448
[startup+12.7027 s]
/proc/loadavg: 2.11 2.04 1.94 3/81 2522
/proc/meminfo: memFree=1054168/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=12.58
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 15128 0 1 0 1247 11 0 0 18 0 9 0 1974570875 888266752 14533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 14533 1946 9 0 211334 0
[pid=2513/tid=2515] ppid=2511 vsize=867448 CPUtime=12.33
/proc/2513/task/2515/stat : 2515 (java) R 2511 2513 1470 0 -1 64 13819 0 1 0 1223 10 0 0 25 0 9 0 1974570876 888266752 14533 996147200 134512640 134550740 4294956032 18446744073709551615 4126552731 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2516] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 1470 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 1974570877 888266752 14533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2517] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 1470 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 1974570878 888266752 14533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2518] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1974570878 888266752 14533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 14533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.23
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 578 0 0 0 23 0 0 0 16 0 9 0 1974570880 888266752 14533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 1470 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1974570880 888266752 14533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2522] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974570880 888266752 14533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 867448
[startup+25.502 s]
/proc/loadavg: 2.10 2.04 1.94 3/81 2522
/proc/meminfo: memFree=1043096/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=25.27
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 17605 0 1 0 2509 18 0 0 18 0 9 0 1974570875 888266752 17008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 17008 1961 9 0 211334 0
[pid=2513/tid=2515] ppid=2511 vsize=867448 CPUtime=25
/proc/2513/task/2515/stat : 2515 (java) R 2511 2513 1470 0 -1 64 15452 0 1 0 2484 16 0 0 25 0 9 0 1974570876 888266752 17008 996147200 134512640 134550740 4294956032 18446744073709551615 4126844706 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2516] ppid=2511 vsize=867448 CPUtime=0.01
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 1470 0 -1 64 844 0 0 0 1 0 0 0 16 0 9 0 1974570877 888266752 17008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2517] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 1470 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2518] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 17008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.23
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 578 0 0 0 23 0 0 0 16 0 9 0 1974570880 888266752 17008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 1470 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1974570880 888266752 17008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2522] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974570880 888266752 17008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 867448
[startup+51.1016 s]
/proc/loadavg: 2.06 2.03 1.94 3/81 2522
/proc/meminfo: memFree=1039768/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=50.64
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 18435 0 1 0 5037 27 0 0 18 0 9 0 1974570875 888266752 17837 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 17837 1961 9 0 211334 0
[pid=2513/tid=2515] ppid=2511 vsize=867448 CPUtime=50.36
/proc/2513/task/2515/stat : 2515 (java) R 2511 2513 1470 0 -1 64 15453 0 1 0 5010 26 0 0 25 0 9 0 1974570876 888266752 17837 996147200 134512640 134550740 4294956032 18446744073709551615 4126844721 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2516] ppid=2511 vsize=867448 CPUtime=0.03
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 1470 0 -1 64 1673 0 0 0 3 0 0 0 16 0 9 0 1974570877 888266752 17837 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2517] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 1470 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17837 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2518] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17837 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 17837 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.23
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 578 0 0 0 23 0 0 0 16 0 9 0 1974570880 888266752 17837 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
################
# More data... #
################
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.23
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 578 0 0 0 23 0 0 0 16 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 1470 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2522] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.51
Current children cumulated vsize (KiB) 867448
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/82 2557
/proc/meminfo: memFree=1034840/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=1531.47
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 18510 0 1 0 152554 593 0 0 18 0 9 0 1974570875 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 17842 1961 9 0 211334 0
[pid=2513/tid=2515] ppid=2511 vsize=867448 CPUtime=1531.13
/proc/2513/task/2515/stat : 2515 (java) R 2511 2513 1470 0 -1 64 15523 0 1 0 152523 590 0 0 25 0 9 0 1974570876 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2513/tid=2516] ppid=2511 vsize=867448 CPUtime=0.06
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 1470 0 -1 64 1678 0 0 0 6 0 0 0 16 0 9 0 1974570877 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2513/tid=2517] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 1470 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2518] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.23
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 578 0 0 0 23 0 0 0 16 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 1470 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2522] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.47
Current children cumulated vsize (KiB) 867448
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/82 2557
/proc/meminfo: memFree=1034840/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=1591.4
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 18513 0 1 0 158526 614 0 0 18 0 9 0 1974570875 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 17842 1961 9 0 211334 0
[pid=2513/tid=2515] ppid=2511 vsize=867448 CPUtime=1591.06
/proc/2513/task/2515/stat : 2515 (java) R 2511 2513 1470 0 -1 64 15526 0 1 0 158495 611 0 0 25 0 9 0 1974570876 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2513/tid=2516] ppid=2511 vsize=867448 CPUtime=0.06
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 1470 0 -1 64 1678 0 0 0 6 0 0 0 16 0 9 0 1974570877 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2513/tid=2517] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 1470 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2518] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.23
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 578 0 0 0 23 0 0 0 16 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 1470 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2522] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.4
Current children cumulated vsize (KiB) 867448
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/82 2557
/proc/meminfo: memFree=1034840/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=1651.35
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 18516 0 1 0 164497 638 0 0 18 0 9 0 1974570875 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 17842 1961 9 0 211334 0
[pid=2513/tid=2515] ppid=2511 vsize=867448 CPUtime=1651.01
/proc/2513/task/2515/stat : 2515 (java) R 2511 2513 1470 0 -1 64 15529 0 1 0 164466 635 0 0 25 0 9 0 1974570876 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2513/tid=2516] ppid=2511 vsize=867448 CPUtime=0.06
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 1470 0 -1 64 1678 0 0 0 6 0 0 0 16 0 9 0 1974570877 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2513/tid=2517] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 1470 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2518] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.23
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 578 0 0 0 23 0 0 0 16 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 1470 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2522] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.35
Current children cumulated vsize (KiB) 867448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/82 2557
/proc/meminfo: memFree=1034840/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=1711.29
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 18519 0 1 0 170468 661 0 0 18 0 9 0 1974570875 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 17842 1961 9 0 211334 0
[pid=2513/tid=2515] ppid=2511 vsize=867448 CPUtime=1710.96
/proc/2513/task/2515/stat : 2515 (java) R 2511 2513 1470 0 -1 64 15532 0 1 0 170437 659 0 0 25 0 9 0 1974570876 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2513/tid=2516] ppid=2511 vsize=867448 CPUtime=0.06
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 1470 0 -1 64 1678 0 0 0 6 0 0 0 16 0 9 0 1974570877 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2513/tid=2517] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 1470 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2518] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.23
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 578 0 0 0 23 0 0 0 16 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 1470 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2522] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.29
Current children cumulated vsize (KiB) 867448
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/82 2557
/proc/meminfo: memFree=1034712/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=1771.24
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 18522 0 1 0 176438 686 0 0 18 0 9 0 1974570875 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 17842 1961 9 0 211334 0
[pid=2513/tid=2515] ppid=2511 vsize=867448 CPUtime=1770.89
/proc/2513/task/2515/stat : 2515 (java) R 2511 2513 1470 0 -1 64 15535 0 1 0 176406 683 0 0 25 0 9 0 1974570876 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2513/tid=2516] ppid=2511 vsize=867448 CPUtime=0.07
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 1470 0 -1 64 1678 0 0 0 6 1 0 0 16 0 9 0 1974570877 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2513/tid=2517] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 1470 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2518] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.23
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 578 0 0 0 23 0 0 0 16 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 1470 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2522] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.24
Current children cumulated vsize (KiB) 867448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/82 2557
/proc/meminfo: memFree=1034712/2055920 swapFree=4109524/4192956
[pid=2513] ppid=2511 vsize=867448 CPUtime=1800.02
/proc/2513/stat : 2513 (java) S 2511 2513 1470 0 -1 0 18524 0 1 0 179304 698 0 0 18 0 9 0 1974570875 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2513/statm: 216862 17842 1961 9 0 211334 0
[pid=2513/tid=2515] ppid=2511 vsize=867448 CPUtime=1799.68
/proc/2513/task/2515/stat : 2515 (java) R 2511 2513 1470 0 -1 64 15537 0 1 0 179273 695 0 0 25 0 9 0 1974570876 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4126773479 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2513/tid=2516] ppid=2511 vsize=867448 CPUtime=0.07
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 1470 0 -1 64 1678 0 0 0 6 1 0 0 16 0 9 0 1974570877 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2513/tid=2517] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 1470 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2518] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 1470 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1974570878 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2519] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2520] ppid=2511 vsize=867448 CPUtime=0.23
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 1470 0 -1 64 578 0 0 0 23 0 0 0 16 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2521] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 1470 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2513/tid=2522] ppid=2511 vsize=867448 CPUtime=0
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 1470 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974570880 888266752 17842 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 867448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1811.14
CPU time (s): 1800.06
CPU user time (s): 1793.07
CPU system time (s): 6.99494
CPU usage (%): 99.3882
Max. virtual memory (cumulated for all children) (KiB): 867448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.07
system time used= 6.99494
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18541
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= 38272
involuntary context switches= 54850
runsolver used 1.93371 second user time and 6.18006 second system time
The end
Begin job on node70 at 2008-07-02 01:47:00
IDJOB=1036123
IDBENCH=53435
IDSOLVER=349
FILE ID=node70/1036123-1214956020
PBS_JOBID= 7870193
Free space on /tmp= 66448 MiB
SOLVER NAME= choco2_dwdeg 2008-06-26
BENCH NAME= CPAI08/csp/frb56-25/normalized-frb56-25-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1036123-1214956020/watcher-1036123-1214956020 -o /tmp/evaluation-result-1036123-1214956020/solver-1036123-1214956020 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1036123-1214956020.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 968eb3ab86487a42dec411dd96f748b2
RANDOM SEED=1629069914
node70.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.256
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.256
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: 1104576 kB
Buffers: 52856 kB
Cached: 717336 kB
SwapCached: 77768 kB
Active: 212456 kB
Inactive: 661692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1104576 kB
SwapTotal: 4192956 kB
SwapFree: 4109524 kB
Dirty: 6500 kB
Writeback: 0 kB
Mapped: 110836 kB
Slab: 62484 kB
Committed_AS: 3989428 kB
PageTables: 1868 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= 66444 MiB
End job on node70 at 2008-07-02 02:17:13