runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-331087-1173180071 -o ROOT/results/node60/solver-331087-1173180071 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/331087-1173180071/mxc /tmp/evaluation/331087-1173180071/instance-331087-1173180071.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: 1.01 1.00 1.00 3/64 530
/proc/meminfo: memFree=1235080/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=157232 CPUtime=0
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 771 0 0 0 0 0 0 0 18 0 1 0 337964866 161005568 756 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134550509 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 39308 762 42 122 0 39182 0
[startup+0.103937 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 530
/proc/meminfo: memFree=1235080/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=157232 CPUtime=0.1
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 17964 0 0 0 0 10 0 0 18 0 1 0 337964866 161005568 17948 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134550509 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 39308 17955 42 122 0 39182 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 157232
[startup+0.201951 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 530
/proc/meminfo: memFree=1235080/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=157232 CPUtime=0.2
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 35154 0 0 0 0 20 0 0 18 0 1 0 337964866 161005568 35138 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134550509 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 39308 35146 42 122 0 39182 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 157232
[startup+0.30197 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 530
/proc/meminfo: memFree=1235080/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=198544 CPUtime=0.29
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 47687 0 0 0 4 25 0 0 19 0 1 0 337964866 203309056 47671 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 49636 47671 46 122 0 49510 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 198544
[startup+0.701042 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 530
/proc/meminfo: memFree=1235080/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=219132 CPUtime=0.69
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 52651 0 0 0 42 27 0 0 22 0 1 0 337964866 224391168 52635 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 54783 52636 46 122 0 54657 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 219132
[startup+1.50118 s]
/proc/loadavg: 1.09 1.02 1.01 2/65 531
/proc/meminfo: memFree=1005824/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=258968 CPUtime=1.49
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 62328 0 0 0 118 31 0 0 25 0 1 0 337964866 265183232 62312 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 64742 62313 46 122 0 64616 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 258968
[startup+3.10147 s]
/proc/loadavg: 1.09 1.02 1.01 2/65 531
/proc/meminfo: memFree=956416/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=161364 CPUtime=3.09
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 76550 0 0 0 270 39 0 0 25 0 1 0 337964866 165236736 37459 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 40341 37459 59 122 0 40215 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 161364
[startup+6.30104 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 531
/proc/meminfo: memFree=1086016/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=164552 CPUtime=6.29
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 77312 0 0 0 589 40 0 0 25 0 1 0 337964866 168501248 38221 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519319 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 41138 38221 59 122 0 41012 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 164552
[startup+12.7012 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 531
/proc/meminfo: memFree=1084560/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=166144 CPUtime=12.68
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 77703 0 0 0 1228 40 0 0 25 0 1 0 337964866 170131456 38612 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 41536 38612 59 122 0 41410 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 166144
[startup+25.5015 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 531
/proc/meminfo: memFree=1080400/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=170396 CPUtime=25.48
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 78745 0 0 0 2506 42 0 0 25 0 1 0 337964866 174485504 39654 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134529588 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 42599 39654 59 122 0 42473 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 170396
[startup+51.102 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 531
/proc/meminfo: memFree=1075408/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=175816 CPUtime=51.07
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 80094 0 0 0 5065 42 0 0 25 0 1 0 337964866 180035584 41003 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134530562 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 43954 41003 59 122 0 43828 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 175816
[startup+102.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 531
/proc/meminfo: memFree=1059728/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=191096 CPUtime=102.26
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 83934 0 0 0 10179 47 0 0 25 0 1 0 337964866 195682304 44843 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134528218 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 47774 44843 59 122 0 47648 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 191096
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=996240/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=254812 CPUtime=162.24
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 99803 0 0 0 16164 60 0 0 25 0 1 0 337964866 260927488 60712 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519682 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 63703 60712 59 122 0 63577 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 254812
[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=956240/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=294660 CPUtime=222.22
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 109763 0 0 0 22151 71 0 0 25 0 1 0 337964866 301731840 70672 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134531106 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 73665 70672 59 122 0 73539 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 294660
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=925200/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=326212 CPUtime=282.19
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 117542 0 0 0 28141 78 0 0 25 0 1 0 337964866 334041088 78451 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134529588 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 81553 78451 59 122 0 81427 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 326212
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=878800/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=372612 CPUtime=342.18
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 129128 0 0 0 34130 88 0 0 25 0 1 0 337964866 381554688 90037 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 93153 90037 59 122 0 93027 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 372612
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=792976/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=458140 CPUtime=402.15
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 150503 0 0 0 40114 101 0 0 25 0 1 0 337964866 469135360 111412 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 114535 111412 59 122 0 114409 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 458140
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=731472/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=521152 CPUtime=462.13
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 166034 0 0 0 46101 112 0 0 25 0 1 0 337964866 533659648 126943 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134531201 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 130288 126943 59 122 0 130162 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 521152
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=622736/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=630396 CPUtime=522.11
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 193379 0 0 0 52081 130 0 0 25 0 1 0 337964866 645525504 154288 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134531379 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 157599 154288 59 122 0 157473 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 630396
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=521040/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=730368 CPUtime=582.1
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 218360 0 0 0 58066 144 0 0 25 0 1 0 337964866 747896832 179269 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519249 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 182592 179269 59 122 0 182466 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 730368
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=491792/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=759808 CPUtime=642.08
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 225729 0 0 0 64057 151 0 0 25 0 1 0 337964866 778043392 186638 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134531241 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 189952 186638 59 122 0 189826 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 759808
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=443920/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=807640 CPUtime=702.06
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 237706 0 0 0 70046 160 0 0 25 0 1 0 337964866 827023360 198615 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134530169 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 201910 198615 59 122 0 201784 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 807640
[startup+762.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=392912/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=857976 CPUtime=762.05
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 250292 0 0 0 76035 170 0 0 25 0 1 0 337964866 878567424 211201 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134530562 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 214494 211201 59 122 0 214368 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 857976
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=331984/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=919504 CPUtime=822.02
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 265684 0 0 0 82022 180 0 0 25 0 1 0 337964866 941572096 226593 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134531167 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 229876 226593 59 122 0 229750 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 919504
[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=267728/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=982948 CPUtime=882
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 281569 0 0 0 88008 192 0 0 25 0 1 0 337964866 1006538752 242478 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134531372 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 245737 242478 59 122 0 245611 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 982948
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=234704/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=1015848 CPUtime=941.98
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 289793 0 0 0 93998 200 0 0 25 0 1 0 337964866 1040228352 250702 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 253962 250702 59 122 0 253836 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 1015848
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=216400/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=1034220 CPUtime=1001.96
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 294385 0 0 0 99993 203 0 0 25 0 1 0 337964866 1059041280 255294 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134531372 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 258555 255294 59 122 0 258429 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 1034220
[startup+1062.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 531
/proc/meminfo: memFree=199120/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=1051440 CPUtime=1061.94
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 298685 0 0 0 105988 206 0 0 25 0 1 0 337964866 1076674560 259594 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134531167 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 262860 259594 59 122 0 262734 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1051440
[startup+1122.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 531
/proc/meminfo: memFree=188176/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=1062240 CPUtime=1121.92
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 301392 0 0 0 111985 207 0 0 25 0 1 0 337964866 1087733760 262301 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134531167 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 265560 262301 59 122 0 265434 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1062240
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=175824/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=1074608 CPUtime=1181.9
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 304488 0 0 0 117981 209 0 0 25 0 1 0 337964866 1100398592 265397 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134531171 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 268652 265397 59 122 0 268526 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1074608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=172560/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=1077724 CPUtime=1200
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4194304 305277 0 0 0 119790 210 0 0 25 0 1 0 337964866 1103589376 266186 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134531167 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/statm: 269431 266186 59 122 0 269305 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 1077724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 531
/proc/meminfo: memFree=172560/2055920 swapFree=4183500/4192956
[pid=530] ppid=528 vsize=0 CPUtime=1200.1
/proc/530/stat : 530 (mxc) R 528 530 32256 0 -1 4195332 305277 0 0 0 119790 220 0 0 25 0 1 0 337964866 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/530/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.57
CPU time (s): 1200.17
CPU user time (s): 1197.91
CPU system time (s): 2.26366
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 1077724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.91
system time used= 2.26365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305277
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= 1667
runsolver used 0.838872 second user time and 2.45763 second system time
The end
Begin job on node60 on Tue Mar 6 11:21:20 UTC 2007
IDJOB= 331087
IDBENCH= 20579
IDSOLVER= 107
FILE ID= node60/331087-1173180071
PBS_JOBID= 4015255
Free space on /tmp= 66342 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.cnf
COMMAND LINE= /tmp/evaluation/331087-1173180071/mxc /tmp/evaluation/331087-1173180071/instance-331087-1173180071.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-331087-1173180071 -o ROOT/results/node60/solver-331087-1173180071 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/331087-1173180071/mxc /tmp/evaluation/331087-1173180071/instance-331087-1173180071.cnf
META MD5SUM SOLVER= fd459248d3e92e664505cc2f0f683bf4
MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED= 436245686
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node60.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.283
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.283
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: 1235424 kB
Buffers: 37916 kB
Cached: 698104 kB
SwapCached: 3412 kB
Active: 320740 kB
Inactive: 424940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1235424 kB
SwapTotal: 4192956 kB
SwapFree: 4183500 kB
Dirty: 157040 kB
Writeback: 0 kB
Mapped: 15596 kB
Slab: 60824 kB
Committed_AS: 939788 kB
PageTables: 1464 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= 66342 MiB
End job on node60 on Tue Mar 6 11:41:23 UTC 2007