runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-221615-1168260403 -o ROOT/results/node47/solver-221615-1168260403 -C 1800 -M 900 /tmp/evaluation/221615-1168260403/Complete/Ordinary/solver /tmp/evaluation/221615-1168260403/unknown 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 0.93 1.03 1.33 4/65 31949
/proc/meminfo: memFree=1855400/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=53472 CPUtime=0
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 476 0 0 0 0 0 0 0 18 0 1 0 174440212 54755328 195 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134550338 0 0 4096 2 0 0 0 17 1 0 0
/proc/31948/statm: 13368 195 123 90 0 12906 0
[startup+0.106504 s]
/proc/loadavg: 0.93 1.03 1.33 4/65 31949
/proc/meminfo: memFree=1855400/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=53824 CPUtime=0.1
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 2390 0 0 0 9 1 0 0 18 0 1 0 174440212 55115776 2106 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134607829 0 0 4096 2 0 0 0 17 1 0 0
/proc/31948/statm: 13456 2107 158 90 0 12994 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 53824
[startup+0.514546 s]
/proc/loadavg: 0.93 1.03 1.33 4/65 31949
/proc/meminfo: memFree=1855400/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=66492 CPUtime=0.5
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 4847 0 0 0 48 2 0 0 21 0 1 0 174440212 68087808 4560 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663833 0 0 4096 2 0 0 0 17 1 0 0
/proc/31948/statm: 16623 4560 160 90 0 16161 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 66492
[startup+1.33463 s]
/proc/loadavg: 0.93 1.03 1.33 2/65 31949
/proc/meminfo: memFree=1837736/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=66492 CPUtime=1.32
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 4874 0 0 0 130 2 0 0 25 0 1 0 174440212 68087808 4587 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552412 0 0 4096 2 0 0 0 17 1 0 0
/proc/31948/statm: 16623 4587 176 90 0 16161 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 66492
[startup+2.97081 s]
/proc/loadavg: 0.93 1.03 1.33 2/65 31949
/proc/meminfo: memFree=1836904/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=66492 CPUtime=2.96
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 6242 0 0 0 293 3 0 0 25 0 1 0 174440212 68087808 5955 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552133 0 0 4096 2 0 0 0 17 1 0 0
/proc/31948/statm: 16623 5955 176 90 0 16161 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 66492
[startup+6.25416 s]
/proc/loadavg: 0.93 1.03 1.33 2/66 31950
/proc/meminfo: memFree=1821216/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=6.25
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 10879 0 0 0 620 5 0 0 25 0 2 0 174440212 79290368 8715 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662569 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8715 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8715 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 77432
[startup+12.7048 s]
/proc/loadavg: 0.94 1.03 1.33 2/66 31950
/proc/meminfo: memFree=1821216/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=12.69
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 10882 0 0 0 1264 5 0 0 25 0 2 0 174440212 79290368 8718 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618368 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8718 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8718 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77432
[startup+25.5162 s]
/proc/loadavg: 0.95 1.03 1.32 2/66 31950
/proc/meminfo: memFree=1821344/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=25.5
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 10883 0 0 0 2545 5 0 0 25 0 2 0 174440212 79290368 8719 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134669029 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8719 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8719 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 77432
[startup+51.13 s]
/proc/loadavg: 0.97 1.02 1.31 2/66 31950
/proc/meminfo: memFree=1821408/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=51.11
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 10883 0 0 0 5106 5 0 0 25 0 2 0 174440212 79290368 8719 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662613 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8719 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8719 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 77432
[startup+102.357 s]
/proc/loadavg: 0.98 1.02 1.29 2/66 31950
/proc/meminfo: memFree=1821344/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=102.32
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 11294 0 0 0 10227 5 0 0 25 0 2 0 174440212 79290368 8719 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663810 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8719 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8719 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 77432
[startup+162.398 s]
/proc/loadavg: 0.99 1.01 1.27 2/66 31950
/proc/meminfo: memFree=1821344/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=162.34
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 11706 0 0 0 16229 5 0 0 25 0 2 0 174440212 79290368 8720 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134580464 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8720 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8720 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 77432
[startup+222.435 s]
/proc/loadavg: 0.99 1.01 1.25 2/66 31950
/proc/meminfo: memFree=1820960/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=222.36
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 12211 0 0 0 22231 5 0 0 25 0 2 0 174440212 79290368 8814 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664597 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8814 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8814 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.36
Current children cumulated vsize (KiB) 77432
[startup+282.473 s]
/proc/loadavg: 0.99 1.00 1.23 2/66 31950
/proc/meminfo: memFree=1820960/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=282.38
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 12211 0 0 0 28233 5 0 0 25 0 2 0 174440212 79290368 8814 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134576067 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8814 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8814 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.38
Current children cumulated vsize (KiB) 77432
[startup+342.514 s]
/proc/loadavg: 0.99 1.00 1.22 2/66 31950
/proc/meminfo: memFree=1820896/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=342.41
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 12211 0 0 0 34236 5 0 0 25 0 2 0 174440212 79290368 8814 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663864 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8814 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8814 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.41
Current children cumulated vsize (KiB) 77432
[startup+402.557 s]
/proc/loadavg: 0.99 1.00 1.20 2/66 31950
/proc/meminfo: memFree=1820960/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=402.44
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 12211 0 0 0 40239 5 0 0 25 0 2 0 174440212 79290368 8814 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664253 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8814 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8814 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.44
Current children cumulated vsize (KiB) 77432
[startup+462.598 s]
/proc/loadavg: 0.99 1.00 1.18 2/66 31950
/proc/meminfo: memFree=1820704/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=462.46
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 12273 0 0 0 46241 5 0 0 25 0 2 0 174440212 79290368 8876 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134580464 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8876 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8876 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.46
Current children cumulated vsize (KiB) 77432
[startup+522.637 s]
/proc/loadavg: 0.99 1.00 1.17 2/66 31950
/proc/meminfo: memFree=1820704/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=522.49
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 12274 0 0 0 52244 5 0 0 25 0 2 0 174440212 79290368 8877 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134671416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8877 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8877 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.49
Current children cumulated vsize (KiB) 77432
[startup+582.675 s]
/proc/loadavg: 0.99 1.00 1.16 2/66 31950
/proc/meminfo: memFree=1820704/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=582.51
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 12274 0 0 0 58246 5 0 0 25 0 2 0 174440212 79290368 8877 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664003 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 19358 8877 180 90 0 18896 0
[pid=31948/tid=31950] ppid=31946 vsize=77432 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174440630 79290368 8877 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.51
Current children cumulated vsize (KiB) 77432
[startup+642.719 s]
/proc/loadavg: 0.99 1.00 1.15 2/66 31950
/proc/meminfo: memFree=1820640/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=77432 CPUtime=642.54
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 12274 0 0 0 64249 5 0 0 25 0 2 0 174440212 79290368 8877 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134620063 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1182.82
Current children cumulated vsize (KiB) 87676
[startup+1243.3 s]
/proc/loadavg: 1.07 1.02 1.07 2/67 32149
/proc/meminfo: memFree=1820248/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=87676 CPUtime=1242.87
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 13508 0 0 0 124281 6 0 0 25 0 3 0 174440212 89780224 8878 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552379 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 21919 8878 180 90 0 21457 0
[pid=31948/tid=31950] ppid=31946 vsize=87676 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 174440630 89780224 8878 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32097] ppid=31946 vsize=87676 CPUtime=0
/proc/31948/task/32097/stat : 32097 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 174530643 89780224 8878 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1242.87
Current children cumulated vsize (KiB) 87676
[startup+1303.37 s]
/proc/loadavg: 1.10 1.03 1.07 2/67 32149
/proc/meminfo: memFree=1820248/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=87676 CPUtime=1302.92
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 13508 0 0 0 130286 6 0 0 25 0 3 0 174440212 89780224 8878 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552366 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 21919 8878 180 90 0 21457 0
[pid=31948/tid=31950] ppid=31946 vsize=87676 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 174440630 89780224 8878 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32097] ppid=31946 vsize=87676 CPUtime=0
/proc/31948/task/32097/stat : 32097 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 174530643 89780224 8878 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1302.92
Current children cumulated vsize (KiB) 87676
[startup+1363.44 s]
/proc/loadavg: 1.07 1.04 1.07 2/68 32150
/proc/meminfo: memFree=1819856/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=97920 CPUtime=1362.97
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 13601 0 0 0 136291 6 0 0 25 0 4 0 174440212 100270080 8971 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618422 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 24480 8971 180 90 0 24018 0
[pid=31948/tid=31950] ppid=31946 vsize=97920 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174440630 100270080 8971 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32097] ppid=31946 vsize=97920 CPUtime=0
/proc/31948/task/32097/stat : 32097 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174530643 100270080 8971 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32150] ppid=31946 vsize=97920 CPUtime=0
/proc/31948/task/32150/stat : 32150 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 174575650 100270080 8971 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1362.97
Current children cumulated vsize (KiB) 97920
[startup+1423.53 s]
/proc/loadavg: 1.02 1.03 1.06 2/68 32150
/proc/meminfo: memFree=1819984/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=97920 CPUtime=1423.04
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 13601 0 0 0 142298 6 0 0 25 0 4 0 174440212 100270080 8971 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134617937 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 24480 8971 180 90 0 24018 0
[pid=31948/tid=31950] ppid=31946 vsize=97920 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174440630 100270080 8971 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32097] ppid=31946 vsize=97920 CPUtime=0
/proc/31948/task/32097/stat : 32097 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174530643 100270080 8971 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32150] ppid=31946 vsize=97920 CPUtime=0
/proc/31948/task/32150/stat : 32150 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 174575650 100270080 8971 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1423.04
Current children cumulated vsize (KiB) 97920
[startup+1483.62 s]
/proc/loadavg: 1.01 1.02 1.06 2/68 32150
/proc/meminfo: memFree=1819856/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=97920 CPUtime=1483.12
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 13610 0 0 0 148306 6 0 0 25 0 4 0 174440212 100270080 8980 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 24480 8980 180 90 0 24018 0
[pid=31948/tid=31950] ppid=31946 vsize=97920 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174440630 100270080 8980 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32097] ppid=31946 vsize=97920 CPUtime=0
/proc/31948/task/32097/stat : 32097 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174530643 100270080 8980 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32150] ppid=31946 vsize=97920 CPUtime=0
/proc/31948/task/32150/stat : 32150 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 174575650 100270080 8980 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.12
Current children cumulated vsize (KiB) 97920
[startup+1543.71 s]
/proc/loadavg: 1.00 1.02 1.05 2/68 32150
/proc/meminfo: memFree=1819920/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=97920 CPUtime=1543.19
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 13610 0 0 0 154313 6 0 0 25 0 4 0 174440212 100270080 8980 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662607 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 24480 8980 180 90 0 24018 0
[pid=31948/tid=31950] ppid=31946 vsize=97920 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174440630 100270080 8980 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32097] ppid=31946 vsize=97920 CPUtime=0
/proc/31948/task/32097/stat : 32097 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174530643 100270080 8980 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32150] ppid=31946 vsize=97920 CPUtime=0
/proc/31948/task/32150/stat : 32150 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 174575650 100270080 8980 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.19
Current children cumulated vsize (KiB) 97920
[startup+1603.8 s]
/proc/loadavg: 1.00 1.01 1.05 2/68 32150
/proc/meminfo: memFree=1817168/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=97944 CPUtime=1603.27
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 20090 0 0 0 160318 9 0 0 25 0 4 0 174440212 100294656 9657 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552332 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 24486 9657 180 90 0 24024 0
[pid=31948/tid=31950] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174440630 100294656 9657 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32097] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/32097/stat : 32097 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174530643 100294656 9657 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32150] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/32150/stat : 32150 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174575650 100294656 9657 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.27
Current children cumulated vsize (KiB) 97944
[startup+1663.89 s]
/proc/loadavg: 1.00 1.00 1.04 2/68 32150
/proc/meminfo: memFree=1816848/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=97944 CPUtime=1663.34
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 20175 0 0 0 166325 9 0 0 25 0 4 0 174440212 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134580464 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 24486 9742 180 90 0 24024 0
[pid=31948/tid=31950] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174440630 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32097] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/32097/stat : 32097 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174530643 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32150] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/32150/stat : 32150 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174575650 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.34
Current children cumulated vsize (KiB) 97944
[startup+1723.98 s]
/proc/loadavg: 1.00 1.00 1.03 2/68 32150
/proc/meminfo: memFree=1816784/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=97944 CPUtime=1723.42
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 20175 0 0 0 172333 9 0 0 25 0 4 0 174440212 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134576069 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 24486 9742 180 90 0 24024 0
[pid=31948/tid=31950] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174440630 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32097] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/32097/stat : 32097 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174530643 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32150] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/32150/stat : 32150 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174575650 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.42
Current children cumulated vsize (KiB) 97944
[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 1.03 2/68 32150
/proc/meminfo: memFree=1816784/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=97944 CPUtime=1783.49
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 20175 0 0 0 178340 9 0 0 25 0 4 0 174440212 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589294 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 24486 9742 180 90 0 24024 0
[pid=31948/tid=31950] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174440630 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32097] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/32097/stat : 32097 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174530643 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32150] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/32150/stat : 32150 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174575650 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.49
Current children cumulated vsize (KiB) 97944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.58 s]
/proc/loadavg: 1.00 1.00 1.03 2/68 32150
/proc/meminfo: memFree=1816784/2055920 swapFree=4183952/4192956
[pid=31948] ppid=31946 vsize=97944 CPUtime=1800
/proc/31948/stat : 31948 (bprolog) R 31946 31948 31464 0 -1 4194304 20175 0 0 0 179991 9 0 0 25 0 4 0 174440212 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552480 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/31948/statm: 24486 9742 180 90 0 24024 0
[pid=31948/tid=31950] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/31950/stat : 31950 (bprolog) S 31946 31948 31464 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174440630 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32097] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/32097/stat : 32097 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174530643 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=31948/tid=32150] ppid=31946 vsize=97944 CPUtime=0
/proc/31948/task/32150/stat : 32150 (bprolog) S 31946 31948 31464 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174575650 100294656 9742 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 97944
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.77
CPU time (s): 1800.03
CPU user time (s): 1799.92
CPU system time (s): 0.104984
CPU usage (%): 99.9033
Max. virtual memory (cumulated for all children) (KiB): 97944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20175
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= 18
involuntary context switches= 2210
runsolver used 1.54377 s user time and 3.88541 s system time
The end
Begin job on node47 on Mon Jan 8 12:46:44 UTC 2007
IDJOB= 221615
IDBENCH= 5460
FILE ID= node47/221615-1168260403
PBS_JOBID= 3482622
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp31-35/fapp32/fapp32-0550-0.xml
COMMAND LINE= /tmp/evaluation/221615-1168260403/Complete/Ordinary/solver /tmp/evaluation/221615-1168260403/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-221615-1168260403 -o ROOT/results/node47/conversion-221615-1168260403 -C 600 -M 900 /tmp/evaluation/221615-1168260403/Complete/Ordinary/conversion /tmp/evaluation/221615-1168260403/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-221615-1168260403 -o ROOT/results/node47/solver-221615-1168260403 -C 1800 -M 900 /tmp/evaluation/221615-1168260403/Complete/Ordinary/solver /tmp/evaluation/221615-1168260403/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 1a9a8638f7286925b99a21e6296eea19
RANDOM SEED= 856338160
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1855880 kB
Buffers: 35900 kB
Cached: 101516 kB
SwapCached: 3480 kB
Active: 77556 kB
Inactive: 69860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1855880 kB
SwapTotal: 4192956 kB
SwapFree: 4183952 kB
Dirty: 3388 kB
Writeback: 0 kB
Mapped: 15296 kB
Slab: 38600 kB
Committed_AS: 3739248 kB
PageTables: 1452 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= 66557 MiB
End job on node47 on Mon Jan 8 13:16:52 UTC 2007