0.00/0.00 c Parsing...
0.03/0.06 c ==============================================================================
0.03/0.06 c | | ORIGINAL | LEARNT | |
0.03/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.03/0.06 c ==============================================================================
0.03/0.06 c | 0 | 91646 272553 | 27493 0 0 nan | 0.000 % |
0.59/0.66 c | 0 | 90841 386353 | -- 0 -- -- | -- | -805/113800
0.59/0.66 c ==============================================================================
0.59/0.66 c Result : #vars: 958 #clauses: 90841 #literals: 386353
0.59/0.66 c CPU time: 0.640902 s
0.59/0.66 c ==============================================================================
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774956-1241293046/watcher-1774956-1241293046 -o /tmp/evaluation-result-1774956-1241293046/solver-1774956-1241293046 -C 10000 -W 12000 -M 1800 manysat.sh HOME/instance-1774956-1241293046.cnf aimd 1
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.99 3.94 3.82 3/64 23822
/proc/meminfo: memFree=1212784/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157338321 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23822/statm: 1339 235 195 169 0 50 0
[pid=23823] ppid=23822 vsize=1388 CPUtime=0
/proc/23823/stat : 23823 (SatElite) R 23822 23822 23719 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 157338321 1421312 233 1992294400 134512640 135034092 4294956112 18446744073709551615 134691005 0 0 4096 3 0 0 0 17 1 0 0
/proc/23823/statm: 347 234 50 127 0 217 0
[startup+0.048626 s]
/proc/loadavg: 3.99 3.94 3.82 3/64 23822
/proc/meminfo: memFree=1212784/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157338321 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23822/statm: 1339 235 195 169 0 50 0
[pid=23823] ppid=23822 vsize=4524 CPUtime=0.03
/proc/23823/stat : 23823 (SatElite) R 23822 23822 23719 0 -1 4194304 990 0 0 0 3 0 0 0 18 0 1 0 157338321 4632576 974 1992294400 134512640 135034092 4294956112 18446744073709551615 134691005 0 0 4096 3 0 0 0 17 1 0 0
/proc/23823/statm: 1131 975 50 127 0 1001 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9880
[startup+0.10263 s]
/proc/loadavg: 3.99 3.94 3.82 3/64 23822
/proc/meminfo: memFree=1212784/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157338321 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23822/statm: 1339 235 195 169 0 50 0
[pid=23823] ppid=23822 vsize=7664 CPUtime=0.09
/proc/23823/stat : 23823 (SatElite) R 23822 23822 23719 0 -1 4194304 1809 0 0 0 8 1 0 0 18 0 1 0 157338321 7847936 1793 1992294400 134512640 135034092 4294956112 18446744073709551615 134673244 0 0 4096 3 0 0 0 17 1 0 0
/proc/23823/statm: 1916 1793 68 127 0 1786 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13020
[startup+0.301651 s]
/proc/loadavg: 3.99 3.94 3.82 3/64 23822
/proc/meminfo: memFree=1212784/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157338321 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23822/statm: 1339 235 195 169 0 50 0
[pid=23823] ppid=23822 vsize=10184 CPUtime=0.29
/proc/23823/stat : 23823 (SatElite) R 23822 23822 23719 0 -1 4194304 2402 0 0 0 28 1 0 0 19 0 1 0 157338321 10428416 2386 1992294400 134512640 135034092 4294956112 18446744073709551615 134569526 0 0 4096 3 0 0 0 17 1 0 0
/proc/23823/statm: 2546 2386 68 127 0 2416 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15540
[startup+0.701697 s]
/proc/loadavg: 3.99 3.94 3.82 3/64 23822
/proc/meminfo: memFree=1212784/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157338321 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23822/statm: 1339 235 195 169 0 50 0
[pid=23823] ppid=23822 vsize=9420 CPUtime=0.68
/proc/23823/stat : 23823 (SatElite) R 23822 23822 23719 0 -1 4194304 2404 0 0 0 67 1 0 0 23 0 1 0 157338321 9646080 2209 1992294400 134512640 135034092 4294956112 18446744073709551615 134691101 0 0 4096 3 0 0 0 17 1 0 0
/proc/23823/statm: 2355 2209 69 127 0 2225 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14776
[startup+1.5028 s]
/proc/loadavg: 3.99 3.94 3.82 5/69 23828
/proc/meminfo: memFree=1186504/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=60248 CPUtime=1.19
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 7115 0 0 0 116 3 0 0 17 0 4 0 157338401 61693952 7101 1992294400 134512640 135305190 4294956160 18446744073709551615 134528376 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 15062 7101 83 193 0 14866 0
[pid=23825/tid=23826] ppid=23822 vsize=60248 CPUtime=0.22
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 326 0 0 0 22 0 0 0 17 0 4 0 157338421 61693952 7101 1992294400 134512640 135305190 4294956160 18446744073709551615 134694990 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=60248 CPUtime=0.26
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 292 0 0 0 26 0 0 0 18 0 4 0 157338421 61693952 7101 1992294400 134512640 135305190 4294956160 18446744073709551615 134528181 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=60248 CPUtime=0.26
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 323 0 0 0 26 0 0 0 16 0 4 0 157338421 61693952 7101 1992294400 134512640 135305190 4294956160 18446744073709551615 134556926 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 65604
[startup+3.10197 s]
/proc/loadavg: 3.99 3.94 3.82 5/69 23828
/proc/meminfo: memFree=1179848/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=65380 CPUtime=4.38
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 8342 0 0 0 434 4 0 0 16 0 4 0 157338401 66949120 8328 1992294400 134512640 135305190 4294956160 18446744073709551615 134528252 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 16345 8328 83 193 0 16149 0
[pid=23825/tid=23826] ppid=23822 vsize=65380 CPUtime=0.7
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 490 0 0 0 70 0 0 0 21 0 4 0 157338421 66949120 8328 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=65380 CPUtime=0.84
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 577 0 0 0 84 0 0 0 20 0 4 0 157338421 66949120 8328 1992294400 134512640 135305190 4294956160 18446744073709551615 134695249 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=65380 CPUtime=1.59
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 826 0 0 0 159 0 0 0 18 0 4 0 157338421 66949120 8328 1992294400 134512640 135305190 4294956160 18446744073709551615 134528332 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.17
Current children cumulated vsize (KiB) 70736
[startup+6.30133 s]
/proc/loadavg: 3.99 3.95 3.82 5/69 23828
/proc/meminfo: memFree=1171528/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=73112 CPUtime=10.76
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 10125 0 0 0 1070 6 0 0 25 0 4 0 157338401 74866688 10111 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 18278 10111 83 193 0 18082 0
[pid=23825/tid=23826] ppid=23822 vsize=73112 CPUtime=2.24
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 855 0 0 0 223 1 0 0 18 0 4 0 157338421 74866688 10111 1992294400 134512640 135305190 4294956160 18446744073709551615 134558450 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23827] ppid=23822 vsize=73112 CPUtime=1.9
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 908 0 0 0 190 0 0 0 25 0 4 0 157338421 74866688 10111 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=73112 CPUtime=3.8
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 1400 0 0 0 379 1 0 0 22 0 4 0 157338421 74866688 10111 1992294400 134512640 135305190 4294956160 18446744073709551615 134528388 0 0 4096 3 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.55
Current children cumulated vsize (KiB) 78468
[startup+12.701 s]
/proc/loadavg: 3.99 3.95 3.82 5/69 23828
/proc/meminfo: memFree=1159048/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=84000 CPUtime=23.53
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 12854 0 0 0 2345 8 0 0 25 0 4 0 157338401 86016000 12840 1992294400 134512640 135305190 4294956160 18446744073709551615 134528252 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 21000 12840 83 193 0 20804 0
[pid=23825/tid=23826] ppid=23822 vsize=84000 CPUtime=5.93
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 1401 0 0 0 592 1 0 0 25 0 4 0 157338421 86016000 12840 1992294400 134512640 135305190 4294956160 18446744073709551615 134528523 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=84000 CPUtime=4.5
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 1571 0 0 0 449 1 0 0 25 0 4 0 157338421 86016000 12840 1992294400 134512640 135305190 4294956160 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=84000 CPUtime=8.09
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 2579 0 0 0 808 1 0 0 21 0 4 0 157338421 86016000 12840 1992294400 134512640 135305190 4294956160 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.32
Current children cumulated vsize (KiB) 89356
[startup+25.5025 s]
/proc/loadavg: 3.99 3.95 3.82 5/69 23828
/proc/meminfo: memFree=1149448/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=94428 CPUtime=49.07
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 15244 0 0 0 4897 10 0 0 25 0 4 0 157338401 96694272 15230 1992294400 134512640 135305190 4294956160 18446744073709551615 134528410 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 23607 15230 83 193 0 23411 0
[pid=23825/tid=23826] ppid=23822 vsize=94428 CPUtime=13.01
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 2120 0 0 0 1299 2 0 0 24 0 4 0 157338421 96694272 15230 1992294400 134512640 135305190 4294956160 18446744073709551615 134528413 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=94428 CPUtime=10.7
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 2079 0 0 0 1069 1 0 0 25 0 4 0 157338421 96694272 15230 1992294400 134512640 135305190 4294956160 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=94428 CPUtime=14.63
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 3266 0 0 0 1461 2 0 0 25 0 4 0 157338421 96694272 15230 1992294400 134512640 135305190 4294956160 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (KiB) 99784
[startup+51.1023 s]
/proc/loadavg: 3.99 3.95 3.82 5/69 23828
/proc/meminfo: memFree=1137928/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=105828 CPUtime=100.17
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 18117 0 0 0 10003 14 0 0 25 0 4 0 157338401 108367872 18103 1992294400 134512640 135305190 4294956160 18446744073709551615 134528418 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/23825/statm: 26457 18103 83 193 0 26261 0
[pid=23825/tid=23826] ppid=23822 vsize=105828 CPUtime=25.67
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 2809 0 0 0 2564 3 0 0 25 0 4 0 157338421 108367872 18103 1992294400 134512640 135305190 4294956160 18446744073709551615 134551848 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=105828 CPUtime=22.8
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 2764 0 0 0 2278 2 0 0 25 0 4 0 157338421 108367872 18103 1992294400 134512640 135305190 4294956160 18446744073709551615 134528406 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=105828 CPUtime=27.49
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 4118 0 0 0 2746 3 0 0 25 0 4 0 157338421 108367872 18103 1992294400 134512640 135305190 4294956160 18446744073709551615 134528329 0 0 4096 3 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 100.96
Current children cumulated vsize (KiB) 111184
[startup+102.306 s]
/proc/loadavg: 3.99 3.95 3.83 5/69 23828
/proc/meminfo: memFree=1116744/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=128520 CPUtime=202.35
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 23399 0 0 0 20216 19 0 0 25 0 4 0 157338401 131604480 23378 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/23825/statm: 32130 23378 83 193 0 31934 0
[pid=23825/tid=23826] ppid=23822 vsize=128520 CPUtime=51.21
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 4162 0 0 0 5117 4 0 0 25 0 4 0 157338421 131604480 23378 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=128520 CPUtime=48.09
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 4253 0 0 0 4806 3 0 0 25 0 4 0 157338421 131604480 23378 1992294400 134512640 135305190 4294956160 18446744073709551615 134528518 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=128520 CPUtime=52.89
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 5476 0 0 0 5284 5 0 0 25 0 4 0 157338421 131604480 23378 1992294400 134512640 135305190 4294956160 18446744073709551615 134842673 0 0 4096 3 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.14
Current children cumulated vsize (KiB) 133876
[startup+162.303 s]
/proc/loadavg: 3.99 3.96 3.83 5/69 23830
/proc/meminfo: memFree=1101448/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
################
# More data... #
################
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 34967 0 0 0 229770 55 0 0 25 0 4 0 157338421 518221824 109357 1992294400 134512640 135305190 4294956160 18446744073709551615 134528520 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9183.78
Current children cumulated vsize (KiB) 511432
[startup+4662.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/69 23837
/proc/meminfo: memFree=766216/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=512252 CPUtime=9302.72
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 110987 0 0 0 930107 165 0 0 25 0 4 0 157338401 524546048 110748 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 128063 110748 83 193 0 127867 0
[pid=23825/tid=23826] ppid=23822 vsize=512252 CPUtime=2328.51
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 19955 0 0 0 232822 29 0 0 25 0 4 0 157338421 524546048 110748 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=512252 CPUtime=2326.45
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 25590 0 0 0 232607 38 0 0 25 0 4 0 157338421 524546048 110748 1992294400 134512640 135305190 4294956160 18446744073709551615 134555078 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=512252 CPUtime=2328.3
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 35646 0 0 0 232774 56 0 0 25 0 4 0 157338421 524546048 110748 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9303.51
Current children cumulated vsize (KiB) 517608
[startup+4722.31 s]
/proc/loadavg: 4.00 4.00 3.93 5/69 23837
/proc/meminfo: memFree=753928/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=524028 CPUtime=9422.47
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 114004 0 0 0 942077 170 0 0 25 0 4 0 157338401 536604672 113765 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 131007 113765 83 193 0 130811 0
[pid=23825/tid=23826] ppid=23822 vsize=524028 CPUtime=2358.5
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 20069 0 0 0 235821 29 0 0 25 0 4 0 157338421 536604672 113765 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=524028 CPUtime=2356.34
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 27203 0 0 0 235593 41 0 0 25 0 4 0 157338421 536604672 113765 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=524028 CPUtime=2358.17
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 36927 0 0 0 235759 58 0 0 25 0 4 0 157338421 536604672 113765 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9423.26
Current children cumulated vsize (KiB) 529384
[startup+4782.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/69 23837
/proc/meminfo: memFree=744968/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=533948 CPUtime=9542.2
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 116269 0 0 0 954048 172 0 0 25 0 4 0 157338401 546762752 116030 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 133487 116030 83 193 0 133291 0
[pid=23825/tid=23826] ppid=23822 vsize=533948 CPUtime=2388.48
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 20096 0 0 0 238819 29 0 0 25 0 4 0 157338421 546762752 116030 1992294400 134512640 135305190 4294956160 18446744073709551615 134528413 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=533948 CPUtime=2386.23
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 28441 0 0 0 238581 42 0 0 25 0 4 0 157338421 546762752 116030 1992294400 134512640 135305190 4294956160 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=533948 CPUtime=2388.04
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 37835 0 0 0 238745 59 0 0 25 0 4 0 157338421 546762752 116030 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9542.99
Current children cumulated vsize (KiB) 539304
[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/69 23837
/proc/meminfo: memFree=737992/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=541088 CPUtime=9661.95
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 117981 0 0 0 966020 175 0 0 25 0 4 0 157338401 554074112 117742 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 135272 117742 83 193 0 135076 0
[pid=23825/tid=23826] ppid=23822 vsize=541088 CPUtime=2418.46
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 20269 0 0 0 241817 29 0 0 25 0 4 0 157338421 554074112 117742 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=541088 CPUtime=2416.23
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 29121 0 0 0 241580 43 0 0 25 0 4 0 157338421 554074112 117742 1992294400 134512640 135305190 4294956160 18446744073709551615 134528446 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=541088 CPUtime=2417.8
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 38606 0 0 0 241720 60 0 0 25 0 4 0 157338421 554074112 117742 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9662.74
Current children cumulated vsize (KiB) 546444
[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/69 23837
/proc/meminfo: memFree=736072/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=542652 CPUtime=9781.69
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 118460 0 0 0 977993 176 0 0 25 0 4 0 157338401 555675648 118221 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 135663 118221 83 193 0 135467 0
[pid=23825/tid=23826] ppid=23822 vsize=542652 CPUtime=2448.46
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 20564 0 0 0 244815 31 0 0 25 0 4 0 157338421 555675648 118221 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=542652 CPUtime=2446.13
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 29121 0 0 0 244570 43 0 0 25 0 4 0 157338421 555675648 118221 1992294400 134512640 135305190 4294956160 18446744073709551615 134528319 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=542652 CPUtime=2447.66
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 38760 0 0 0 244706 60 0 0 25 0 4 0 157338421 555675648 118221 1992294400 134512640 135305190 4294956160 18446744073709551615 134528376 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9782.48
Current children cumulated vsize (KiB) 548008
[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/69 23837
/proc/meminfo: memFree=734600/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=544484 CPUtime=9901.43
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 118820 0 0 0 989966 177 0 0 25 0 4 0 157338401 557551616 118581 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 136121 118581 83 193 0 135925 0
[pid=23825/tid=23826] ppid=23822 vsize=544484 CPUtime=2478.44
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 20726 0 0 0 247813 31 0 0 25 0 4 0 157338421 557551616 118581 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=544484 CPUtime=2476.02
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 29173 0 0 0 247559 43 0 0 25 0 4 0 157338421 557551616 118581 1992294400 134512640 135305190 4294956160 18446744073709551615 134528235 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=544484 CPUtime=2477.53
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 38905 0 0 0 247692 61 0 0 25 0 4 0 157338421 557551616 118581 1992294400 134512640 135305190 4294956160 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9902.22
Current children cumulated vsize (KiB) 549840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5011.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/69 23837
/proc/meminfo: memFree=733384/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=546152 CPUtime=9999.23
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 119147 0 0 0 999745 178 0 0 25 0 4 0 157338401 559259648 118908 1992294400 134512640 135305190 4294956160 18446744073709551615 134528392 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 136538 118908 83 193 0 136342 0
[pid=23825/tid=23826] ppid=23822 vsize=546152 CPUtime=2502.93
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 20736 0 0 0 250262 31 0 0 25 0 4 0 157338421 559259648 118908 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=546152 CPUtime=2500.41
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 29332 0 0 0 249998 43 0 0 25 0 4 0 157338421 559259648 118908 1992294400 134512640 135305190 4294956160 18446744073709551615 134528256 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=546152 CPUtime=2501.94
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 39061 0 0 0 250133 61 0 0 25 0 4 0 157338421 559259648 118908 1992294400 134512640 135305190 4294956160 18446744073709551615 134528376 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 551508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5011.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/69 23837
/proc/meminfo: memFree=733384/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=5356 CPUtime=0.79
/proc/23822/stat : 23822 (manysat.sh) S 23820 23822 23719 0 -1 4194304 313 2407 0 0 0 0 77 2 16 0 1 0 157338321 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23822/statm: 1339 238 195 169 0 50 0
[pid=23825] ppid=23822 vsize=546152 CPUtime=9999.23
/proc/23825/stat : 23825 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194304 119147 0 0 0 999745 178 0 0 25 0 4 0 157338401 559259648 118908 1992294400 134512640 135305190 4294956160 18446744073709551615 134528392 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 136538 118908 83 193 0 136342 0
[pid=23825/tid=23826] ppid=23822 vsize=546152 CPUtime=2502.93
/proc/23825/task/23826/stat : 23826 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 20736 0 0 0 250262 31 0 0 25 0 4 0 157338421 559259648 118908 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=23825/tid=23827] ppid=23822 vsize=546152 CPUtime=2500.41
/proc/23825/task/23827/stat : 23827 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 29332 0 0 0 249998 43 0 0 25 0 4 0 157338421 559259648 118908 1992294400 134512640 135305190 4294956160 18446744073709551615 134528256 0 0 4096 3 0 0 0 -1 0 0 0
[pid=23825/tid=23828] ppid=23822 vsize=546152 CPUtime=2501.94
/proc/23825/task/23828/stat : 23828 (manysat1.1_stat) R 23822 23822 23719 0 -1 4194368 39061 0 0 0 250133 61 0 0 25 0 4 0 157338421 559259648 118908 1992294400 134512640 135305190 4294956160 18446744073709551615 134528376 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 551508
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23822 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=776881
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=25996
# CPU time returned by wait4() is 0.802877
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5011.32
CPU time (s): 10000
CPU user time (s): 9998.22
CPU system time (s): 1.8
CPU usage (%): 199.549
Max. virtual memory (cumulated for all children) (KiB): 551508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.776881
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2720
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= 6
runsolver used 4.50931 second user time and 13.7249 second system time
The end
Begin job on node9 at 2009-05-02 21:37:26
IDJOB=1774956
IDBENCH=71066
IDSOLVER=612
FILE ID=node9/1774956-1241293046
PBS_JOBID= 9225126
Free space on /tmp= 66556 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_10_UNKNOWN.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774956-1241293046/watcher-1774956-1241293046 -o /tmp/evaluation-result-1774956-1241293046/solver-1774956-1241293046 -C 10000 -W 12000 -M 1800 manysat.sh HOME/instance-1774956-1241293046.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e868383f091c36fa9594c670095c9824
RANDOM SEED=850941674
node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.240
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.240
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: 1213264 kB
Buffers: 88176 kB
Cached: 640580 kB
SwapCached: 0 kB
Active: 99848 kB
Inactive: 642860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1213264 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2896 kB
Writeback: 0 kB
Mapped: 23704 kB
Slab: 85980 kB
Committed_AS: 668744 kB
PageTables: 1388 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= 66552 MiB
End job on node9 at 2009-05-02 23:00:59