runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083965-1247378552/watcher-2083965-1247378552 -o /tmp/evaluation-result-2083965-1247378552/solver-2083965-1247378552 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2083965-1247378552.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): 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.28 2.26 2.27 4/82 24586
/proc/meminfo: memFree=785616/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=2224 CPUtime=0
/proc/24586/stat : 24586 (ld-linux.so.2) D 24584 24586 19734 0 -1 4194304 43 0 0 0 0 0 0 0 18 0 1 0 24922227 2277376 29 996147200 1448431616 1448550632 4294956208 18446744073709551615 1448531911 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/24586/statm: 556 29 23 29 0 3 0
[startup+0.061321 s]
/proc/loadavg: 2.28 2.26 2.27 4/82 24586
/proc/meminfo: memFree=785616/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=3436 CPUtime=0
/proc/24586/stat : 24586 (ld-linux.so.2) D 24584 24586 19734 0 -1 4194304 65 0 3 0 0 0 0 0 18 0 1 0 24922227 3518464 51 996147200 1448431616 1448550632 4294956208 18446744073709551615 1448524923 0 2147483391 4096 0 18446744072099785718 0 0 17 0 0 0
/proc/24586/statm: 859 51 36 29 0 11 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3436
[startup+0.101324 s]
/proc/loadavg: 2.28 2.26 2.27 4/82 24586
/proc/meminfo: memFree=785616/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=6000 CPUtime=0.02
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 666 0 10 0 1 1 0 0 18 0 1 0 24922227 6144000 655 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381179 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 1500 655 355 29 0 315 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6000
[startup+0.301365 s]
/proc/loadavg: 2.28 2.26 2.27 4/82 24586
/proc/meminfo: memFree=785616/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=9028 CPUtime=0.22
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 1459 0 10 0 21 1 0 0 19 0 1 0 24922227 9244672 1448 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381179 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 2257 1448 374 29 0 1072 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9028
[startup+0.701444 s]
/proc/loadavg: 2.28 2.26 2.27 4/82 24586
/proc/meminfo: memFree=785616/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70524 CPUtime=0.62
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8604 0 10 0 58 4 0 0 22 0 1 0 24922227 72216576 8593 996147200 1448431616 1448550632 4294956208 18446744073709551615 134530950 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17631 8593 399 29 0 16446 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 70524
[startup+1.5016 s]
/proc/loadavg: 2.28 2.26 2.27 3/83 24587
/proc/meminfo: memFree=746248/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70524 CPUtime=1.41
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8604 0 10 0 137 4 0 0 25 0 1 0 24922227 72216576 8593 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528928 0 0 4096 0 0 0 0 17 1 0 0
/proc/24586/statm: 17631 8593 399 29 0 16446 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 70524
[startup+3.10192 s]
/proc/loadavg: 2.28 2.26 2.27 3/83 24587
/proc/meminfo: memFree=742856/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70524 CPUtime=2.99
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8606 0 10 0 295 4 0 0 25 0 1 0 24922227 72216576 8595 996147200 1448431616 1448550632 4294956208 18446744073709551615 134860844 0 0 4096 0 0 0 0 17 1 0 0
/proc/24586/statm: 17631 8595 401 29 0 16446 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 70524
[startup+6.30645 s]
/proc/loadavg: 2.26 2.26 2.27 3/83 24587
/proc/meminfo: memFree=733192/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70524 CPUtime=6.17
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8606 0 10 0 612 5 0 0 25 0 1 0 24922227 72216576 8595 996147200 1448431616 1448550632 4294956208 18446744073709551615 135257902 0 0 4096 0 0 0 0 17 1 0 0
/proc/24586/statm: 17631 8595 401 29 0 16446 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 70524
[startup+12.7028 s]
/proc/loadavg: 2.24 2.25 2.27 3/83 24587
/proc/meminfo: memFree=715336/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70524 CPUtime=12.5
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8606 0 10 0 1245 5 0 0 25 0 1 0 24922227 72216576 8595 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534267 0 0 4096 0 0 0 0 17 1 0 0
/proc/24586/statm: 17631 8595 401 29 0 16446 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 70524
[startup+25.5013 s]
/proc/loadavg: 2.18 2.24 2.26 3/83 24587
/proc/meminfo: memFree=674632/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=25.18
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8628 0 10 0 2513 5 0 0 25 0 1 0 24922227 72351744 8617 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529750 0 0 4096 0 0 0 0 17 1 0 0
/proc/24586/statm: 17664 8617 408 29 0 16479 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 70656
[startup+51.1014 s]
/proc/loadavg: 2.19 2.24 2.26 3/83 24587
/proc/meminfo: memFree=593480/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=50.55
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8635 0 10 0 5047 8 0 0 25 0 1 0 24922227 72351744 8624 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528929 0 0 4096 0 0 0 0 17 1 0 0
/proc/24586/statm: 17664 8624 408 29 0 16479 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 70656
[startup+102.306 s]
/proc/loadavg: 2.12 2.21 2.25 3/83 24587
/proc/meminfo: memFree=433416/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=101.27
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8641 0 10 0 10116 11 0 0 25 0 1 0 24922227 72351744 8630 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528929 0 0 4096 0 0 0 0 17 1 0 0
/proc/24586/statm: 17664 8630 408 29 0 16479 0
Current children cumulated CPU time (s) 101.27
Current children cumulated vsize (KiB) 70656
[startup+162.301 s]
/proc/loadavg: 2.15 2.20 2.25 3/83 24587
/proc/meminfo: memFree=242248/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=160.7
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8642 0 10 0 16056 14 0 0 25 0 1 0 24922227 72351744 8631 996147200 1448431616 1448550632 4294956208 18446744073709551615 134860614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24586/statm: 17664 8631 408 29 0 16479 0
Current children cumulated CPU time (s) 160.7
Current children cumulated vsize (KiB) 70656
[startup+222.301 s]
/proc/loadavg: 2.05 2.16 2.23 3/83 24587
/proc/meminfo: memFree=39944/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=220.15
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8642 0 10 0 21997 18 0 0 25 0 1 0 24922227 72351744 8631 996147200 1448431616 1448550632 4294956208 18446744073709551615 134860766 0 0 4096 0 0 0 0 17 1 0 0
/proc/24586/statm: 17664 8631 408 29 0 16479 0
Current children cumulated CPU time (s) 220.15
Current children cumulated vsize (KiB) 70656
[startup+282.302 s]
/proc/loadavg: 2.18 2.16 2.22 5/83 24637
/proc/meminfo: memFree=1883720/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=279.56
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8643 0 10 0 27926 30 0 0 25 0 1 0 24922227 72351744 8632 996147200 1448431616 1448550632 4294956208 18446744073709551615 134532256 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8632 408 29 0 16479 0
Current children cumulated CPU time (s) 279.56
Current children cumulated vsize (KiB) 70656
[startup+342.302 s]
/proc/loadavg: 2.29 2.20 2.23 3/75 24639
/proc/meminfo: memFree=1536712/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=339.51
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8643 0 10 0 33917 34 0 0 25 0 1 0 24922227 72351744 8632 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528929 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8632 408 29 0 16479 0
Current children cumulated CPU time (s) 339.51
Current children cumulated vsize (KiB) 70656
[startup+402.302 s]
/proc/loadavg: 2.10 2.16 2.21 3/70 24709
/proc/meminfo: memFree=1887408/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=399.47
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8643 0 10 0 39910 37 0 0 25 0 1 0 24922227 72351744 8632 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528928 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8632 408 29 0 16479 0
Current children cumulated CPU time (s) 399.47
Current children cumulated vsize (KiB) 70656
[startup+462.301 s]
/proc/loadavg: 2.04 2.13 2.20 3/74 24713
/proc/meminfo: memFree=1878928/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=459.44
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8643 0 10 0 45907 37 0 0 25 0 1 0 24922227 72351744 8632 996147200 1448431616 1448550632 4294956208 18446744073709551615 135257905 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8632 408 29 0 16479 0
Current children cumulated CPU time (s) 459.44
Current children cumulated vsize (KiB) 70656
[startup+522.301 s]
/proc/loadavg: 2.01 2.11 2.18 3/74 24713
/proc/meminfo: memFree=1878800/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=519.41
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8643 0 10 0 51904 37 0 0 25 0 1 0 24922227 72351744 8632 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531325 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8632 408 29 0 16479 0
Current children cumulated CPU time (s) 519.41
Current children cumulated vsize (KiB) 70656
[startup+582.301 s]
/proc/loadavg: 2.00 2.08 2.17 3/74 24713
/proc/meminfo: memFree=1878736/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=579.38
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8644 0 10 0 57901 37 0 0 25 0 1 0 24922227 72351744 8633 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531446 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8633 408 29 0 16479 0
Current children cumulated CPU time (s) 579.38
Current children cumulated vsize (KiB) 70656
[startup+642.302 s]
/proc/loadavg: 2.00 2.07 2.16 3/74 24713
/proc/meminfo: memFree=1878736/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=639.35
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8644 0 10 0 63898 37 0 0 25 0 1 0 24922227 72351744 8633 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534283 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8633 408 29 0 16479 0
Current children cumulated CPU time (s) 639.35
Current children cumulated vsize (KiB) 70656
[startup+702.302 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.12 3/74 24713
/proc/meminfo: memFree=1878608/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=819.26
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8644 0 10 0 81889 37 0 0 25 0 1 0 24922227 72351744 8633 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529424 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8633 408 29 0 16479 0
Current children cumulated CPU time (s) 819.26
Current children cumulated vsize (KiB) 70656
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.11 3/74 24713
/proc/meminfo: memFree=1878608/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=879.23
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8644 0 10 0 87886 37 0 0 25 0 1 0 24922227 72351744 8633 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534274 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8633 408 29 0 16479 0
Current children cumulated CPU time (s) 879.23
Current children cumulated vsize (KiB) 70656
[startup+942.303 s]
/proc/loadavg: 2.00 2.02 2.10 3/74 24713
/proc/meminfo: memFree=1878608/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=939.21
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8644 0 10 0 93884 37 0 0 25 0 1 0 24922227 72351744 8633 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528928 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8633 408 29 0 16479 0
Current children cumulated CPU time (s) 939.21
Current children cumulated vsize (KiB) 70656
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/74 24713
/proc/meminfo: memFree=1878608/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=999.17
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 99880 37 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528937 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 999.17
Current children cumulated vsize (KiB) 70656
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/74 24713
/proc/meminfo: memFree=1878544/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1059.15
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 105878 37 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531325 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1059.15
Current children cumulated vsize (KiB) 70656
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/74 24713
/proc/meminfo: memFree=1878480/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1119.12
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 111875 37 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534246 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1119.12
Current children cumulated vsize (KiB) 70656
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/74 24713
/proc/meminfo: memFree=1878480/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1179.09
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 117872 37 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529903 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1179.09
Current children cumulated vsize (KiB) 70656
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/74 24713
/proc/meminfo: memFree=1878288/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1239.06
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 123869 37 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529713 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1239.06
Current children cumulated vsize (KiB) 70656
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/74 24713
/proc/meminfo: memFree=1878224/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1299.04
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 129867 37 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531818 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1299.04
Current children cumulated vsize (KiB) 70656
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.06 3/75 24714
/proc/meminfo: memFree=1878152/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1359
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 135863 37 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529903 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1359
Current children cumulated vsize (KiB) 70656
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.05 3/75 24714
/proc/meminfo: memFree=1878152/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1418.98
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 141861 37 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134532257 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1418.98
Current children cumulated vsize (KiB) 70656
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/75 24714
/proc/meminfo: memFree=1878088/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1478.95
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 147858 37 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 135257840 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1478.95
Current children cumulated vsize (KiB) 70656
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/75 24714
/proc/meminfo: memFree=1878088/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1538.91
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 153854 37 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528928 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1538.91
Current children cumulated vsize (KiB) 70656
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/75 24714
/proc/meminfo: memFree=1878088/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1598.89
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 159852 37 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134860708 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1598.89
Current children cumulated vsize (KiB) 70656
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/75 24714
/proc/meminfo: memFree=1878024/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1658.86
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 165849 37 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528944 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1658.86
Current children cumulated vsize (KiB) 70656
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/75 24714
/proc/meminfo: memFree=1878024/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1718.84
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 171846 38 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529949 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1718.84
Current children cumulated vsize (KiB) 70656
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/76 24715
/proc/meminfo: memFree=1877888/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1778.81
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 177843 38 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529889 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1778.81
Current children cumulated vsize (KiB) 70656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.6 s]
/proc/loadavg: 2.00 2.00 2.01 3/76 24715
/proc/meminfo: memFree=1877888/2055920 swapFree=4192812/4192956
[pid=24586] ppid=24584 vsize=70656 CPUtime=1800.1
/proc/24586/stat : 24586 (ld-linux.so.2) R 24584 24586 19734 0 -1 4194304 8645 0 10 0 179972 38 0 0 25 0 1 0 24922227 72351744 8634 996147200 1448431616 1448550632 4294956208 18446744073709551615 135268310 0 0 4096 0 0 0 0 17 0 0 0
/proc/24586/statm: 17664 8634 408 29 0 16479 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 70656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.61
CPU time (s): 1800.11
CPU user time (s): 1799.72
CPU system time (s): 0.38894
CPU usage (%): 99.8058
Max. virtual memory (cumulated for all children) (KiB): 70656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.38894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8645
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53
involuntary context switches= 17675
runsolver used 1.9457 second user time and 4.86926 second system time
The end
Begin job on node11 at 2009-07-12 08:02:32
IDJOB=2083965
IDBENCH=57990
IDSOLVER=769
FILE ID=node11/2083965-1247378552
PBS_JOBID= 9507062
Free space on /tmp= 64580 MiB
SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/fapp/fapp27/normalized-fapp27-2550-8.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083965-1247378552/watcher-2083965-1247378552 -o /tmp/evaluation-result-2083965-1247378552/solver-2083965-1247378552 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2083965-1247378552.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 80784ad202db7a8a76db2282d616ca89
RANDOM SEED=189688046
node11.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.274
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.274
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: 786288 kB
Buffers: 7284 kB
Cached: 1011968 kB
SwapCached: 0 kB
Active: 904620 kB
Inactive: 283004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 786288 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 206956 kB
Writeback: 0 kB
Mapped: 189644 kB
Slab: 66824 kB
Committed_AS: 391572 kB
PageTables: 2296 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 node11 at 2009-07-12 08:32:38