runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-331101-1173180256 -o ROOT/results/node4/solver-331101-1173180256 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/331101-1173180256/cmusat /tmp/evaluation/331101-1173180256/instance-331101-1173180256.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.94 0.97 0.98 3/77 23721
/proc/meminfo: memFree=1565352/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=2316 CPUtime=0
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 441 0 0 0 0 0 0 0 18 0 1 0 337981377 2371584 424 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 135095640 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 615 426 97 243 0 369 0
[startup+0.054337 s]
/proc/loadavg: 0.94 0.97 0.98 3/77 23721
/proc/meminfo: memFree=1565352/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=6028 CPUtime=0.04
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 1317 0 0 0 4 0 0 0 18 0 1 0 337981377 6172672 1300 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 1507 1300 97 243 0 1261 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6028
[startup+0.101341 s]
/proc/loadavg: 0.94 0.97 0.98 3/77 23721
/proc/meminfo: memFree=1565352/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=9456 CPUtime=0.09
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 2097 0 0 0 8 1 0 0 18 0 1 0 337981377 9682944 2080 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 2364 2081 97 243 0 2118 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9456
[startup+0.301359 s]
/proc/loadavg: 0.94 0.97 0.98 3/77 23721
/proc/meminfo: memFree=1565352/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=22432 CPUtime=0.29
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 5312 0 0 0 26 3 0 0 19 0 1 0 337981377 22970368 5295 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 5608 5295 97 243 0 5362 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22432
[startup+0.701397 s]
/proc/loadavg: 0.94 0.97 0.98 3/77 23721
/proc/meminfo: memFree=1565352/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=47888 CPUtime=0.69
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 11608 0 0 0 62 7 0 0 22 0 1 0 337981377 49037312 11591 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 11972 11592 97 243 0 11726 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47888
[startup+1.50147 s]
/proc/loadavg: 0.94 0.97 0.98 2/78 23722
/proc/meminfo: memFree=1500960/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=98696 CPUtime=1.5
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 24002 0 0 0 134 16 0 0 25 0 1 0 337981377 101064704 23985 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 24674 23985 97 243 0 24428 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 98696
[startup+3.10163 s]
/proc/loadavg: 0.94 0.97 0.98 2/78 23722
/proc/meminfo: memFree=1434208/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=202216 CPUtime=3.09
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 48543 0 0 0 277 32 0 0 25 0 1 0 337981377 207069184 48526 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 50554 48527 97 243 0 50308 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 202216
[startup+6.30193 s]
/proc/loadavg: 0.94 0.97 0.98 2/78 23722
/proc/meminfo: memFree=1255584/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=434452 CPUtime=6.29
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 105784 0 0 0 569 60 0 0 25 0 1 0 337981377 444878848 105767 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 135090670 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 108613 105767 107 243 0 108367 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 434452
[startup+12.7015 s]
/proc/loadavg: 0.95 0.97 0.98 2/78 23722
/proc/meminfo: memFree=1124768/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=461100 CPUtime=12.69
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 137130 0 0 0 1192 77 0 0 25 0 1 0 337981377 472166400 115112 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 115275 115112 110 243 0 115029 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 461100
[startup+25.5018 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 23722
/proc/meminfo: memFree=761184/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=926940 CPUtime=25.49
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 223920 0 0 0 2442 107 0 0 25 0 1 0 337981377 949186560 201803 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589468 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 231735 201803 119 243 0 231489 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 926940
[startup+51.1012 s]
/proc/loadavg: 0.97 0.97 0.98 2/78 23722
/proc/meminfo: memFree=761312/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=926940 CPUtime=51.08
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 223952 0 0 0 5001 107 0 0 25 0 1 0 337981377 949186560 201835 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134591291 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 231735 201835 119 243 0 231489 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 926940
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=761248/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=926940 CPUtime=102.27
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 223975 0 0 0 10120 107 0 0 25 0 1 0 337981377 949186560 201858 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589506 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 231735 201858 119 243 0 231489 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 926940
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=760992/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=926940 CPUtime=162.25
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 224030 0 0 0 16117 108 0 0 25 0 1 0 337981377 949186560 201913 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134591296 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 231735 201913 119 243 0 231489 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 926940
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=760800/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=926940 CPUtime=222.23
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 224069 0 0 0 22115 108 0 0 25 0 1 0 337981377 949186560 201952 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589468 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 231735 201952 119 243 0 231489 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 926940
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=760608/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=926808 CPUtime=282.22
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 224125 0 0 0 28113 109 0 0 25 0 1 0 337981377 949051392 201975 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134590124 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 231702 201975 119 243 0 231456 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 926808
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=760480/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=926808 CPUtime=342.21
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 224159 0 0 0 34111 110 0 0 25 0 1 0 337981377 949051392 202009 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589468 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 231702 202009 119 243 0 231456 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 926808
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=760352/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=926808 CPUtime=402.19
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 224187 0 0 0 40109 110 0 0 25 0 1 0 337981377 949051392 202037 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589506 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 231702 202037 119 243 0 231456 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 926808
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=760224/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=926808 CPUtime=462.18
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 224232 0 0 0 46107 111 0 0 25 0 1 0 337981377 949051392 202082 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589569 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 231702 202082 119 243 0 231456 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 926808
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=760160/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=926808 CPUtime=522.17
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 224252 0 0 0 52105 112 0 0 25 0 1 0 337981377 949051392 202102 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589506 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 231702 202102 119 243 0 231456 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 926808
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=760032/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=926808 CPUtime=582.15
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 224269 0 0 0 58103 112 0 0 25 0 1 0 337981377 949051392 202119 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 231702 202119 119 243 0 231456 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 926808
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=759904/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=926808 CPUtime=642.14
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 224291 0 0 0 64101 113 0 0 25 0 1 0 337981377 949051392 202141 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589521 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 231702 202141 119 243 0 231456 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 926808
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=752416/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=934272 CPUtime=702.12
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 226177 0 0 0 70097 115 0 0 25 0 1 0 337981377 956694528 204027 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 233568 204027 119 243 0 233322 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 934272
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=735584/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=950804 CPUtime=762.11
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 230343 0 0 0 76092 119 0 0 25 0 1 0 337981377 973623296 208193 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 237701 208193 119 243 0 237455 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 950804
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=719648/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=966880 CPUtime=822.09
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 234329 0 0 0 82087 122 0 0 25 0 1 0 337981377 990085120 212179 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 241720 212179 119 243 0 241474 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 966880
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=701856/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=984364 CPUtime=882.07
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 238751 0 0 0 88081 126 0 0 25 0 1 0 337981377 1007988736 216601 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134592078 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 246091 216601 119 243 0 245845 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 984364
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=655840/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=1031792 CPUtime=942.06
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 250269 0 0 0 94072 134 0 0 25 0 1 0 337981377 1056555008 228119 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589506 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 257948 228119 119 243 0 257702 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1031792
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23722
/proc/meminfo: memFree=632288/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=1056212 CPUtime=1002.05
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 256164 0 0 0 100065 140 0 0 25 0 1 0 337981377 1081561088 234014 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 264053 234014 119 243 0 263807 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1056212
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23724
/proc/meminfo: memFree=538656/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=1165100 CPUtime=1062.03
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 279941 0 0 0 106052 151 0 0 25 0 1 0 337981377 1193062400 257791 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 291275 257791 119 243 0 291029 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1165100
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23724
/proc/meminfo: memFree=431392/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=1287260 CPUtime=1122.01
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 306455 0 0 0 112038 163 0 0 25 0 1 0 337981377 1318154240 284305 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 321815 284305 119 243 0 321569 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1287260
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23724
/proc/meminfo: memFree=398816/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=1323788 CPUtime=1182
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 314650 0 0 0 118032 168 0 0 25 0 1 0 337981377 1355558912 292500 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134578742 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 330947 292500 119 243 0 330701 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1323788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23724
/proc/meminfo: memFree=368416/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=1357416 CPUtime=1200
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4194304 321935 0 0 0 119828 172 0 0 25 0 1 0 337981377 1389993984 299785 18446744073709551615 134512640 135508737 4294956704 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 339354 299785 119 243 0 339108 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 1357416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.41 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23724
/proc/meminfo: memFree=368416/2055920 swapFree=4153408/4192956
[pid=23721] ppid=23719 vsize=0 CPUtime=1200.1
/proc/23721/stat : 23721 (cmusat) R 23719 23721 23241 0 -1 4195332 321935 0 0 0 119828 182 0 0 25 0 1 0 337981377 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 35 0 0 0 17 1 0 0
/proc/23721/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.49
CPU time (s): 1200.2
CPU user time (s): 1198.29
CPU system time (s): 1.90971
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1357416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.29
system time used= 1.90971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321935
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= 1625
runsolver used 1.3008 second user time and 3.07653 second system time
The end
Begin job on node4 on Tue Mar 6 11:24:25 UTC 2007
IDJOB= 331101
IDBENCH= 20579
IDSOLVER= 121
FILE ID= node4/331101-1173180256
PBS_JOBID= 4015033
Free space on /tmp= 66331 MiB
SOLVER NAME= CMUSAT 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.cnf
COMMAND LINE= /tmp/evaluation/331101-1173180256/cmusat /tmp/evaluation/331101-1173180256/instance-331101-1173180256.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-331101-1173180256 -o ROOT/results/node4/solver-331101-1173180256 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/331101-1173180256/cmusat /tmp/evaluation/331101-1173180256/instance-331101-1173180256.cnf
META MD5SUM SOLVER= af990fb12f8926fdd756b397adb3b5cf
MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED= 826746368
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node4.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.231
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.231
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: 1565760 kB
Buffers: 27772 kB
Cached: 376932 kB
SwapCached: 2072 kB
Active: 231612 kB
Inactive: 195524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1565760 kB
SwapTotal: 4192956 kB
SwapFree: 4153408 kB
Dirty: 158912 kB
Writeback: 0 kB
Mapped: 30280 kB
Slab: 48636 kB
Committed_AS: 1249188 kB
PageTables: 1768 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= 66331 MiB
End job on node4 on Tue Mar 6 11:44:28 UTC 2007