runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1038021-1214963681/watcher-1038021-1214963681 -o /tmp/evaluation-result-1038021-1214963681/solver-1038021-1214963681 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/run -c HOME/instance-1038021-1214963681.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.00 2.00 1.99 4/74 8529
/proc/meminfo: memFree=1853960/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=18572 CPUtime=0
/proc/8529/stat : 8529 (runsolver) R 8527 8529 5630 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1975340603 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 259415141671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/8529/statm: 4643 292 257 25 0 2626 0
[startup+0.060036 s]
/proc/loadavg: 2.00 2.00 1.99 4/74 8529
/proc/meminfo: memFree=1853960/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=12956 CPUtime=0.04
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 2822 0 0 0 3 1 0 0 18 0 1 0 1975340603 13266944 2553 996147200 1448431616 1448550632 4294956288 18446744073709551615 4157598267 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 3239 2553 330 29 0 2229 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12956
[startup+0.101043 s]
/proc/loadavg: 2.00 2.00 1.99 4/74 8529
/proc/meminfo: memFree=1853960/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=22592 CPUtime=0.08
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 5230 0 0 0 6 2 0 0 18 0 1 0 1975340603 23134208 4961 996147200 1448431616 1448550632 4294956288 18446744073709551615 4157598267 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 5648 4961 330 29 0 4638 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22592
[startup+0.301059 s]
/proc/loadavg: 2.00 2.00 1.99 4/74 8529
/proc/meminfo: memFree=1853960/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=69188 CPUtime=0.28
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 16896 0 0 0 20 8 0 0 19 0 1 0 1975340603 70848512 16627 996147200 1448431616 1448550632 4294956288 18446744073709551615 4157603860 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 17297 16627 330 29 0 16287 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 69188
[startup+0.701104 s]
/proc/loadavg: 2.00 2.00 1.99 4/74 8529
/proc/meminfo: memFree=1853960/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=161456 CPUtime=0.67
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 39962 0 0 0 48 19 0 0 23 0 1 0 1975340603 165330944 39693 996147200 1448431616 1448550632 4294956288 18446744073709551615 4157603526 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 40364 39693 330 29 0 39354 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 161456
[startup+1.50119 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 8530
/proc/meminfo: memFree=1625984/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=346432 CPUtime=1.48
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 86198 0 0 0 105 43 0 0 25 0 1 0 1975340603 354746368 85929 996147200 1448431616 1448550632 4294956288 18446744073709551615 4157598220 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 86608 85929 330 29 0 85598 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 346432
[startup+3.10137 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 8530
/proc/meminfo: memFree=1493632/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=363652 CPUtime=3.06
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90486 0 0 0 262 44 0 0 25 0 1 0 1975340603 372379648 90217 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546832 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 90913 90217 342 29 0 89903 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 363652
[startup+6.30172 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 8530
/proc/meminfo: memFree=1493376/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=363652 CPUtime=6.23
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90510 0 0 0 579 44 0 0 25 0 1 0 1975340603 372379648 90241 996147200 1448431616 1448550632 4294956288 18446744073709551615 134535381 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 90913 90241 342 29 0 89903 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 363652
[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 8530
/proc/meminfo: memFree=1493248/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=363828 CPUtime=12.56
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90531 0 0 0 1212 44 0 0 25 0 1 0 1975340603 372559872 90262 996147200 1448431616 1448550632 4294956288 18446744073709551615 134544928 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 90957 90262 342 29 0 89947 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 363828
[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 8530
/proc/meminfo: memFree=1493312/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=363828 CPUtime=25.24
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90551 0 0 0 2480 44 0 0 25 0 1 0 1975340603 372559872 90282 996147200 1448431616 1448550632 4294956288 18446744073709551615 134522581 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 90957 90282 342 29 0 89947 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 363828
[startup+51.1027 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 8530
/proc/meminfo: memFree=1492992/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=363988 CPUtime=50.6
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90565 0 0 0 5016 44 0 0 25 0 1 0 1975340603 372723712 90296 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546403 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 90997 90296 342 29 0 89987 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 363988
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 8530
/proc/meminfo: memFree=1492928/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=363988 CPUtime=101.32
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90586 0 0 0 10088 44 0 0 25 0 1 0 1975340603 372723712 90317 996147200 1448431616 1448550632 4294956288 18446744073709551615 134534890 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 90997 90317 342 29 0 89987 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 363988
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 8530
/proc/meminfo: memFree=1492736/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364152 CPUtime=160.76
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90602 0 0 0 16032 44 0 0 25 0 1 0 1975340603 372891648 90333 996147200 1448431616 1448550632 4294956288 18446744073709551615 134522584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91038 90333 342 29 0 90028 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 364152
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 8530
/proc/meminfo: memFree=1492480/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364152 CPUtime=220.19
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90602 0 0 0 21975 44 0 0 25 0 1 0 1975340603 372891648 90333 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546226 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91038 90333 342 29 0 90028 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 364152
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 8530
/proc/meminfo: memFree=1492032/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364152 CPUtime=279.63
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90602 0 0 0 27919 44 0 0 25 0 1 0 1975340603 372891648 90333 996147200 1448431616 1448550632 4294956288 18446744073709551615 134545110 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91038 90333 342 29 0 90028 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 364152
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 1.99 3/75 8530
/proc/meminfo: memFree=1491712/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364160 CPUtime=339.07
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90625 0 0 0 33863 44 0 0 25 0 1 0 1975340603 372899840 90356 996147200 1448431616 1448550632 4294956288 18446744073709551615 134544099 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91040 90356 342 29 0 90030 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 364160
[startup+402.302 s]
/proc/loadavg: 2.04 2.01 2.00 3/75 8589
/proc/meminfo: memFree=1495744/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364160 CPUtime=398.89
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90625 0 0 0 39844 45 0 0 25 0 1 0 1975340603 372899840 90356 996147200 1448431616 1448550632 4294956288 18446744073709551615 134544036 0 0 4096 0 0 0 0 17 0 0 0
/proc/8529/statm: 91040 90356 342 29 0 90030 0
Current children cumulated CPU time (s) 398.89
Current children cumulated vsize (KiB) 364160
[startup+462.302 s]
/proc/loadavg: 2.61 2.15 2.05 4/80 9065
/proc/meminfo: memFree=1486320/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364324 CPUtime=458.48
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90642 0 0 0 45801 47 0 0 25 0 1 0 1975340603 373067776 90373 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546371 0 0 4096 0 0 0 0 17 0 0 0
/proc/8529/statm: 91081 90373 342 29 0 90071 0
Current children cumulated CPU time (s) 458.48
Current children cumulated vsize (KiB) 364324
[startup+522.303 s]
/proc/loadavg: 2.84 2.29 2.10 4/91 9363
/proc/meminfo: memFree=1418352/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364324 CPUtime=518.04
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90643 0 0 0 51754 50 0 0 25 0 1 0 1975340603 373067776 90374 996147200 1448431616 1448550632 4294956288 18446744073709551615 134534936 0 0 4096 0 0 0 0 17 0 0 0
/proc/8529/statm: 91081 90374 342 29 0 90071 0
Current children cumulated CPU time (s) 518.04
Current children cumulated vsize (KiB) 364324
[startup+582.302 s]
/proc/loadavg: 2.94 2.43 2.16 4/78 9768
/proc/meminfo: memFree=1448656/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364324 CPUtime=577.57
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90643 0 0 0 57704 53 0 0 25 0 1 0 1975340603 373067776 90374 996147200 1448431616 1448550632 4294956288 18446744073709551615 134535322 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91081 90374 342 29 0 90071 0
Current children cumulated CPU time (s) 577.57
Current children cumulated vsize (KiB) 364324
[startup+642.301 s]
/proc/loadavg: 3.10 2.56 2.22 4/78 10079
/proc/meminfo: memFree=1430480/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364324 CPUtime=637.23
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90643 0 0 0 63668 55 0 0 25 0 1 0 1975340603 373067776 90374 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546226 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91081 90374 342 29 0 90071 0
Current children cumulated CPU time (s) 637.23
Current children cumulated vsize (KiB) 364324
################
# More data... #
################
[startup+882.303 s]
/proc/loadavg: 3.02 2.81 2.39 4/78 10723
/proc/meminfo: memFree=1375728/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364324 CPUtime=875.9
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90663 0 0 0 87531 59 0 0 25 0 1 0 1975340603 373067776 90394 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546403 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91081 90394 342 29 0 90071 0
Current children cumulated CPU time (s) 875.9
Current children cumulated vsize (KiB) 364324
[startup+942.302 s]
/proc/loadavg: 3.00 2.85 2.43 4/78 10723
/proc/meminfo: memFree=1363440/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364324 CPUtime=935.6
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90663 0 0 0 93500 60 0 0 25 0 1 0 1975340603 373067776 90394 996147200 1448431616 1448550632 4294956288 18446744073709551615 134547782 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91081 90394 342 29 0 90071 0
Current children cumulated CPU time (s) 935.6
Current children cumulated vsize (KiB) 364324
[startup+1002.3 s]
/proc/loadavg: 3.00 2.87 2.46 4/78 10726
/proc/meminfo: memFree=1352624/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364324 CPUtime=995.31
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90663 0 0 0 99471 60 0 0 25 0 1 0 1975340603 373067776 90394 996147200 1448431616 1448550632 4294956288 18446744073709551615 134545089 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91081 90394 342 29 0 90071 0
Current children cumulated CPU time (s) 995.31
Current children cumulated vsize (KiB) 364324
[startup+1062.3 s]
/proc/loadavg: 2.61 2.80 2.46 3/73 10793
/proc/meminfo: memFree=1334960/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364324 CPUtime=1053.41
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90663 0 0 0 105278 63 0 0 25 0 1 0 1975340603 373067776 90394 996147200 1448431616 1448550632 4294956288 18446744073709551615 134535317 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91081 90394 342 29 0 90071 0
Current children cumulated CPU time (s) 1053.41
Current children cumulated vsize (KiB) 364324
[startup+1122.3 s]
/proc/loadavg: 2.22 2.65 2.43 3/73 10793
/proc/meminfo: memFree=1334960/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364324 CPUtime=1113.17
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90663 0 0 0 111254 63 0 0 25 0 1 0 1975340603 373067776 90394 996147200 1448431616 1448550632 4294956288 18446744073709551615 134545551 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91081 90394 342 29 0 90071 0
Current children cumulated CPU time (s) 1113.17
Current children cumulated vsize (KiB) 364324
[startup+1182.3 s]
/proc/loadavg: 2.09 2.54 2.40 3/73 10793
/proc/meminfo: memFree=1334960/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364324 CPUtime=1172.93
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90663 0 0 0 117230 63 0 0 25 0 1 0 1975340603 373067776 90394 996147200 1448431616 1448550632 4294956288 18446744073709551615 134541106 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91081 90394 342 29 0 90071 0
Current children cumulated CPU time (s) 1172.93
Current children cumulated vsize (KiB) 364324
[startup+1242.3 s]
/proc/loadavg: 2.03 2.43 2.37 3/73 10793
/proc/meminfo: memFree=1334896/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364324 CPUtime=1232.69
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90663 0 0 0 123206 63 0 0 25 0 1 0 1975340603 373067776 90394 996147200 1448431616 1448550632 4294956288 18446744073709551615 134544083 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91081 90394 342 29 0 90071 0
Current children cumulated CPU time (s) 1232.69
Current children cumulated vsize (KiB) 364324
[startup+1302.3 s]
/proc/loadavg: 2.01 2.35 2.35 3/73 10793
/proc/meminfo: memFree=1334768/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364488 CPUtime=1292.46
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90680 0 0 0 129183 63 0 0 25 0 1 0 1975340603 373235712 90411 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546342 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91122 90411 342 29 0 90112 0
Current children cumulated CPU time (s) 1292.46
Current children cumulated vsize (KiB) 364488
[startup+1362.3 s]
/proc/loadavg: 2.00 2.28 2.32 3/73 10793
/proc/meminfo: memFree=1334768/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364488 CPUtime=1352.22
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90680 0 0 0 135159 63 0 0 25 0 1 0 1975340603 373235712 90411 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546226 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91122 90411 342 29 0 90112 0
Current children cumulated CPU time (s) 1352.22
Current children cumulated vsize (KiB) 364488
[startup+1422.31 s]
/proc/loadavg: 2.00 2.23 2.30 3/73 10793
/proc/meminfo: memFree=1334768/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364488 CPUtime=1412
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90680 0 0 0 141136 64 0 0 25 0 1 0 1975340603 373235712 90411 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546403 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91122 90411 342 29 0 90112 0
Current children cumulated CPU time (s) 1412
Current children cumulated vsize (KiB) 364488
[startup+1482.3 s]
/proc/loadavg: 2.00 2.18 2.28 3/73 10793
/proc/meminfo: memFree=1334768/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364488 CPUtime=1471.76
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90680 0 0 0 147112 64 0 0 25 0 1 0 1975340603 373235712 90411 996147200 1448431616 1448550632 4294956288 18446744073709551615 134544042 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91122 90411 342 29 0 90112 0
Current children cumulated CPU time (s) 1471.76
Current children cumulated vsize (KiB) 364488
[startup+1542.3 s]
/proc/loadavg: 2.00 2.15 2.26 3/73 10793
/proc/meminfo: memFree=1334768/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364488 CPUtime=1531.52
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90680 0 0 0 153088 64 0 0 25 0 1 0 1975340603 373235712 90411 996147200 1448431616 1448550632 4294956288 18446744073709551615 134541095 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91122 90411 342 29 0 90112 0
Current children cumulated CPU time (s) 1531.52
Current children cumulated vsize (KiB) 364488
[startup+1602.3 s]
/proc/loadavg: 2.00 2.12 2.24 3/73 10793
/proc/meminfo: memFree=1334704/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364488 CPUtime=1591.28
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90680 0 0 0 159064 64 0 0 25 0 1 0 1975340603 373235712 90411 996147200 1448431616 1448550632 4294956288 18446744073709551615 134541100 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91122 90411 342 29 0 90112 0
Current children cumulated CPU time (s) 1591.28
Current children cumulated vsize (KiB) 364488
[startup+1662.3 s]
/proc/loadavg: 2.00 2.09 2.22 3/73 10793
/proc/meminfo: memFree=1334704/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364488 CPUtime=1651.05
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90680 0 0 0 165041 64 0 0 25 0 1 0 1975340603 373235712 90411 996147200 1448431616 1448550632 4294956288 18446744073709551615 134544062 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91122 90411 342 29 0 90112 0
Current children cumulated CPU time (s) 1651.05
Current children cumulated vsize (KiB) 364488
[startup+1722.3 s]
/proc/loadavg: 2.00 2.07 2.20 3/73 10793
/proc/meminfo: memFree=1334640/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364488 CPUtime=1710.81
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90681 0 0 0 171017 64 0 0 25 0 1 0 1975340603 373235712 90412 996147200 1448431616 1448550632 4294956288 18446744073709551615 134544036 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91122 90412 342 29 0 90112 0
Current children cumulated CPU time (s) 1710.81
Current children cumulated vsize (KiB) 364488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.19 3/73 10793
/proc/meminfo: memFree=1334448/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364488 CPUtime=1770.57
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90681 0 0 0 176993 64 0 0 25 0 1 0 1975340603 373235712 90412 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546368 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91122 90412 342 29 0 90112 0
Current children cumulated CPU time (s) 1770.57
Current children cumulated vsize (KiB) 364488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.9 s]
/proc/loadavg: 2.00 2.05 2.18 3/73 10793
/proc/meminfo: memFree=1334448/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364488 CPUtime=1800.06
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90681 0 0 0 179942 64 0 0 25 0 1 0 1975340603 373235712 90412 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546901 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91122 90412 342 29 0 90112 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 364488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1811.9 s]
/proc/loadavg: 2.00 2.05 2.18 3/73 10793
/proc/meminfo: memFree=1334448/2055920 swapFree=4180076/4192956
[pid=8529] ppid=8527 vsize=364488 CPUtime=1800.06
/proc/8529/stat : 8529 (ld-linux.so.2) R 8527 8529 5630 0 -1 4194304 90681 0 0 0 179942 64 0 0 25 0 1 0 1975340603 373235712 90412 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546901 0 0 4096 0 0 0 0 17 1 0 0
/proc/8529/statm: 91122 90412 342 29 0 90112 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 364488
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.96
CPU time (s): 1800.13
CPU user time (s): 1799.43
CPU system time (s): 0.702893
CPU usage (%): 99.3469
Max. virtual memory (cumulated for all children) (KiB): 364488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.702893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 30252
runsolver used 2.04569 second user time and 5.01024 second system time
The end
Begin job on node42 at 2008-07-02 03:54:41
IDJOB=1038021
IDBENCH=53541
IDSOLVER=328
FILE ID=node42/1038021-1214963681
PBS_JOBID= 7870249
Free space on /tmp= 66536 MiB
SOLVER NAME= spider 2008-06-14
BENCH NAME= CPAI08/csp/QCP-25/normalized-qcp-25-264-5_ext.xml
COMMAND LINE= HOME/run -c BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1038021-1214963681/watcher-1038021-1214963681 -o /tmp/evaluation-result-1038021-1214963681/solver-1038021-1214963681 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/run -c HOME/instance-1038021-1214963681.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 16d7053869df773ae8032e14ad5c8f64
RANDOM SEED=375752343
node42.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.214
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.214
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: 1854440 kB
Buffers: 23684 kB
Cached: 102108 kB
SwapCached: 6808 kB
Active: 89876 kB
Inactive: 56944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1854440 kB
SwapTotal: 4192956 kB
SwapFree: 4180076 kB
Dirty: 1896 kB
Writeback: 0 kB
Mapped: 27988 kB
Slab: 39844 kB
Committed_AS: 3445028 kB
PageTables: 1908 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= 66536 MiB
End job on node42 at 2008-07-02 04:24:55