runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-330385-1173163947 -o ROOT/results/node5/solver-330385-1173163947 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/330385-1173163947/dewSatz /tmp/evaluation/330385-1173163947/instance-330385-1173163947.cnf
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): 2400 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: 0.99 0.97 0.98 3/77 20989
/proc/meminfo: memFree=1835296/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=690012 CPUtime=0
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 55 0 0 0 0 0 0 0 18 0 1 0 336349612 706572288 39 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134594829 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 172503 39 31 100 0 172400 0
[startup+0.036003 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 20989
/proc/meminfo: memFree=1835296/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=690016 CPUtime=0.03
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 93 0 0 0 3 0 0 0 18 0 1 0 336349612 706576384 77 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134574791 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 172504 77 39 100 0 172401 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 690016
[startup+0.102012 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 20989
/proc/meminfo: memFree=1835296/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=691072 CPUtime=0.09
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 513 0 0 0 9 0 0 0 18 0 1 0 336349612 707657728 497 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134574791 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 172768 497 39 100 0 172665 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 691072
[startup+0.301034 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 20989
/proc/meminfo: memFree=1835296/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=694108 CPUtime=0.29
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 1733 0 0 0 29 0 0 0 19 0 1 0 336349612 710766592 1717 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134574791 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 173527 1717 39 100 0 173424 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 694108
[startup+0.70108 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 20989
/proc/meminfo: memFree=1835296/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=702644 CPUtime=0.69
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 14586 0 0 0 67 2 0 0 23 0 1 0 336349612 719507456 4559 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134518534 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 175661 4559 40 100 0 175558 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 702644
[startup+1.50217 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1815192/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=706076 CPUtime=1.49
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 15777 0 0 0 147 2 0 0 25 0 1 0 336349612 723021824 5592 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134520915 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 176519 5592 40 100 0 176416 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 706076
[startup+3.10135 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1812248/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=708772 CPUtime=3.09
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 16523 0 0 0 306 3 0 0 25 0 1 0 336349612 725782528 6322 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134517795 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 177193 6322 40 100 0 177090 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 708772
[startup+6.30171 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1801112/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=6.29
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 18980 0 0 0 625 4 0 0 25 0 1 0 336349612 731070464 8504 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134530889 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 8504 43 100 0 178381 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 713936
[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1800088/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=12.69
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19225 0 0 0 1264 5 0 0 25 0 1 0 336349612 731070464 8743 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134531985 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 8743 43 100 0 178381 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 713936
[startup+25.5019 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1799768/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=25.49
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19294 0 0 0 2544 5 0 0 25 0 1 0 336349612 731070464 8812 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134531650 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 8812 43 100 0 178381 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 713936
[startup+51.1018 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1799576/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=51.08
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19358 0 0 0 5103 5 0 0 25 0 1 0 336349612 731070464 8876 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134533137 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 8876 43 100 0 178381 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 713936
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1799512/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=102.26
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19360 0 0 0 10221 5 0 0 25 0 1 0 336349612 731070464 8878 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134531763 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 8878 43 100 0 178381 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 713936
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1799448/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=162.24
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19363 0 0 0 16218 6 0 0 25 0 1 0 336349612 731070464 8881 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134531787 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 8881 43 100 0 178381 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 713936
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1799384/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=222.22
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19367 0 0 0 22216 6 0 0 25 0 1 0 336349612 731070464 8885 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134531917 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 8885 43 100 0 178381 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 713936
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1799384/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=282.21
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19371 0 0 0 28214 7 0 0 25 0 1 0 336349612 731070464 8889 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134533320 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 8889 43 100 0 178381 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 713936
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1799256/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=342.19
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19382 0 0 0 34212 7 0 0 25 0 1 0 336349612 731070464 8900 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134531776 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 8900 43 100 0 178381 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 713936
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1799192/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=402.18
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19398 0 0 0 40210 8 0 0 25 0 1 0 336349612 731070464 8916 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134532602 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 8916 43 100 0 178381 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 713936
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20990
/proc/meminfo: memFree=1798808/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=462.16
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19501 0 0 0 46208 8 0 0 25 0 1 0 336349612 731070464 9019 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134531826 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9019 43 100 0 178381 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 713936
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 21056
/proc/meminfo: memFree=1797224/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=522.11
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19575 0 0 0 52202 9 0 0 25 0 1 0 336349612 731070464 9093 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134533137 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9093 43 100 0 178381 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 713936
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 21158
/proc/meminfo: memFree=1796840/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=582.03
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19659 0 0 0 58194 9 0 0 25 0 1 0 336349612 731070464 9177 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134533237 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9177 43 100 0 178381 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 713936
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21188
/proc/meminfo: memFree=1797912/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=641.99
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19663 0 0 0 64190 9 0 0 25 0 1 0 336349612 731070464 9181 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134533403 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9181 43 100 0 178381 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 713936
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21188
/proc/meminfo: memFree=1797976/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=701.98
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19663 0 0 0 70188 10 0 0 25 0 1 0 336349612 731070464 9181 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134533137 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9181 43 100 0 178381 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 713936
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21188
/proc/meminfo: memFree=1797976/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=761.96
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19665 0 0 0 76186 10 0 0 25 0 1 0 336349612 731070464 9183 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134532255 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9183 43 100 0 178381 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 713936
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21188
/proc/meminfo: memFree=1798040/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=821.94
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19667 0 0 0 82183 11 0 0 25 0 1 0 336349612 731070464 9185 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134532794 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9185 43 100 0 178381 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 713936
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21188
/proc/meminfo: memFree=1797976/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=881.92
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19667 0 0 0 88181 11 0 0 25 0 1 0 336349612 731070464 9185 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134536834 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9185 43 100 0 178381 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 713936
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21188
/proc/meminfo: memFree=1797976/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=941.9
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19670 0 0 0 94179 11 0 0 25 0 1 0 336349612 731070464 9188 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134533205 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9188 43 100 0 178381 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 713936
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21188
/proc/meminfo: memFree=1797976/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=1001.89
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19670 0 0 0 100177 12 0 0 25 0 1 0 336349612 731070464 9188 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134532441 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9188 43 100 0 178381 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 713936
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21188
/proc/meminfo: memFree=1797976/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=1061.87
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19670 0 0 0 106175 12 0 0 25 0 1 0 336349612 731070464 9188 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134532582 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9188 43 100 0 178381 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 713936
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21188
/proc/meminfo: memFree=1798040/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=1121.85
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19674 0 0 0 112173 12 0 0 25 0 1 0 336349612 731070464 9192 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134532628 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9192 43 100 0 178381 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 713936
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21188
/proc/meminfo: memFree=1798040/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=1181.83
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19674 0 0 0 118171 12 0 0 25 0 1 0 336349612 731070464 9192 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134532458 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9192 43 100 0 178381 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 713936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21188
/proc/meminfo: memFree=1798040/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=1200.03
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19674 0 0 0 119991 12 0 0 25 0 1 0 336349612 731070464 9192 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134533292 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9192 43 100 0 178381 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 713936
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21188
/proc/meminfo: memFree=1798040/2055920 swapFree=4170492/4192956
[pid=20989] ppid=20987 vsize=713936 CPUtime=1200.03
/proc/20989/stat : 20989 (dewSatz) R 20987 20989 20575 0 -1 4194304 19674 0 0 0 119991 12 0 0 25 0 1 0 336349612 731070464 9192 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134533292 0 0 4096 0 0 0 0 17 1 0 0
/proc/20989/statm: 178484 9192 43 100 0 178381 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 713936
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1199.91
CPU system time (s): 0.136979
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 713936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.91
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19674
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= 6
involuntary context switches= 12306
runsolver used 1.39279 second user time and 2.96255 second system time
The end
Begin job on node5 on Tue Mar 6 06:52:28 UTC 2007
IDJOB= 330385
IDBENCH= 20562
IDSOLVER= 119
FILE ID= node5/330385-1173163947
PBS_JOBID= 4015005
Free space on /tmp= 66520 MiB
SOLVER NAME= DEWSATZ 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf
COMMAND LINE= /tmp/evaluation/330385-1173163947/dewSatz /tmp/evaluation/330385-1173163947/instance-330385-1173163947.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-330385-1173163947 -o ROOT/results/node5/solver-330385-1173163947 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/330385-1173163947/dewSatz /tmp/evaluation/330385-1173163947/instance-330385-1173163947.cnf
META MD5SUM SOLVER= 96edd87e369231aed4bad098c50e0080
MD5SUM BENCH= e2ce53da4f00ba19b35d5b71c6e657f7
RANDOM SEED= 458714107
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node5.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.224
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.224
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: 1835768 kB
Buffers: 29464 kB
Cached: 114748 kB
SwapCached: 2464 kB
Active: 58604 kB
Inactive: 110060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1835768 kB
SwapTotal: 4192956 kB
SwapFree: 4170492 kB
Dirty: 7620 kB
Writeback: 0 kB
Mapped: 32056 kB
Slab: 37140 kB
Committed_AS: 1180072 kB
PageTables: 1692 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= 66520 MiB
End job on node5 on Tue Mar 6 07:12:31 UTC 2007