runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-315075-1172648530 -o ROOT/results/node25/solver-315075-1172648530 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315075-1172648530/cmusat_base /tmp/evaluation/315075-1172648530/instance-315075-1172648530.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.91 0.95 0.97 3/64 26438
/proc/meminfo: memFree=1616096/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=17288 CPUtime=0
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 525 0 0 0 0 0 0 0 18 0 1 0 59475258 17702912 508 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 4322 510 90 241 0 4078 0
[startup+0.0736641 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 26438
/proc/meminfo: memFree=1616096/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=27716 CPUtime=0.06
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 5070 0 0 0 5 1 0 0 18 0 1 0 59475258 28381184 5052 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134529859 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 6929 5055 90 241 0 6685 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27716
[startup+0.101666 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 26438
/proc/meminfo: memFree=1616096/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=31940 CPUtime=0.09
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 6911 0 0 0 7 2 0 0 18 0 1 0 59475258 32706560 6893 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134529859 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 7985 6896 90 241 0 7741 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31940
[startup+0.301683 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 26438
/proc/meminfo: memFree=1616096/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=107040 CPUtime=0.29
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 10853 0 0 0 25 4 0 0 19 0 1 0 59475258 109608960 10835 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134527340 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 26760 10836 90 241 0 26516 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 107040
[startup+0.701719 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 26438
/proc/meminfo: memFree=1616096/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=113504 CPUtime=0.69
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 14773 0 0 0 62 7 0 0 22 0 1 0 59475258 116228096 14756 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134564434 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 28376 14756 90 241 0 28132 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 113504
[startup+1.50179 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 26439
/proc/meminfo: memFree=1545496/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=126700 CPUtime=1.49
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 22560 0 0 0 139 10 0 0 25 0 1 0 59475258 129740800 22542 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134564497 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 31675 22542 90 241 0 31431 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126700
[startup+3.10194 s]
/proc/loadavg: 1.00 0.97 0.98 2/65 26439
/proc/meminfo: memFree=1501336/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=167704 CPUtime=3.09
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 39801 0 0 0 289 20 0 0 25 0 1 0 59475258 171728896 39784 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134557114 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 41926 39789 92 241 0 41682 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 167704
[startup+6.30122 s]
/proc/loadavg: 1.00 0.97 0.98 2/65 26439
/proc/meminfo: memFree=1432216/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=192460 CPUtime=6.29
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 46091 0 0 0 606 23 0 0 25 0 1 0 59475258 197079040 46073 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 48115 46073 93 241 0 47871 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 192460
[startup+12.7018 s]
/proc/loadavg: 1.00 0.97 0.98 2/65 26439
/proc/meminfo: memFree=1432344/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=192592 CPUtime=12.68
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 46110 0 0 0 1245 23 0 0 25 0 1 0 59475258 197214208 46092 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134562414 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 48148 46092 93 241 0 47904 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 192592
[startup+25.5019 s]
/proc/loadavg: 1.00 0.97 0.98 2/65 26439
/proc/meminfo: memFree=1397208/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=294512 CPUtime=25.48
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 71607 0 0 0 2515 33 0 0 25 0 1 0 59475258 301580288 54856 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 73628 54856 112 241 0 73384 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 294512
[startup+51.1013 s]
/proc/loadavg: 1.00 0.97 0.98 2/65 26439
/proc/meminfo: memFree=1397272/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=294512 CPUtime=51.07
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 71616 0 0 0 5074 33 0 0 25 0 1 0 59475258 301580288 54865 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134562414 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 73628 54865 112 241 0 73384 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 294512
[startup+102.305 s]
/proc/loadavg: 1.00 0.97 0.98 2/65 26439
/proc/meminfo: memFree=1394904/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=297000 CPUtime=102.27
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 72204 0 0 0 10193 34 0 0 25 0 1 0 59475258 304128000 55453 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 74250 55453 112 241 0 74006 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 297000
[startup+162.301 s]
/proc/loadavg: 1.00 0.97 0.98 2/65 26439
/proc/meminfo: memFree=1392088/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=299792 CPUtime=162.24
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 72906 0 0 0 16190 34 0 0 25 0 1 0 59475258 306987008 56155 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559804 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 74948 56155 112 241 0 74704 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 299792
[startup+222.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/65 26439
/proc/meminfo: memFree=1387800/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=304136 CPUtime=222.23
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 73973 0 0 0 22188 35 0 0 25 0 1 0 59475258 311435264 57222 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559804 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 76034 57222 112 241 0 75790 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 304136
[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.98 2/65 26439
/proc/meminfo: memFree=1385240/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=306728 CPUtime=282.22
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 74612 0 0 0 28186 36 0 0 25 0 1 0 59475258 314089472 57861 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 135070016 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 76682 57861 112 241 0 76438 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 306728
[startup+342.301 s]
/proc/loadavg: 1.05 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1381656/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=310328 CPUtime=342.2
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 75497 0 0 0 34183 37 0 0 25 0 1 0 59475258 317775872 58746 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134562349 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 77582 58746 112 241 0 77338 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 310328
[startup+402.302 s]
/proc/loadavg: 1.02 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1373976/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=318252 CPUtime=402.18
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 77442 0 0 0 40180 38 0 0 25 0 1 0 59475258 325890048 60691 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 79563 60691 112 241 0 79319 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 318252
[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1364632/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=327536 CPUtime=462.17
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 79744 0 0 0 46176 41 0 0 25 0 1 0 59475258 335396864 62993 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 81884 62993 112 241 0 81640 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 327536
[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1358936/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=333856 CPUtime=522.15
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 81189 0 0 0 52173 42 0 0 25 0 1 0 59475258 341868544 64438 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134560402 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 83464 64438 112 241 0 83220 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 333856
[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1346328/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=347568 CPUtime=582.14
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 84333 0 0 0 58170 44 0 0 25 0 1 0 59475258 355909632 67582 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 86892 67582 112 241 0 86648 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 347568
[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1332568/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=362272 CPUtime=642.13
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 87721 0 0 0 64167 46 0 0 25 0 1 0 59475258 370966528 70970 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559899 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 90568 70970 112 241 0 90324 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 362272
[startup+702.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1307480/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=391376 CPUtime=702.1
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 94063 0 0 0 70161 49 0 0 25 0 1 0 59475258 400769024 77312 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 97844 77312 112 241 0 97600 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 391376
[startup+762.305 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1279256/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=423748 CPUtime=762.09
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 101030 0 0 0 76155 54 0 0 25 0 1 0 59475258 433917952 84279 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134549167 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 105937 84279 112 241 0 105693 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 423748
[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1272856/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=430584 CPUtime=822.07
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 102593 0 0 0 82152 55 0 0 25 0 1 0 59475258 440918016 85842 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559725 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 107646 85842 112 241 0 107402 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 430584
[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1272344/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=430848 CPUtime=882.05
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 102721 0 0 0 88150 55 0 0 25 0 1 0 59475258 441188352 85970 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134560110 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 107712 85970 112 241 0 107468 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 430848
[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1271000/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=432036 CPUtime=942.04
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 103055 0 0 0 94148 56 0 0 25 0 1 0 59475258 442404864 86304 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134560452 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 108009 86304 112 241 0 107765 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 432036
[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1269464/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=433512 CPUtime=1002.02
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 103416 0 0 0 100146 56 0 0 25 0 1 0 59475258 443916288 86665 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134562414 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 108378 86665 112 241 0 108134 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 433512
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1262104/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=441096 CPUtime=1062.01
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 105316 0 0 0 106142 59 0 0 25 0 1 0 59475258 451682304 88565 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 110274 88565 112 241 0 110030 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 441096
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 26439
/proc/meminfo: memFree=1252952/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=449852 CPUtime=1121.99
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 107547 0 0 0 112138 61 0 0 25 0 1 0 59475258 460648448 90796 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559804 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 112463 90796 112 241 0 112219 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 449852
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/71 26555
/proc/meminfo: memFree=1242280/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=459276 CPUtime=1181.93
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 109910 0 0 0 118130 63 0 0 25 0 1 0 59475258 470298624 93159 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 114819 93159 112 241 0 114575 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 459276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 0.99 0.98 2/71 26595
/proc/meminfo: memFree=1238824/2055920 swapFree=4183588/4192956
[pid=26438] ppid=26436 vsize=462484 CPUtime=1200.01
/proc/26438/stat : 26438 (cmusat_base) R 26436 26438 26322 0 -1 4194304 110713 0 0 0 119937 64 0 0 25 0 1 0 59475258 473583616 93962 18446744073709551615 134512640 135500113 4294956624 18446744073709551615 134560538 0 0 4096 35 0 0 0 17 1 0 0
/proc/26438/statm: 115621 93962 112 241 0 115377 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 462484
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.47
CPU time (s): 1200.08
CPU user time (s): 1199.38
CPU system time (s): 0.707892
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 462484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.38
system time used= 0.707892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110713
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= 1827
runsolver used 0.834873 second user time and 2.52162 second system time
The end
Begin job on node25 on Wed Feb 28 07:42:11 UTC 2007
IDJOB= 315075
IDBENCH= 20407
IDSOLVER= 120
FILE ID= node25/315075-1172648530
PBS_JOBID= 3981178
Free space on /tmp= 66505 MiB
SOLVER NAME= CMUSAT BASE 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacias/hard/safe-50-h50-sat.cnf
COMMAND LINE= /tmp/evaluation/315075-1172648530/cmusat_base /tmp/evaluation/315075-1172648530/instance-315075-1172648530.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-315075-1172648530 -o ROOT/results/node25/solver-315075-1172648530 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315075-1172648530/cmusat_base /tmp/evaluation/315075-1172648530/instance-315075-1172648530.cnf
META MD5SUM SOLVER= af990fb12f8926fdd756b397adb3b5cf
MD5SUM BENCH= 03c6b6156c444674b996a4279225be1a
RANDOM SEED= 294783587
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node25.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.232
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.232
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: 1616568 kB
Buffers: 13328 kB
Cached: 375356 kB
SwapCached: 3132 kB
Active: 92404 kB
Inactive: 306084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1616568 kB
SwapTotal: 4192956 kB
SwapFree: 4183588 kB
Dirty: 42384 kB
Writeback: 0 kB
Mapped: 15744 kB
Slab: 26936 kB
Committed_AS: 180648 kB
PageTables: 1472 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= 66505 MiB
End job on node25 on Wed Feb 28 08:02:13 UTC 2007