runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-315714-1172657814 -o ROOT/results/node33/solver-315714-1172657814 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315714-1172657814/dewSatz /tmp/evaluation/315714-1172657814/instance-315714-1172657814.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.92 0.98 0.99 3/64 19366
/proc/meminfo: memFree=1014192/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=690016 CPUtime=0
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 99 0 0 0 0 0 0 0 18 0 1 0 190816752 706576384 83 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134574791 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 172504 83 39 100 0 172401 0
[startup+0.105613 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 19366
/proc/meminfo: memFree=1014192/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=691600 CPUtime=0.1
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 742 0 0 0 10 0 0 0 18 0 1 0 190816752 708198400 726 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134520148 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 172900 726 39 100 0 172797 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 691600
[startup+0.20163 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 19366
/proc/meminfo: memFree=1014192/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=693052 CPUtime=0.19
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 1348 0 0 0 19 0 0 0 18 0 1 0 190816752 709685248 1332 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134696680 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 173263 1333 39 100 0 173160 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 693052
[startup+0.301651 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 19366
/proc/meminfo: memFree=1014192/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=694636 CPUtime=0.29
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 1979 0 0 0 29 0 0 0 19 0 1 0 190816752 711307264 1963 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134520265 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 173659 1964 39 100 0 173556 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 694636
[startup+0.701733 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 19366
/proc/meminfo: memFree=1014192/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=700576 CPUtime=0.69
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 4434 0 0 0 67 2 0 0 22 0 1 0 190816752 717389824 4418 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134574791 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 175144 4418 39 100 0 175041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 700576
[startup+1.5019 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 19367
/proc/meminfo: memFree=986792/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=712456 CPUtime=1.49
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 9301 0 0 0 144 5 0 0 25 0 1 0 190816752 729554944 9285 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134520265 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 178114 9285 39 100 0 178011 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 712456
[startup+3.10223 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 19367
/proc/meminfo: memFree=929768/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=746436 CPUtime=3.09
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 31936 0 0 0 298 11 0 0 25 0 1 0 190816752 764350464 21156 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134520619 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 186644 21157 40 100 0 186541 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 746436
[startup+6.30189 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 19367
/proc/meminfo: memFree=927848/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=747844 CPUtime=6.29
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 32287 0 0 0 616 13 0 0 25 0 1 0 190816752 765792256 21507 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134517600 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 186961 21507 40 100 0 186858 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 747844
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 19367
/proc/meminfo: memFree=926248/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=750096 CPUtime=12.69
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 32841 0 0 0 1256 13 0 0 25 0 1 0 190816752 768098304 22061 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134517219 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 187524 22061 40 100 0 187421 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 750096
[startup+25.5029 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 19367
/proc/meminfo: memFree=922920/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=753332 CPUtime=25.49
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 33643 0 0 0 2535 14 0 0 25 0 1 0 190816752 771411968 22863 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134520619 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 188333 22863 40 100 0 188230 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 753332
[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 19367
/proc/meminfo: memFree=915816/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=760364 CPUtime=51.07
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 35426 0 0 0 5092 15 0 0 25 0 1 0 190816752 778612736 24637 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134517221 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 190091 24637 40 100 0 189988 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 760364
[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 19367
/proc/meminfo: memFree=906856/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=768676 CPUtime=102.26
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 37835 0 0 0 10208 18 0 0 25 0 1 0 190816752 787124224 26880 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134515307 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 192169 26880 40 100 0 192066 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 768676
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19367
/proc/meminfo: memFree=862952/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=162.23
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 49738 0 0 0 16201 22 0 0 25 0 1 0 190816752 816586752 37818 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134531763 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 37818 43 100 0 199259 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 797448
[startup+222.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=861736/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=222.22
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 50056 0 0 0 22199 23 0 0 25 0 1 0 190816752 816586752 38084 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134532167 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 38084 43 100 0 199259 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 797448
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=854504/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=282.19
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 52320 0 0 0 28195 24 0 0 25 0 1 0 190816752 816586752 39897 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134531741 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 39897 43 100 0 199259 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 797448
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=851432/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=342.17
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 53444 0 0 0 34193 24 0 0 25 0 1 0 190816752 816586752 40675 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134531776 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 40675 43 100 0 199259 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 797448
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=850856/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=402.14
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 53592 0 0 0 40190 24 0 0 25 0 1 0 190816752 816586752 40808 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134530270 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 40808 43 100 0 199259 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 797448
[startup+462.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=850664/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=462.12
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 53658 0 0 0 46188 24 0 0 25 0 1 0 190816752 816586752 40860 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134530245 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 40860 43 100 0 199259 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 797448
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=850664/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=522.1
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 53698 0 0 0 52186 24 0 0 25 0 1 0 190816752 816586752 40861 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134530270 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 40861 43 100 0 199259 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 797448
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=850536/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=582.08
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 53713 0 0 0 58184 24 0 0 25 0 1 0 190816752 816586752 40876 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134530287 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 40876 43 100 0 199259 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 797448
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=850408/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=642.06
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 53772 0 0 0 64182 24 0 0 25 0 1 0 190816752 816586752 40929 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134531646 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 40929 43 100 0 199259 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 797448
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=850152/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=702.03
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 53837 0 0 0 70179 24 0 0 25 0 1 0 190816752 816586752 40972 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134527428 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 40972 43 100 0 199259 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 797448
[startup+762.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=849832/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=762.03
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 54029 0 0 0 76178 25 0 0 25 0 1 0 190816752 816586752 41056 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134531650 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 41056 43 100 0 199259 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 797448
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=849448/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=822
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 54125 0 0 0 82175 25 0 0 25 0 1 0 190816752 816586752 41150 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134531646 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 41150 43 100 0 199259 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 797448
[startup+882.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=849064/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=881.98
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 54204 0 0 0 88173 25 0 0 25 0 1 0 190816752 816586752 41227 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134531763 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 41227 43 100 0 199259 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 797448
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=848872/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=941.95
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 54269 0 0 0 94170 25 0 0 25 0 1 0 190816752 816586752 41284 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134531650 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 41284 43 100 0 199259 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 797448
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=848616/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=1001.93
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 54333 0 0 0 100168 25 0 0 25 0 1 0 190816752 816586752 41347 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134531650 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 41347 43 100 0 199259 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 797448
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=848488/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=1061.91
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 54367 0 0 0 106165 26 0 0 25 0 1 0 190816752 816586752 41380 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134526483 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 41380 43 100 0 199259 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 797448
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=848296/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=1121.89
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 54397 0 0 0 112163 26 0 0 25 0 1 0 190816752 816586752 41410 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134531763 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 41410 43 100 0 199259 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 797448
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=848168/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=1181.87
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 54442 0 0 0 118161 26 0 0 25 0 1 0 190816752 816586752 41454 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134531917 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 41454 43 100 0 199259 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 797448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19369
/proc/meminfo: memFree=848104/2055920 swapFree=4181868/4192956
[pid=19366] ppid=19364 vsize=797448 CPUtime=1200.07
/proc/19366/stat : 19366 (dewSatz) R 19364 19366 18272 0 -1 4194304 54462 0 0 0 119981 26 0 0 25 0 1 0 190816752 816586752 41474 18446744073709551615 134512640 134923568 4294956640 18446744073709551615 134531761 0 0 4096 0 0 0 0 17 1 0 0
/proc/19366/statm: 199362 41474 43 100 0 199259 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 797448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.53
CPU time (s): 1200.1
CPU user time (s): 1199.81
CPU system time (s): 0.289955
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 797448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.81
system time used= 0.289955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54462
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= 2073
runsolver used 0.84887 second user time and 2.45763 second system time
The end
Begin job on node33 on Wed Feb 28 10:16:54 UTC 2007
IDJOB= 315714
IDBENCH= 20423
IDSOLVER= 119
FILE ID= node33/315714-1172657814
PBS_JOBID= 3981196
Free space on /tmp= 66451 MiB
SOLVER NAME= DEWSATZ 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf
COMMAND LINE= /tmp/evaluation/315714-1172657814/dewSatz /tmp/evaluation/315714-1172657814/instance-315714-1172657814.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-315714-1172657814 -o ROOT/results/node33/solver-315714-1172657814 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315714-1172657814/dewSatz /tmp/evaluation/315714-1172657814/instance-315714-1172657814.cnf
META MD5SUM SOLVER= 96edd87e369231aed4bad098c50e0080
MD5SUM BENCH= 7cc30e40be8c690e76c3fb158623be61
RANDOM SEED= 111613152
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node33.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.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: 1014536 kB
Buffers: 28564 kB
Cached: 936392 kB
SwapCached: 5336 kB
Active: 162616 kB
Inactive: 813520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1014536 kB
SwapTotal: 4192956 kB
SwapFree: 4181868 kB
Dirty: 28468 kB
Writeback: 0 kB
Mapped: 15216 kB
Slab: 51256 kB
Committed_AS: 312460 kB
PageTables: 1408 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= 66451 MiB
End job on node33 on Wed Feb 28 10:36:57 UTC 2007