runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-207788-1168183280 -o ROOT/results/node61/solver-207788-1168183280 -C 1800 -M 900 /tmp/evaluation/207788-1168183280/Complete/Ordinary/solver /tmp/evaluation/207788-1168183280/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: 1.81 1.21 1.07 4/81 12980
/proc/meminfo: memFree=1590112/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=18540 CPUtime=0
/proc/12979/stat : 12979 (runsolver) R 12977 12979 12683 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 166725899 18984960 280 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12979/statm: 4635 280 244 17 0 2626 0
[startup+0.10657 s]
/proc/loadavg: 1.81 1.21 1.07 4/81 12980
/proc/meminfo: memFree=1590112/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=61808 CPUtime=0.09
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 1597 0 0 0 9 0 0 0 18 0 1 0 166725899 63291392 1313 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134574018 0 0 4096 2 0 0 0 17 0 0 0
/proc/12979/statm: 15452 1313 158 90 0 14990 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61808
[startup+0.514639 s]
/proc/loadavg: 1.81 1.21 1.07 4/81 12980
/proc/meminfo: memFree=1590112/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=62036 CPUtime=0.5
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 9478 0 0 0 46 4 0 0 22 0 1 0 166725899 63524864 9088 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134590639 0 0 4096 2 0 0 0 17 0 0 0
/proc/12979/statm: 15509 9088 158 90 0 15047 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 62036
[startup+1.33478 s]
/proc/loadavg: 1.81 1.21 1.07 3/82 12981
/proc/meminfo: memFree=1521816/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=1.3
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12773 0 0 0 125 5 0 0 25 0 2 0 166725899 95068160 11493 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639208 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12979/statm: 23210 11493 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11493 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 92840
[startup+2.97206 s]
/proc/loadavg: 1.81 1.21 1.07 3/83 12989
/proc/meminfo: memFree=1534296/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=2.93
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12774 0 0 0 288 5 0 0 25 0 2 0 166725899 95068160 11494 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589843 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12979/statm: 23210 11494 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11494 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 92840
[startup+6.25464 s]
/proc/loadavg: 1.91 1.24 1.08 4/83 12989
/proc/meminfo: memFree=1472856/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=6.19
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12774 0 0 0 614 5 0 0 25 0 2 0 166725899 95068160 11494 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711836 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12979/statm: 23210 11494 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11494 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 92840
[startup+12.7138 s]
/proc/loadavg: 1.99 1.27 1.09 4/83 12989
/proc/meminfo: memFree=1356056/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=12.57
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12774 0 0 0 1252 5 0 0 25 0 2 0 166725899 95068160 11494 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134614604 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12979/statm: 23210 11494 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11494 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 92840
[startup+25.539 s]
/proc/loadavg: 2.07 1.31 1.11 3/85 13040
/proc/meminfo: memFree=1374456/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=25
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12774 0 0 0 2494 6 0 0 25 0 2 0 166725899 95068160 11494 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711657 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 23210 11494 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11494 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 92840
[startup+51.2015 s]
/proc/loadavg: 2.16 1.41 1.14 3/85 13040
/proc/meminfo: memFree=1181304/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=49.59
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12774 0 0 0 4953 6 0 0 25 0 2 0 166725899 95068160 11494 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589705 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 23210 11494 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11494 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.59
Current children cumulated vsize (KiB) 92840
[startup+102.473 s]
/proc/loadavg: 2.07 1.50 1.19 3/85 13040
/proc/meminfo: memFree=1132600/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=100.43
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12786 0 0 0 10037 6 0 0 25 0 2 0 166725899 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711198 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12979/statm: 23210 11506 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 100.43
Current children cumulated vsize (KiB) 92840
[startup+162.505 s]
/proc/loadavg: 2.01 1.59 1.23 3/82 13114
/proc/meminfo: memFree=1532352/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=158.51
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12786 0 0 0 15845 6 0 0 25 0 2 0 166725899 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134609480 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12979/statm: 23210 11506 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 158.51
Current children cumulated vsize (KiB) 92840
[startup+222.58 s]
/proc/loadavg: 2.11 1.70 1.29 3/82 13114
/proc/meminfo: memFree=848392/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=218.08
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12786 0 0 0 21801 7 0 0 25 0 2 0 166725899 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134566443 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12979/statm: 23210 11506 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 218.08
Current children cumulated vsize (KiB) 92840
[startup+282.609 s]
/proc/loadavg: 2.16 1.78 1.35 3/82 13184
/proc/meminfo: memFree=900624/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=277.62
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12786 0 0 0 27754 8 0 0 25 0 2 0 166725899 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134558086 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12979/statm: 23210 11506 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 277.62
Current children cumulated vsize (KiB) 92840
[startup+342.657 s]
/proc/loadavg: 1.45 1.65 1.33 2/66 13199
/proc/meminfo: memFree=1589032/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=337.6
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12786 0 0 0 33752 8 0 0 25 0 2 0 166725899 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552108 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 23210 11506 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 337.6
Current children cumulated vsize (KiB) 92840
[startup+402.693 s]
/proc/loadavg: 1.16 1.53 1.30 2/66 13199
/proc/meminfo: memFree=1589032/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=397.62
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12786 0 0 0 39754 8 0 0 25 0 2 0 166725899 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552062 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 23210 11506 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 397.62
Current children cumulated vsize (KiB) 92840
[startup+462.736 s]
/proc/loadavg: 1.06 1.43 1.28 2/66 13199
/proc/meminfo: memFree=1589096/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=457.64
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12786 0 0 0 45756 8 0 0 25 0 2 0 166725899 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134609627 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 23210 11506 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 457.64
Current children cumulated vsize (KiB) 92840
[startup+522.774 s]
/proc/loadavg: 1.02 1.35 1.26 2/66 13199
/proc/meminfo: memFree=1589096/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=517.66
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12786 0 0 0 51758 8 0 0 25 0 2 0 166725899 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134556816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 23210 11506 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 517.66
Current children cumulated vsize (KiB) 92840
[startup+582.809 s]
/proc/loadavg: 1.01 1.28 1.24 2/66 13199
/proc/meminfo: memFree=1589096/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=92840 CPUtime=577.67
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12786 0 0 0 57759 8 0 0 25 0 2 0 166725899 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134560312 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 23210 11506 170 90 0 22748 0
[pid=12979/tid=12981] ppid=12977 vsize=92840 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166725983 95068160 11506 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.67
Current children cumulated vsize (KiB) 92840
[startup+642.844 s]
################
# More data... #
################
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12787 0 0 0 117787 9 0 0 25 0 3 0 166725899 105558016 11507 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134597154 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 25771 11507 170 90 0 25309 0
[pid=12979/tid=12981] ppid=12977 vsize=103084 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 166725983 105558016 11507 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13200] ppid=12977 vsize=103084 CPUtime=0
/proc/12979/task/13200/stat : 13200 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 166815996 105558016 11507 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1177.96
Current children cumulated vsize (KiB) 103084
[startup+1243.37 s]
/proc/loadavg: 1.00 1.02 1.09 2/67 13200
/proc/meminfo: memFree=1589024/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=103084 CPUtime=1238
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12787 0 0 0 123791 9 0 0 25 0 3 0 166725899 105558016 11507 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 25771 11507 170 90 0 25309 0
[pid=12979/tid=12981] ppid=12977 vsize=103084 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 166725983 105558016 11507 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13200] ppid=12977 vsize=103084 CPUtime=0
/proc/12979/task/13200/stat : 13200 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 166815996 105558016 11507 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1238
Current children cumulated vsize (KiB) 103084
[startup+1303.43 s]
/proc/loadavg: 1.00 1.01 1.09 2/67 13200
/proc/meminfo: memFree=1589024/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=103084 CPUtime=1298.04
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12787 0 0 0 129795 9 0 0 25 0 3 0 166725899 105558016 11507 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134604100 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 25771 11507 170 90 0 25309 0
[pid=12979/tid=12981] ppid=12977 vsize=103084 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 166725983 105558016 11507 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13200] ppid=12977 vsize=103084 CPUtime=0
/proc/12979/task/13200/stat : 13200 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 166815996 105558016 11507 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1298.04
Current children cumulated vsize (KiB) 103084
[startup+1363.5 s]
/proc/loadavg: 1.00 1.01 1.08 2/68 13201
/proc/meminfo: memFree=1588952/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=113328 CPUtime=1358.09
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12788 0 0 0 135800 9 0 0 25 0 4 0 166725899 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552151 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 28332 11508 170 90 0 27870 0
[pid=12979/tid=12981] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166725983 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13200] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13200/stat : 13200 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166815996 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13201] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13201/stat : 13201 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 166861002 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1358.09
Current children cumulated vsize (KiB) 113328
[startup+1423.59 s]
/proc/loadavg: 1.00 1.00 1.07 2/68 13201
/proc/meminfo: memFree=1589016/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=113328 CPUtime=1418.15
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12788 0 0 0 141806 9 0 0 25 0 4 0 166725899 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711664 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 28332 11508 170 90 0 27870 0
[pid=12979/tid=12981] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166725983 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13200] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13200/stat : 13200 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166815996 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13201] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13201/stat : 13201 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 166861002 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1418.15
Current children cumulated vsize (KiB) 113328
[startup+1483.67 s]
/proc/loadavg: 1.00 1.00 1.07 2/68 13201
/proc/meminfo: memFree=1588952/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=113328 CPUtime=1478.22
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12788 0 0 0 147813 9 0 0 25 0 4 0 166725899 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662668 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 28332 11508 170 90 0 27870 0
[pid=12979/tid=12981] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166725983 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13200] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13200/stat : 13200 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166815996 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13201] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13201/stat : 13201 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 166861002 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1478.22
Current children cumulated vsize (KiB) 113328
[startup+1543.76 s]
/proc/loadavg: 1.00 1.00 1.06 2/68 13201
/proc/meminfo: memFree=1589016/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=113328 CPUtime=1538.28
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12788 0 0 0 153819 9 0 0 25 0 4 0 166725899 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662708 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 28332 11508 170 90 0 27870 0
[pid=12979/tid=12981] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166725983 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13200] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13200/stat : 13200 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166815996 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13201] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13201/stat : 13201 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 166861002 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1538.28
Current children cumulated vsize (KiB) 113328
[startup+1603.84 s]
/proc/loadavg: 1.00 1.00 1.06 2/68 13201
/proc/meminfo: memFree=1588952/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=113328 CPUtime=1598.34
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12788 0 0 0 159825 9 0 0 25 0 4 0 166725899 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134597154 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 28332 11508 170 90 0 27870 0
[pid=12979/tid=12981] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166725983 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13200] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13200/stat : 13200 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166815996 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13201] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13201/stat : 13201 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166861002 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1598.34
Current children cumulated vsize (KiB) 113328
[startup+1663.93 s]
/proc/loadavg: 1.00 1.00 1.05 2/68 13201
/proc/meminfo: memFree=1588952/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=113328 CPUtime=1658.4
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12788 0 0 0 165831 9 0 0 25 0 4 0 166725899 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639050 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 28332 11508 170 90 0 27870 0
[pid=12979/tid=12981] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166725983 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13200] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13200/stat : 13200 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166815996 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13201] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13201/stat : 13201 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166861002 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1658.4
Current children cumulated vsize (KiB) 113328
[startup+1724.02 s]
/proc/loadavg: 1.00 1.00 1.05 2/68 13201
/proc/meminfo: memFree=1588888/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=113328 CPUtime=1718.48
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12788 0 0 0 171838 10 0 0 25 0 4 0 166725899 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134557083 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 28332 11508 170 90 0 27870 0
[pid=12979/tid=12981] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166725983 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13200] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13200/stat : 13200 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166815996 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13201] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13201/stat : 13201 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166861002 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1718.48
Current children cumulated vsize (KiB) 113328
[startup+1784.11 s]
/proc/loadavg: 1.00 1.00 1.04 2/68 13201
/proc/meminfo: memFree=1588888/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=113328 CPUtime=1778.55
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12788 0 0 0 177845 10 0 0 25 0 4 0 166725899 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711836 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12979/statm: 28332 11508 170 90 0 27870 0
[pid=12979/tid=12981] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/12981/stat : 12981 (bprolog) S 12977 12979 12683 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166725983 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13200] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13200/stat : 13200 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166815996 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12979/tid=13201] ppid=12977 vsize=113328 CPUtime=0
/proc/12979/task/13201/stat : 13201 (bprolog) S 12977 12979 12683 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166861002 116047872 11508 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1778.55
Current children cumulated vsize (KiB) 113328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.64 s]
/proc/loadavg: 1.00 1.00 1.04 2/65 13201
/proc/meminfo: memFree=1588888/2055920 swapFree=4192812/4192956
[pid=12979] ppid=12977 vsize=113328 CPUtime=1800.08
/proc/12979/stat : 12979 (bprolog) R 12977 12979 12683 0 -1 4194304 12789 0 0 0 179998 10 0 0 25 0 1 0 166725899 116047872 11509 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552725 0 0 4096 2 0 0 0 17 1 0 0
/proc/12979/statm: 28332 11509 171 90 0 27870 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 113328
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.65
CPU time (s): 1800.09
CPU user time (s): 1799.98
CPU system time (s): 0.107983
CPU usage (%): 99.6921
Max. virtual memory (cumulated for all children) (KiB): 113328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12789
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= 12
involuntary context switches= 8702
runsolver used 1.39679 s user time and 3.9574 s system time
The end
Begin job on node61 on Sun Jan 7 15:21:20 UTC 2007
IDJOB= 207788
IDBENCH= 4334
FILE ID= node61/207788-1168183280
PBS_JOBID= 3479192
Free space on /tmp= 66516 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-561_ext.xml
COMMAND LINE= /tmp/evaluation/207788-1168183280/Complete/Ordinary/solver /tmp/evaluation/207788-1168183280/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-207788-1168183280 -o ROOT/results/node61/conversion-207788-1168183280 -C 600 -M 900 /tmp/evaluation/207788-1168183280/Complete/Ordinary/conversion /tmp/evaluation/207788-1168183280/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-207788-1168183280 -o ROOT/results/node61/solver-207788-1168183280 -C 1800 -M 900 /tmp/evaluation/207788-1168183280/Complete/Ordinary/solver /tmp/evaluation/207788-1168183280/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 39d209d9e0072422fe268a5af741f940
RANDOM SEED= 349620200
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.259
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.259
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: 1592128 kB
Buffers: 59008 kB
Cached: 287384 kB
SwapCached: 0 kB
Active: 218940 kB
Inactive: 179704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1592128 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7100 kB
Writeback: 0 kB
Mapped: 69796 kB
Slab: 50496 kB
Committed_AS: 3753168 kB
PageTables: 1900 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= 66518 MiB
End job on node61 on Sun Jan 7 15:51:26 UTC 2007