runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-207218-1168180512 -o ROOT/results/node43/solver-207218-1168180512 -C 1800 -M 900 /tmp/evaluation/207218-1168180512/Complete/Ordinary/solver /tmp/evaluation/207218-1168180512/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.02 2.02 2.00 5/80 11270
/proc/meminfo: memFree=1300320/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=18540 CPUtime=0
/proc/11269/stat : 11269 (runsolver) R 11267 11269 10203 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 166450560 18984960 279 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 216849247527 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11269/statm: 4635 279 244 17 0 2626 0
[startup+0.107959 s]
/proc/loadavg: 2.02 2.02 2.00 5/80 11270
/proc/meminfo: memFree=1300320/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=53824 CPUtime=0.09
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 1941 0 0 0 8 1 0 0 20 0 1 0 166450560 55115776 1657 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134574003 0 0 4096 2 0 0 0 17 1 0 0
/proc/11269/statm: 13456 1657 157 90 0 12994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53824
[startup+0.516019 s]
/proc/loadavg: 2.02 2.02 2.00 5/80 11270
/proc/meminfo: memFree=1300320/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=62080 CPUtime=0.49
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 2687 0 0 0 48 1 0 0 23 0 1 0 166450560 63569920 2402 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664597 0 0 4096 2 0 0 0 17 1 0 0
/proc/11269/statm: 15520 2402 176 90 0 15058 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 62080
[startup+1.33716 s]
/proc/loadavg: 2.02 2.02 2.00 3/80 11270
/proc/meminfo: memFree=1290208/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=62080 CPUtime=1.31
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 3339 0 0 0 130 1 0 0 25 0 1 0 166450560 63569920 3054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664592 0 0 4096 2 0 0 0 17 1 0 0
/proc/11269/statm: 15520 3054 176 90 0 15058 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 62080
[startup+2.97843 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 11271
/proc/meminfo: memFree=1281624/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=72324 CPUtime=2.94
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 5887 0 0 0 291 3 0 0 25 0 2 0 166450560 74059776 5602 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662536 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/11269/statm: 18081 5602 180 90 0 17619 0
[pid=11269/tid=11271] ppid=11267 vsize=72324 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 74059776 5602 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 72324
[startup+6.25897 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 11271
/proc/meminfo: memFree=1269784/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=6.19
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10287 0 0 0 614 5 0 0 25 0 2 0 166450560 82059264 8048 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134566827 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/11269/statm: 20034 8048 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8048 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 80136
[startup+12.721 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 11271
/proc/meminfo: memFree=1268760/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=12.6
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10287 0 0 0 1255 5 0 0 25 0 2 0 166450560 82059264 8048 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134576067 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/11269/statm: 20034 8048 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8048 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 80136
[startup+25.5402 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 11271
/proc/meminfo: memFree=1268824/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=25.31
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10289 0 0 0 2526 5 0 0 25 0 2 0 166450560 82059264 8050 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134614636 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/11269/statm: 20034 8050 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8050 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 80136
[startup+51.2044 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 11271
/proc/meminfo: memFree=1268888/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=50.75
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10290 0 0 0 5070 5 0 0 25 0 2 0 166450560 82059264 8051 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618400 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/11269/statm: 20034 8051 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8051 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 80136
[startup+102.485 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 11271
/proc/meminfo: memFree=1268824/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=101.6
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10290 0 0 0 10155 5 0 0 25 0 2 0 166450560 82059264 8051 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/11269/statm: 20034 8051 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8051 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 80136
[startup+162.492 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 11271
/proc/meminfo: memFree=1268824/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=161.11
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10291 0 0 0 16106 5 0 0 25 0 2 0 166450560 82059264 8052 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/11269/statm: 20034 8052 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8052 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.11
Current children cumulated vsize (KiB) 80136
[startup+222.497 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 11271
/proc/meminfo: memFree=1268824/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=220.61
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10293 0 0 0 22056 5 0 0 25 0 2 0 166450560 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134564915 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/11269/statm: 20034 8054 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.61
Current children cumulated vsize (KiB) 80136
[startup+282.596 s]
/proc/loadavg: 2.00 2.00 2.00 2/66 11287
/proc/meminfo: memFree=1402456/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=280.23
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10293 0 0 0 28017 6 0 0 25 0 2 0 166450560 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134620063 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 20034 8054 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.23
Current children cumulated vsize (KiB) 80136
[startup+342.648 s]
/proc/loadavg: 1.37 1.82 1.94 2/66 11287
/proc/meminfo: memFree=1402600/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=340.27
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10293 0 0 0 34021 6 0 0 25 0 2 0 166450560 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552597 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 20034 8054 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.27
Current children cumulated vsize (KiB) 80136
[startup+402.706 s]
/proc/loadavg: 1.12 1.65 1.87 2/66 11287
/proc/meminfo: memFree=1402664/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=400.31
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10293 0 0 0 40025 6 0 0 25 0 2 0 166450560 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134756040 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 20034 8054 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.31
Current children cumulated vsize (KiB) 80136
[startup+462.77 s]
/proc/loadavg: 1.04 1.53 1.81 2/66 11287
/proc/meminfo: memFree=1402728/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=460.35
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10293 0 0 0 46029 6 0 0 25 0 2 0 166450560 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552694 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 20034 8054 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.35
Current children cumulated vsize (KiB) 80136
[startup+522.828 s]
/proc/loadavg: 1.02 1.44 1.76 2/66 11287
/proc/meminfo: memFree=1402792/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=520.39
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10293 0 0 0 52033 6 0 0 25 0 2 0 166450560 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663858 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 20034 8054 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.39
Current children cumulated vsize (KiB) 80136
[startup+582.888 s]
/proc/loadavg: 1.00 1.36 1.71 2/66 11287
/proc/meminfo: memFree=1402728/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=80136 CPUtime=580.43
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10293 0 0 0 58037 6 0 0 25 0 2 0 166450560 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663812 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 20034 8054 180 90 0 19572 0
[pid=11269/tid=11271] ppid=11267 vsize=80136 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 166450735 82059264 8054 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.43
Current children cumulated vsize (KiB) 80136
[startup+642.95 s]
/proc/loadavg: 1.00 1.28 1.66 2/66 11287
/proc/meminfo: memFree=1402728/2055920 swapFree=4192812/4192956
################
# More data... #
################
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10299 0 0 0 118084 7 0 0 25 0 3 0 166450560 92549120 8060 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663833 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 22595 8060 180 90 0 22133 0
[pid=11269/tid=11271] ppid=11267 vsize=90380 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 166450735 92549120 8060 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11288] ppid=11267 vsize=90380 CPUtime=0
/proc/11269/task/11288/stat : 11288 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 166540752 92549120 8060 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1180.91
Current children cumulated vsize (KiB) 90380
[startup+1243.67 s]
/proc/loadavg: 1.00 1.03 1.33 2/67 11288
/proc/meminfo: memFree=1402528/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=90380 CPUtime=1240.95
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10299 0 0 0 124088 7 0 0 25 0 3 0 166450560 92549120 8060 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618046 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 22595 8060 180 90 0 22133 0
[pid=11269/tid=11271] ppid=11267 vsize=90380 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 166450735 92549120 8060 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11288] ppid=11267 vsize=90380 CPUtime=0
/proc/11269/task/11288/stat : 11288 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 166540752 92549120 8060 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1240.95
Current children cumulated vsize (KiB) 90380
[startup+1303.76 s]
/proc/loadavg: 1.00 1.02 1.30 2/67 11288
/proc/meminfo: memFree=1402528/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=90380 CPUtime=1301.01
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10299 0 0 0 130094 7 0 0 25 0 3 0 166450560 92549120 8060 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552468 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 22595 8060 180 90 0 22133 0
[pid=11269/tid=11271] ppid=11267 vsize=90380 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 166450735 92549120 8060 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11288] ppid=11267 vsize=90380 CPUtime=0
/proc/11269/task/11288/stat : 11288 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 166540752 92549120 8060 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1301.01
Current children cumulated vsize (KiB) 90380
[startup+1363.85 s]
/proc/loadavg: 1.00 1.01 1.28 2/68 11289
/proc/meminfo: memFree=1402520/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=100624 CPUtime=1361.05
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10300 0 0 0 136098 7 0 0 25 0 4 0 166450560 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662593 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 25156 8061 180 90 0 24694 0
[pid=11269/tid=11271] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166450735 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11288] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11288/stat : 11288 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166540752 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11289] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11289/stat : 11289 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 166585759 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1361.05
Current children cumulated vsize (KiB) 100624
[startup+1423.86 s]
/proc/loadavg: 1.00 1.01 1.26 2/68 11289
/proc/meminfo: memFree=1402520/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=100624 CPUtime=1421.01
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10300 0 0 0 142094 7 0 0 25 0 4 0 166450560 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589202 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 25156 8061 180 90 0 24694 0
[pid=11269/tid=11271] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166450735 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11288] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11288/stat : 11288 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166540752 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11289] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11289/stat : 11289 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 166585759 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1421.01
Current children cumulated vsize (KiB) 100624
[startup+1483.87 s]
/proc/loadavg: 1.00 1.00 1.24 2/68 11289
/proc/meminfo: memFree=1402456/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=100624 CPUtime=1480.98
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10300 0 0 0 148091 7 0 0 25 0 4 0 166450560 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663836 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 25156 8061 180 90 0 24694 0
[pid=11269/tid=11271] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166450735 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11288] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11288/stat : 11288 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166540752 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11289] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11289/stat : 11289 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 166585759 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.98
Current children cumulated vsize (KiB) 100624
[startup+1543.88 s]
/proc/loadavg: 1.00 1.00 1.22 2/68 11289
/proc/meminfo: memFree=1402520/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=100624 CPUtime=1540.95
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10300 0 0 0 154087 8 0 0 25 0 4 0 166450560 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664261 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 25156 8061 180 90 0 24694 0
[pid=11269/tid=11271] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166450735 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11288] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11288/stat : 11288 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166540752 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11289] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11289/stat : 11289 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 166585759 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.95
Current children cumulated vsize (KiB) 100624
[startup+1603.93 s]
/proc/loadavg: 1.04 1.01 1.21 2/74 11439
/proc/meminfo: memFree=1401128/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=100624 CPUtime=1600.95
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10300 0 0 0 160082 13 0 0 25 0 4 0 166450560 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134553018 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 25156 8061 180 90 0 24694 0
[pid=11269/tid=11271] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166450735 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11288] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11288/stat : 11288 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166540752 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11289] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11289/stat : 11289 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166585759 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.95
Current children cumulated vsize (KiB) 100624
[startup+1663.95 s]
/proc/loadavg: 1.01 1.01 1.19 2/68 11487
/proc/meminfo: memFree=1402136/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=100624 CPUtime=1660.93
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10300 0 0 0 166078 15 0 0 25 0 4 0 166450560 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134751574 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 25156 8061 180 90 0 24694 0
[pid=11269/tid=11271] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166450735 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11288] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11288/stat : 11288 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166540752 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11289] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11289/stat : 11289 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166585759 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.93
Current children cumulated vsize (KiB) 100624
[startup+1723.96 s]
/proc/loadavg: 1.00 1.00 1.18 2/68 11487
/proc/meminfo: memFree=1402264/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=100624 CPUtime=1720.9
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10300 0 0 0 172075 15 0 0 25 0 4 0 166450560 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555034 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 25156 8061 180 90 0 24694 0
[pid=11269/tid=11271] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166450735 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11288] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11288/stat : 11288 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166540752 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11289] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11289/stat : 11289 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166585759 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.9
Current children cumulated vsize (KiB) 100624
[startup+1783.97 s]
/proc/loadavg: 1.00 1.00 1.17 2/68 11487
/proc/meminfo: memFree=1402264/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=100624 CPUtime=1780.88
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10300 0 0 0 178073 15 0 0 25 0 4 0 166450560 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662532 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/11269/statm: 25156 8061 180 90 0 24694 0
[pid=11269/tid=11271] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11271/stat : 11271 (bprolog) S 11267 11269 10203 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 166450735 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11288] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11288/stat : 11288 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166540752 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=11269/tid=11289] ppid=11267 vsize=100624 CPUtime=0
/proc/11269/task/11289/stat : 11289 (bprolog) S 11267 11269 10203 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 166585759 103038976 8061 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.88
Current children cumulated vsize (KiB) 100624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.16 s]
/proc/loadavg: 1.00 1.00 1.16 2/65 11487
/proc/meminfo: memFree=1402264/2055920 swapFree=4192812/4192956
[pid=11269] ppid=11267 vsize=100624 CPUtime=1800.06
/proc/11269/stat : 11269 (bprolog) R 11267 11269 10203 0 -1 4194304 10301 0 0 0 179991 15 0 0 25 0 1 0 166450560 103038976 8062 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664237 0 0 4096 2 0 0 0 17 0 0 0
/proc/11269/statm: 25156 8062 181 90 0 24694 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 100624
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.17
CPU time (s): 1800.08
CPU user time (s): 1799.91
CPU system time (s): 0.164974
CPU usage (%): 99.8287
Max. virtual memory (cumulated for all children) (KiB): 100624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10301
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= 16004
runsolver used 1.78273 s user time and 4.64729 s system time
The end
Begin job on node43 on Sun Jan 7 14:35:12 UTC 2007
IDJOB= 207218
IDBENCH= 4277
FILE ID= node43/207218-1168180512
PBS_JOBID= 3479087
Free space on /tmp= 66485 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test03/test03-0400-10.xml
COMMAND LINE= /tmp/evaluation/207218-1168180512/Complete/Ordinary/solver /tmp/evaluation/207218-1168180512/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node43/convwatcher-207218-1168180512 -o ROOT/results/node43/conversion-207218-1168180512 -C 600 -M 900 /tmp/evaluation/207218-1168180512/Complete/Ordinary/conversion /tmp/evaluation/207218-1168180512/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-207218-1168180512 -o ROOT/results/node43/solver-207218-1168180512 -C 1800 -M 900 /tmp/evaluation/207218-1168180512/Complete/Ordinary/solver /tmp/evaluation/207218-1168180512/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 9445394d972709f360f7cfc4b2448eea
RANDOM SEED= 740716303
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.278
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.278
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: 1300736 kB
Buffers: 42536 kB
Cached: 509080 kB
SwapCached: 0 kB
Active: 205348 kB
Inactive: 488056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1300736 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2228 kB
Writeback: 0 kB
Mapped: 162028 kB
Slab: 46924 kB
Committed_AS: 4184824 kB
PageTables: 2032 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= 66492 MiB
End job on node43 on Sun Jan 7 15:05:18 UTC 2007