runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-221535-1168259694 -o ROOT/results/node50/solver-221535-1168259694 -C 1800 -M 900 /tmp/evaluation/221535-1168259694/Complete/Ordinary/solver /tmp/evaluation/221535-1168259694/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: 2.12 1.68 1.28 5/73 29724
/proc/meminfo: memFree=1188928/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=18540 CPUtime=0
/proc/29723/stat : 29723 (runsolver) R 29721 29723 29342 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 174368546 18984960 279 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 240577473831 0 0 4096 24578 0 0 0 17 1 0 0
/proc/29723/statm: 4635 279 244 17 0 2626 0
[startup+0.107917 s]
/proc/loadavg: 2.12 1.68 1.28 5/73 29724
/proc/meminfo: memFree=1188928/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=53824 CPUtime=0.09
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 2310 0 0 0 8 1 0 0 20 0 1 0 174368546 55115776 2026 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552033 0 0 4096 2 0 0 0 17 1 0 0
/proc/29723/statm: 13456 2026 157 90 0 12994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53824
[startup+0.515986 s]
/proc/loadavg: 2.12 1.68 1.28 5/73 29724
/proc/meminfo: memFree=1188928/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=66492 CPUtime=0.5
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 4847 0 0 0 48 2 0 0 23 0 1 0 174368546 68087808 4560 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662547 0 0 4096 2 0 0 0 17 1 0 0
/proc/29723/statm: 16623 4560 160 90 0 16161 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 66492
[startup+1.33712 s]
/proc/loadavg: 2.12 1.68 1.28 3/73 29724
/proc/meminfo: memFree=1163456/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=66492 CPUtime=1.32
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 4874 0 0 0 130 2 0 0 25 0 1 0 174368546 68087808 4587 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134560378 0 0 4096 2 0 0 0 17 1 0 0
/proc/29723/statm: 16623 4587 176 90 0 16161 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 66492
[startup+2.97439 s]
/proc/loadavg: 2.12 1.68 1.28 3/73 29724
/proc/meminfo: memFree=1154752/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=66492 CPUtime=2.95
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 6237 0 0 0 293 2 0 0 25 0 1 0 174368546 68087808 5950 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663828 0 0 4096 2 0 0 0 17 1 0 0
/proc/29723/statm: 16623 5950 176 90 0 16161 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 66492
[startup+6.25794 s]
/proc/loadavg: 2.11 1.69 1.28 3/74 29725
/proc/meminfo: memFree=1117688/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77444 CPUtime=6.22
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 16289 0 0 0 616 6 0 0 25 0 2 0 174368546 79302656 9180 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134557011 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/29723/statm: 19361 9180 180 90 0 18899 0
[pid=29723/tid=29725] ppid=29721 vsize=77444 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79302656 9180 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 77444
[startup+12.721 s]
/proc/loadavg: 2.10 1.69 1.29 3/74 29725
/proc/meminfo: memFree=1078648/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=12.66
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 19482 0 0 0 1258 8 0 0 25 0 2 0 174368546 79310848 9886 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/29723/statm: 19363 9886 180 90 0 18901 0
[pid=29723/tid=29725] ppid=29721 vsize=77452 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79310848 9886 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 77452
[startup+25.5482 s]
/proc/loadavg: 2.08 1.71 1.30 3/74 29725
/proc/meminfo: memFree=988408/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=25.43
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 19498 0 0 0 2535 8 0 0 25 0 2 0 174368546 79310848 9902 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134577576 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/29723/statm: 19363 9902 180 90 0 18901 0
[pid=29723/tid=29725] ppid=29721 vsize=77452 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79310848 9902 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 77452
[startup+51.2245 s]
/proc/loadavg: 2.05 1.73 1.31 4/82 29796
/proc/meminfo: memFree=1572920/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=51.02
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 19919 0 0 0 5093 9 0 0 25 0 2 0 174368546 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663808 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 19363 9907 180 90 0 18901 0
[pid=29723/tid=29725] ppid=29721 vsize=77452 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 77452
[startup+102.472 s]
/proc/loadavg: 2.25 1.84 1.37 4/82 29867
/proc/meminfo: memFree=1101816/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=102.1
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 19919 0 0 0 10199 11 0 0 25 0 2 0 174368546 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552486 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 19363 9907 180 90 0 18901 0
[pid=29723/tid=29725] ppid=29721 vsize=77452 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 77452
[startup+162.563 s]
/proc/loadavg: 2.05 1.86 1.40 3/85 29919
/proc/meminfo: memFree=1446624/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=161.46
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 19919 0 0 0 16134 12 0 0 25 0 2 0 174368546 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134620076 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/29723/statm: 19363 9907 180 90 0 18901 0
[pid=29723/tid=29725] ppid=29721 vsize=77452 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.46
Current children cumulated vsize (KiB) 77452
[startup+222.658 s]
/proc/loadavg: 2.02 1.88 1.44 3/85 29919
/proc/meminfo: memFree=1206368/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=221.13
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 19919 0 0 0 22101 12 0 0 25 0 2 0 174368546 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134614636 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 19363 9907 180 90 0 18901 0
[pid=29723/tid=29725] ppid=29721 vsize=77452 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.13
Current children cumulated vsize (KiB) 77452
[startup+282.7 s]
/proc/loadavg: 2.00 1.90 1.47 3/85 29919
/proc/meminfo: memFree=1056672/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=280.85
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20335 0 0 0 28073 12 0 0 25 0 2 0 174368546 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134576089 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/29723/statm: 19363 9907 180 90 0 18901 0
[pid=29723/tid=29725] ppid=29721 vsize=77452 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.85
Current children cumulated vsize (KiB) 77452
[startup+342.742 s]
/proc/loadavg: 2.00 1.91 1.50 3/85 29919
/proc/meminfo: memFree=1053280/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=340.38
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20335 0 0 0 34026 12 0 0 25 0 2 0 174368546 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/29723/statm: 19363 9907 180 90 0 18901 0
[pid=29723/tid=29725] ppid=29721 vsize=77452 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.38
Current children cumulated vsize (KiB) 77452
[startup+402.781 s]
/proc/loadavg: 2.00 1.93 1.53 3/85 29919
/proc/meminfo: memFree=1053728/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=399.89
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20335 0 0 0 39977 12 0 0 25 0 2 0 174368546 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663850 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/29723/statm: 19363 9907 180 90 0 18901 0
[pid=29723/tid=29725] ppid=29721 vsize=77452 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.89
Current children cumulated vsize (KiB) 77452
[startup+462.818 s]
/proc/loadavg: 2.00 1.94 1.56 3/85 29919
/proc/meminfo: memFree=1052256/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=459.4
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20335 0 0 0 45928 12 0 0 25 0 2 0 174368546 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663808 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/29723/statm: 19363 9907 180 90 0 18901 0
[pid=29723/tid=29725] ppid=29721 vsize=77452 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.4
Current children cumulated vsize (KiB) 77452
[startup+522.918 s]
/proc/loadavg: 2.34 2.04 1.61 3/85 29919
/proc/meminfo: memFree=1051936/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=518.95
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20335 0 0 0 51883 12 0 0 25 0 2 0 174368546 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662632 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/29723/statm: 19363 9907 180 90 0 18901 0
[pid=29723/tid=29725] ppid=29721 vsize=77452 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.95
Current children cumulated vsize (KiB) 77452
[startup+583.015 s]
/proc/loadavg: 1.78 1.96 1.61 2/66 29934
/proc/meminfo: memFree=1800208/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=578.85
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20335 0 0 0 57872 13 0 0 25 0 2 0 174368546 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663822 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 19363 9907 180 90 0 18901 0
[pid=29723/tid=29725] ppid=29721 vsize=77452 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 174368964 79310848 9907 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 578.85
Current children cumulated vsize (KiB) 77452
[startup+643.07 s]
/proc/loadavg: 1.29 1.78 1.57 2/66 29934
/proc/meminfo: memFree=1800400/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=77452 CPUtime=638.89
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20753 0 0 0 63875 14 0 0 25 0 2 0 174368546 79310848 9909 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663828 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20754 0 0 0 117917 15 0 0 25 0 3 0 174368546 89800704 9910 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552062 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 21924 9910 180 90 0 21462 0
[pid=29723/tid=29725] ppid=29721 vsize=87696 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 174368964 89800704 9910 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29935] ppid=29721 vsize=87696 CPUtime=0
/proc/29723/task/29935/stat : 29935 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 174458977 89800704 9910 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1179.32
Current children cumulated vsize (KiB) 87696
[startup+1243.75 s]
/proc/loadavg: 1.00 1.09 1.28 2/67 29935
/proc/meminfo: memFree=1800136/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=87696 CPUtime=1239.39
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20754 0 0 0 123924 15 0 0 25 0 3 0 174368546 89800704 9910 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134620063 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 21924 9910 180 90 0 21462 0
[pid=29723/tid=29725] ppid=29721 vsize=87696 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 174368964 89800704 9910 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29935] ppid=29721 vsize=87696 CPUtime=0
/proc/29723/task/29935/stat : 29935 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 174458977 89800704 9910 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1239.39
Current children cumulated vsize (KiB) 87696
[startup+1303.84 s]
/proc/loadavg: 1.00 1.07 1.26 2/67 29935
/proc/meminfo: memFree=1800072/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=87696 CPUtime=1299.45
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20754 0 0 0 129930 15 0 0 25 0 3 0 174368546 89800704 9910 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134554996 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 21924 9910 180 90 0 21462 0
[pid=29723/tid=29725] ppid=29721 vsize=87696 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 174368964 89800704 9910 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29935] ppid=29721 vsize=87696 CPUtime=0
/proc/29723/task/29935/stat : 29935 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 174458977 89800704 9910 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1299.45
Current children cumulated vsize (KiB) 87696
[startup+1363.92 s]
/proc/loadavg: 1.00 1.06 1.24 2/68 29936
/proc/meminfo: memFree=1799808/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=97940 CPUtime=1359.51
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20857 0 0 0 135936 15 0 0 25 0 4 0 174368546 100290560 10013 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663828 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 24485 10013 180 90 0 24023 0
[pid=29723/tid=29725] ppid=29721 vsize=97940 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174368964 100290560 10013 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29935] ppid=29721 vsize=97940 CPUtime=0
/proc/29723/task/29935/stat : 29935 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174458977 100290560 10013 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29936] ppid=29721 vsize=97940 CPUtime=0
/proc/29723/task/29936/stat : 29936 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 174503984 100290560 10013 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1359.51
Current children cumulated vsize (KiB) 97940
[startup+1423.92 s]
/proc/loadavg: 1.00 1.04 1.22 2/68 29936
/proc/meminfo: memFree=1799808/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=97940 CPUtime=1419.49
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20857 0 0 0 141934 15 0 0 25 0 4 0 174368546 100290560 10013 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663808 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 24485 10013 180 90 0 24023 0
[pid=29723/tid=29725] ppid=29721 vsize=97940 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174368964 100290560 10013 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29935] ppid=29721 vsize=97940 CPUtime=0
/proc/29723/task/29935/stat : 29935 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174458977 100290560 10013 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29936] ppid=29721 vsize=97940 CPUtime=0
/proc/29723/task/29936/stat : 29936 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 174503984 100290560 10013 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1419.49
Current children cumulated vsize (KiB) 97940
[startup+1483.93 s]
/proc/loadavg: 1.00 1.03 1.21 2/68 29936
/proc/meminfo: memFree=1799744/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=97940 CPUtime=1479.48
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20865 0 0 0 147933 15 0 0 25 0 4 0 174368546 100290560 10021 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664008 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 24485 10021 180 90 0 24023 0
[pid=29723/tid=29725] ppid=29721 vsize=97940 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174368964 100290560 10021 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29935] ppid=29721 vsize=97940 CPUtime=0
/proc/29723/task/29935/stat : 29935 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174458977 100290560 10021 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29936] ppid=29721 vsize=97940 CPUtime=0
/proc/29723/task/29936/stat : 29936 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 174503984 100290560 10021 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.48
Current children cumulated vsize (KiB) 97940
[startup+1543.94 s]
/proc/loadavg: 1.00 1.03 1.19 2/68 29936
/proc/meminfo: memFree=1799744/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=97940 CPUtime=1539.47
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 20874 0 0 0 153932 15 0 0 25 0 4 0 174368546 100290560 10030 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662622 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 24485 10030 180 90 0 24023 0
[pid=29723/tid=29725] ppid=29721 vsize=97940 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174368964 100290560 10030 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29935] ppid=29721 vsize=97940 CPUtime=0
/proc/29723/task/29935/stat : 29935 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174458977 100290560 10030 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29936] ppid=29721 vsize=97940 CPUtime=0
/proc/29723/task/29936/stat : 29936 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 174503984 100290560 10030 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.47
Current children cumulated vsize (KiB) 97940
[startup+1603.96 s]
/proc/loadavg: 1.00 1.02 1.17 2/74 30076
/proc/meminfo: memFree=1797584/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=97944 CPUtime=1599.45
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 22318 0 0 0 159923 22 0 0 25 0 4 0 174368546 100294656 10225 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134661297 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 24486 10225 180 90 0 24024 0
[pid=29723/tid=29725] ppid=29721 vsize=97944 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174368964 100294656 10225 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29935] ppid=29721 vsize=97944 CPUtime=0
/proc/29723/task/29935/stat : 29935 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174458977 100294656 10225 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29936] ppid=29721 vsize=97944 CPUtime=0
/proc/29723/task/29936/stat : 29936 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174503984 100294656 10225 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.45
Current children cumulated vsize (KiB) 97944
[startup+1663.99 s]
/proc/loadavg: 1.00 1.01 1.16 2/68 30134
/proc/meminfo: memFree=1798464/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=97944 CPUtime=1659.46
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 22738 0 0 0 165920 26 0 0 25 0 4 0 174368546 100294656 10228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662545 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 24486 10228 180 90 0 24024 0
[pid=29723/tid=29725] ppid=29721 vsize=97944 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174368964 100294656 10228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29935] ppid=29721 vsize=97944 CPUtime=0
/proc/29723/task/29935/stat : 29935 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174458977 100294656 10228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29936] ppid=29721 vsize=97944 CPUtime=0
/proc/29723/task/29936/stat : 29936 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174503984 100294656 10228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.46
Current children cumulated vsize (KiB) 97944
[startup+1723.99 s]
/proc/loadavg: 1.00 1.01 1.15 2/68 30134
/proc/meminfo: memFree=1798464/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=97944 CPUtime=1719.44
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 22738 0 0 0 171918 26 0 0 25 0 4 0 174368546 100294656 10228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664003 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 24486 10228 180 90 0 24024 0
[pid=29723/tid=29725] ppid=29721 vsize=97944 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174368964 100294656 10228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29935] ppid=29721 vsize=97944 CPUtime=0
/proc/29723/task/29935/stat : 29935 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174458977 100294656 10228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29936] ppid=29721 vsize=97944 CPUtime=0
/proc/29723/task/29936/stat : 29936 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174503984 100294656 10228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.44
Current children cumulated vsize (KiB) 97944
[startup+1784 s]
/proc/loadavg: 1.00 1.00 1.14 2/68 30134
/proc/meminfo: memFree=1798464/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=97944 CPUtime=1779.43
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 22738 0 0 0 177917 26 0 0 25 0 4 0 174368546 100294656 10228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134580822 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/29723/statm: 24486 10228 180 90 0 24024 0
[pid=29723/tid=29725] ppid=29721 vsize=97944 CPUtime=0
/proc/29723/task/29725/stat : 29725 (bprolog) S 29721 29723 29342 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 174368964 100294656 10228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29935] ppid=29721 vsize=97944 CPUtime=0
/proc/29723/task/29935/stat : 29935 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174458977 100294656 10228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=29723/tid=29936] ppid=29721 vsize=97944 CPUtime=0
/proc/29723/task/29936/stat : 29936 (bprolog) S 29721 29723 29342 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 174503984 100294656 10228 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.43
Current children cumulated vsize (KiB) 97944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.62 s]
/proc/loadavg: 1.00 1.00 1.13 2/65 30134
/proc/meminfo: memFree=1798464/2055920 swapFree=4191892/4192956
[pid=29723] ppid=29721 vsize=97944 CPUtime=1800.04
/proc/29723/stat : 29723 (bprolog) R 29721 29723 29342 0 -1 4194304 22739 0 0 0 179978 26 0 0 25 0 1 0 174368546 100294656 10229 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134576067 0 0 4096 2 0 0 0 17 0 0 0
/proc/29723/statm: 24486 10229 181 90 0 24024 0
Current children cumulated CPU time (s) 1800.04
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): 1804.63
CPU time (s): 1800.06
CPU user time (s): 1799.79
CPU system time (s): 0.273958
CPU usage (%): 99.7469
Max. virtual memory (cumulated for all children) (KiB): 97944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.273958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22739
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= 14
involuntary context switches= 14426
runsolver used 1.9707 s user time and 4.6243 s system time
The end
Begin job on node50 on Mon Jan 8 12:34:54 UTC 2007
IDJOB= 221535
IDBENCH= 5455
FILE ID= node50/221535-1168259694
PBS_JOBID= 3482634
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp31-35/fapp32/fapp32-0550-9.xml
COMMAND LINE= /tmp/evaluation/221535-1168259694/Complete/Ordinary/solver /tmp/evaluation/221535-1168259694/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node50/convwatcher-221535-1168259694 -o ROOT/results/node50/conversion-221535-1168259694 -C 600 -M 900 /tmp/evaluation/221535-1168259694/Complete/Ordinary/conversion /tmp/evaluation/221535-1168259694/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-221535-1168259694 -o ROOT/results/node50/solver-221535-1168259694 -C 1800 -M 900 /tmp/evaluation/221535-1168259694/Complete/Ordinary/solver /tmp/evaluation/221535-1168259694/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= bc7114b27a46a303eb3e9257cf5816e5
RANDOM SEED= 452190278
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.263
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 : 5931.00
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.263
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: 1189408 kB
Buffers: 43024 kB
Cached: 108016 kB
SwapCached: 396 kB
Active: 737968 kB
Inactive: 75364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1189408 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3404 kB
Writeback: 0 kB
Mapped: 671860 kB
Slab: 37452 kB
Committed_AS: 4925880 kB
PageTables: 3048 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= 66560 MiB
End job on node50 on Mon Jan 8 13:05:05 UTC 2007