0.00/0.00 c Trying configuration 1
700.21/700.65 HOME/hydrasat-multi.sh: line 48: 30793 CPU time limit exceeded (core dumped) $SOLVER1 $BENCHNAME $OPTIONS1
700.21/700.65 c Trying configuration 2
1200.03/1200.71 HOME/hydrasat-multi.sh: line 64: 30795 Terminated $SOLVER2 $BENCHNAME $OPTIONS2
1200.03/1200.71 c Trying configuration 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1733509-1240789337/watcher-1733509-1240789337 -o /tmp/evaluation-result-1733509-1240789337/solver-1733509-1240789337 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hydrasat-multi.sh HOME HOME/instance-1733509-1240789337.cnf 1800 389919522
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.69 1.79 1.43 3/64 30792
/proc/meminfo: memFree=1610936/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) R 30790 30792 30755 0 -1 4194304 270 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 238 1992294400 4194304 4889804 548682068736 18446744073709551615 213116316319 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/30792/statm: 1340 238 196 169 0 51 0
[pid=30793] ppid=30792 vsize=1748 CPUtime=0
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 173 0 0 0 0 0 0 0 18 0 1 0 106962329 1789952 155 1992294400 134512640 135813592 4294956176 18446744073709551615 135207862 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 437 155 117 317 0 117 0
[startup+0.00812292 s]
/proc/loadavg: 1.69 1.79 1.43 3/64 30792
/proc/meminfo: memFree=1610936/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=1880 CPUtime=0
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 106962329 1925120 183 1992294400 134512640 135813592 4294956176 18446744073709551615 135207862 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 470 183 117 317 0 150 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7240
[startup+0.102139 s]
/proc/loadavg: 1.69 1.79 1.43 3/64 30792
/proc/meminfo: memFree=1610936/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=5048 CPUtime=0.09
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 1043 0 0 0 9 0 0 0 19 0 1 0 106962329 5169152 1025 1992294400 134512640 135813592 4294956176 18446744073709551615 135207862 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 1262 1025 117 317 0 942 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10408
[startup+0.301177 s]
/proc/loadavg: 1.69 1.79 1.43 3/64 30792
/proc/meminfo: memFree=1610936/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=9048 CPUtime=0.29
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 2124 0 0 0 28 1 0 0 21 0 1 0 106962329 9265152 2042 1992294400 134512640 135813592 4294956176 18446744073709551615 134521124 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 2262 2042 124 317 0 1942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14408
[startup+0.702253 s]
/proc/loadavg: 1.69 1.79 1.43 3/64 30792
/proc/meminfo: memFree=1610936/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=9048 CPUtime=0.69
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 2124 0 0 0 68 1 0 0 25 0 1 0 106962329 9265152 2042 1992294400 134512640 135813592 4294956176 18446744073709551615 134521350 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 2262 2042 124 317 0 1942 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14408
[startup+1.5014 s]
/proc/loadavg: 1.69 1.79 1.43 2/66 30794
/proc/meminfo: memFree=1602856/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=9048 CPUtime=1.49
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 2124 0 0 0 148 1 0 0 25 0 1 0 106962329 9265152 2042 1992294400 134512640 135813592 4294956176 18446744073709551615 135224161 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 2262 2042 124 317 0 1942 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14408
[startup+3.10171 s]
/proc/loadavg: 1.69 1.79 1.43 2/66 30794
/proc/meminfo: memFree=1602472/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=9828 CPUtime=3.09
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 2318 0 0 0 308 1 0 0 25 0 1 0 106962329 10063872 2161 1992294400 134512640 135813592 4294956176 18446744073709551615 134588943 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 2457 2161 149 317 0 2137 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15188
[startup+6.30231 s]
/proc/loadavg: 1.63 1.77 1.43 2/66 30794
/proc/meminfo: memFree=1602088/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=10276 CPUtime=6.29
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 2440 0 0 0 628 1 0 0 25 0 1 0 106962329 10522624 2283 1992294400 134512640 135813592 4294956176 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 2569 2283 149 317 0 2249 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15636
[startup+12.7015 s]
/proc/loadavg: 1.58 1.76 1.43 2/66 30794
/proc/meminfo: memFree=1600168/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=12432 CPUtime=12.69
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 2899 0 0 0 1267 2 0 0 25 0 1 0 106962329 12730368 2742 1992294400 134512640 135813592 4294956176 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 3108 2742 149 317 0 2788 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17792
[startup+25.5019 s]
/proc/loadavg: 1.45 1.72 1.42 2/66 30794
/proc/meminfo: memFree=1596584/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=16676 CPUtime=25.48
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 3828 0 0 0 2545 3 0 0 25 0 1 0 106962329 17076224 3671 1992294400 134512640 135813592 4294956176 18446744073709551615 134665347 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 4169 3671 149 317 0 3849 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22036
[startup+51.1018 s]
/proc/loadavg: 1.30 1.66 1.41 2/66 30794
/proc/meminfo: memFree=1588648/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=25696 CPUtime=51.06
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 5896 0 0 0 5102 4 0 0 25 0 1 0 106962329 26312704 5661 1992294400 134512640 135813592 4294956176 18446744073709551615 134665306 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 6424 5661 149 317 0 6104 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 31056
[startup+102.306 s]
/proc/loadavg: 1.13 1.56 1.38 2/66 30794
/proc/meminfo: memFree=1576168/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=40116 CPUtime=102.24
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 9514 0 0 0 10218 6 0 0 25 0 1 0 106962329 41078784 8705 1992294400 134512640 135813592 4294956176 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 10029 8705 149 317 0 9709 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 45476
[startup+162.302 s]
/proc/loadavg: 1.04 1.45 1.36 2/66 30794
/proc/meminfo: memFree=1565416/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=52592 CPUtime=162.21
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 12719 0 0 0 16212 9 0 0 25 0 1 0 106962329 53854208 11399 1992294400 134512640 135813592 4294956176 18446744073709551615 134665029 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 13148 11399 149 317 0 12828 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 57952
[startup+222.301 s]
/proc/loadavg: 1.01 1.37 1.33 2/66 30794
/proc/meminfo: memFree=1553192/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=66780 CPUtime=222.18
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 16831 0 0 0 22207 11 0 0 25 0 1 0 106962329 68382720 14435 1992294400 134512640 135813592 4294956176 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 1 0 0
/proc/30793/statm: 16695 14435 149 317 0 16375 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 72140
[startup+282.301 s]
/proc/loadavg: 1.00 1.30 1.31 2/66 30794
/proc/meminfo: memFree=1547368/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=73188 CPUtime=282.14
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 18297 0 0 0 28202 12 0 0 25 0 1 0 106962329 74944512 15901 1992294400 134512640 135813592 4294956176 18446744073709551615 134665544 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 18297 15901 149 317 0 17977 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 78548
[startup+342.302 s]
/proc/loadavg: 1.00 1.24 1.29 2/66 30794
/proc/meminfo: memFree=1542824/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=78336 CPUtime=342.12
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 19421 0 0 0 34198 14 0 0 25 0 1 0 106962329 80216064 17025 1992294400 134512640 135813592 4294956176 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 19584 17025 149 317 0 19264 0
################
# More data... #
################
[pid=30793] ppid=30792 vsize=99256 CPUtime=522.02
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 24917 0 0 0 52185 17 0 0 25 0 1 0 106962329 101638144 21311 1992294400 134512640 135813592 4294956176 18446744073709551615 134594379 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 24814 21311 149 317 0 24494 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 104616
[startup+582.301 s]
/proc/loadavg: 1.00 1.10 1.21 2/66 30794
/proc/meminfo: memFree=1517480/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=107236 CPUtime=581.99
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 28274 0 0 0 58180 19 0 0 25 0 1 0 106962329 109809664 23336 1992294400 134512640 135813592 4294956176 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 26809 23336 149 317 0 26489 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 112596
[startup+642.301 s]
/proc/loadavg: 1.00 1.08 1.19 2/66 30794
/proc/meminfo: memFree=1514408/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5360 CPUtime=0
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 106962328 5488640 239 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30792/statm: 1340 239 197 169 0 51 0
[pid=30793] ppid=30792 vsize=110836 CPUtime=641.95
/proc/30793/stat : 30793 (hydrasat_cache4) R 30792 30792 30755 0 -1 4194304 29225 0 0 0 64175 20 0 0 25 0 1 0 106962329 113496064 24096 1992294400 134512640 135813592 4294956176 18446744073709551615 134597138 0 0 4096 1 0 0 0 17 0 0 0
/proc/30793/statm: 27709 24096 149 317 0 27389 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 116196
[startup+702.302 s]
/proc/loadavg: 1.00 1.06 1.18 2/66 30795
/proc/meminfo: memFree=1500520/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5364 CPUtime=700.27
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 322 33645 0 0 0 0 69967 60 16 0 1 0 106962328 5492736 245 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30792/statm: 1341 245 202 169 0 52 0
[pid=30795] ppid=30792 vsize=9640 CPUtime=1.63
/proc/30795/stat : 30795 (hydrasat_cachew) R 30792 30792 30755 0 -1 4194304 2225 0 0 0 162 1 0 0 25 0 1 0 107032394 9871360 2073 1992294400 134512640 135995732 4294956032 18446744073709551615 134519442 0 0 4096 1 0 0 0 17 0 0 0
/proc/30795/statm: 2410 2073 151 362 0 2045 0
Current children cumulated CPU time (s) 701.9
Current children cumulated vsize (KiB) 15004
[startup+762.306 s]
/proc/loadavg: 1.03 1.06 1.17 2/66 30795
/proc/meminfo: memFree=1499560/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5364 CPUtime=700.27
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 322 33645 0 0 0 0 69967 60 16 0 1 0 106962328 5492736 245 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30792/statm: 1341 245 202 169 0 52 0
[pid=30795] ppid=30792 vsize=12876 CPUtime=61.6
/proc/30795/stat : 30795 (hydrasat_cachew) R 30792 30792 30755 0 -1 4194304 2992 0 0 0 6154 6 0 0 25 0 1 0 107032394 13185024 2839 1992294400 134512640 135995732 4294956032 18446744073709551615 134807991 0 0 4096 1 0 0 0 17 0 0 0
/proc/30795/statm: 3219 2839 172 362 0 2854 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 18240
[startup+822.301 s]
/proc/loadavg: 1.01 1.05 1.16 2/66 30795
/proc/meminfo: memFree=1492584/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5364 CPUtime=700.27
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 322 33645 0 0 0 0 69967 60 16 0 1 0 106962328 5492736 245 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30792/statm: 1341 245 202 169 0 52 0
[pid=30795] ppid=30792 vsize=20532 CPUtime=121.56
/proc/30795/stat : 30795 (hydrasat_cachew) R 30792 30792 30755 0 -1 4194304 4804 0 0 0 12147 9 0 0 25 0 1 0 107032394 21024768 4651 1992294400 134512640 135995732 4294956032 18446744073709551615 134807915 0 0 4096 1 0 0 0 17 0 0 0
/proc/30795/statm: 5133 4651 172 362 0 4768 0
Current children cumulated CPU time (s) 821.83
Current children cumulated vsize (KiB) 25896
[startup+882.302 s]
/proc/loadavg: 1.00 1.04 1.15 2/66 30795
/proc/meminfo: memFree=1492072/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5364 CPUtime=700.27
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 322 33645 0 0 0 0 69967 60 16 0 1 0 106962328 5492736 245 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30792/statm: 1341 245 202 169 0 52 0
[pid=30795] ppid=30792 vsize=20956 CPUtime=181.53
/proc/30795/stat : 30795 (hydrasat_cachew) R 30792 30792 30755 0 -1 4194304 4906 0 0 0 18144 9 0 0 25 0 1 0 107032394 21458944 4753 1992294400 134512640 135995732 4294956032 18446744073709551615 134808018 0 0 4096 1 0 0 0 17 0 0 0
/proc/30795/statm: 5239 4753 172 362 0 4874 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 26320
[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.14 2/66 30795
/proc/meminfo: memFree=1491304/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5364 CPUtime=700.27
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 322 33645 0 0 0 0 69967 60 16 0 1 0 106962328 5492736 245 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30792/statm: 1341 245 202 169 0 52 0
[pid=30795] ppid=30792 vsize=21972 CPUtime=241.5
/proc/30795/stat : 30795 (hydrasat_cachew) R 30792 30792 30755 0 -1 4194304 5097 0 0 0 24141 9 0 0 25 0 1 0 107032394 22499328 4944 1992294400 134512640 135995732 4294956032 18446744073709551615 134807726 0 0 4096 1 0 0 0 17 0 0 0
/proc/30795/statm: 5493 4944 172 362 0 5128 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 27336
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.12 2/66 30795
/proc/meminfo: memFree=1490472/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5364 CPUtime=700.27
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 322 33645 0 0 0 0 69967 60 16 0 1 0 106962328 5492736 245 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30792/statm: 1341 245 202 169 0 52 0
[pid=30795] ppid=30792 vsize=22956 CPUtime=301.46
/proc/30795/stat : 30795 (hydrasat_cachew) R 30792 30792 30755 0 -1 4194304 5312 0 0 0 30137 9 0 0 25 0 1 0 107032394 23506944 5159 1992294400 134512640 135995732 4294956032 18446744073709551615 134807726 0 0 4096 1 0 0 0 17 0 0 0
/proc/30795/statm: 5739 5159 172 362 0 5374 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 28320
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.11 2/66 30795
/proc/meminfo: memFree=1489832/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5364 CPUtime=700.27
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 322 33645 0 0 0 0 69967 60 16 0 1 0 106962328 5492736 245 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30792/statm: 1341 245 202 169 0 52 0
[pid=30795] ppid=30792 vsize=23644 CPUtime=361.44
/proc/30795/stat : 30795 (hydrasat_cachew) R 30792 30792 30755 0 -1 4194304 5508 0 0 0 36134 10 0 0 25 0 1 0 107032394 24211456 5355 1992294400 134512640 135995732 4294956032 18446744073709551615 134807724 0 0 4096 1 0 0 0 17 0 0 0
/proc/30795/statm: 5911 5355 172 362 0 5546 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 29008
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/66 30795
/proc/meminfo: memFree=1488296/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5364 CPUtime=700.27
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 322 33645 0 0 0 0 69967 60 16 0 1 0 106962328 5492736 245 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30792/statm: 1341 245 202 169 0 52 0
[pid=30795] ppid=30792 vsize=25292 CPUtime=421.41
/proc/30795/stat : 30795 (hydrasat_cachew) R 30792 30792 30755 0 -1 4194304 5850 0 0 0 42131 10 0 0 25 0 1 0 107032394 25899008 5697 1992294400 134512640 135995732 4294956032 18446744073709551615 134807726 0 0 4096 1 0 0 0 17 0 0 0
/proc/30795/statm: 6323 5697 172 362 0 5958 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 30656
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 30801
/proc/meminfo: memFree=1488104/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5364 CPUtime=700.27
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 322 33645 0 0 0 0 69967 60 16 0 1 0 106962328 5492736 245 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30792/statm: 1341 245 202 169 0 52 0
[pid=30795] ppid=30792 vsize=25292 CPUtime=481.36
/proc/30795/stat : 30795 (hydrasat_cachew) R 30792 30792 30755 0 -1 4194304 5850 0 0 0 48126 10 0 0 25 0 1 0 107032394 25899008 5697 1992294400 134512640 135995732 4294956032 18446744073709551615 134807763 0 0 4096 1 0 0 0 17 0 0 0
/proc/30795/statm: 6323 5697 172 362 0 5958 0
Current children cumulated CPU time (s) 1181.63
Current children cumulated vsize (KiB) 30656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 30801
/proc/meminfo: memFree=1488040/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5364 CPUtime=700.27
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 322 33645 0 0 0 0 69967 60 16 0 1 0 106962328 5492736 245 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30792/statm: 1341 245 202 169 0 52 0
[pid=30795] ppid=30792 vsize=25292 CPUtime=499.76
/proc/30795/stat : 30795 (hydrasat_cachew) R 30792 30792 30755 0 -1 4194304 5850 0 0 0 49966 10 0 0 25 0 1 0 107032394 25899008 5697 1992294400 134512640 135995732 4294956032 18446744073709551615 134843038 0 0 4096 1 0 0 0 17 0 0 0
/proc/30795/statm: 6323 5697 172 362 0 5958 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 30656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 30801
/proc/meminfo: memFree=1488040/2055920 swapFree=4177728/4192956
[pid=30792] ppid=30790 vsize=5364 CPUtime=700.27
/proc/30792/stat : 30792 (hydrasat-multi.) S 30790 30792 30755 0 -1 4194304 322 33645 0 0 0 0 69967 60 16 0 1 0 106962328 5492736 245 1992294400 4194304 4889804 548682068736 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30792/statm: 1341 245 202 169 0 52 0
[pid=30795] ppid=30792 vsize=25292 CPUtime=499.76
/proc/30795/stat : 30795 (hydrasat_cachew) R 30792 30792 30755 0 -1 4194304 5850 0 0 0 49966 10 0 0 25 0 1 0 107032394 25899008 5697 1992294400 134512640 135995732 4294956032 18446744073709551615 134843038 0 0 4096 1 0 0 0 17 0 0 0
/proc/30795/statm: 6323 5697 172 362 0 5958 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 30656
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.06
CPU user time (s): 1199.34
CPU system time (s): 0.712891
CPU usage (%): 99.9455
Max. virtual memory (cumulated for all children) (KiB): 120100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.34
system time used= 0.712891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39844
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= 8
involuntary context switches= 5073
runsolver used 0.946856 second user time and 3.43048 second system time
The end
Begin job on node37 at 2009-04-27 01:42:18
IDJOB=1733509
IDBENCH=71142
IDSOLVER=518
FILE ID=node37/1733509-1240789337
PBS_JOBID= 9187320
Free space on /tmp= 66300 MiB
SOLVER NAME= HydraSAT-Multi 2009-03-22-Multi
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2_autoenc.cnf
COMMAND LINE= DIR/hydrasat-multi.sh DIR BENCHNAME MEMLIMIT RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1733509-1240789337/watcher-1733509-1240789337 -o /tmp/evaluation-result-1733509-1240789337/solver-1733509-1240789337 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hydrasat-multi.sh HOME HOME/instance-1733509-1240789337.cnf 1800 389919522
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 68299073e5e5e9c13c18eb7bcc640f07
RANDOM SEED=389919522
node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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: 1611424 kB
Buffers: 55612 kB
Cached: 302388 kB
SwapCached: 9064 kB
Active: 99240 kB
Inactive: 269932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1611424 kB
SwapTotal: 4192956 kB
SwapFree: 4177728 kB
Dirty: 6336 kB
Writeback: 0 kB
Mapped: 13464 kB
Slab: 61508 kB
Committed_AS: 502376 kB
PageTables: 1372 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= 66196 MiB
End job on node37 at 2009-04-27 02:02:20