0.00/0.00 c Parsing...
0.12/0.16 c ==============================================================================
0.12/0.16 c | | ORIGINAL | LEARNT | |
0.12/0.16 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.16 c ==============================================================================
0.12/0.16 c | 0 | 213531 498239 | 64059 0 0 nan | 0.000 % |
1.22/1.31 c | 0 | 163018 485616 | -- 0 -- -- | -- | -50511/-12618
1.32/1.31 c ==============================================================================
1.32/1.31 c Result : #vars: 36494 #clauses: 163018 #literals: 485616
1.32/1.31 c CPU time: 1.29 s
1.32/1.31 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1779127-1243520304/watcher-1779127-1243520304 -o /tmp/evaluation-result-1779127-1243520304/solver-1779127-1243520304 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779127-1243520304.cnf aimd 2
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): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.13 4.33 4.30 3/115 19916
/proc/meminfo: memFree=3028756/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2412 CPUtime=0
/proc/19916/stat : 19916 (manysat.sh) R 19914 19916 12261 0 -1 4194304 333 0 0 0 0 0 0 0 18 0 1 0 1116710222 2469888 272 4294967295 134512640 135169312 3220316768 3220315244 3085137780 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/19916/statm: 603 272 231 161 0 42 0
[pid=19917] ppid=19916 vsize=1520 CPUtime=0
/proc/19917/stat : 19917 (SatElite) R 19916 19916 12261 0 -1 4202496 296 0 0 0 0 0 0 0 18 0 1 0 1116710222 1556480 233 4294967295 134512640 135034092 3219233056 3219229016 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19917/statm: 380 234 49 128 0 250 0
[startup+0.057491 s]
/proc/loadavg: 4.13 4.33 4.30 3/115 19916
/proc/meminfo: memFree=3028756/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2412 CPUtime=0
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1116710222 2469888 272 4294967295 134512640 135169312 3220316768 3220315304 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 603 272 231 161 0 42 0
[pid=19917] ppid=19916 vsize=10644 CPUtime=0.06
/proc/19917/stat : 19917 (SatElite) R 19916 19916 12261 0 -1 4202496 2521 0 0 0 6 0 0 0 19 0 1 0 1116710222 10899456 2458 4294967295 134512640 135034092 3219233056 3219229400 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19917/statm: 2661 2460 49 128 0 2531 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13056
[startup+0.117488 s]
/proc/loadavg: 4.13 4.33 4.30 3/115 19916
/proc/meminfo: memFree=3028756/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2412 CPUtime=0
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1116710222 2469888 272 4294967295 134512640 135169312 3220316768 3220315304 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 603 272 231 161 0 42 0
[pid=19917] ppid=19916 vsize=20732 CPUtime=0.12
/proc/19917/stat : 19917 (SatElite) R 19916 19916 12261 0 -1 4202496 4976 0 0 0 11 1 0 0 20 0 1 0 1116710222 21229568 4913 4294967295 134512640 135034092 3219233056 3219229016 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19917/statm: 5183 4913 49 128 0 5053 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 23144
[startup+0.31748 s]
/proc/loadavg: 4.13 4.33 4.30 3/115 19916
/proc/meminfo: memFree=3028756/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2412 CPUtime=0
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1116710222 2469888 272 4294967295 134512640 135169312 3220316768 3220315304 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 603 272 231 161 0 42 0
[pid=19917] ppid=19916 vsize=41356 CPUtime=0.32
/proc/19917/stat : 19917 (SatElite) R 19916 19916 12261 0 -1 4202496 9237 0 0 0 29 3 0 0 20 0 1 0 1116710222 42348544 8546 4294967295 134512640 135034092 3219233056 3219228924 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19917/statm: 10339 8546 67 128 0 10209 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 43768
[startup+0.717464 s]
/proc/loadavg: 4.13 4.33 4.30 3/115 19916
/proc/meminfo: memFree=3028756/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2412 CPUtime=0
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1116710222 2469888 272 4294967295 134512640 135169312 3220316768 3220315304 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 603 272 231 161 0 42 0
[pid=19917] ppid=19916 vsize=44656 CPUtime=0.72
/proc/19917/stat : 19917 (SatElite) R 19916 19916 12261 0 -1 4202496 10103 0 0 0 69 3 0 0 21 0 1 0 1116710222 45727744 9412 4294967295 134512640 135034092 3219233056 3219229296 134566447 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19917/statm: 11164 9412 67 128 0 11034 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 47068
[startup+1.51743 s]
/proc/loadavg: 4.13 4.33 4.30 2/117 19918
/proc/meminfo: memFree=2988252/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2412 CPUtime=0
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1116710222 2469888 272 4294967295 134512640 135169312 3220316768 3220315304 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 603 272 231 161 0 42 0
[pid=19917] ppid=19916 vsize=0 CPUtime=1.52
/proc/19917/stat : 19917 (SatElite) R 19916 19916 12261 0 -1 4202500 10427 0 0 0 147 5 0 0 23 0 1 0 1116710222 0 0 4294967295 0 0 0 0 0 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19917/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 2412
[startup+3.12003 s]
/proc/loadavg: 4.13 4.33 4.30 5/120 19922
/proc/meminfo: memFree=2972740/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=83028 CPUtime=5.16
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 13480 0 0 0 485 31 0 0 16 0 4 0 1116710374 85020672 13413 4294967295 134512640 135305190 3216086608 3216084500 134694990 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/19919/statm: 20757 13413 79 194 0 20561 0
[pid=19919/tid=19920] ppid=19916 vsize=83028 CPUtime=1.19
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 447 0 0 0 113 6 0 0 15 0 4 0 1116710406 85020672 13413 4294967295 134512640 135305190 3216086608 3071274100 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=83028 CPUtime=1.25
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 481 0 0 0 116 9 0 0 16 0 4 0 1116710406 85020672 13413 4294967295 134512640 135305190 3216086608 3062885640 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=83028 CPUtime=1.17
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 461 0 0 0 112 5 0 0 15 0 4 0 1116710406 85020672 13413 4294967295 134512640 135305190 3216086608 3054496804 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 85444
[startup+6.3233 s]
/proc/loadavg: 4.12 4.32 4.29 5/120 19922
/proc/meminfo: memFree=2967652/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=85544 CPUtime=17.51
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 14196 0 0 0 1710 41 0 0 15 0 4 0 1116710374 87597056 14129 4294967295 134512640 135305190 3216086608 3216084896 134563934 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19919/statm: 21386 14129 79 194 0 21190 0
[pid=19919/tid=19920] ppid=19916 vsize=85544 CPUtime=4.27
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 552 0 0 0 419 8 0 0 15 0 4 0 1116710406 87597056 14129 4294967295 134512640 135305190 3216086608 3071274024 134694990 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=85544 CPUtime=4.4
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 740 0 0 0 428 12 0 0 15 0 4 0 1116710406 87597056 14129 4294967295 134512640 135305190 3216086608 3062885492 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=85544 CPUtime=4.24
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 623 0 0 0 416 8 0 0 15 0 4 0 1116710406 87597056 14129 4294967295 134512640 135305190 3216086608 3054497032 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 19.03
Current children cumulated vsize (KiB) 87960
[startup+12.7333 s]
/proc/loadavg: 4.27 4.35 4.30 7/120 19924
/proc/meminfo: memFree=2949876/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=104060 CPUtime=42.9
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 18899 0 0 0 4239 51 0 0 15 0 4 0 1116710374 106557440 18802 4294967295 134512640 135305190 3216086608 3216084708 134695249 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19919/statm: 26015 18802 79 194 0 25819 0
[pid=19919/tid=19920] ppid=19916 vsize=104060 CPUtime=10.58
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 1617 0 0 0 1047 11 0 0 16 0 4 0 1116710406 106557440 18802 4294967295 134512640 135305190 3216086608 3071274100 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=104060 CPUtime=10.8
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 2704 0 0 0 1063 17 0 0 16 0 4 0 1116710406 106557440 18802 4294967295 134512640 135305190 3216086608 3062885492 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=104060 CPUtime=10.52
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 1215 0 0 0 1043 9 0 0 16 0 4 0 1116710406 106557440 18802 4294967295 134512640 135305190 3216086608 3054496676 134694990 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 44.42
Current children cumulated vsize (KiB) 106476
[startup+25.5169 s]
/proc/loadavg: 4.72 4.45 4.33 6/120 19926
/proc/meminfo: memFree=2922000/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=131728 CPUtime=93.83
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 25455 0 0 0 9312 71 0 0 18 0 4 0 1116710374 134889472 25358 4294967295 134512640 135305190 3216086608 3216084784 134528990 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19919/statm: 32932 25358 79 194 0 32736 0
[pid=19919/tid=19920] ppid=19916 vsize=131728 CPUtime=23.34
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 2848 0 0 0 2318 16 0 0 20 0 4 0 1116710406 134889472 25358 4294967295 134512640 135305190 3216086608 3071274176 134528263 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=131728 CPUtime=23.58
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 5707 0 0 0 2337 21 0 0 25 0 4 0 1116710406 134889472 25358 4294967295 134512640 135305190 3216086608 3062885568 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=131728 CPUtime=23.2
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 2066 0 0 0 2303 17 0 0 18 0 4 0 1116710406 134889472 25358 4294967295 134512640 135305190 3216086608 3054496960 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 95.35
Current children cumulated vsize (KiB) 134144
[startup+51.1158 s]
/proc/loadavg: 4.61 4.44 4.34 5/120 19926
/proc/meminfo: memFree=2889032/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=165368 CPUtime=195.99
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 34047 0 0 0 19515 84 0 0 25 0 4 0 1116710374 169336832 33950 4294967295 134512640 135305190 3216086608 3216084528 134541697 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19919/statm: 41342 33950 79 194 0 41146 0
[pid=19919/tid=19920] ppid=19916 vsize=165368 CPUtime=48.86
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 4025 0 0 0 4866 20 0 0 25 0 4 0 1116710406 169336832 33950 4294967295 134512640 135305190 3216086608 3071274176 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=165368 CPUtime=49.18
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 10844 0 0 0 4891 27 0 0 25 0 4 0 1116710406 169336832 33950 4294967295 134512640 135305190 3216086608 3062885568 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=165368 CPUtime=48.67
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 3069 0 0 0 4848 19 0 0 25 0 4 0 1116710406 169336832 33950 4294967295 134512640 135305190 3216086608 3054496752 134547909 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 197.51
Current children cumulated vsize (KiB) 167784
[startup+102.314 s]
/proc/loadavg: 4.28 4.38 4.32 5/120 20115
/proc/meminfo: memFree=2839900/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=214688 CPUtime=400.06
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 46047 0 0 0 39898 108 0 0 25 0 4 0 1116710374 219840512 45950 4294967295 134512640 135305190 3216086608 3216084784 134528379 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/19919/statm: 53672 45950 79 194 0 53476 0
[pid=19919/tid=19920] ppid=19916 vsize=214688 CPUtime=99.93
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 5205 0 0 0 9968 25 0 0 25 0 4 0 1116710406 219840512 45950 4294967295 134512640 135305190 3216086608 3071274176 134528636 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=214688 CPUtime=100.26
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 18875 0 0 0 9989 37 0 0 25 0 4 0 1116710406 219840512 45950 4294967295 134512640 135305190 3216086608 3062885568 134530997 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=214688 CPUtime=99.78
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 4021 0 0 0 9955 23 0 0 25 0 4 0 1116710406 219840512 45950 4294967295 134512640 135305190 3216086608 3054496960 134530636 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 401.58
Current children cumulated vsize (KiB) 217104
[startup+162.301 s]
/proc/loadavg: 4.34 4.37 4.32 5/120 20306
/proc/meminfo: memFree=2808704/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=244500 CPUtime=639.21
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 53480 0 0 0 63783 138 0 0 25 0 4 0 1116710374 250368000 53383 4294967295 134512640 135305190 3216086608 3216084576 134547978 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19919/statm: 61125 53383 79 194 0 60929 0
[pid=19919/tid=19920] ppid=19916 vsize=244500 CPUtime=159.63
################
# More data... #
################
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 9052 0 0 0 51788 59 0 0 25 0 4 0 1116710406 399777792 89238 4294967295 134512640 135305190 3216086608 3054496960 134528274 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2076.64
Current children cumulated vsize (KiB) 392824
[startup+582.315 s]
/proc/loadavg: 4.20 4.24 4.27 5/120 21637
/proc/meminfo: memFree=2653488/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=404460 CPUtime=2314.24
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 92590 0 0 0 231117 307 0 0 25 0 4 0 1116710374 414167040 92493 4294967295 134512640 135305190 3216086608 3216084784 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19919/statm: 101115 92493 79 194 0 100919 0
[pid=19919/tid=19920] ppid=19916 vsize=404460 CPUtime=578.15
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 11232 0 0 0 57737 78 0 0 25 0 4 0 1116710406 414167040 92493 4294967295 134512640 135305190 3216086608 3071274176 134528418 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=404460 CPUtime=579.46
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 43951 0 0 0 57854 92 0 0 25 0 4 0 1116710406 414167040 92493 4294967295 134512640 135305190 3216086608 3062885568 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=404460 CPUtime=578.35
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 9252 0 0 0 57772 63 0 0 25 0 4 0 1116710406 414167040 92493 4294967295 134512640 135305190 3216086608 3054496960 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2315.76
Current children cumulated vsize (KiB) 406876
[startup+642.312 s]
/proc/loadavg: 4.28 4.26 4.27 6/120 21825
/proc/meminfo: memFree=2604320/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=453796 CPUtime=2553.63
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 104849 0 0 0 255021 342 0 0 25 0 4 0 1116710374 464687104 104752 4294967295 134512640 135305190 3216086608 3216084512 134558354 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19919/statm: 113449 104752 79 194 0 113253 0
[pid=19919/tid=19920] ppid=19916 vsize=453796 CPUtime=638
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 12334 0 0 0 63713 87 0 0 25 0 4 0 1116710406 464687104 104752 4294967295 134512640 135305190 3216086608 3071274176 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=453796 CPUtime=639.18
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 51475 0 0 0 63814 104 0 0 25 0 4 0 1116710406 464687104 104752 4294967295 134512640 135305190 3216086608 3062885568 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=453796 CPUtime=638.34
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 10872 0 0 0 63764 70 0 0 25 0 4 0 1116710406 464687104 104752 4294967295 134512640 135305190 3216086608 3054496640 134843311 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2555.15
Current children cumulated vsize (KiB) 456212
[startup+702.31 s]
/proc/loadavg: 4.76 4.39 4.31 5/120 22014
/proc/meminfo: memFree=2548212/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=509936 CPUtime=2792.7
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 118662 0 0 0 278883 387 0 0 25 0 4 0 1116710374 522174464 118565 4294967295 134512640 135305190 3216086608 3216084784 134528503 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/19919/statm: 127484 118565 79 194 0 127288 0
[pid=19919/tid=19920] ppid=19916 vsize=509936 CPUtime=697.7
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 14252 0 0 0 69670 100 0 0 25 0 4 0 1116710406 522174464 118565 4294967295 134512640 135305190 3216086608 3071273920 134541935 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=509936 CPUtime=698.89
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 57014 0 0 0 69774 115 0 0 25 0 4 0 1116710406 522174464 118565 4294967295 134512640 135305190 3216086608 3062885568 134528256 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=509936 CPUtime=698.15
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 13346 0 0 0 69738 77 0 0 25 0 4 0 1116710406 522174464 118565 4294967295 134512640 135305190 3216086608 3054496960 134528512 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2794.22
Current children cumulated vsize (KiB) 512352
[startup+762.317 s]
/proc/loadavg: 4.45 4.38 4.31 5/120 22201
/proc/meminfo: memFree=2540508/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=517284 CPUtime=3032.04
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 120726 0 0 0 302794 410 0 0 25 0 4 0 1116710374 529698816 120629 4294967295 134512640 135305190 3216086608 3216084784 134528376 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/19919/statm: 129321 120629 79 194 0 129125 0
[pid=19919/tid=19920] ppid=19916 vsize=517284 CPUtime=757.56
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 14685 0 0 0 75645 111 0 0 25 0 4 0 1116710406 529698816 120629 4294967295 134512640 135305190 3216086608 3071274176 134530721 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=517284 CPUtime=758.46
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 57536 0 0 0 75726 120 0 0 25 0 4 0 1116710406 529698816 120629 4294967295 134512640 135305190 3216086608 3062885568 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=517284 CPUtime=758.09
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 13694 0 0 0 75731 78 0 0 25 0 4 0 1116710406 529698816 120629 4294967295 134512640 135305190 3216086608 3054496960 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3033.56
Current children cumulated vsize (KiB) 519700
[startup+822.305 s]
/proc/loadavg: 4.36 4.36 4.30 6/120 22388
/proc/meminfo: memFree=2520684/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=537324 CPUtime=3271.09
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 125666 0 0 0 326669 440 0 0 25 0 4 0 1116710374 550219776 125569 4294967295 134512640 135305190 3216086608 3216084784 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19919/statm: 134331 125569 79 194 0 134135 0
[pid=19919/tid=19920] ppid=19916 vsize=537324 CPUtime=817.38
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 15006 0 0 0 81619 119 0 0 25 0 4 0 1116710406 550219776 125569 4294967295 134512640 135305190 3216086608 3071273916 134542225 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=537324 CPUtime=817.9
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 60712 0 0 0 81661 129 0 0 25 0 4 0 1116710406 550219776 125569 4294967295 134512640 135305190 3216086608 3062885568 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=537324 CPUtime=818.02
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 14043 0 0 0 81716 86 0 0 25 0 4 0 1116710406 550219776 125569 4294967295 134512640 135305190 3216086608 3054496960 134528559 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3272.61
Current children cumulated vsize (KiB) 539740
[startup+882.303 s]
/proc/loadavg: 4.61 4.44 4.33 6/120 22580
/proc/meminfo: memFree=2507416/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=550744 CPUtime=3510.24
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 129046 0 0 0 350559 465 0 0 25 0 4 0 1116710374 563961856 128949 4294967295 134512640 135305190 3216086608 3216084784 134528248 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19919/statm: 137686 128949 79 194 0 137490 0
[pid=19919/tid=19920] ppid=19916 vsize=550744 CPUtime=877.33
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 15702 0 0 0 87611 122 0 0 25 0 4 0 1116710406 563961856 128949 4294967295 134512640 135305190 3216086608 3071274176 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=550744 CPUtime=877.53
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 62494 0 0 0 87622 131 0 0 25 0 4 0 1116710406 563961856 128949 4294967295 134512640 135305190 3216086608 3062885568 134528263 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=550744 CPUtime=877.86
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 14386 0 0 0 87697 89 0 0 25 0 4 0 1116710406 563961856 128949 4294967295 134512640 135305190 3216086608 3054496960 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3511.76
Current children cumulated vsize (KiB) 553160
[startup+942.31 s]
/proc/loadavg: 4.44 4.42 4.33 6/120 22768
/proc/meminfo: memFree=2500224/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=558436 CPUtime=3749.56
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 130856 0 0 0 374475 481 0 0 25 0 4 0 1116710374 571838464 130731 4294967295 134512640 135305190 3216086608 3216084784 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19919/statm: 139609 130731 79 194 0 139413 0
[pid=19919/tid=19920] ppid=19916 vsize=558436 CPUtime=937.27
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 15926 0 0 0 93600 127 0 0 25 0 4 0 1116710406 571838464 130731 4294967295 134512640 135305190 3216086608 3071274176 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=558436 CPUtime=937.17
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 63034 0 0 0 93580 137 0 0 25 0 4 0 1116710406 571838464 130731 4294967295 134512640 135305190 3216086608 3062885568 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=558436 CPUtime=937.76
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 14744 0 0 0 93682 94 0 0 25 0 4 0 1116710406 571838464 130731 4294967295 134512640 135305190 3216086608 3054496960 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3751.08
Current children cumulated vsize (KiB) 560852
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.27 4.37 4.32 5/120 22957
/proc/meminfo: memFree=2499356/3368532 swapFree=1941392/1959888
[pid=19916] ppid=19914 vsize=2416 CPUtime=1.52
/proc/19916/stat : 19916 (manysat.sh) S 19914 19916 12261 0 -1 4194304 370 10427 0 0 0 0 147 5 18 0 1 0 1116710222 2473984 274 4294967295 134512640 135169312 3220316768 3220312984 3085135598 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19916/statm: 604 274 231 161 0 43 0
[pid=19919] ppid=19916 vsize=559120 CPUtime=3979.74
/proc/19919/stat : 19919 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202496 131032 0 0 0 397481 493 0 0 25 0 4 0 1116710374 572538880 130907 4294967295 134512640 135305190 3216086608 3216084784 134528503 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/19919/statm: 139780 130907 79 194 0 139584 0
[pid=19919/tid=19920] ppid=19916 vsize=559120 CPUtime=994.9
/proc/19919/task/19920/stat : 19920 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 15945 0 0 0 99356 134 0 0 25 0 4 0 1116710406 572538880 130907 4294967295 134512640 135305190 3216086608 3071274176 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19919/tid=19921] ppid=19916 vsize=559120 CPUtime=994.84
/proc/19919/task/19921/stat : 19921 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 63190 0 0 0 99347 137 0 0 25 0 4 0 1116710406 572538880 130907 4294967295 134512640 135305190 3216086608 3062885568 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19919/tid=19922] ppid=19916 vsize=559120 CPUtime=995.22
/proc/19919/task/19922/stat : 19922 (manysat1.1_stat) R 19916 19916 12261 0 -1 4202560 14744 0 0 0 99424 98 0 0 25 0 4 0 1116710406 572538880 130907 4294967295 134512640 135305190 3216086608 3054496960 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3981.26
Current children cumulated vsize (KiB) 561536
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19916 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=470000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=50000
# CPU time returned by wait4() is 1.52
# while last known CPU time is 3981.26
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.04
CPU time (s): 3981.26
CPU user time (s): 3976.28
CPU system time (s): 4.98
CPU usage (%): 398.111
Max. virtual memory (cumulated for all children) (KiB): 561536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.47
system time used= 0.05
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10797
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= 5
involuntary context switches= 5
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on at 2009-05-28 16:18:24
IDJOB=1779127
IDBENCH=70813
IDSOLVER=626
FILE ID=/1779127-1243520304
PBS_JOBID=
Free space on /tmp= 15726 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray32_32.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779127-1243520304/watcher-1779127-1243520304 -o /tmp/evaluation-result-1779127-1243520304/solver-1779127-1243520304 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779127-1243520304.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= b7a07371a2da4a8c8bef63c213dd1e15
RANDOM SEED= 1892116187
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.143
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.143
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.11
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.143
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.17
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.143
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.15
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3029052 kB
Buffers: 30988 kB
Cached: 227884 kB
SwapCached: 4320 kB
Active: 136544 kB
Inactive: 133048 kB
HighTotal: 2489216 kB
HighFree: 2248732 kB
LowTotal: 879316 kB
LowFree: 780320 kB
SwapTotal: 1959888 kB
SwapFree: 1941392 kB
Dirty: 5164 kB
Writeback: 0 kB
AnonPages: 9532 kB
Mapped: 4296 kB
Slab: 59224 kB
SReclaimable: 50240 kB
SUnreclaim: 8984 kB
PageTables: 748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 127448 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15720 MiB
End job on at 2009-05-28 16:35:06