runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-297204-1171834835 -o ROOT/results/node75/solver-297204-1171834835 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297204-1171834835/tinisat /tmp/evaluation/297204-1171834835/instance-297204-1171834835.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.92 0.98 0.99 3/64 21571
/proc/meminfo: memFree=714152/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=716 CPUtime=0
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 203449367 733184 89 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134629133 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 179 89 48 110 0 66 0
[startup+0.107548 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21571
/proc/meminfo: memFree=714152/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=1528 CPUtime=0.1
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 271 0 0 0 10 0 0 0 21 0 1 0 203449367 1564672 255 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519970 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 382 255 52 110 0 269 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1528
[startup+0.515595 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 21571
/proc/meminfo: memFree=714152/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=2364 CPUtime=0.51
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 405 0 0 0 51 0 0 0 25 0 1 0 203449367 2420736 389 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519858 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 591 389 52 110 0 478 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2364
[startup+1.33669 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 21572
/proc/meminfo: memFree=712096/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=4172 CPUtime=1.33
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 635 0 0 0 133 0 0 0 25 0 1 0 203449367 4272128 619 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519927 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 1043 619 52 110 0 930 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 4172
[startup+2.97789 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 21572
/proc/meminfo: memFree=710944/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=4440 CPUtime=2.97
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 939 0 0 0 297 0 0 0 25 0 1 0 203449367 4546560 923 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519932 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 1110 923 52 110 0 997 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 4440
[startup+6.25427 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 21572
/proc/meminfo: memFree=709152/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=8180 CPUtime=6.24
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 1356 0 0 0 624 0 0 0 25 0 1 0 203449367 8376320 1307 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 2045 1307 52 110 0 1932 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 8180
[startup+12.709 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 21572
/proc/meminfo: memFree=706976/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=8740 CPUtime=12.7
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 1842 0 0 0 1269 1 0 0 25 0 1 0 203449367 8949760 1793 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 2185 1793 52 110 0 2072 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 8740
[startup+25.6106 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 21572
/proc/meminfo: memFree=704352/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=16296 CPUtime=25.59
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 2575 0 0 0 2558 1 0 0 25 0 1 0 203449367 16687104 2461 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134520134 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 4074 2461 52 110 0 3961 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 16296
[startup+51.2216 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 21572
/proc/meminfo: memFree=700960/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=16744 CPUtime=51.19
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 3402 0 0 0 5117 2 0 0 25 0 1 0 203449367 17145856 3288 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 4186 3288 52 110 0 4073 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 16744
[startup+102.432 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 21572
/proc/meminfo: memFree=695584/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=32344 CPUtime=102.39
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 4874 0 0 0 10236 3 0 0 25 0 1 0 203449367 33120256 4631 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 8086 4631 52 110 0 7973 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 32344
[startup+162.455 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=691040/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=33536 CPUtime=162.39
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 5978 0 0 0 16235 4 0 0 25 0 1 0 203449367 34340864 5735 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 8384 5735 52 110 0 8271 0
Current children cumulated CPU time (s) 162.39
Current children cumulated vsize (KiB) 33536
[startup+222.476 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=687456/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=33668 CPUtime=222.4
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 6851 0 0 0 22234 6 0 0 25 0 1 0 203449367 34476032 6608 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 8417 6608 52 110 0 8304 0
Current children cumulated CPU time (s) 222.4
Current children cumulated vsize (KiB) 33668
[startup+282.496 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=684256/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=34124 CPUtime=282.4
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 7654 0 0 0 28234 6 0 0 25 0 1 0 203449367 34942976 7411 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519934 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 8531 7411 52 110 0 8418 0
Current children cumulated CPU time (s) 282.4
Current children cumulated vsize (KiB) 34124
[startup+342.511 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=680672/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=35564 CPUtime=342.4
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 8543 0 0 0 34233 7 0 0 25 0 1 0 203449367 36417536 8300 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 8891 8300 52 110 0 8778 0
Current children cumulated CPU time (s) 342.4
Current children cumulated vsize (KiB) 35564
[startup+402.535 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=677472/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=64276 CPUtime=402.41
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 9548 0 0 0 40233 8 0 0 25 0 1 0 203449367 65818624 9048 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 16069 9048 52 110 0 15956 0
Current children cumulated CPU time (s) 402.41
Current children cumulated vsize (KiB) 64276
[startup+462.555 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=674912/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=65064 CPUtime=462.41
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 10262 0 0 0 46233 8 0 0 25 0 1 0 203449367 66625536 9729 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 16266 9729 52 110 0 16153 0
Current children cumulated CPU time (s) 462.41
Current children cumulated vsize (KiB) 65064
[startup+522.576 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=672480/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=65976 CPUtime=522.41
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 10920 0 0 0 52232 9 0 0 25 0 1 0 203449367 67559424 10354 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519898 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 16494 10354 52 110 0 16381 0
Current children cumulated CPU time (s) 522.41
Current children cumulated vsize (KiB) 65976
[startup+582.597 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=670496/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=65976 CPUtime=582.41
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 11397 0 0 0 58232 9 0 0 25 0 1 0 203449367 67559424 10831 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 16494 10831 52 110 0 16381 0
Current children cumulated CPU time (s) 582.41
Current children cumulated vsize (KiB) 65976
[startup+642.619 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=668384/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=66368 CPUtime=642.42
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 11961 0 0 0 64232 10 0 0 25 0 1 0 203449367 67960832 11362 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 16592 11362 52 110 0 16479 0
Current children cumulated CPU time (s) 642.42
Current children cumulated vsize (KiB) 66368
[startup+702.639 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=666336/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=67148 CPUtime=702.42
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 12537 0 0 0 70232 10 0 0 25 0 1 0 203449367 68759552 11872 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134520116 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 16787 11872 52 110 0 16674 0
Current children cumulated CPU time (s) 702.42
Current children cumulated vsize (KiB) 67148
[startup+762.656 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=664480/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=67404 CPUtime=762.42
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 13059 0 0 0 76231 11 0 0 25 0 1 0 203449367 69021696 12328 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 16851 12328 52 110 0 16738 0
Current children cumulated CPU time (s) 762.42
Current children cumulated vsize (KiB) 67404
[startup+822.68 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=662624/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=68044 CPUtime=822.43
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 13674 0 0 0 82231 12 0 0 25 0 1 0 203449367 69677056 12778 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 17011 12778 52 110 0 16898 0
Current children cumulated CPU time (s) 822.43
Current children cumulated vsize (KiB) 68044
[startup+882.696 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=660704/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=68956 CPUtime=882.42
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 14230 0 0 0 88230 12 0 0 25 0 1 0 203449367 70610944 13268 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519888 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 17239 13268 52 110 0 17126 0
Current children cumulated CPU time (s) 882.42
Current children cumulated vsize (KiB) 68956
[startup+942.715 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=659104/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=69220 CPUtime=942.43
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 14643 0 0 0 94230 13 0 0 25 0 1 0 203449367 70881280 13681 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519870 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 17305 13681 52 110 0 17192 0
Current children cumulated CPU time (s) 942.43
Current children cumulated vsize (KiB) 69220
[startup+1002.73 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=657504/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=69352 CPUtime=1002.43
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 15042 0 0 0 100230 13 0 0 25 0 1 0 203449367 71016448 14080 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 17338 14080 52 110 0 17225 0
Current children cumulated CPU time (s) 1002.43
Current children cumulated vsize (KiB) 69352
[startup+1062.76 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=655840/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=69616 CPUtime=1062.43
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 15461 0 0 0 106229 14 0 0 25 0 1 0 203449367 71286784 14499 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 17404 14499 52 110 0 17291 0
Current children cumulated CPU time (s) 1062.43
Current children cumulated vsize (KiB) 69616
[startup+1122.78 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=654176/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=69616 CPUtime=1122.43
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 15862 0 0 0 112229 14 0 0 25 0 1 0 203449367 71286784 14900 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 17404 14900 52 110 0 17291 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 69616
[startup+1182.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=652768/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=69616 CPUtime=1182.44
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 16228 0 0 0 118230 14 0 0 25 0 1 0 203449367 71286784 15266 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134518568 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 17404 15266 52 110 0 17291 0
Current children cumulated CPU time (s) 1182.44
Current children cumulated vsize (KiB) 69616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.41 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21572
/proc/meminfo: memFree=652256/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=69748 CPUtime=1200.05
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 16355 0 0 0 119991 14 0 0 25 0 1 0 203449367 71421952 15393 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134520074 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 17437 15393 52 110 0 17324 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 69748
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.98 0.99 2/65 21572
/proc/meminfo: memFree=652256/2055920 swapFree=4183176/4192956
[pid=21571] ppid=21569 vsize=69748 CPUtime=1200.05
/proc/21571/stat : 21571 (tinisat) R 21569 21571 20775 0 -1 4194304 16355 0 0 0 119991 14 0 0 25 0 1 0 203449367 71421952 15393 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134520074 0 0 4096 0 0 0 0 17 1 0 0
/proc/21571/statm: 17437 15393 52 110 0 17324 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 69748
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.43
CPU time (s): 1200.07
CPU user time (s): 1199.91
CPU system time (s): 0.158975
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 69748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.91
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16355
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= 1070
runsolver used 0.71889 second user time and 2.48862 second system time
The end
Begin job on node75 on Sun Feb 18 21:40:35 UTC 2007
IDJOB= 297204
IDBENCH= 19956
IDSOLVER= 100
FILE ID= node75/297204-1171834835
PBS_JOBID= 3839707
Free space on /tmp= 66563 MiB
SOLVER NAME= tinisat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v75/unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/297204-1171834835/tinisat /tmp/evaluation/297204-1171834835/instance-297204-1171834835.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-297204-1171834835 -o ROOT/results/node75/solver-297204-1171834835 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297204-1171834835/tinisat /tmp/evaluation/297204-1171834835/instance-297204-1171834835.cnf
META MD5SUM SOLVER= 15788d06198cf45d0201cced774790cd
MD5SUM BENCH= 49b72effc87397af56532dec8a547366
RANDOM SEED= 166842903
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node75.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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 714624 kB
Buffers: 49852 kB
Cached: 1169208 kB
SwapCached: 3920 kB
Active: 817816 kB
Inactive: 411036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 714624 kB
SwapTotal: 4192956 kB
SwapFree: 4183176 kB
Dirty: 692 kB
Writeback: 0 kB
Mapped: 15632 kB
Slab: 98384 kB
Committed_AS: 606140 kB
PageTables: 1432 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= 66563 MiB
End job on node75 on Sun Feb 18 22:00:38 UTC 2007