0.00/0.00 c Parsing...
0.10/0.20 c ==============================================================================
0.10/0.20 c | | ORIGINAL | LEARNT | |
0.10/0.20 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.10/0.20 c ==============================================================================
0.10/0.20 c | 0 | 362797 1083511 | 108839 0 0 nan | 0.000 % |
3.70/3.79 c | 0 | 361512 1585361 | -- 0 -- -- | -- | -1285/501850
3.70/3.79 c ==============================================================================
3.70/3.79 c Result : #vars: 2152 #clauses: 361512 #literals: 1585361
3.70/3.79 c CPU time: 3.76 s
3.70/3.79 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781089-1243541979/watcher-1781089-1243541979 -o /tmp/evaluation-result-1781089-1243541979/solver-1781089-1243541979 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781089-1243541979.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): 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.94 4.73 4.59 3/115 21927
/proc/meminfo: memFree=2917260/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2412 CPUtime=0
/proc/21927/stat : 21927 (manysat.sh) R 21925 21927 12261 0 -1 4194304 333 0 0 0 0 0 0 0 18 0 1 0 1118877778 2469888 272 4294967295 134512640 135169312 3218682064 3218680540 3085358964 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/21927/statm: 603 272 231 161 0 42 0
[pid=21928] ppid=21927 vsize=1636 CPUtime=0
/proc/21928/stat : 21928 (SatElite) R 21927 21927 12261 0 -1 4202496 326 0 0 0 0 0 0 0 18 0 1 0 1118877778 1675264 263 4294967295 134512640 135034092 3213237104 3213233448 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21928/statm: 409 263 50 128 0 279 0
[startup+0.107291 s]
/proc/loadavg: 4.94 4.73 4.59 3/115 21927
/proc/meminfo: memFree=2917260/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2412 CPUtime=0
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1118877778 2469888 272 4294967295 134512640 135169312 3218682064 3218680600 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 603 272 231 161 0 42 0
[pid=21928] ppid=21927 vsize=10772 CPUtime=0.1
/proc/21928/stat : 21928 (SatElite) R 21927 21927 12261 0 -1 4202496 2601 0 0 0 8 2 0 0 19 0 1 0 1118877778 11030528 2538 4294967295 134512640 135034092 3213237104 3213233448 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21928/statm: 2693 2539 50 128 0 2563 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13184
[startup+0.217288 s]
/proc/loadavg: 4.94 4.73 4.59 3/115 21927
/proc/meminfo: memFree=2917260/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2412 CPUtime=0
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1118877778 2469888 272 4294967295 134512640 135169312 3218682064 3218680600 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 603 272 231 161 0 42 0
[pid=21928] ppid=21927 vsize=24472 CPUtime=0.21
/proc/21928/stat : 21928 (SatElite) R 21927 21927 12261 0 -1 4202496 5904 0 0 0 19 2 0 0 20 0 1 0 1118877778 25059328 5841 4294967295 134512640 135034092 3213237104 3213233088 134675816 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21928/statm: 6118 5841 67 128 0 5988 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 26884
[startup+0.317282 s]
/proc/loadavg: 4.94 4.73 4.59 3/115 21927
/proc/meminfo: memFree=2917260/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2412 CPUtime=0
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1118877778 2469888 272 4294967295 134512640 135169312 3218682064 3218680600 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 603 272 231 161 0 42 0
[pid=21928] ppid=21927 vsize=27796 CPUtime=0.31
/proc/21928/stat : 21928 (SatElite) R 21927 21927 12261 0 -1 4202496 6703 0 0 0 29 2 0 0 20 0 1 0 1118877778 28463104 6640 4294967295 134512640 135034092 3213237104 3213233048 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21928/statm: 6949 6640 67 128 0 6819 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 30208
[startup+0.717266 s]
/proc/loadavg: 4.94 4.73 4.59 3/115 21927
/proc/meminfo: memFree=2917260/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2412 CPUtime=0
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1118877778 2469888 272 4294967295 134512640 135169312 3218682064 3218680600 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 603 272 231 161 0 42 0
[pid=21928] ppid=21927 vsize=32648 CPUtime=0.71
/proc/21928/stat : 21928 (SatElite) R 21927 21927 12261 0 -1 4202496 7564 0 0 0 69 2 0 0 21 0 1 0 1118877778 33431552 7501 4294967295 134512640 135034092 3213237104 3213233100 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21928/statm: 8162 7501 67 128 0 8032 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 35060
[startup+1.51723 s]
/proc/loadavg: 4.63 4.66 4.57 2/117 21929
/proc/meminfo: memFree=2880116/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2412 CPUtime=0
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1118877778 2469888 272 4294967295 134512640 135169312 3218682064 3218680600 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 603 272 231 161 0 42 0
[pid=21928] ppid=21927 vsize=39212 CPUtime=1.51
/proc/21928/stat : 21928 (SatElite) R 21927 21927 12261 0 -1 4202496 9015 0 0 0 148 3 0 0 24 0 1 0 1118877778 40153088 8952 4294967295 134512640 135034092 3213237104 3213233408 134569526 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21928/statm: 9803 8952 67 128 0 9673 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 41624
[startup+3.10717 s]
/proc/loadavg: 4.63 4.66 4.57 2/117 21929
/proc/meminfo: memFree=2880116/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2412 CPUtime=0
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1118877778 2469888 272 4294967295 134512640 135169312 3218682064 3218680600 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 603 272 231 161 0 42 0
[pid=21928] ppid=21927 vsize=39212 CPUtime=3.1
/proc/21928/stat : 21928 (SatElite) R 21927 21927 12261 0 -1 4202496 9015 0 0 0 307 3 0 0 25 0 1 0 1118877778 40153088 8952 4294967295 134512640 135034092 3213237104 3213233408 134569541 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21928/statm: 9803 8952 67 128 0 9673 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 41624
[startup+6.31706 s]
/proc/loadavg: 4.63 4.66 4.57 5/120 21933
/proc/meminfo: memFree=2808976/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=134172 CPUtime=5.97
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 26741 0 0 0 590 7 0 0 19 0 4 0 1118878207 137392128 26673 4294967295 134512640 135305190 3214597344 3214595184 134551729 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21930/statm: 33543 26673 79 194 0 33347 0
[pid=21930/tid=21931] ppid=21927 vsize=134172 CPUtime=1.33
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 1252 0 0 0 131 2 0 0 17 0 4 0 1118878272 137392128 26673 4294967295 134512640 135305190 3214597344 3076512960 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=134172 CPUtime=1.3
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 1202 0 0 0 130 0 0 0 19 0 4 0 1118878272 137392128 26673 4294967295 134512640 135305190 3214597344 3068124032 134553039 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=134172 CPUtime=1.35
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 1015 0 0 0 134 1 0 0 22 0 4 0 1118878272 137392128 26673 4294967295 134512640 135305190 3214597344 3059735744 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.27
Current children cumulated vsize (KiB) 136588
[startup+12.7068 s]
/proc/loadavg: 4.53 4.64 4.57 5/120 21933
/proc/meminfo: memFree=2771640/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=169256 CPUtime=31.52
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 35409 0 0 0 3134 18 0 0 25 0 4 0 1118878207 173318144 35341 4294967295 134512640 135305190 3214597344 3214595060 134839991 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21930/statm: 42314 35341 79 194 0 42118 0
[pid=21930/tid=21931] ppid=21927 vsize=169256 CPUtime=7.71
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 3205 0 0 0 765 6 0 0 25 0 4 0 1118878272 173318144 35341 4294967295 134512640 135305190 3214597344 3076512960 134528520 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=169256 CPUtime=7.69
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 3602 0 0 0 765 4 0 0 25 0 4 0 1118878272 173318144 35341 4294967295 134512640 135305190 3214597344 3068124352 134528520 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=169256 CPUtime=7.74
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 2910 0 0 0 770 4 0 0 25 0 4 0 1118878272 173318144 35341 4294967295 134512640 135305190 3214597344 3059735284 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 35.82
Current children cumulated vsize (KiB) 171672
[startup+25.5063 s]
/proc/loadavg: 4.45 4.62 4.56 6/120 21937
/proc/meminfo: memFree=2727772/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=210104 CPUtime=82.68
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 45421 0 0 0 8240 28 0 0 25 0 4 0 1118878207 215146496 45353 4294967295 134512640 135305190 3214597344 3214595184 134551978 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21930/statm: 52526 45353 79 194 0 52330 0
[pid=21930/tid=21931] ppid=21927 vsize=210104 CPUtime=20.47
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 5194 0 0 0 2040 7 0 0 24 0 4 0 1118878272 215146496 45353 4294967295 134512640 135305190 3214597344 3076512960 134528376 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=210104 CPUtime=20.49
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 6913 0 0 0 2044 5 0 0 25 0 4 0 1118878272 215146496 45353 4294967295 134512640 135305190 3214597344 3068124352 134528506 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=210104 CPUtime=20.54
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 4853 0 0 0 2045 9 0 0 25 0 4 0 1118878272 215146496 45353 4294967295 134512640 135305190 3214597344 3059735744 134528248 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 86.98
Current children cumulated vsize (KiB) 212520
[startup+51.1053 s]
/proc/loadavg: 4.45 4.60 4.55 5/120 22120
/proc/meminfo: memFree=2679460/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=258092 CPUtime=184.65
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 57355 0 0 0 18428 37 0 0 25 0 4 0 1118878207 264286208 57287 4294967295 134512640 135305190 3214597344 3214595520 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21930/statm: 64523 57287 79 194 0 64327 0
[pid=21930/tid=21931] ppid=21927 vsize=258092 CPUtime=45.88
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 7671 0 0 0 4579 9 0 0 25 0 4 0 1118878272 264286208 57287 4294967295 134512640 135305190 3214597344 3076512960 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=258092 CPUtime=46.06
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 10188 0 0 0 4599 7 0 0 25 0 4 0 1118878272 264286208 57287 4294967295 134512640 135305190 3214597344 3068124352 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=258092 CPUtime=46.12
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 7012 0 0 0 4601 11 0 0 21 0 4 0 1118878272 264286208 57287 4294967295 134512640 135305190 3214597344 3059735744 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 188.95
Current children cumulated vsize (KiB) 260508
[startup+102.303 s]
/proc/loadavg: 4.41 4.56 4.54 5/120 22126
/proc/meminfo: memFree=2613600/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=326412 CPUtime=389.32
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 73936 0 0 0 38870 62 0 0 25 0 4 0 1118878207 334245888 73868 4294967295 134512640 135305190 3214597344 3214595520 134528341 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21930/statm: 81603 73868 79 194 0 81407 0
[pid=21930/tid=21931] ppid=21927 vsize=326412 CPUtime=96.95
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 13212 0 0 0 9680 15 0 0 25 0 4 0 1118878272 334245888 73868 4294967295 134512640 135305190 3214597344 3076512904 134840070 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=326412 CPUtime=97.26
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 13993 0 0 0 9714 12 0 0 25 0 4 0 1118878272 334245888 73868 4294967295 134512640 135305190 3214597344 3068124352 134528442 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=326412 CPUtime=97.32
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 10379 0 0 0 9712 20 0 0 25 0 4 0 1118878272 334245888 73868 4294967295 134512640 135305190 3214597344 3059735744 134528399 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 393.62
Current children cumulated vsize (KiB) 328828
[startup+162.311 s]
/proc/loadavg: 4.33 4.50 4.52 6/120 22311
/proc/meminfo: memFree=2558552/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=381652 CPUtime=628.56
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 87537 0 0 0 62748 108 0 0 25 0 4 0 1118878207 390811648 87469 4294967295 134512640 135305190 3214597344 3214595520 134528402 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21930/statm: 95413 87469 79 194 0 95217 0
[pid=21930/tid=21931] ppid=21927 vsize=381652 CPUtime=156.91
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 18265 0 0 0 15663 28 0 0 25 0 4 0 1118878272 390811648 87469 4294967295 134512640 135305190 3214597344 3076512688 134556789 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=381652 CPUtime=157.11
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 17210 0 0 0 15694 17 0 0 25 0 4 0 1118878272 390811648 87469 4294967295 134512640 135305190 3214597344 3068124352 134528376 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=381652 CPUtime=156.82
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 13302 0 0 0 15635 47 0 0 24 0 4 0 1118878272 390811648 87469 4294967295 134512640 135305190 3214597344 3059735744 134528771 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 632.86
################
# More data... #
################
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 32336 0 0 0 57504 114 0 0 25 0 4 0 1118878272 634044416 144730 4294967295 134512640 135305190 3214597344 3059735744 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2309.06
Current children cumulated vsize (KiB) 621600
[startup+642.312 s]
/proc/loadavg: 4.86 4.69 4.59 5/120 23836
/proc/meminfo: memFree=2287448/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=662324 CPUtime=2544.25
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 155682 0 0 0 254067 358 0 0 25 0 4 0 1118878207 678219776 155605 4294967295 134512640 135305190 3214597344 3214595464 134839991 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21930/statm: 165581 155605 79 194 0 165385 0
[pid=21930/tid=21931] ppid=21927 vsize=662324 CPUtime=636.74
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 29535 0 0 0 63598 76 0 0 25 0 4 0 1118878272 678219776 155605 4294967295 134512640 135305190 3214597344 3076512960 134528379 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=662324 CPUtime=635.41
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 33555 0 0 0 63466 75 0 0 25 0 4 0 1118878272 678219776 155605 4294967295 134512640 135305190 3214597344 3068124352 134528402 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=662324 CPUtime=636.15
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 36362 0 0 0 63492 123 0 0 25 0 4 0 1118878272 678219776 155605 4294967295 134512640 135305190 3214597344 3059735744 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2548.55
Current children cumulated vsize (KiB) 664740
[startup+702.309 s]
/proc/loadavg: 5.03 4.76 4.62 5/120 24025
/proc/meminfo: memFree=2268660/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=679860 CPUtime=2783.98
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 159718 0 0 0 278021 377 0 0 25 0 4 0 1118878207 696176640 159641 4294967295 134512640 135305190 3214597344 3214595520 134528406 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21930/statm: 169965 159641 79 194 0 169769 0
[pid=21930/tid=21931] ppid=21927 vsize=679860 CPUtime=696.74
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 30063 0 0 0 69592 82 0 0 25 0 4 0 1118878272 696176640 159641 4294967295 134512640 135305190 3214597344 3076512960 134528402 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=679860 CPUtime=695.27
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 34305 0 0 0 69450 77 0 0 25 0 4 0 1118878272 696176640 159641 4294967295 134512640 135305190 3214597344 3068124352 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=679860 CPUtime=696.03
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 38120 0 0 0 69475 128 0 0 25 0 4 0 1118878272 696176640 159641 4294967295 134512640 135305190 3214597344 3059735744 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2788.28
Current children cumulated vsize (KiB) 682276
[startup+762.307 s]
/proc/loadavg: 4.60 4.67 4.60 5/120 24210
/proc/meminfo: memFree=2251756/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=698896 CPUtime=3023.45
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 164218 0 0 0 301946 399 0 0 25 0 4 0 1118878207 715669504 164141 4294967295 134512640 135305190 3214597344 3214595520 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21930/statm: 174724 164141 79 194 0 174528 0
[pid=21930/tid=21931] ppid=21927 vsize=698896 CPUtime=756.69
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 31091 0 0 0 75582 87 0 0 25 0 4 0 1118878272 715669504 164141 4294967295 134512640 135305190 3214597344 3076512904 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=698896 CPUtime=755.16
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 35463 0 0 0 75432 84 0 0 25 0 4 0 1118878272 715669504 164141 4294967295 134512640 135305190 3214597344 3068124352 134528301 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=698896 CPUtime=755.69
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 39680 0 0 0 75436 133 0 0 25 0 4 0 1118878272 715669504 164141 4294967295 134512640 135305190 3214597344 3059735744 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3027.75
Current children cumulated vsize (KiB) 701312
[startup+822.305 s]
/proc/loadavg: 4.73 4.67 4.60 7/121 24347
/proc/meminfo: memFree=2214020/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=737208 CPUtime=3263.1
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 173694 0 0 0 325872 438 0 0 25 0 4 0 1118878207 754900992 173617 4294967295 134512640 135305190 3214597344 3214595520 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21930/statm: 184302 173617 79 194 0 184106 0
[pid=21930/tid=21931] ppid=21927 vsize=737208 CPUtime=816.67
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 31856 0 0 0 81574 93 0 0 25 0 4 0 1118878272 754900992 173617 4294967295 134512640 135305190 3214597344 3076512848 134538311 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=737208 CPUtime=815.04
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 37133 0 0 0 81410 94 0 0 25 0 4 0 1118878272 754900992 173617 4294967295 134512640 135305190 3214597344 3068124352 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=737208 CPUtime=815.53
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 45106 0 0 0 81403 150 0 0 25 0 4 0 1118878272 754900992 173617 4294967295 134512640 135305190 3214597344 3059735744 134528329 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3267.4
Current children cumulated vsize (KiB) 739624
[startup+882.322 s]
/proc/loadavg: 4.71 4.67 4.60 5/120 24587
/proc/meminfo: memFree=2209872/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=740540 CPUtime=3502.37
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 174427 0 0 0 349782 455 0 0 16 0 4 0 1118878207 758312960 174350 4294967295 134512640 135305190 3214597344 3214595520 134528410 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21930/statm: 185135 174350 79 194 0 184939 0
[pid=21930/tid=21931] ppid=21927 vsize=740540 CPUtime=876.5
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 31856 0 0 0 87552 98 0 0 25 0 4 0 1118878272 758312960 174350 4294967295 134512640 135305190 3214597344 3076512960 134528376 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=740540 CPUtime=874.8
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 37342 0 0 0 87386 94 0 0 25 0 4 0 1118878272 758312960 174350 4294967295 134512640 135305190 3214597344 3068124352 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=740540 CPUtime=875.46
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 45435 0 0 0 87391 155 0 0 25 0 4 0 1118878272 758312960 174350 4294967295 134512640 135305190 3214597344 3059735744 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3506.67
Current children cumulated vsize (KiB) 742956
[startup+942.31 s]
/proc/loadavg: 4.99 4.73 4.63 7/121 24716
/proc/meminfo: memFree=2209960/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=741600 CPUtime=3741.86
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 174650 0 0 0 373714 472 0 0 25 0 4 0 1118878207 759398400 174573 4294967295 134512640 135305190 3214597344 3214595520 134528410 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21930/statm: 185400 174573 79 194 0 185204 0
[pid=21930/tid=21931] ppid=21927 vsize=741600 CPUtime=936.46
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 31885 0 0 0 93545 101 0 0 25 0 4 0 1118878272 759398400 174573 4294967295 134512640 135305190 3214597344 3076512960 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=741600 CPUtime=934.78
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 37518 0 0 0 93380 98 0 0 25 0 4 0 1118878272 759398400 174573 4294967295 134512640 135305190 3214597344 3068124352 134528376 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=741600 CPUtime=935.17
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 45442 0 0 0 93359 158 0 0 25 0 4 0 1118878272 759398400 174573 4294967295 134512640 135305190 3214597344 3059735744 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3746.16
Current children cumulated vsize (KiB) 744016
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 4.56 4.66 4.61 6/121 24830
/proc/meminfo: memFree=2207048/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=746136 CPUtime=3972.31
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 175475 0 0 0 396741 490 0 0 25 0 4 0 1118878207 764043264 175398 4294967295 134512640 135305190 3214597344 3214595520 134528392 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21930/statm: 186534 175398 79 194 0 186338 0
[pid=21930/tid=21931] ppid=21927 vsize=746136 CPUtime=993.83
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 32190 0 0 0 99278 105 0 0 25 0 4 0 1118878272 764043264 175398 4294967295 134512640 135305190 3214597344 3076512960 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=746136 CPUtime=992.49
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 37889 0 0 0 99145 104 0 0 25 0 4 0 1118878272 764043264 175398 4294967295 134512640 135305190 3214597344 3068124352 134528402 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=746136 CPUtime=992.86
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 45470 0 0 0 99122 164 0 0 25 0 4 0 1118878272 764043264 175398 4294967295 134512640 135305190 3214597344 3059735744 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3976.61
Current children cumulated vsize (KiB) 748552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1000.02 s]
/proc/loadavg: 4.56 4.66 4.61 6/121 24830
/proc/meminfo: memFree=2207048/3368532 swapFree=1941392/1959888
[pid=21927] ppid=21925 vsize=2416 CPUtime=4.3
/proc/21927/stat : 21927 (manysat.sh) S 21925 21927 12261 0 -1 4194304 370 9020 0 0 0 0 427 3 18 0 1 0 1118877778 2473984 274 4294967295 134512640 135169312 3218682064 3218678280 3085356782 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21927/statm: 604 274 231 161 0 43 0
[pid=21930] ppid=21927 vsize=746136 CPUtime=3972.31
/proc/21930/stat : 21930 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202496 175475 0 0 0 396741 490 0 0 25 0 4 0 1118878207 764043264 175398 4294967295 134512640 135305190 3214597344 3214595520 134528392 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21930/statm: 186534 175398 79 194 0 186338 0
[pid=21930/tid=21931] ppid=21927 vsize=746136 CPUtime=993.83
/proc/21930/task/21931/stat : 21931 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 32190 0 0 0 99278 105 0 0 25 0 4 0 1118878272 764043264 175398 4294967295 134512640 135305190 3214597344 3076512960 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21930/tid=21932] ppid=21927 vsize=746136 CPUtime=992.49
/proc/21930/task/21932/stat : 21932 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 37889 0 0 0 99145 104 0 0 25 0 4 0 1118878272 764043264 175398 4294967295 134512640 135305190 3214597344 3068124352 134528402 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21930/tid=21933] ppid=21927 vsize=746136 CPUtime=992.86
/proc/21930/task/21933/stat : 21933 (manysat1.1_stat) R 21927 21927 12261 0 -1 4202560 45470 0 0 0 99122 164 0 0 25 0 4 0 1118878272 764043264 175398 4294967295 134512640 135305190 3214597344 3059735744 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3976.61
Current children cumulated vsize (KiB) 748552
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21927 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=270000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=30000
# CPU time returned by wait4() is 4.3
# while last known CPU time is 3976.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.05
CPU time (s): 3976.61
CPU user time (s): 3971.68
CPU system time (s): 4.93
CPU usage (%): 397.642
Max. virtual memory (cumulated for all children) (KiB): 748552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.27
system time used= 0.03
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9390
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= 47
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 22:19:39
IDJOB=1781089
IDBENCH=71096
IDSOLVER=623
FILE ID=/1781089-1243541979
PBS_JOBID=
Free space on /tmp= 15723 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_16_UNKNOWN.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781089-1243541979/watcher-1781089-1243541979 -o /tmp/evaluation-result-1781089-1243541979/solver-1781089-1243541979 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781089-1243541979.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 85279cb74dedd2e1c7356e22d8e98939
RANDOM SEED= 1837640843
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: 2917260 kB
Buffers: 39388 kB
Cached: 329792 kB
SwapCached: 4320 kB
Active: 148084 kB
Inactive: 232032 kB
HighTotal: 2489216 kB
HighFree: 2146356 kB
LowTotal: 879316 kB
LowFree: 770904 kB
SwapTotal: 1959888 kB
SwapFree: 1941392 kB
Dirty: 7560 kB
Writeback: 0 kB
AnonPages: 9752 kB
Mapped: 4516 kB
Slab: 60316 kB
SReclaimable: 51196 kB
SUnreclaim: 9120 kB
PageTables: 748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 127452 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15714 MiB
End job on at 2009-05-28 22:36:22