runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-309182-1172535781 -o ROOT/results/node75/solver-309182-1172535781 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/309182-1172535781/picosat /tmp/evaluation/309182-1172535781/instance-309182-1172535781.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 13592
/proc/meminfo: memFree=1878464/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=568 CPUtime=0
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 81 0 0 0 0 0 0 0 18 0 1 0 273543925 581632 66 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 142 67 40 102 0 37 0
[startup+0.107375 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13592
/proc/meminfo: memFree=1878464/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=840 CPUtime=0.09
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 160 0 0 0 8 1 0 0 18 0 1 0 273543925 860160 143 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134520261 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 210 143 48 102 0 105 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 840
[startup+0.515424 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13592
/proc/meminfo: memFree=1878464/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=964 CPUtime=0.5
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 170 0 0 0 49 1 0 0 22 0 1 0 273543925 987136 153 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525858 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 241 153 48 102 0 136 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 964
[startup+1.33552 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 13593
/proc/meminfo: memFree=1878008/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=964 CPUtime=1.32
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 185 0 0 0 131 1 0 0 25 0 1 0 273543925 987136 168 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 241 168 48 102 0 136 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 964
[startup+2.97672 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 13593
/proc/meminfo: memFree=1877816/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=1092 CPUtime=2.96
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 205 0 0 0 295 1 0 0 25 0 1 0 273543925 1118208 188 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134529686 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 273 188 48 102 0 168 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 1092
[startup+6.2521 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 13593
/proc/meminfo: memFree=1877624/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=1216 CPUtime=6.24
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 239 0 0 0 623 1 0 0 25 0 1 0 273543925 1245184 222 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 304 222 48 102 0 199 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 1216
[startup+12.7059 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 13593
/proc/meminfo: memFree=1877432/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=1356 CPUtime=12.7
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 272 0 0 0 1268 2 0 0 25 0 1 0 273543925 1388544 255 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134522936 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 339 255 48 102 0 234 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1356
[startup+25.5064 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 13593
/proc/meminfo: memFree=1877176/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=1592 CPUtime=25.49
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 339 0 0 0 2547 2 0 0 25 0 1 0 273543925 1630208 322 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525921 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 398 322 48 102 0 293 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1592
[startup+51.1124 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 13593
/proc/meminfo: memFree=1876856/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=1836 CPUtime=51.09
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 407 0 0 0 5107 2 0 0 25 0 1 0 273543925 1880064 390 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134529719 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 459 390 48 102 0 354 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1836
[startup+102.321 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 13593
/proc/meminfo: memFree=1876344/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=2308 CPUtime=102.29
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 519 0 0 0 10227 2 0 0 25 0 1 0 273543925 2363392 502 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525921 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 577 502 48 102 0 472 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 2308
[startup+162.342 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13593
/proc/meminfo: memFree=1875960/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=2624 CPUtime=162.29
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 616 0 0 0 16227 2 0 0 25 0 1 0 273543925 2686976 588 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 656 588 48 102 0 551 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2624
[startup+222.359 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13593
/proc/meminfo: memFree=1875768/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=2884 CPUtime=222.29
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 669 0 0 0 22227 2 0 0 25 0 1 0 273543925 2953216 631 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 721 631 48 102 0 616 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2884
[startup+282.377 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13593
/proc/meminfo: memFree=1875512/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=3140 CPUtime=282.29
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 752 0 0 0 28227 2 0 0 25 0 1 0 273543925 3215360 698 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134530198 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 785 698 48 102 0 680 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 3140
[startup+342.392 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 13593
/proc/meminfo: memFree=1875320/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=3320 CPUtime=342.29
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 816 0 0 0 34226 3 0 0 25 0 1 0 273543925 3399680 743 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525828 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 830 743 48 102 0 725 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 3320
[startup+402.414 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 13593
/proc/meminfo: memFree=1875064/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=3440 CPUtime=402.3
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 862 0 0 0 40227 3 0 0 25 0 1 0 273543925 3522560 778 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134549502 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 860 778 48 102 0 755 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 3440
[startup+462.431 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 13593
/proc/meminfo: memFree=1875000/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=3572 CPUtime=462.3
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 899 0 0 0 46227 3 0 0 25 0 1 0 273543925 3657728 813 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134597633 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 893 813 48 102 0 788 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 3572
[startup+522.446 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13593
/proc/meminfo: memFree=1874808/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=3724 CPUtime=522.29
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 995 0 0 0 52226 3 0 0 25 0 1 0 273543925 3813376 853 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 931 853 48 102 0 826 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 3724
[startup+582.462 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13593
/proc/meminfo: memFree=1874552/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=3944 CPUtime=582.3
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1080 0 0 0 58227 3 0 0 25 0 1 0 273543925 4038656 908 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525870 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 986 908 48 102 0 881 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 3944
[startup+642.48 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13593
/proc/meminfo: memFree=1874616/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=3940 CPUtime=642.29
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1081 0 0 0 64226 3 0 0 25 0 1 0 273543925 4034560 908 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134529170 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 985 908 48 102 0 880 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 3940
[startup+702.499 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13593
/proc/meminfo: memFree=1874488/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=3952 CPUtime=702.3
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1106 0 0 0 70227 3 0 0 25 0 1 0 273543925 4046848 913 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525823 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 988 913 48 102 0 883 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 3952
[startup+762.517 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13593
/proc/meminfo: memFree=1874488/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=4016 CPUtime=762.3
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1123 0 0 0 76227 3 0 0 25 0 1 0 273543925 4112384 930 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 1004 930 48 102 0 899 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 4016
[startup+822.538 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13593
/proc/meminfo: memFree=1874424/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=4148 CPUtime=822.31
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1159 0 0 0 82227 4 0 0 25 0 1 0 273543925 4247552 955 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 1037 955 48 102 0 932 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 4148
[startup+882.551 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13593
/proc/meminfo: memFree=1874232/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=4232 CPUtime=882.3
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1186 0 0 0 88226 4 0 0 25 0 1 0 273543925 4333568 982 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 1058 982 48 102 0 953 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 4232
[startup+942.569 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13593
/proc/meminfo: memFree=1873976/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=4368 CPUtime=942.3
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1253 0 0 0 94226 4 0 0 25 0 1 0 273543925 4472832 1021 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134524060 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 1092 1021 48 102 0 987 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 4368
[startup+1002.59 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13593
/proc/meminfo: memFree=1874040/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=4376 CPUtime=1002.3
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1262 0 0 0 100226 4 0 0 25 0 1 0 273543925 4481024 1026 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525921 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 1094 1026 48 102 0 989 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 4376
[startup+1062.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13595
/proc/meminfo: memFree=1873976/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=4380 CPUtime=1062.31
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1285 0 0 0 106227 4 0 0 25 0 1 0 273543925 4485120 1027 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525847 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 1095 1027 48 102 0 990 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 4380
[startup+1122.62 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13595
/proc/meminfo: memFree=1873912/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=4524 CPUtime=1122.31
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1326 0 0 0 112226 5 0 0 25 0 1 0 273543925 4632576 1059 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 1131 1059 48 102 0 1026 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 4524
[startup+1182.64 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13595
/proc/meminfo: memFree=1873912/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=4520 CPUtime=1182.32
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1332 0 0 0 118227 5 0 0 25 0 1 0 273543925 4628480 1064 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 1130 1064 48 102 0 1025 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 4520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13595
/proc/meminfo: memFree=1873656/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=4800 CPUtime=1200.04
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1397 0 0 0 119999 5 0 0 25 0 1 0 273543925 4915200 1129 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525828 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 1200 1129 48 102 0 1095 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 4800
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13595
/proc/meminfo: memFree=1873656/2055920 swapFree=4183048/4192956
[pid=13592] ppid=13590 vsize=4800 CPUtime=1200.04
/proc/13592/stat : 13592 (picosat) R 13590 13592 12824 0 -1 4194304 1397 0 0 0 119999 5 0 0 25 0 1 0 273543925 4915200 1129 18446744073709551615 134512640 134931368 4294956704 18446744073709551615 134525828 0 0 4096 0 0 0 0 17 1 0 0
/proc/13592/statm: 1200 1129 48 102 0 1095 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 4800
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.37
CPU time (s): 1200.05
CPU user time (s): 1199.99
CPU system time (s): 0.053991
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 4808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.99
system time used= 0.053991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1397
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= 1006
runsolver used 0.836872 second user time and 2.37364 second system time
The end
Begin job on node75 on Tue Feb 27 00:23:01 UTC 2007
IDJOB= 309182
IDBENCH= 20252
IDSOLVER= 106
FILE ID= node75/309182-1172535781
PBS_JOBID= 3971820
Free space on /tmp= 66559 MiB
SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v990/unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/309182-1172535781/picosat /tmp/evaluation/309182-1172535781/instance-309182-1172535781.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-309182-1172535781 -o ROOT/results/node75/solver-309182-1172535781 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/309182-1172535781/picosat /tmp/evaluation/309182-1172535781/instance-309182-1172535781.cnf
META MD5SUM SOLVER= 1cb12d44dc66ecc4d20a168f5cfd1323
MD5SUM BENCH= 34e015d71ca89279387818ff6cfa3db2
RANDOM SEED= 549920530
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: 1878936 kB
Buffers: 26084 kB
Cached: 114488 kB
SwapCached: 3928 kB
Active: 67752 kB
Inactive: 82648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1878936 kB
SwapTotal: 4192956 kB
SwapFree: 4183048 kB
Dirty: 524 kB
Writeback: 0 kB
Mapped: 15436 kB
Slab: 12552 kB
Committed_AS: 728120 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= 66559 MiB
End job on node75 on Tue Feb 27 00:43:03 UTC 2007