0.00/0.00 c Parsing...
0.11/0.11 c ==============================================================================
0.11/0.11 c | | ORIGINAL | LEARNT | |
0.11/0.11 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.11/0.11 c ==============================================================================
0.11/0.11 c | 0 | 152037 354753 | 45611 0 0 nan | 0.000 % |
1.12/1.12 c | 0 | 86170 286586 | -- 0 -- -- | -- | -65825/-68066
1.12/1.12 c ==============================================================================
1.12/1.12 c Result : #vars: 18463 #clauses: 86170 #literals: 286586
1.12/1.12 c CPU time: 1.06 s
1.12/1.12 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1779154-1243520603/watcher-1779154-1243520603 -o /tmp/evaluation-result-1779154-1243520603/solver-1779154-1243520603 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779154-1243520603.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.52 4.51 4.43 3/109 5936
/proc/meminfo: memFree=2278728/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2412 CPUtime=0
/proc/5936/stat : 5936 (manysat.sh) R 5934 5936 29143 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1116723123 2469888 273 4294967295 134512640 135169312 3219757536 3219756012 3085584244 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/5936/statm: 603 273 231 161 0 42 0
[pid=5937] ppid=5936 vsize=1184 CPUtime=0
/proc/5937/stat : 5937 (SatElite) R 5936 5936 29143 0 -1 4202496 221 0 0 0 0 0 0 0 18 0 1 0 1116723123 1212416 158 4294967295 134512640 135034092 3214712016 3214708360 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5937/statm: 296 160 49 128 0 166 0
[startup+0.029367 s]
/proc/loadavg: 4.52 4.51 4.43 3/109 5936
/proc/meminfo: memFree=2278728/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2412 CPUtime=0
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116723123 2469888 273 4294967295 134512640 135169312 3219757536 3219756072 3085582062 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5936/statm: 603 273 231 161 0 42 0
[pid=5937] ppid=5936 vsize=5660 CPUtime=0.03
/proc/5937/stat : 5937 (SatElite) R 5936 5936 29143 0 -1 4202496 1325 0 0 0 2 1 0 0 19 0 1 0 1116723123 5795840 1262 4294967295 134512640 135034092 3214712016 3214708304 134544897 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5937/statm: 1415 1262 49 128 0 1285 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8072
[startup+0.109354 s]
/proc/loadavg: 4.52 4.51 4.43 3/109 5936
/proc/meminfo: memFree=2278728/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2412 CPUtime=0
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116723123 2469888 273 4294967295 134512640 135169312 3219757536 3219756072 3085582062 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5936/statm: 603 273 231 161 0 42 0
[pid=5937] ppid=5936 vsize=20496 CPUtime=0.11
/proc/5937/stat : 5937 (SatElite) R 5936 5936 29143 0 -1 4202496 4683 0 0 0 8 3 0 0 19 0 1 0 1116723123 20987904 4620 4294967295 134512640 135034092 3214712016 3214709256 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5937/statm: 5124 4621 50 128 0 4994 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 22908
[startup+0.309342 s]
/proc/loadavg: 4.52 4.51 4.43 3/109 5936
/proc/meminfo: memFree=2278728/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2412 CPUtime=0
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116723123 2469888 273 4294967295 134512640 135169312 3219757536 3219756072 3085582062 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5936/statm: 603 273 231 161 0 42 0
[pid=5937] ppid=5936 vsize=24160 CPUtime=0.31
/proc/5937/stat : 5937 (SatElite) R 5936 5936 29143 0 -1 4202496 5833 0 0 0 26 5 0 0 20 0 1 0 1116723123 24739840 5372 4294967295 134512640 135034092 3214712016 3214708012 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5937/statm: 6040 5372 67 128 0 5910 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 26572
[startup+0.709322 s]
/proc/loadavg: 4.52 4.51 4.43 3/109 5936
/proc/meminfo: memFree=2278728/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2412 CPUtime=0
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116723123 2469888 273 4294967295 134512640 135169312 3219757536 3219756072 3085582062 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5936/statm: 603 273 231 161 0 42 0
[pid=5937] ppid=5936 vsize=25728 CPUtime=0.71
/proc/5937/stat : 5937 (SatElite) R 5936 5936 29143 0 -1 4202496 6241 0 0 0 65 6 0 0 21 0 1 0 1116723123 26345472 5780 4294967295 134512640 135034092 3214712016 3214708012 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5937/statm: 6432 5780 67 128 0 6302 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 28140
[startup+1.50929 s]
/proc/loadavg: 4.52 4.51 4.43 2/111 5938
/proc/meminfo: memFree=2251068/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 2416
[startup+3.10921 s]
/proc/loadavg: 4.24 4.46 4.41 6/114 5942
/proc/meminfo: memFree=2240968/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=64464 CPUtime=6.71
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 9153 0 0 0 649 22 0 0 16 0 4 0 1116723247 66011136 9088 4294967295 134512640 135305190 3218303088 3218300928 134551953 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5939/statm: 16116 9088 79 194 0 15920 0
[pid=5939/tid=5940] ppid=5936 vsize=64464 CPUtime=1.65
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 513 0 0 0 160 5 0 0 16 0 4 0 1116723265 66011136 9088 4294967295 134512640 135305190 3218303088 3079740272 134551945 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=64464 CPUtime=1.62
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 737 0 0 0 158 4 0 0 15 0 4 0 1116723265 66011136 9088 4294967295 134512640 135305190 3218303088 3071351944 134840070 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=64464 CPUtime=1.65
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 686 0 0 0 160 5 0 0 16 0 4 0 1116723265 66011136 9088 4294967295 134512640 135305190 3218303088 3062963236 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.95
Current children cumulated vsize (KiB) 66880
[startup+6.30904 s]
/proc/loadavg: 4.24 4.46 4.41 7/114 5942
/proc/meminfo: memFree=2227404/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=76748 CPUtime=19.46
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 12278 0 0 0 1921 25 0 0 16 0 4 0 1116723247 78589952 12213 4294967295 134512640 135305190 3218303088 3218301264 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5939/statm: 19187 12213 79 194 0 18991 0
[pid=5939/tid=5940] ppid=5936 vsize=76748 CPUtime=4.85
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 1088 0 0 0 480 5 0 0 15 0 4 0 1116723265 78589952 12213 4294967295 134512640 135305190 3218303088 3079740608 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=76748 CPUtime=4.82
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 1829 0 0 0 477 5 0 0 16 0 4 0 1116723265 78589952 12213 4294967295 134512640 135305190 3218303088 3071351924 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=76748 CPUtime=4.83
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 1271 0 0 0 477 6 0 0 15 0 4 0 1116723265 78589952 12213 4294967295 134512640 135305190 3218303088 3062963108 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.7
Current children cumulated vsize (KiB) 79164
[startup+12.7187 s]
/proc/loadavg: 4.82 4.57 4.45 6/114 5943
/proc/meminfo: memFree=2206672/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=97232 CPUtime=44.89
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 17298 0 0 0 4456 33 0 0 15 0 4 0 1116723247 99565568 17233 4294967295 134512640 135305190 3218303088 3218301008 134546102 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5939/statm: 24308 17233 79 194 0 24112 0
[pid=5939/tid=5940] ppid=5936 vsize=97232 CPUtime=11.25
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 1814 0 0 0 1120 5 0 0 16 0 4 0 1116723265 99565568 17233 4294967295 134512640 135305190 3218303088 3079740608 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=97232 CPUtime=11.17
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 3797 0 0 0 1110 7 0 0 18 0 4 0 1116723265 99565568 17233 4294967295 134512640 135305190 3218303088 3071351944 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=97232 CPUtime=11.14
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 2242 0 0 0 1104 10 0 0 15 0 4 0 1116723265 99565568 17233 4294967295 134512640 135305190 3218303088 3062963316 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46.13
Current children cumulated vsize (KiB) 99648
[startup+25.508 s]
/proc/loadavg: 4.85 4.59 4.46 6/114 5944
/proc/meminfo: memFree=2178200/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=123124 CPUtime=95.87
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 23789 0 0 0 9544 43 0 0 25 0 4 0 1116723247 126078976 23724 4294967295 134512640 135305190 3218303088 3218301264 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5939/statm: 30781 23724 79 194 0 30585 0
[pid=5939/tid=5940] ppid=5936 vsize=123124 CPUtime=23.91
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 2821 0 0 0 2386 5 0 0 25 0 4 0 1116723265 126078976 23724 4294967295 134512640 135305190 3218303088 3079740608 134528548 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=123124 CPUtime=23.96
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 6234 0 0 0 2388 8 0 0 25 0 4 0 1116723265 126078976 23724 4294967295 134512640 135305190 3218303088 3071352000 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=123124 CPUtime=23.89
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 3584 0 0 0 2374 15 0 0 16 0 4 0 1116723265 126078976 23724 4294967295 134512640 135305190 3218303088 3062963392 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 97.11
Current children cumulated vsize (KiB) 125540
[startup+51.1067 s]
/proc/loadavg: 4.68 4.57 4.45 5/114 6130
/proc/meminfo: memFree=2155876/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=145052 CPUtime=197.78
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 29274 0 0 0 19729 49 0 0 25 0 4 0 1116723247 148533248 29209 4294967295 134512640 135305190 3218303088 3218301264 134530561 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5939/statm: 36263 29209 79 194 0 36067 0
[pid=5939/tid=5940] ppid=5936 vsize=145052 CPUtime=49.42
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 3881 0 0 0 4936 6 0 0 24 0 4 0 1116723265 148533248 29209 4294967295 134512640 135305190 3218303088 3079740496 134538165 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=145052 CPUtime=49.28
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 8039 0 0 0 4918 10 0 0 25 0 4 0 1116723265 148533248 29209 4294967295 134512640 135305190 3218303088 3071351616 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=145052 CPUtime=49.44
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 4778 0 0 0 4928 16 0 0 25 0 4 0 1116723265 148533248 29209 4294967295 134512640 135305190 3218303088 3062963392 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 199.02
Current children cumulated vsize (KiB) 147468
[startup+102.314 s]
/proc/loadavg: 4.47 4.53 4.45 5/114 6316
/proc/meminfo: memFree=2109988/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=191400 CPUtime=402.07
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 40706 0 0 0 40134 73 0 0 25 0 4 0 1116723247 195993600 40641 4294967295 134512640 135305190 3218303088 3218300928 134551857 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/5939/statm: 47850 40641 79 194 0 47654 0
[pid=5939/tid=5940] ppid=5936 vsize=191400 CPUtime=100.58
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 6031 0 0 0 10049 9 0 0 25 0 4 0 1116723265 195993600 40641 4294967295 134512640 135305190 3218303088 3079740608 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=191400 CPUtime=100.3
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 11702 0 0 0 10011 19 0 0 25 0 4 0 1116723265 195993600 40641 4294967295 134512640 135305190 3218303088 3071352068 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=191400 CPUtime=100.59
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 7361 0 0 0 10039 20 0 0 25 0 4 0 1116723265 195993600 40641 4294967295 134512640 135305190 3218303088 3062963392 134528559 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 403.31
Current children cumulated vsize (KiB) 193816
[startup+162.311 s]
/proc/loadavg: 4.69 4.57 4.46 5/114 6504
/proc/meminfo: memFree=2083700/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=217452 CPUtime=641.3
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 46951 0 0 0 64032 98 0 0 25 0 4 0 1116723247 222670848 46886 4294967295 134512640 135305190 3218303088 3218300992 134557103 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5939/statm: 54363 46886 79 194 0 54167 0
[pid=5939/tid=5940] ppid=5936 vsize=217452 CPUtime=160.23
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 7423 0 0 0 16006 17 0 0 25 0 4 0 1116723265 222670848 46886 4294967295 134512640 135305190 3218303088 3079740608 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=217452 CPUtime=160.21
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 13596 0 0 0 15999 22 0 0 25 0 4 0 1116723265 222670848 46886 4294967295 134512640 135305190 3218303088 3071352000 134528506 0 0 0 3 0 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 19036 0 0 0 51894 62 0 0 25 0 4 0 1116723265 414547968 93529 4294967295 134512640 135305190 3218303088 3062963392 134528788 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2078.88
Current children cumulated vsize (KiB) 407248
[startup+582.319 s]
/proc/loadavg: 4.41 4.47 4.44 5/114 7825
/proc/meminfo: memFree=1891128/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=411560 CPUtime=2317.14
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 95340 0 0 0 231443 271 0 0 25 0 4 0 1116723247 421437440 95260 4294967295 134512640 135305190 3218303088 3218301264 134528539 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5939/statm: 102890 95260 79 194 0 102694 0
[pid=5939/tid=5940] ppid=5936 vsize=411560 CPUtime=579.16
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 17445 0 0 0 57864 52 0 0 25 0 4 0 1116723265 421437440 95260 4294967295 134512640 135305190 3218303088 3079740608 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=411560 CPUtime=579.47
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 30155 0 0 0 57886 61 0 0 25 0 4 0 1116723265 421437440 95260 4294967295 134512640 135305190 3218303088 3071352000 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=411560 CPUtime=579.39
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 19314 0 0 0 57868 71 0 0 25 0 4 0 1116723265 421437440 95260 4294967295 134512640 135305190 3218303088 3062963392 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2318.38
Current children cumulated vsize (KiB) 413976
[startup+642.316 s]
/proc/loadavg: 4.38 4.44 4.44 5/114 8012
/proc/meminfo: memFree=1867764/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=433228 CPUtime=2556.46
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 100522 0 0 0 255348 298 0 0 25 0 4 0 1116723247 443625472 100442 4294967295 134512640 135305190 3218303088 3218300928 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5939/statm: 108307 100442 79 194 0 108111 0
[pid=5939/tid=5940] ppid=5936 vsize=433228 CPUtime=638.89
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 18683 0 0 0 63827 62 0 0 25 0 4 0 1116723265 443625472 100442 4294967295 134512640 135305190 3218303088 3079740608 134528791 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=433228 CPUtime=639.26
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 31521 0 0 0 63858 68 0 0 25 0 4 0 1116723265 443625472 100442 4294967295 134512640 135305190 3218303088 3071352000 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=433228 CPUtime=639.27
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 20609 0 0 0 63848 79 0 0 25 0 4 0 1116723265 443625472 100442 4294967295 134512640 135305190 3218303088 3062963392 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2557.7
Current children cumulated vsize (KiB) 435644
[startup+702.313 s]
/proc/loadavg: 4.39 4.42 4.43 6/114 8200
/proc/meminfo: memFree=1836856/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=467768 CPUtime=2795.96
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 109009 0 0 0 279277 319 0 0 25 0 4 0 1116723247 478994432 108929 4294967295 134512640 135305190 3218303088 3218301264 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5939/statm: 116942 108929 79 194 0 116746 0
[pid=5939/tid=5940] ppid=5936 vsize=467768 CPUtime=698.71
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 20515 0 0 0 69807 64 0 0 25 0 4 0 1116723265 478994432 108929 4294967295 134512640 135305190 3218303088 3079740608 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=467768 CPUtime=699.11
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 33884 0 0 0 69837 74 0 0 25 0 4 0 1116723265 478994432 108929 4294967295 134512640 135305190 3218303088 3071352000 134528501 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=467768 CPUtime=699.18
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 22666 0 0 0 69833 85 0 0 25 0 4 0 1116723265 478994432 108929 4294967295 134512640 135305190 3218303088 3062963392 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2797.2
Current children cumulated vsize (KiB) 470184
[startup+762.31 s]
/proc/loadavg: 4.35 4.39 4.41 5/114 8392
/proc/meminfo: memFree=1818336/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=484852 CPUtime=3035.38
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 113284 0 0 0 303192 346 0 0 25 0 4 0 1116723247 496488448 113204 4294967295 134512640 135305190 3218303088 3218301264 134528406 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5939/statm: 121213 113204 79 194 0 121017 0
[pid=5939/tid=5940] ppid=5936 vsize=484852 CPUtime=758.67
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 21470 0 0 0 75798 69 0 0 25 0 4 0 1116723265 496488448 113204 4294967295 134512640 135305190 3218303088 3079740608 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=484852 CPUtime=758.91
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 35453 0 0 0 75808 83 0 0 25 0 4 0 1116723265 496488448 113204 4294967295 134512640 135305190 3218303088 3071352000 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=484852 CPUtime=759.02
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 23484 0 0 0 75811 91 0 0 25 0 4 0 1116723265 496488448 113204 4294967295 134512640 135305190 3218303088 3062963392 134528265 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3036.62
Current children cumulated vsize (KiB) 487268
[startup+822.306 s]
/proc/loadavg: 4.55 4.43 4.42 5/114 8580
/proc/meminfo: memFree=1786828/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=515104 CPUtime=3274.74
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 120911 0 0 0 327094 380 0 0 25 0 4 0 1116723247 527466496 120831 4294967295 134512640 135305190 3218303088 3218301264 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5939/statm: 128776 120831 79 194 0 128580 0
[pid=5939/tid=5940] ppid=5936 vsize=515104 CPUtime=818.51
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 23246 0 0 0 81779 72 0 0 25 0 4 0 1116723265 527466496 120831 4294967295 134512640 135305190 3218303088 3079740336 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=515104 CPUtime=818.75
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 38169 0 0 0 81786 89 0 0 25 0 4 0 1116723265 527466496 120831 4294967295 134512640 135305190 3218303088 3071352000 134528545 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=515104 CPUtime=818.75
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 24867 0 0 0 81769 106 0 0 25 0 4 0 1116723265 527466496 120831 4294967295 134512640 135305190 3218303088 3062963056 134551709 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3275.98
Current children cumulated vsize (KiB) 517520
[startup+882.313 s]
/proc/loadavg: 4.56 4.44 4.43 6/114 8768
/proc/meminfo: memFree=1745368/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=558152 CPUtime=3514.33
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 131732 0 0 0 351024 409 0 0 25 0 4 0 1116723247 571547648 131652 4294967295 134512640 135305190 3218303088 3218301264 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5939/statm: 139538 131652 79 194 0 139342 0
[pid=5939/tid=5940] ppid=5936 vsize=558152 CPUtime=878.44
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 25499 0 0 0 87762 82 0 0 25 0 4 0 1116723265 571547648 131652 4294967295 134512640 135305190 3218303088 3079740552 134839991 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=558152 CPUtime=878.68
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 41488 0 0 0 87775 93 0 0 25 0 4 0 1116723265 571547648 131652 4294967295 134512640 135305190 3218303088 3071352000 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=558152 CPUtime=878.5
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 27312 0 0 0 87738 112 0 0 25 0 4 0 1116723265 571547648 131652 4294967295 134512640 135305190 3218303088 3062963392 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3515.57
Current children cumulated vsize (KiB) 560568
[startup+942.31 s]
/proc/loadavg: 4.62 4.48 4.44 6/114 8955
/proc/meminfo: memFree=1711864/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=590316 CPUtime=3753.49
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 139616 0 0 0 374917 432 0 0 25 0 4 0 1116723247 604483584 139536 4294967295 134512640 135305190 3218303088 3218300928 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5939/statm: 147579 139536 79 194 0 147383 0
[pid=5939/tid=5940] ppid=5936 vsize=590316 CPUtime=938.09
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 26964 0 0 0 93725 84 0 0 25 0 4 0 1116723265 604483584 139536 4294967295 134512640 135305190 3218303088 3079740272 134551703 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=590316 CPUtime=938.39
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 43489 0 0 0 93739 100 0 0 25 0 4 0 1116723265 604483584 139536 4294967295 134512640 135305190 3218303088 3071352000 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=590316 CPUtime=938.37
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 29647 0 0 0 93719 118 0 0 25 0 4 0 1116723265 604483584 139536 4294967295 134512640 135305190 3218303088 3062963056 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3754.73
Current children cumulated vsize (KiB) 592732
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.43 4.44 4.43 5/114 9143
/proc/meminfo: memFree=1706172/3368532 swapFree=1959840/1959888
[pid=5936] ppid=5934 vsize=2416 CPUtime=1.24
/proc/5936/stat : 5936 (manysat.sh) S 5934 5936 29143 0 -1 4194304 369 6885 0 0 0 0 117 7 18 0 1 0 1116723123 2473984 274 4294967295 134512640 135169312 3219757536 3219753752 3085582062 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5936/statm: 604 274 231 161 0 43 0
[pid=5939] ppid=5936 vsize=596492 CPUtime=3983.47
/proc/5939/stat : 5939 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202496 141034 0 0 0 397889 458 0 0 25 0 4 0 1116723247 610807808 140954 4294967295 134512640 135305190 3218303088 3218300928 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5939/statm: 149123 140954 79 194 0 148927 0
[pid=5939/tid=5940] ppid=5936 vsize=596492 CPUtime=995.76
/proc/5939/task/5940/stat : 5940 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 27064 0 0 0 99487 89 0 0 25 0 4 0 1116723265 610807808 140954 4294967295 134512640 135305190 3218303088 3079740608 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5939/tid=5941] ppid=5936 vsize=596492 CPUtime=995.53
/proc/5939/task/5941/stat : 5941 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 44434 0 0 0 99441 112 0 0 25 0 4 0 1116723265 610807808 140954 4294967295 134512640 135305190 3218303088 3071352000 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5939/tid=5942] ppid=5936 vsize=596492 CPUtime=995.88
/proc/5939/task/5942/stat : 5942 (manysat1.1_stat) R 5936 5936 29143 0 -1 4202560 29814 0 0 0 99466 122 0 0 25 0 4 0 1116723265 610807808 140954 4294967295 134512640 135305190 3218303088 3062963056 134551709 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3984.71
Current children cumulated vsize (KiB) 598908
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 5936 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=170000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=70000
# CPU time returned by wait4() is 1.24
# while last known CPU time is 3984.71
#
# 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): 3984.71
CPU user time (s): 3980.06
CPU system time (s): 4.65
CPU usage (%): 398.452
Max. virtual memory (cumulated for all children) (KiB): 598908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.17
system time used= 0.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7254
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= 8
runsolver used 0 second user time and 0.03 second system time
The end
Begin job on at 2009-05-28 16:23:23
IDJOB=1779154
IDBENCH=70817
IDSOLVER=623
FILE ID=/1779154-1243520603
PBS_JOBID=
Free space on /tmp= 7985 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779154-1243520603/watcher-1779154-1243520603 -o /tmp/evaluation-result-1779154-1243520603/solver-1779154-1243520603 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779154-1243520603.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 902b28046d424b16042ca612ddad48e0
RANDOM SEED= 622210539
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.073
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.073
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.12
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.073
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.14
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.073
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.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 2279024 kB
Buffers: 33696 kB
Cached: 935768 kB
SwapCached: 0 kB
Active: 50224 kB
Inactive: 938612 kB
HighTotal: 2489216 kB
HighFree: 1647372 kB
LowTotal: 879316 kB
LowFree: 631652 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 4048 kB
Writeback: 0 kB
AnonPages: 19168 kB
Mapped: 7772 kB
Slab: 91400 kB
SReclaimable: 78588 kB
SUnreclaim: 12812 kB
PageTables: 656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 111080 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 7978 MiB
End job on at 2009-05-28 16:40:05