0.00/0.00 c Trying configuration 1
699.92/700.39 HOME/hydrasat-multi.sh: line 48: 13761 CPU time limit exceeded (core dumped) $SOLVER1 $BENCHNAME $OPTIONS1
699.92/700.39 c Trying configuration 2
1200.03/1200.71 HOME/hydrasat-multi.sh: line 64: 13769 Terminated $SOLVER2 $BENCHNAME $OPTIONS2
1200.03/1200.71 c Trying configuration 3
runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1530138-1238475419/watcher-1530138-1238475419 -o /tmp/evaluation-result-1530138-1238475419/solver-1530138-1238475419 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hydrasat-multi.sh HOME HOME/instance-1530138-1238475419.cnf 1800 593114168
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.00 1.00 1.09 3/64 13760
/proc/meminfo: memFree=1501528/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=1452 CPUtime=0
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 162 0 0 0 0 0 0 0 19 0 1 0 1120206947 1486848 144 1992294400 134512640 135813592 4294956160 18446744073709551615 135267678 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 363 145 116 317 0 43 0
[startup+0.0522959 s]
/proc/loadavg: 1.00 1.00 1.09 3/64 13760
/proc/meminfo: memFree=1501528/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=2116 CPUtime=0.04
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 316 0 0 0 4 0 0 0 19 0 1 0 1120206947 2166784 298 1992294400 134512640 135813592 4294956160 18446744073709551615 134521126 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 529 298 123 317 0 209 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7476
[startup+0.102305 s]
/proc/loadavg: 1.00 1.00 1.09 3/64 13760
/proc/meminfo: memFree=1501528/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=2116 CPUtime=0.09
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 318 0 0 0 9 0 0 0 19 0 1 0 1120206947 2166784 300 1992294400 134512640 135813592 4294956160 18446744073709551615 134676855 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 529 300 125 317 0 209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7476
[startup+0.302345 s]
/proc/loadavg: 1.00 1.00 1.09 3/64 13760
/proc/meminfo: memFree=1501528/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=2380 CPUtime=0.29
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 437 0 0 0 29 0 0 0 21 0 1 0 1120206947 2437120 418 1992294400 134512640 135813592 4294956160 18446744073709551615 134661752 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 595 418 150 317 0 275 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7740
[startup+0.701424 s]
/proc/loadavg: 1.00 1.00 1.09 3/64 13760
/proc/meminfo: memFree=1501528/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=2644 CPUtime=0.69
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 492 0 0 0 69 0 0 0 24 0 1 0 1120206947 2707456 473 1992294400 134512640 135813592 4294956160 18446744073709551615 134665187 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 661 473 150 317 0 341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8004
[startup+1.50158 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 13762
/proc/meminfo: memFree=1499848/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=3208 CPUtime=1.49
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 615 0 0 0 149 0 0 0 25 0 1 0 1120206947 3284992 596 1992294400 134512640 135813592 4294956160 18446744073709551615 134664971 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 802 596 150 317 0 482 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8568
[startup+3.1019 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 13762
/proc/meminfo: memFree=1499336/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=3496 CPUtime=3.09
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 673 0 0 0 309 0 0 0 25 0 1 0 1120206947 3579904 654 1992294400 134512640 135813592 4294956160 18446744073709551615 134665944 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 874 654 150 317 0 554 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8856
[startup+6.30154 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 13762
/proc/meminfo: memFree=1498960/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=3496 CPUtime=6.29
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 673 0 0 0 629 0 0 0 25 0 1 0 1120206947 3579904 654 1992294400 134512640 135813592 4294956160 18446744073709551615 134665574 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 874 654 150 317 0 554 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8856
[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 13762
/proc/meminfo: memFree=1498512/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=4248 CPUtime=12.68
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 856 0 0 0 1268 0 0 0 25 0 1 0 1120206947 4349952 837 1992294400 134512640 135813592 4294956160 18446744073709551615 134662732 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 1062 837 150 317 0 742 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9608
[startup+25.5024 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 13762
/proc/meminfo: memFree=1496464/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=6368 CPUtime=25.47
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 1327 0 0 0 2547 0 0 0 25 0 1 0 1120206947 6520832 1301 1992294400 134512640 135813592 4294956160 18446744073709551615 134665860 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 1592 1301 150 317 0 1272 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 11728
[startup+51.1025 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 13762
/proc/meminfo: memFree=1492048/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=11488 CPUtime=51.07
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 2479 0 0 0 5105 2 0 0 25 0 1 0 1120206947 11763712 2417 1992294400 134512640 135813592 4294956160 18446744073709551615 134665557 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 2872 2417 150 317 0 2552 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16848
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 13762
/proc/meminfo: memFree=1487120/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=16780 CPUtime=102.25
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 3854 0 0 0 10222 3 0 0 25 0 1 0 1120206947 17182720 3609 1992294400 134512640 135813592 4294956160 18446744073709551615 134594353 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 4195 3609 150 317 0 3875 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 22140
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.07 2/66 13762
/proc/meminfo: memFree=1486160/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=18044 CPUtime=162.21
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 4085 0 0 0 16218 3 0 0 25 0 1 0 1120206947 18477056 3840 1992294400 134512640 135813592 4294956160 18446744073709551615 134665314 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 4511 3840 150 317 0 4191 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 23404
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.07 2/66 13762
/proc/meminfo: memFree=1485840/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=18484 CPUtime=222.18
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 4173 0 0 0 22215 3 0 0 25 0 1 0 1120206947 18927616 3928 1992294400 134512640 135813592 4294956160 18446744073709551615 134664998 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 4621 3928 150 317 0 4301 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 23844
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 13768
/proc/meminfo: memFree=1485320/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=18676 CPUtime=282.16
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 4248 0 0 0 28212 4 0 0 25 0 1 0 1120206947 19124224 4003 1992294400 134512640 135813592 4294956160 18446744073709551615 134664957 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 4669 4003 150 317 0 4349 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 24036
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.05 2/66 13768
/proc/meminfo: memFree=1482760/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=22396 CPUtime=342.1
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 5152 0 0 0 34206 4 0 0 25 0 1 0 1120206947 22933504 4686 1992294400 134512640 135813592 4294956160 18446744073709551615 134665113 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 5599 4686 150 317 0 5279 0
################
# More data... #
################
[pid=13761] ppid=13760 vsize=31504 CPUtime=522.01
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 7449 0 0 0 52195 6 0 0 25 0 1 0 1120206947 32260096 6743 1992294400 134512640 135813592 4294956160 18446744073709551615 134665211 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 7876 6743 150 317 0 7556 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 36864
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 13768
/proc/meminfo: memFree=1471696/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=35140 CPUtime=581.98
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 8187 0 0 0 58191 7 0 0 25 0 1 0 1120206947 35983360 7481 1992294400 134512640 135813592 4294956160 18446744073709551615 134665107 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 8785 7481 150 317 0 8465 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 40500
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 13768
/proc/meminfo: memFree=1466832/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5360 CPUtime=0
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 1120206946 5488640 239 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1340 239 197 169 0 51 0
[pid=13761] ppid=13760 vsize=40496 CPUtime=641.96
/proc/13761/stat : 13761 (hydrasat_cache4) R 13760 13760 13481 0 -1 4194304 9726 0 0 0 64188 8 0 0 25 0 1 0 1120206947 41467904 8688 1992294400 134512640 135813592 4294956160 18446744073709551615 134664983 0 0 4096 1 0 0 0 17 0 0 0
/proc/13761/statm: 10124 8688 150 317 0 9804 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 45856
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 13769
/proc/meminfo: memFree=1464528/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5364 CPUtime=700.01
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 321 10994 0 0 0 0 69980 21 19 0 1 0 1120206946 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1341 245 202 169 0 52 0
[pid=13769] ppid=13760 vsize=2824 CPUtime=1.89
/proc/13769/stat : 13769 (hydrasat_cachew) R 13760 13760 13481 0 -1 4194304 528 0 0 0 189 0 0 0 25 0 1 0 1120276986 2891776 510 1992294400 134512640 135995732 4294956016 18446744073709551615 134806544 0 0 4096 1 0 0 0 17 0 0 0
/proc/13769/statm: 706 510 172 362 0 341 0
Current children cumulated CPU time (s) 701.9
Current children cumulated vsize (KiB) 8188
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 13769
/proc/meminfo: memFree=1458256/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5364 CPUtime=700.01
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 321 10994 0 0 0 0 69980 21 19 0 1 0 1120206946 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1341 245 202 169 0 52 0
[pid=13769] ppid=13760 vsize=10072 CPUtime=61.87
/proc/13769/stat : 13769 (hydrasat_cachew) R 13760 13760 13481 0 -1 4194304 2233 0 0 0 6186 1 0 0 25 0 1 0 1120276986 10313728 2157 1992294400 134512640 135995732 4294956016 18446744073709551615 134665255 0 0 4096 1 0 0 0 17 0 0 0
/proc/13769/statm: 2518 2157 172 362 0 2153 0
Current children cumulated CPU time (s) 761.88
Current children cumulated vsize (KiB) 15436
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 13769
/proc/meminfo: memFree=1456464/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5364 CPUtime=700.01
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 321 10994 0 0 0 0 69980 21 19 0 1 0 1120206946 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1341 245 202 169 0 52 0
[pid=13769] ppid=13760 vsize=12388 CPUtime=121.84
/proc/13769/stat : 13769 (hydrasat_cachew) R 13760 13760 13481 0 -1 4194304 2740 0 0 0 12182 2 0 0 25 0 1 0 1120276986 12685312 2664 1992294400 134512640 135995732 4294956016 18446744073709551615 134808081 0 0 4096 1 0 0 0 17 0 0 0
/proc/13769/statm: 3097 2664 172 362 0 2732 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 17752
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13769
/proc/meminfo: memFree=1453392/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5364 CPUtime=700.01
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 321 10994 0 0 0 0 69980 21 19 0 1 0 1120206946 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1341 245 202 169 0 52 0
[pid=13769] ppid=13760 vsize=15828 CPUtime=181.8
/proc/13769/stat : 13769 (hydrasat_cachew) R 13760 13760 13481 0 -1 4194304 3496 0 0 0 18178 2 0 0 25 0 1 0 1120276986 16207872 3420 1992294400 134512640 135995732 4294956016 18446744073709551615 134807726 0 0 4096 1 0 0 0 17 0 0 0
/proc/13769/statm: 3957 3420 172 362 0 3592 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 21192
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13769
/proc/meminfo: memFree=1449616/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5364 CPUtime=700.01
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 321 10994 0 0 0 0 69980 21 19 0 1 0 1120206946 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1341 245 202 169 0 52 0
[pid=13769] ppid=13760 vsize=20016 CPUtime=241.77
/proc/13769/stat : 13769 (hydrasat_cachew) R 13760 13760 13481 0 -1 4194304 4501 0 0 0 24174 3 0 0 25 0 1 0 1120276986 20496384 4425 1992294400 134512640 135995732 4294956016 18446744073709551615 134808045 0 0 4096 1 0 0 0 17 0 0 0
/proc/13769/statm: 5004 4425 172 362 0 4639 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 25380
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13769
/proc/meminfo: memFree=1446224/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5364 CPUtime=700.01
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 321 10994 0 0 0 0 69980 21 19 0 1 0 1120206946 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1341 245 202 169 0 52 0
[pid=13769] ppid=13760 vsize=23304 CPUtime=301.75
/proc/13769/stat : 13769 (hydrasat_cachew) R 13760 13760 13481 0 -1 4194304 5388 0 0 0 30171 4 0 0 25 0 1 0 1120276986 23863296 5234 1992294400 134512640 135995732 4294956016 18446744073709551615 134807726 0 0 4096 1 0 0 0 17 0 0 0
/proc/13769/statm: 5826 5234 172 362 0 5461 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 28668
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13769
/proc/meminfo: memFree=1443024/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5364 CPUtime=700.01
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 321 10994 0 0 0 0 69980 21 19 0 1 0 1120206946 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1341 245 202 169 0 52 0
[pid=13769] ppid=13760 vsize=26712 CPUtime=361.68
/proc/13769/stat : 13769 (hydrasat_cachew) R 13760 13760 13481 0 -1 4194304 6189 0 0 0 36164 4 0 0 25 0 1 0 1120276986 27353088 6035 1992294400 134512640 135995732 4294956016 18446744073709551615 134807726 0 0 4096 1 0 0 0 17 0 0 0
/proc/13769/statm: 6678 6035 172 362 0 6313 0
Current children cumulated CPU time (s) 1061.69
Current children cumulated vsize (KiB) 32076
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13769
/proc/meminfo: memFree=1440400/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5364 CPUtime=700.01
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 321 10994 0 0 0 0 69980 21 19 0 1 0 1120206946 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1341 245 202 169 0 52 0
[pid=13769] ppid=13760 vsize=29568 CPUtime=421.65
/proc/13769/stat : 13769 (hydrasat_cachew) R 13760 13760 13481 0 -1 4194304 6854 0 0 0 42161 4 0 0 25 0 1 0 1120276986 30277632 6700 1992294400 134512640 135995732 4294956016 18446744073709551615 134807726 0 0 4096 1 0 0 0 17 0 0 0
/proc/13769/statm: 7392 6700 172 362 0 7027 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 34932
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13769
/proc/meminfo: memFree=1438032/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5364 CPUtime=700.01
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 321 10994 0 0 0 0 69980 21 19 0 1 0 1120206946 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1341 245 202 169 0 52 0
[pid=13769] ppid=13760 vsize=32268 CPUtime=481.63
/proc/13769/stat : 13769 (hydrasat_cachew) R 13760 13760 13481 0 -1 4194304 7510 0 0 0 48158 5 0 0 25 0 1 0 1120276986 33042432 7291 1992294400 134512640 135995732 4294956016 18446744073709551615 134807726 0 0 4096 1 0 0 0 17 0 0 0
/proc/13769/statm: 8067 7291 172 362 0 7702 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 37632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13769
/proc/meminfo: memFree=1437200/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5364 CPUtime=700.01
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 321 10994 0 0 0 0 69980 21 19 0 1 0 1120206946 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1341 245 202 169 0 52 0
[pid=13769] ppid=13760 vsize=33032 CPUtime=500.02
/proc/13769/stat : 13769 (hydrasat_cachew) R 13760 13760 13481 0 -1 4194304 7698 0 0 0 49997 5 0 0 25 0 1 0 1120276986 33824768 7479 1992294400 134512640 135995732 4294956016 18446744073709551615 134807726 0 0 4096 1 0 0 0 17 0 0 0
/proc/13769/statm: 8258 7479 172 362 0 7893 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 38396
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.00 2/66 13769
/proc/meminfo: memFree=1437200/2055920 swapFree=4175828/4192956
[pid=13760] ppid=13758 vsize=5364 CPUtime=700.01
/proc/13760/stat : 13760 (hydrasat-multi.) S 13758 13760 13481 0 -1 4194304 321 10994 0 0 0 0 69980 21 19 0 1 0 1120206946 5492736 245 1992294400 4194304 4889804 548682068720 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13760/statm: 1341 245 202 169 0 52 0
[pid=13769] ppid=13760 vsize=33032 CPUtime=500.02
/proc/13769/stat : 13769 (hydrasat_cachew) R 13760 13760 13481 0 -1 4194304 7698 0 0 0 49997 5 0 0 25 0 1 0 1120276986 33824768 7479 1992294400 134512640 135995732 4294956016 18446744073709551615 134807726 0 0 4096 1 0 0 0 17 0 0 0
/proc/13769/statm: 8258 7479 172 362 0 7893 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 38396
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.06
CPU user time (s): 1199.78
CPU system time (s): 0.278957
CPU usage (%): 99.946
Max. virtual memory (cumulated for all children) (KiB): 45856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.78
system time used= 0.278957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19020
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= 7
involuntary context switches= 2598
runsolver used 1.10783 second user time and 3.2695 second system time
The end
Begin job on node33 at 2009-03-31 06:56:59
IDJOB=1530138
IDBENCH=70497
IDSOLVER=518
FILE ID=node33/1530138-1238475419
PBS_JOBID= 9061783
Free space on /tmp= 66132 MiB
SOLVER NAME= HydraSAT-Multi 2009-03-22-Multi
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/SATISFIABLE/60/unif-k7-r89-v60-c5340-S1828800850-025.cnf
COMMAND LINE= DIR/hydrasat-multi.sh DIR BENCHNAME MEMLIMIT RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1530138-1238475419/watcher-1530138-1238475419 -o /tmp/evaluation-result-1530138-1238475419/solver-1530138-1238475419 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hydrasat-multi.sh HOME HOME/instance-1530138-1238475419.cnf 1800 593114168
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1799a7c7de2a9b5babcc69602c6767d5
RANDOM SEED=593114168
node33.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.266
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.266
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: 1502008 kB
Buffers: 83080 kB
Cached: 378804 kB
SwapCached: 10920 kB
Active: 257700 kB
Inactive: 216640 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1502008 kB
SwapTotal: 4192956 kB
SwapFree: 4175828 kB
Dirty: 4188 kB
Writeback: 0 kB
Mapped: 18168 kB
Slab: 65620 kB
Committed_AS: 3114768 kB
PageTables: 1400 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= 66096 MiB
End job on node33 at 2009-03-31 07:17:02