runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-238074-1168353407 -o ROOT/results/node14/solver-238074-1168353407 -C 1800 -M 900 /tmp/evaluation/238074-1168353407/Complete/Ordinary/solver /tmp/evaluation/238074-1168353407/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.96 2.01 1.99 5/87 9491
/proc/meminfo: memFree=1725064/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=5352 CPUtime=0
/proc/9490/stat : 9490 (sh) R 9488 9490 8702 0 -1 4194304 266 0 0 0 0 0 0 0 20 0 1 0 183735938 5480448 233 18446744073709551615 4194304 4889804 548682069344 18446744073709551615 4375550 0 0 4100 65536 0 0 0 17 1 0 0
/proc/9490/statm: 1338 233 196 169 0 49 0
[startup+0.103079 s]
/proc/loadavg: 1.96 2.01 1.99 5/87 9491
/proc/meminfo: memFree=1725064/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=53824 CPUtime=0.09
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 1644 0 0 0 8 1 0 0 20 0 1 0 183735938 55115776 1360 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589316 0 0 4096 2 0 0 0 17 1 0 0
/proc/9490/statm: 13456 1360 157 90 0 12994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53824
[startup+0.511106 s]
/proc/loadavg: 1.96 2.01 1.99 5/87 9491
/proc/meminfo: memFree=1725064/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=0.5
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2023 0 0 0 49 1 0 0 23 0 2 0 183735938 73846784 1738 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552065 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9490/statm: 18029 1738 179 90 0 17567 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 72116
[startup+1.33218 s]
/proc/loadavg: 1.96 2.01 1.99 3/88 9492
/proc/meminfo: memFree=1718720/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=1.31
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 130 1 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134615371 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 72116
[startup+2.96934 s]
/proc/loadavg: 1.96 2.01 1.99 3/88 9492
/proc/meminfo: memFree=1718720/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=2.95
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 294 1 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 72116
[startup+6.24865 s]
/proc/loadavg: 1.96 2.01 1.99 3/88 9492
/proc/meminfo: memFree=1718656/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=6.21
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 620 1 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134752490 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 72116
[startup+12.7143 s]
/proc/loadavg: 1.97 2.01 1.99 3/88 9492
/proc/meminfo: memFree=1718728/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=12.65
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 1264 1 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 72116
[startup+25.5365 s]
/proc/loadavg: 1.97 2.00 1.99 3/88 9492
/proc/meminfo: memFree=1718792/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=25.43
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 2542 1 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555021 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 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) 72116
[startup+51.1769 s]
/proc/loadavg: 1.98 2.00 1.99 3/88 9492
/proc/meminfo: memFree=1718792/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=50.96
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 5095 1 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552694 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 72116
[startup+102.453 s]
/proc/loadavg: 2.03 2.01 2.00 3/88 9492
/proc/meminfo: memFree=1718856/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=102.05
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 10203 2 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134752078 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 72116
[startup+162.483 s]
/proc/loadavg: 2.01 2.01 2.00 3/95 9601
/proc/meminfo: memFree=1750408/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=161.96
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 16192 4 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552780 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.96
Current children cumulated vsize (KiB) 72116
[startup+222.53 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 9601
/proc/meminfo: memFree=1750344/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=221.94
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 22190 4 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134752487 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.94
Current children cumulated vsize (KiB) 72116
[startup+282.552 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 9601
/proc/meminfo: memFree=1750024/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=281.87
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 28183 4 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134624438 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.87
Current children cumulated vsize (KiB) 72116
[startup+342.611 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 9601
/proc/meminfo: memFree=1748808/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=341.88
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 34184 4 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134752490 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.88
Current children cumulated vsize (KiB) 72116
[startup+402.643 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 9601
/proc/meminfo: memFree=1747848/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=401.86
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 40181 5 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134752490 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.86
Current children cumulated vsize (KiB) 72116
[startup+462.733 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 9601
/proc/meminfo: memFree=1742664/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=461.87
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 46182 5 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134752516 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.87
Current children cumulated vsize (KiB) 72116
[startup+522.766 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 9601
/proc/meminfo: memFree=1742536/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=521.85
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 52180 5 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555010 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 521.85
Current children cumulated vsize (KiB) 72116
[startup+582.801 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 9601
/proc/meminfo: memFree=1742408/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=72116 CPUtime=581.83
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2024 0 0 0 58178 5 0 0 25 0 2 0 183735938 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134752490 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 18029 1739 179 90 0 17567 0
[pid=9490/tid=9492] ppid=9488 vsize=72116 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 21 0 2 0 183735958 73846784 1739 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 581.83
Current children cumulated vsize (KiB) 72116
[startup+642.837 s]
################
# More data... #
################
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2025 0 0 0 117965 7 0 0 25 0 3 0 183735938 84336640 1740 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552625 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 20590 1740 179 90 0 20128 0
[pid=9490/tid=9492] ppid=9488 vsize=82360 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 183735958 84336640 1740 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9490/tid=9602] ppid=9488 vsize=82360 CPUtime=0
/proc/9490/task/9602/stat : 9602 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 183825970 84336640 1740 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1179.72
Current children cumulated vsize (KiB) 82360
[startup+1243.27 s]
/proc/loadavg: 2.01 2.01 2.00 3/96 9602
/proc/meminfo: memFree=1737280/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=82360 CPUtime=1239.47
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2025 0 0 0 123940 7 0 0 25 0 3 0 183735938 84336640 1740 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 20590 1740 179 90 0 20128 0
[pid=9490/tid=9492] ppid=9488 vsize=82360 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 183735958 84336640 1740 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9490/tid=9602] ppid=9488 vsize=82360 CPUtime=0
/proc/9490/task/9602/stat : 9602 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 183825970 84336640 1740 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1239.47
Current children cumulated vsize (KiB) 82360
[startup+1303.28 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 9602
/proc/meminfo: memFree=1736832/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=82360 CPUtime=1299.22
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2025 0 0 0 129915 7 0 0 25 0 3 0 183735938 84336640 1740 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134615928 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 20590 1740 179 90 0 20128 0
[pid=9490/tid=9492] ppid=9488 vsize=82360 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 183735958 84336640 1740 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9490/tid=9602] ppid=9488 vsize=82360 CPUtime=0
/proc/9490/task/9602/stat : 9602 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 183825970 84336640 1740 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1299.22
Current children cumulated vsize (KiB) 82360
[startup+1363.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 9603
/proc/meminfo: memFree=1736312/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=92604 CPUtime=1358.94
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2056 0 0 0 135887 7 0 0 25 0 4 0 183735938 94826496 1771 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664015 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 23151 1771 179 90 0 22689 0
[pid=9490/tid=9492] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 183735958 94826496 1771 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9490/tid=9602] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9602/stat : 9602 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 183825970 94826496 1771 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=9490/tid=9603] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9603/stat : 9603 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 183870979 94826496 1771 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1358.94
Current children cumulated vsize (KiB) 92604
[startup+1423.33 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 9603
/proc/meminfo: memFree=1736184/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=92604 CPUtime=1418.71
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2057 0 0 0 141864 7 0 0 25 0 4 0 183735938 94826496 1772 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134752078 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 23151 1772 179 90 0 22689 0
[pid=9490/tid=9492] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 183735958 94826496 1772 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9490/tid=9602] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9602/stat : 9602 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 183825970 94826496 1772 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=9490/tid=9603] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9603/stat : 9603 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 183870979 94826496 1772 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1418.71
Current children cumulated vsize (KiB) 92604
[startup+1483.38 s]
/proc/loadavg: 2.00 2.00 2.00 3/103 9721
/proc/meminfo: memFree=1734576/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=92604 CPUtime=1478.42
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2057 0 0 0 147829 13 0 0 25 0 4 0 183735938 94826496 1772 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134752533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 23151 1772 179 90 0 22689 0
[pid=9490/tid=9492] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 183735958 94826496 1772 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9490/tid=9602] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9602/stat : 9602 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 183825970 94826496 1772 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=9490/tid=9603] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9603/stat : 9603 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 183870979 94826496 1772 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1478.42
Current children cumulated vsize (KiB) 92604
[startup+1543.44 s]
/proc/loadavg: 2.00 2.00 2.00 3/103 9781
/proc/meminfo: memFree=1734536/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=92604 CPUtime=1538.12
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2057 0 0 0 153794 18 0 0 25 0 4 0 183735938 94826496 1772 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134752078 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 23151 1772 179 90 0 22689 0
[pid=9490/tid=9492] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 183735958 94826496 1772 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9490/tid=9602] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9602/stat : 9602 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 183825970 94826496 1772 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=9490/tid=9603] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9603/stat : 9603 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 183870979 94826496 1772 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1538.12
Current children cumulated vsize (KiB) 92604
[startup+1603.48 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 9801
/proc/meminfo: memFree=1733168/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=92604 CPUtime=1597.87
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2655 0 0 0 159769 18 0 0 25 0 4 0 183735938 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134565637 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 23151 2370 179 90 0 22689 0
[pid=9490/tid=9492] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 183735958 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9490/tid=9602] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9602/stat : 9602 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 183825970 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=9490/tid=9603] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9603/stat : 9603 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 183870979 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1597.87
Current children cumulated vsize (KiB) 92604
[startup+1663.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 9801
/proc/meminfo: memFree=1733104/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=92604 CPUtime=1657.65
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2655 0 0 0 165746 19 0 0 25 0 4 0 183735938 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134661317 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 23151 2370 179 90 0 22689 0
[pid=9490/tid=9492] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 183735958 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9490/tid=9602] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9602/stat : 9602 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 183825970 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=9490/tid=9603] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9603/stat : 9603 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 183870979 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.65
Current children cumulated vsize (KiB) 92604
[startup+1723.56 s]
/proc/loadavg: 2.06 2.02 2.00 3/97 9801
/proc/meminfo: memFree=1733104/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=92604 CPUtime=1717.39
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2655 0 0 0 171720 19 0 0 25 0 4 0 183735938 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134661462 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 23151 2370 179 90 0 22689 0
[pid=9490/tid=9492] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 183735958 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9490/tid=9602] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9602/stat : 9602 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 183825970 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=9490/tid=9603] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9603/stat : 9603 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 183870979 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.39
Current children cumulated vsize (KiB) 92604
[startup+1783.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/97 9801
/proc/meminfo: memFree=1733040/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=92604 CPUtime=1777.16
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2655 0 0 0 177697 19 0 0 25 0 4 0 183735938 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552811 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 23151 2370 179 90 0 22689 0
[pid=9490/tid=9492] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9492/stat : 9492 (bprolog) S 9488 9490 8702 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 183735958 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=9490/tid=9602] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9602/stat : 9602 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 183825970 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=9490/tid=9603] ppid=9488 vsize=92604 CPUtime=0
/proc/9490/task/9603/stat : 9603 (bprolog) S 9488 9490 8702 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 183870979 94826496 2370 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.16
Current children cumulated vsize (KiB) 92604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.58 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 9801
/proc/meminfo: memFree=1733040/2055920 swapFree=4158768/4192956
[pid=9490] ppid=9488 vsize=92604 CPUtime=1800.04
/proc/9490/stat : 9490 (bprolog) R 9488 9490 8702 0 -1 4194304 2656 0 0 0 179984 20 0 0 25 0 1 0 183735938 94826496 2371 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134752078 0 0 4096 2 0 0 0 17 0 0 0
/proc/9490/statm: 23151 2371 180 90 0 22689 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 92604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.59
CPU time (s): 1800.05
CPU user time (s): 1799.85
CPU system time (s): 0.202969
CPU usage (%): 99.6378
Max. virtual memory (cumulated for all children) (KiB): 92604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.202969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2656
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= 13
involuntary context switches= 56940
runsolver used 1.90071 s user time and 5.05123 s system time
The end
Begin job on node14 on Tue Jan 9 14:36:48 UTC 2007
IDJOB= 238074
IDBENCH= 6981
FILE ID= node14/238074-1168353407
PBS_JOBID= 3503688
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_20.xml
COMMAND LINE= /tmp/evaluation/238074-1168353407/Complete/Ordinary/solver /tmp/evaluation/238074-1168353407/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-238074-1168353407 -o ROOT/results/node14/conversion-238074-1168353407 -C 600 -M 900 /tmp/evaluation/238074-1168353407/Complete/Ordinary/conversion /tmp/evaluation/238074-1168353407/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-238074-1168353407 -o ROOT/results/node14/solver-238074-1168353407 -C 1800 -M 900 /tmp/evaluation/238074-1168353407/Complete/Ordinary/solver /tmp/evaluation/238074-1168353407/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 5947a972166e8262f434c28cfd58ec68
RANDOM SEED= 235183726
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.227
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.227
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: 1725480 kB
Buffers: 22284 kB
Cached: 158860 kB
SwapCached: 2728 kB
Active: 175660 kB
Inactive: 99824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1725480 kB
SwapTotal: 4192956 kB
SwapFree: 4158768 kB
Dirty: 1996 kB
Writeback: 0 kB
Mapped: 102604 kB
Slab: 39692 kB
Committed_AS: 6360340 kB
PageTables: 2328 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 node14 on Tue Jan 9 15:08:59 UTC 2007