runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-318904-1176323155 -o ROOT/results/node18/solver-318904-1176323155 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/318904-1176323155/ranov /tmp/evaluation/318904-1176323155/instance-318904-1176323155.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.98 0.94 3/77 8265
/proc/meminfo: memFree=1225664/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=319884 CPUtime=0
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 889 0 0 0 0 0 0 0 18 0 1 0 80232991 327561216 874 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 79971 880 30 98 0 79870 0
[startup+0.0183891 s]
/proc/loadavg: 0.94 0.98 0.94 3/77 8265
/proc/meminfo: memFree=1225664/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=319884 CPUtime=0.01
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 3138 0 0 0 0 1 0 0 18 0 1 0 80232991 327561216 3123 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 79971 3132 30 98 0 79870 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 319884
[startup+0.101941 s]
/proc/loadavg: 0.94 0.98 0.94 3/77 8265
/proc/meminfo: memFree=1225664/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=321080 CPUtime=0.09
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 5415 0 0 0 7 2 0 0 18 0 1 0 80232991 328785920 5400 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134586349 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 80270 5401 38 98 0 80169 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 321080
[startup+0.30196 s]
/proc/loadavg: 0.94 0.98 0.94 3/77 8265
/proc/meminfo: memFree=1225664/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=324248 CPUtime=0.29
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 6471 0 0 0 26 3 0 0 19 0 1 0 80232991 332029952 6456 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134586349 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 81062 6457 38 98 0 80961 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 324248
[startup+0.702 s]
/proc/loadavg: 0.94 0.98 0.94 3/77 8265
/proc/meminfo: memFree=1225664/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=330320 CPUtime=0.69
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 8580 0 0 0 64 5 0 0 23 0 1 0 80232991 338247680 8565 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134566063 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 82580 8565 38 98 0 82479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 330320
[startup+1.50208 s]
/proc/loadavg: 0.94 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1154424/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=349800 CPUtime=1.49
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 19910 0 0 0 139 10 0 0 25 0 1 0 80232991 358195200 19894 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134529494 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 87450 19894 39 98 0 87349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 349800
[startup+3.10123 s]
/proc/loadavg: 0.94 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1145280/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=351236 CPUtime=3.09
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 20297 0 0 0 299 10 0 0 25 0 1 0 80232991 359665664 20281 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523206 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 87809 20281 39 98 0 87708 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 351236
[startup+6.30154 s]
/proc/loadavg: 0.94 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1140224/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=355732 CPUtime=6.29
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 21505 0 0 0 618 11 0 0 25 0 1 0 80232991 364269568 21489 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134566063 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 88933 21489 39 98 0 88832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 355732
[startup+12.7012 s]
/proc/loadavg: 0.95 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1135368/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=359936 CPUtime=12.68
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 22664 0 0 0 1257 11 0 0 25 0 1 0 80232991 368574464 22648 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523284 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 89984 22648 39 98 0 89883 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 359936
[startup+25.5014 s]
/proc/loadavg: 0.96 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1127944/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=366428 CPUtime=25.48
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 24431 0 0 0 2536 12 0 0 25 0 1 0 80232991 375222272 24415 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134524006 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 91607 24415 39 98 0 91506 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 366428
[startup+51.1019 s]
/proc/loadavg: 0.97 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1121928/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=372032 CPUtime=51.07
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 25964 0 0 0 5094 13 0 0 25 0 1 0 80232991 380960768 25948 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134524004 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 93008 25948 39 98 0 92907 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 372032
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1106696/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=385680 CPUtime=102.25
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 29760 0 0 0 10210 15 0 0 25 0 1 0 80232991 394936320 29744 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523911 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 96420 29744 39 98 0 96319 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 385680
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1103560/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=388436 CPUtime=162.23
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 30530 0 0 0 16207 16 0 0 25 0 1 0 80232991 397758464 30514 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523968 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 97109 30514 39 98 0 97008 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 388436
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1098312/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=392972 CPUtime=222.21
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 31844 0 0 0 22204 17 0 0 25 0 1 0 80232991 402403328 31828 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523857 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 98243 31828 39 98 0 98142 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 392972
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1096200/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=394828 CPUtime=282.2
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 32356 0 0 0 28202 18 0 0 25 0 1 0 80232991 404303872 32340 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134524004 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 98707 32340 39 98 0 98606 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 394828
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1094728/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=396188 CPUtime=342.19
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 32720 0 0 0 34200 19 0 0 25 0 1 0 80232991 405696512 32704 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523923 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 99047 32704 39 98 0 98946 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 396188
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1093320/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=397420 CPUtime=402.16
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 33086 0 0 0 40197 19 0 0 25 0 1 0 80232991 406958080 33070 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523204 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 99355 33070 39 98 0 99254 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 397420
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1091976/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=398504 CPUtime=462.15
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 33406 0 0 0 46195 20 0 0 25 0 1 0 80232991 408068096 33390 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523199 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 99626 33390 39 98 0 99525 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 398504
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1091336/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=399132 CPUtime=522.13
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 33552 0 0 0 52193 20 0 0 25 0 1 0 80232991 408711168 33536 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523995 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 99783 33536 39 98 0 99682 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 399132
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8266
/proc/meminfo: memFree=1090696/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=399600 CPUtime=582.12
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 33721 0 0 0 58191 21 0 0 25 0 1 0 80232991 409190400 33705 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134524189 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 99900 33705 39 98 0 99799 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 399600
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8268
/proc/meminfo: memFree=1088520/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=401568 CPUtime=642.1
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 34271 0 0 0 64189 21 0 0 25 0 1 0 80232991 411205632 34255 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523796 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 100392 34255 39 98 0 100291 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 401568
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8268
/proc/meminfo: memFree=1085896/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=404012 CPUtime=702.08
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 34925 0 0 0 70186 22 0 0 25 0 1 0 80232991 413708288 34909 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134524189 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 101003 34909 39 98 0 100902 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 404012
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8268
/proc/meminfo: memFree=1080648/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=408648 CPUtime=762.07
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 36231 0 0 0 76184 23 0 0 25 0 1 0 80232991 418455552 36215 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523911 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 102162 36215 39 98 0 102061 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 408648
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8268
/proc/meminfo: memFree=1075976/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=412872 CPUtime=822.05
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 37413 0 0 0 82181 24 0 0 25 0 1 0 80232991 422780928 37397 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523868 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 103218 37397 39 98 0 103117 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 412872
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8268
/proc/meminfo: memFree=1071944/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=416548 CPUtime=882.03
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 38408 0 0 0 88178 25 0 0 25 0 1 0 80232991 426545152 38392 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523796 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 104137 38392 39 98 0 104036 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 416548
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8268
/proc/meminfo: memFree=1067208/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=420876 CPUtime=942.01
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 39594 0 0 0 94175 26 0 0 25 0 1 0 80232991 430977024 39578 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523796 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 105219 39578 39 98 0 105118 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 420876
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8268
/proc/meminfo: memFree=1064264/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=423540 CPUtime=1002
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 40318 0 0 0 100172 28 0 0 25 0 1 0 80232991 433704960 40302 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523429 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 105885 40302 39 98 0 105784 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 423540
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8268
/proc/meminfo: memFree=1058632/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=428712 CPUtime=1061.98
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 41734 0 0 0 106169 29 0 0 25 0 1 0 80232991 439001088 41718 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523918 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 107178 41718 39 98 0 107077 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 428712
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8268
/proc/meminfo: memFree=1057352/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=429884 CPUtime=1121.97
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 42057 0 0 0 112167 30 0 0 25 0 1 0 80232991 440201216 42041 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523911 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 107471 42041 39 98 0 107370 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 429884
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8268
/proc/meminfo: memFree=1056840/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=430296 CPUtime=1181.95
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 42181 0 0 0 118165 30 0 0 25 0 1 0 80232991 440623104 42165 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523796 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 107574 42165 39 98 0 107473 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 430296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.98 0.94 2/78 8268
/proc/meminfo: memFree=1056840/2055920 swapFree=4192956/4192956
[pid=8265] ppid=8263 vsize=430296 CPUtime=1200.05
/proc/8265/stat : 8265 (ranov) R 8263 8265 7149 0 -1 4194304 42191 0 0 0 119975 30 0 0 25 0 1 0 80232991 440623104 42175 18446744073709551615 134512640 134914624 4294956592 18446744073709551615 134523796 0 0 4096 0 0 0 0 17 1 0 0
/proc/8265/statm: 107574 42175 39 98 0 107473 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 430296
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.43
CPU time (s): 1200.09
CPU user time (s): 1199.75
CPU system time (s): 0.337948
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 430296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.75
system time used= 0.337948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42191
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= 2335
runsolver used 1.43378 second user time and 2.91256 second system time
The end
Begin job on node18 on Wed Apr 11 20:25:56 UTC 2007
IDJOB= 318904
IDBENCH= 20466
IDSOLVER= 105
FILE ID= node18/318904-1176323155
PBS_JOBID= 4516490
Free space on /tmp= 66549 MiB
SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/babic/hsatv17/hsat_vc11817.cnf
COMMAND LINE= /tmp/evaluation/318904-1176323155/ranov /tmp/evaluation/318904-1176323155/instance-318904-1176323155.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-318904-1176323155 -o ROOT/results/node18/solver-318904-1176323155 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/318904-1176323155/ranov /tmp/evaluation/318904-1176323155/instance-318904-1176323155.cnf
META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH= ec98bb92b9928019088745bf76777cb6
RANDOM SEED= 264051821
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node18.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.234
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.234
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: 1226072 kB
Buffers: 51752 kB
Cached: 645044 kB
SwapCached: 0 kB
Active: 210668 kB
Inactive: 540856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1226072 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 14628 kB
Writeback: 0 kB
Mapped: 73428 kB
Slab: 63900 kB
Committed_AS: 2670864 kB
PageTables: 1780 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= 66549 MiB
End job on node18 on Wed Apr 11 20:45:59 UTC 2007