runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-309183-1172535823 -o ROOT/results/node2/solver-309183-1172535823 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/309183-1172535823/mxc /tmp/evaluation/309183-1172535823/instance-309183-1172535823.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: 8.05 7.08 4.32 3/77 24719
/proc/meminfo: memFree=1726272/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=1200 CPUtime=0
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 160 0 0 0 0 0 0 0 18 0 1 0 273537250 1228800 144 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519631 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 300 144 57 122 0 174 0
[startup+0.107551 s]
/proc/loadavg: 8.05 7.08 4.32 3/77 24719
/proc/meminfo: memFree=1726272/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=1340 CPUtime=0.1
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 230 0 0 0 10 0 0 0 18 0 1 0 273537250 1372160 212 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 335 212 67 122 0 209 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1340
[startup+0.515594 s]
/proc/loadavg: 8.05 7.08 4.32 3/77 24719
/proc/meminfo: memFree=1726272/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=1592 CPUtime=0.51
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 275 0 0 0 51 0 0 0 21 0 1 0 273537250 1630208 257 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 398 257 67 122 0 272 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 1592
[startup+1.33568 s]
/proc/loadavg: 7.49 6.98 4.31 2/78 24720
/proc/meminfo: memFree=1725368/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=1724 CPUtime=1.33
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 318 0 0 0 133 0 0 0 25 0 1 0 273537250 1765376 300 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134530893 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 431 300 67 122 0 305 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 1724
[startup+2.97786 s]
/proc/loadavg: 7.49 6.98 4.31 2/78 24720
/proc/meminfo: memFree=1725112/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=1960 CPUtime=2.97
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 365 0 0 0 297 0 0 0 25 0 1 0 273537250 2007040 347 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519212 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 490 347 67 122 0 364 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 1960
[startup+6.25419 s]
/proc/loadavg: 6.97 6.88 4.29 2/78 24720
/proc/meminfo: memFree=1724792/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=2092 CPUtime=6.25
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 415 0 0 0 625 0 0 0 25 0 1 0 273537250 2142208 397 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519261 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 523 397 67 122 0 397 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 2092
[startup+12.7099 s]
/proc/loadavg: 6.49 6.78 4.27 2/78 24720
/proc/meminfo: memFree=1724344/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=2472 CPUtime=12.7
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 488 0 0 0 1270 0 0 0 25 0 1 0 273537250 2531328 470 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134529970 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 618 470 67 122 0 492 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 2472
[startup+25.5122 s]
/proc/loadavg: 5.64 6.59 4.24 2/78 24720
/proc/meminfo: memFree=1724024/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=2708 CPUtime=25.49
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 566 0 0 0 2549 0 0 0 25 0 1 0 273537250 2772992 548 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134529790 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 677 548 67 122 0 551 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2708
[startup+51.1229 s]
/proc/loadavg: 3.81 6.06 4.13 2/78 24720
/proc/meminfo: memFree=1723576/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=3180 CPUtime=51.1
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 680 0 0 0 5110 0 0 0 25 0 1 0 273537250 3256320 662 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519534 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 795 662 67 122 0 669 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 3180
[startup+102.339 s]
/proc/loadavg: 2.26 5.29 3.97 2/78 24720
/proc/meminfo: memFree=1723000/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=3692 CPUtime=102.3
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 818 0 0 0 10230 0 0 0 25 0 1 0 273537250 3780608 800 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519927 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 923 800 67 122 0 797 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 3692
[startup+162.372 s]
/proc/loadavg: 1.46 4.51 3.78 2/78 24720
/proc/meminfo: memFree=1722552/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=4212 CPUtime=162.32
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 924 0 0 0 16231 1 0 0 25 0 1 0 273537250 4313088 906 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134528293 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1053 906 67 122 0 927 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 4212
[startup+222.398 s]
/proc/loadavg: 1.17 3.87 3.60 2/78 24720
/proc/meminfo: memFree=1722168/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=4548 CPUtime=222.33
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1013 0 0 0 22231 2 0 0 25 0 1 0 273537250 4657152 995 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1137 995 67 122 0 1011 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 4548
[startup+282.428 s]
/proc/loadavg: 1.06 3.34 3.44 2/78 24720
/proc/meminfo: memFree=1721848/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=4936 CPUtime=282.34
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1104 0 0 0 28232 2 0 0 25 0 1 0 273537250 5054464 1086 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1234 1086 67 122 0 1108 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 4936
[startup+342.455 s]
/proc/loadavg: 1.02 2.91 3.28 2/78 24720
/proc/meminfo: memFree=1721656/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=4980 CPUtime=342.36
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1126 0 0 0 34233 3 0 0 25 0 1 0 273537250 5099520 1108 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519890 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1245 1108 67 122 0 1119 0
Current children cumulated CPU time (s) 342.36
Current children cumulated vsize (KiB) 4980
[startup+402.482 s]
/proc/loadavg: 1.01 2.56 3.14 2/78 24720
/proc/meminfo: memFree=1721400/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=5204 CPUtime=402.37
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1189 0 0 0 40233 4 0 0 25 0 1 0 273537250 5328896 1171 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1301 1171 67 122 0 1175 0
Current children cumulated CPU time (s) 402.37
Current children cumulated vsize (KiB) 5204
[startup+462.51 s]
/proc/loadavg: 1.00 2.28 3.00 2/78 24720
/proc/meminfo: memFree=1721080/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=5460 CPUtime=462.38
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1258 0 0 0 46234 4 0 0 25 0 1 0 273537250 5591040 1240 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1365 1240 67 122 0 1239 0
Current children cumulated CPU time (s) 462.38
Current children cumulated vsize (KiB) 5460
[startup+522.539 s]
/proc/loadavg: 1.00 2.04 2.87 2/78 24720
/proc/meminfo: memFree=1721016/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=5584 CPUtime=522.4
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1280 0 0 0 52235 5 0 0 25 0 1 0 273537250 5718016 1262 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519605 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1396 1262 67 122 0 1270 0
Current children cumulated CPU time (s) 522.4
Current children cumulated vsize (KiB) 5584
[startup+582.566 s]
/proc/loadavg: 1.00 1.85 2.75 2/78 24720
/proc/meminfo: memFree=1720888/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=5700 CPUtime=582.41
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1308 0 0 0 58236 5 0 0 25 0 1 0 273537250 5836800 1290 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1425 1290 67 122 0 1299 0
Current children cumulated CPU time (s) 582.41
Current children cumulated vsize (KiB) 5700
[startup+642.6 s]
/proc/loadavg: 1.00 1.69 2.64 2/78 24720
/proc/meminfo: memFree=1720760/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=5916 CPUtime=642.43
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1351 0 0 0 64237 6 0 0 25 0 1 0 273537250 6057984 1333 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519232 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1479 1333 67 122 0 1353 0
Current children cumulated CPU time (s) 642.43
Current children cumulated vsize (KiB) 5916
[startup+702.632 s]
/proc/loadavg: 1.00 1.56 2.53 2/78 24720
/proc/meminfo: memFree=1720632/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=5980 CPUtime=702.44
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1372 0 0 0 70237 7 0 0 25 0 1 0 273537250 6123520 1354 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519964 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1495 1354 67 122 0 1369 0
Current children cumulated CPU time (s) 702.44
Current children cumulated vsize (KiB) 5980
[startup+762.661 s]
/proc/loadavg: 1.00 1.46 2.44 2/78 24720
/proc/meminfo: memFree=1720504/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=6044 CPUtime=762.45
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1401 0 0 0 76238 7 0 0 25 0 1 0 273537250 6189056 1383 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519232 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1511 1383 67 122 0 1385 0
Current children cumulated CPU time (s) 762.45
Current children cumulated vsize (KiB) 6044
[startup+822.693 s]
/proc/loadavg: 1.00 1.37 2.34 2/78 24720
/proc/meminfo: memFree=1720440/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=6156 CPUtime=822.47
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1419 0 0 0 82239 8 0 0 25 0 1 0 273537250 6303744 1401 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519890 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1539 1401 67 122 0 1413 0
Current children cumulated CPU time (s) 822.47
Current children cumulated vsize (KiB) 6156
[startup+882.72 s]
/proc/loadavg: 1.00 1.30 2.26 2/78 24720
/proc/meminfo: memFree=1720312/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=6240 CPUtime=882.48
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1444 0 0 0 88240 8 0 0 25 0 1 0 273537250 6389760 1426 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134703149 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1560 1426 67 122 0 1434 0
Current children cumulated CPU time (s) 882.48
Current children cumulated vsize (KiB) 6240
[startup+942.75 s]
/proc/loadavg: 1.00 1.24 2.17 2/78 24720
/proc/meminfo: memFree=1720248/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=6336 CPUtime=942.5
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1466 0 0 0 94241 9 0 0 25 0 1 0 273537250 6488064 1448 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519890 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1584 1448 67 122 0 1458 0
Current children cumulated CPU time (s) 942.5
Current children cumulated vsize (KiB) 6336
[startup+1002.78 s]
/proc/loadavg: 1.00 1.20 2.10 2/78 24720
/proc/meminfo: memFree=1720120/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=6660 CPUtime=1002.51
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1540 0 0 0 100242 9 0 0 25 0 1 0 273537250 6819840 1522 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1665 1522 67 122 0 1539 0
Current children cumulated CPU time (s) 1002.51
Current children cumulated vsize (KiB) 6660
[startup+1062.82 s]
/proc/loadavg: 1.00 1.16 2.03 2/78 24720
/proc/meminfo: memFree=1719928/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=6740 CPUtime=1062.54
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1576 0 0 0 106244 10 0 0 25 0 1 0 273537250 6901760 1558 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519785 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1685 1558 67 122 0 1559 0
Current children cumulated CPU time (s) 1062.54
Current children cumulated vsize (KiB) 6740
[startup+1122.85 s]
/proc/loadavg: 1.00 1.13 1.96 2/78 24722
/proc/meminfo: memFree=1719864/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=6848 CPUtime=1122.56
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1593 0 0 0 112245 11 0 0 25 0 1 0 273537250 7012352 1575 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134529871 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1712 1575 67 122 0 1586 0
Current children cumulated CPU time (s) 1122.56
Current children cumulated vsize (KiB) 6848
[startup+1182.88 s]
/proc/loadavg: 1.00 1.10 1.90 2/78 24722
/proc/meminfo: memFree=1719800/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=6944 CPUtime=1182.56
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1612 0 0 0 118245 11 0 0 25 0 1 0 273537250 7110656 1594 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519220 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1736 1594 67 122 0 1610 0
Current children cumulated CPU time (s) 1182.56
Current children cumulated vsize (KiB) 6944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.09 1.88 2/78 24722
/proc/meminfo: memFree=1719736/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=6944 CPUtime=1200.08
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1616 0 0 0 119997 11 0 0 25 0 1 0 273537250 7110656 1598 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519927 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1736 1598 67 122 0 1610 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 6944
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.4 s]
/proc/loadavg: 1.00 1.09 1.88 2/78 24722
/proc/meminfo: memFree=1719736/2055920 swapFree=4192812/4192956
[pid=24719] ppid=24717 vsize=6944 CPUtime=1200.08
/proc/24719/stat : 24719 (mxc) R 24717 24719 23655 0 -1 4194304 1616 0 0 0 119997 11 0 0 25 0 1 0 273537250 7110656 1598 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519927 0 0 4096 0 0 0 0 17 1 0 0
/proc/24719/statm: 1736 1598 67 122 0 1610 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 6944
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.41
CPU time (s): 1200.1
CPU user time (s): 1199.98
CPU system time (s): 0.121981
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 6944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.98
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1616
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= 1609
runsolver used 1.38879 second user time and 2.70159 second system time
The end
Begin job on node2 on Tue Feb 27 00:23:43 UTC 2007
IDJOB= 309183
IDBENCH= 20252
IDSOLVER= 107
FILE ID= node2/309183-1172535823
PBS_JOBID= 3971620
Free space on /tmp= 66557 MiB
SOLVER NAME= MXC 2007-02-08
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/309183-1172535823/mxc /tmp/evaluation/309183-1172535823/instance-309183-1172535823.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-309183-1172535823 -o ROOT/results/node2/solver-309183-1172535823 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/309183-1172535823/mxc /tmp/evaluation/309183-1172535823/instance-309183-1172535823.cnf
META MD5SUM SOLVER= fd459248d3e92e664505cc2f0f683bf4
MD5SUM BENCH= 34e015d71ca89279387818ff6cfa3db2
RANDOM SEED= 195275992
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node2.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.247
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.247
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: 1726744 kB
Buffers: 40456 kB
Cached: 174832 kB
SwapCached: 0 kB
Active: 240728 kB
Inactive: 34732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1726744 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 652 kB
Writeback: 0 kB
Mapped: 79052 kB
Slab: 39224 kB
Committed_AS: 1280740 kB
PageTables: 1812 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= 66557 MiB
End job on node2 on Tue Feb 27 00:43:46 UTC 2007