runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-300236-1171894422 -o ROOT/results/node16/solver-300236-1171894422 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300236-1171894422/tts-4-0 /tmp/evaluation/300236-1171894422/instance-300236-1171894422.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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.99 0.98 0.92 3/77 30091
/proc/meminfo: memFree=951512/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=796 CPUtime=0
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 111 0 0 0 0 0 0 0 18 0 1 0 209396562 815104 96 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134629427 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 199 96 57 113 0 83 0
[startup+0.107333 s]
/proc/loadavg: 0.99 0.98 0.92 3/77 30091
/proc/meminfo: memFree=951512/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=3076 CPUtime=0.1
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 677 0 0 0 10 0 0 0 18 0 1 0 209396562 3149824 662 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134538274 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 769 662 59 113 0 653 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3076
[startup+0.515285 s]
/proc/loadavg: 0.99 0.98 0.92 3/77 30091
/proc/meminfo: memFree=951512/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=11964 CPUtime=0.51
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 2908 0 0 0 50 1 0 0 21 0 1 0 209396562 12251136 2893 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 2991 2893 65 113 0 2875 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 11964
[startup+1.33619 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=920400/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=32432 CPUtime=1.32
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 8039 0 0 0 129 3 0 0 25 0 1 0 209396562 33210368 7989 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 8108 7989 66 113 0 7992 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 32432
[startup+2.975 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=916240/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=36220 CPUtime=2.97
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 9001 0 0 0 293 4 0 0 25 0 1 0 209396562 37089280 8951 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641318 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 9055 8951 66 113 0 8939 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 36220
[startup+6.25062 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=915280/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=36740 CPUtime=6.24
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 9104 0 0 0 620 4 0 0 25 0 1 0 209396562 37621760 9054 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591708 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 9185 9054 66 113 0 9069 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 36740
[startup+12.7069 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=914960/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=37008 CPUtime=12.7
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 9181 0 0 0 1266 4 0 0 25 0 1 0 209396562 37896192 9131 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 9252 9131 66 113 0 9136 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 37008
[startup+25.6064 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=914192/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=37532 CPUtime=25.59
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 9354 0 0 0 2555 4 0 0 25 0 1 0 209396562 38432768 9304 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 9383 9304 66 113 0 9267 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 37532
[startup+51.2104 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=913488/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=38268 CPUtime=51.2
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 9528 0 0 0 5115 5 0 0 25 0 1 0 209396562 39186432 9478 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591975 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 9567 9478 66 113 0 9451 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 38268
[startup+102.414 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=912144/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=39632 CPUtime=102.4
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 9859 0 0 0 10235 5 0 0 25 0 1 0 209396562 40583168 9809 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534189 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 9908 9809 66 113 0 9792 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 39632
[startup+162.427 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=908368/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=43420 CPUtime=162.41
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 10801 0 0 0 16234 7 0 0 25 0 1 0 209396562 44462080 10751 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591813 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 10855 10751 66 113 0 10739 0
Current children cumulated CPU time (s) 162.41
Current children cumulated vsize (KiB) 43420
[startup+222.442 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=902800/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=48964 CPUtime=222.42
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 12182 0 0 0 22234 8 0 0 25 0 1 0 209396562 50139136 12132 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591895 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 12241 12132 66 113 0 12125 0
Current children cumulated CPU time (s) 222.42
Current children cumulated vsize (KiB) 48964
[startup+282.454 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=895056/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=56504 CPUtime=282.43
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 14084 0 0 0 28233 10 0 0 25 0 1 0 209396562 57860096 14034 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134535878 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 14126 14034 66 113 0 14010 0
Current children cumulated CPU time (s) 282.43
Current children cumulated vsize (KiB) 56504
[startup+342.465 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=891216/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=60320 CPUtime=342.44
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 15047 0 0 0 34233 11 0 0 25 0 1 0 209396562 61767680 14997 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 15080 14997 66 113 0 14964 0
Current children cumulated CPU time (s) 342.44
Current children cumulated vsize (KiB) 60320
[startup+402.478 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=886544/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=65252 CPUtime=402.45
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 16246 0 0 0 40233 12 0 0 25 0 1 0 209396562 66818048 16196 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591895 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 16313 16196 66 113 0 16197 0
Current children cumulated CPU time (s) 402.45
Current children cumulated vsize (KiB) 65252
[startup+462.491 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=881808/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=69948 CPUtime=462.46
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 17441 0 0 0 46232 14 0 0 25 0 1 0 209396562 71626752 17391 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134513482 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 17487 17391 66 113 0 17371 0
Current children cumulated CPU time (s) 462.46
Current children cumulated vsize (KiB) 69948
[startup+522.504 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=877968/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=73704 CPUtime=522.48
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 18386 0 0 0 52233 15 0 0 25 0 1 0 209396562 75472896 18336 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134513467 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 18426 18336 66 113 0 18310 0
Current children cumulated CPU time (s) 522.48
Current children cumulated vsize (KiB) 73704
[startup+582.522 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=874704/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=76984 CPUtime=582.49
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 19220 0 0 0 58233 16 0 0 25 0 1 0 209396562 78831616 19170 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534117 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 19246 19170 66 113 0 19130 0
Current children cumulated CPU time (s) 582.49
Current children cumulated vsize (KiB) 76984
[startup+642.532 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=871632/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=80272 CPUtime=642.5
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 19996 0 0 0 64233 17 0 0 25 0 1 0 209396562 82198528 19946 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 20068 19946 66 113 0 19952 0
Current children cumulated CPU time (s) 642.5
Current children cumulated vsize (KiB) 80272
[startup+702.541 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=868496/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=83320 CPUtime=702.51
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 20780 0 0 0 70233 18 0 0 25 0 1 0 209396562 85319680 20730 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 20830 20730 66 113 0 20714 0
Current children cumulated CPU time (s) 702.51
Current children cumulated vsize (KiB) 83320
[startup+762.547 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=863824/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=87784 CPUtime=762.51
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 21919 0 0 0 76232 19 0 0 25 0 1 0 209396562 89890816 21869 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 21946 21869 66 113 0 21830 0
Current children cumulated CPU time (s) 762.51
Current children cumulated vsize (KiB) 87784
[startup+822.564 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=860368/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=91300 CPUtime=822.53
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 22780 0 0 0 82233 20 0 0 25 0 1 0 209396562 93491200 22730 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 22825 22730 66 113 0 22709 0
Current children cumulated CPU time (s) 822.53
Current children cumulated vsize (KiB) 91300
[startup+882.578 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=856144/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=95408 CPUtime=882.54
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 23823 0 0 0 88233 21 0 0 25 0 1 0 209396562 97697792 23773 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 23852 23773 66 113 0 23736 0
Current children cumulated CPU time (s) 882.54
Current children cumulated vsize (KiB) 95408
[startup+942.591 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=851088/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=100564 CPUtime=942.55
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 25099 0 0 0 94232 23 0 0 25 0 1 0 209396562 102977536 25049 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134513467 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 25141 25049 66 113 0 25025 0
Current children cumulated CPU time (s) 942.55
Current children cumulated vsize (KiB) 100564
[startup+1002.6 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=845456/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=106324 CPUtime=1002.55
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 26498 0 0 0 100231 24 0 0 25 0 1 0 209396562 108875776 26448 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 26581 26448 66 113 0 26465 0
Current children cumulated CPU time (s) 1002.55
Current children cumulated vsize (KiB) 106324
[startup+1062.61 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=835408/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=116300 CPUtime=1062.56
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 29008 0 0 0 106229 27 0 0 25 0 1 0 209396562 119091200 28958 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 29075 28958 66 113 0 28959 0
Current children cumulated CPU time (s) 1062.56
Current children cumulated vsize (KiB) 116300
[startup+1122.62 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=827600/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=124040 CPUtime=1122.57
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 30958 0 0 0 112229 28 0 0 25 0 1 0 209396562 127016960 30908 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 31010 30908 66 113 0 30894 0
Current children cumulated CPU time (s) 1122.57
Current children cumulated vsize (KiB) 124040
[startup+1182.64 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=822352/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=129200 CPUtime=1182.58
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 32263 0 0 0 118229 29 0 0 25 0 1 0 209396562 132300800 32213 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 32300 32213 66 113 0 32184 0
Current children cumulated CPU time (s) 1182.58
Current children cumulated vsize (KiB) 129200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.05 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=820624/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=131072 CPUtime=1200
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 32688 0 0 0 119970 30 0 0 25 0 1 0 209396562 134217728 32638 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134513482 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 32768 32638 66 113 0 32652 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 131072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.05 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 30092
/proc/meminfo: memFree=820624/2055920 swapFree=4192812/4192956
[pid=30091] ppid=30089 vsize=131072 CPUtime=1200
/proc/30091/stat : 30091 (tts-4-0) R 30089 30091 29374 0 -1 4194304 32688 0 0 0 119970 30 0 0 25 0 1 0 209396562 134217728 32638 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134513482 0 0 4096 0 0 0 0 17 1 0 0
/proc/30091/statm: 32768 32638 66 113 0 32652 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 131072
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.03
CPU user time (s): 1199.71
CPU system time (s): 0.32495
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 131072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.71
system time used= 0.32495
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32688
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= 1251
runsolver used 1.39779 second user time and 2.69159 second system time
The end
Begin job on node16 on Mon Feb 19 14:13:42 UTC 2007
IDJOB= 300236
IDBENCH= 20030
IDSOLVER= 98
FILE ID= node16/300236-1171894422
PBS_JOBID= 3848814
Free space on /tmp= 66549 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S2109328271-14.cnf
COMMAND LINE= /tmp/evaluation/300236-1171894422/tts-4-0 /tmp/evaluation/300236-1171894422/instance-300236-1171894422.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-300236-1171894422 -o ROOT/results/node16/solver-300236-1171894422 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300236-1171894422/tts-4-0 /tmp/evaluation/300236-1171894422/instance-300236-1171894422.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 284c02329948728fca9d8117efd00015
RANDOM SEED= 287994597
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node16.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.281
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.281
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: 951984 kB
Buffers: 69704 kB
Cached: 900996 kB
SwapCached: 0 kB
Active: 354556 kB
Inactive: 669708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 951984 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1008 kB
Writeback: 0 kB
Mapped: 72440 kB
Slab: 65388 kB
Committed_AS: 943304 kB
PageTables: 1720 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 node16 on Mon Feb 19 14:33:44 UTC 2007