0.00/0.00 c Parsing...
0.80/0.90 c ==============================================================================
0.80/0.90 c | | ORIGINAL | LEARNT | |
0.80/0.90 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.80/0.90 c ==============================================================================
0.80/0.90 c | 0 | 1158473 2698320 | 347541 0 0 nan | 0.000 % |
6.30/6.37 c | 0 | 730398 2016040 | -- 0 -- -- | -- | -221147/-216322
6.30/6.37 c ==============================================================================
6.30/6.37 c Result : #vars: 128393 #clauses: 730398 #literals: 2016040
6.30/6.37 c CPU time: 6.18 s
6.30/6.37 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775629-1243498366/watcher-1775629-1243498366 -o /tmp/evaluation-result-1775629-1243498366/solver-1775629-1243498366 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775629-1243498366.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: 3.96 4.04 2.85 3/99 23235
/proc/meminfo: memFree=3190936/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2412 CPUtime=0
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114501198 2469888 273 4294967295 134512640 135169312 3219761632 3219760168 3085041390 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23235/statm: 603 273 231 161 0 42 0
[pid=23236] ppid=23235 vsize=1756 CPUtime=0
/proc/23236/stat : 23236 (SatElite) R 23235 23235 19648 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 1114501198 1798144 298 4294967295 134512640 135034092 3216557712 3216554000 134545050 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23236/statm: 439 303 49 128 0 309 0
[startup+0.07869 s]
/proc/loadavg: 3.96 4.04 2.85 3/99 23235
/proc/meminfo: memFree=3190936/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2412 CPUtime=0
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114501198 2469888 273 4294967295 134512640 135169312 3219761632 3219760168 3085041390 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23235/statm: 603 273 231 161 0 42 0
[pid=23236] ppid=23235 vsize=21640 CPUtime=0.07
/proc/23236/stat : 23236 (SatElite) R 23235 23235 19648 0 -1 4202496 4394 0 0 0 6 1 0 0 18 0 1 0 1114501198 22159360 4331 4294967295 134512640 135034092 3216557712 3216553672 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23236/statm: 5410 4332 49 128 0 5280 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24052
[startup+0.108686 s]
/proc/loadavg: 3.96 4.04 2.85 3/99 23235
/proc/meminfo: memFree=3190936/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2412 CPUtime=0
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114501198 2469888 273 4294967295 134512640 135169312 3219761632 3219760168 3085041390 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23235/statm: 603 273 231 161 0 42 0
[pid=23236] ppid=23235 vsize=37480 CPUtime=0.1
/proc/23236/stat : 23236 (SatElite) R 23235 23235 19648 0 -1 4202496 6344 0 0 0 8 2 0 0 18 0 1 0 1114501198 38379520 6281 4294967295 134512640 135034092 3216557712 3216553672 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23236/statm: 9370 6282 49 128 0 9240 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 39892
[startup+0.308667 s]
/proc/loadavg: 3.96 4.04 2.85 3/99 23235
/proc/meminfo: memFree=3190936/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2412 CPUtime=0
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114501198 2469888 273 4294967295 134512640 135169312 3219761632 3219760168 3085041390 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23235/statm: 603 273 231 161 0 42 0
[pid=23236] ppid=23235 vsize=57116 CPUtime=0.3
/proc/23236/stat : 23236 (SatElite) R 23235 23235 19648 0 -1 4202496 13304 0 0 0 26 4 0 0 18 0 1 0 1114501198 58486784 13242 4294967295 134512640 135034092 3216557712 3216553808 134543255 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23236/statm: 14279 13243 49 128 0 14149 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 59528
[startup+0.708629 s]
/proc/loadavg: 3.96 4.04 2.85 3/99 23235
/proc/meminfo: memFree=3190936/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2412 CPUtime=0
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114501198 2469888 273 4294967295 134512640 135169312 3219761632 3219760168 3085041390 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23235/statm: 603 273 231 161 0 42 0
[pid=23236] ppid=23235 vsize=94196 CPUtime=0.7
/proc/23236/stat : 23236 (SatElite) R 23235 23235 19648 0 -1 4202496 22312 0 0 0 62 8 0 0 18 0 1 0 1114501198 96456704 22249 4294967295 134512640 135034092 3216557712 3216553704 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23236/statm: 23549 22249 50 128 0 23419 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 96608
[startup+1.50856 s]
/proc/loadavg: 3.96 4.04 2.85 2/101 23237
/proc/meminfo: memFree=3082452/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2412 CPUtime=0
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114501198 2469888 273 4294967295 134512640 135169312 3219761632 3219760168 3085041390 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23235/statm: 603 273 231 161 0 42 0
[pid=23236] ppid=23235 vsize=132188 CPUtime=1.5
/proc/23236/stat : 23236 (SatElite) R 23235 23235 19648 0 -1 4202496 32467 0 0 0 137 13 0 0 20 0 1 0 1114501198 135360512 29649 4294967295 134512640 135034092 3216557712 3216553872 134548773 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23236/statm: 33047 29649 67 128 0 32917 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 134600
[startup+3.1084 s]
/proc/loadavg: 3.72 3.98 2.84 2/101 23237
/proc/meminfo: memFree=3064312/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2412 CPUtime=0
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114501198 2469888 273 4294967295 134512640 135169312 3219761632 3219760168 3085041390 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23235/statm: 603 273 231 161 0 42 0
[pid=23236] ppid=23235 vsize=138508 CPUtime=3.1
/proc/23236/stat : 23236 (SatElite) R 23235 23235 19648 0 -1 4202496 34236 0 0 0 297 13 0 0 25 0 1 0 1114501198 141832192 31184 4294967295 134512640 135034092 3216557712 3216553952 134566501 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23236/statm: 34627 31184 67 128 0 34497 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 140920
[startup+6.30809 s]
/proc/loadavg: 3.72 3.98 2.84 2/101 23237
/proc/meminfo: memFree=3057444/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2412 CPUtime=0
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114501198 2469888 273 4294967295 134512640 135169312 3219761632 3219760168 3085041390 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/23235/statm: 603 273 231 161 0 42 0
[pid=23236] ppid=23235 vsize=149368 CPUtime=6.3
/proc/23236/stat : 23236 (SatElite) R 23235 23235 19648 0 -1 4202496 43782 0 0 0 614 16 0 0 25 0 1 0 1114501198 152952832 34206 4294967295 134512640 135034092 3216557712 3216554208 134558534 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23236/statm: 37342 34206 67 128 0 37212 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 151780
[startup+12.7075 s]
/proc/loadavg: 3.54 3.94 2.83 5/104 23241
/proc/meminfo: memFree=2962236/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=241812 CPUtime=16.89
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 51583 0 0 0 1626 63 0 0 16 0 4 0 1114501922 247615488 51518 4294967295 134512640 135305190 3215285648 3215283748 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/23238/statm: 60453 51518 79 194 0 60257 0
[pid=23238/tid=23239] ppid=23235 vsize=241812 CPUtime=3.84
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 995 0 0 0 371 13 0 0 16 0 4 0 1114502070 247615488 51518 4294967295 134512640 135305190 3215285648 3015171264 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=241812 CPUtime=3.87
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 1107 0 0 0 383 4 0 0 16 0 4 0 1114502070 247615488 51518 4294967295 134512640 135305190 3215285648 3006782656 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=241812 CPUtime=3.89
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 1119 0 0 0 375 14 0 0 16 0 4 0 1114502070 247615488 51518 4294967295 134512640 135305190 3215285648 2998394048 134528350 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.13
Current children cumulated vsize (KiB) 244228
[startup+25.5063 s]
/proc/loadavg: 3.69 3.95 2.85 5/104 23243
/proc/meminfo: memFree=2957520/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=247448 CPUtime=67.96
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 52902 0 0 0 6723 73 0 0 25 0 4 0 1114501922 253386752 52837 4294967295 134512640 135305190 3215285648 3215283768 134840070 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/23238/statm: 61862 52837 79 194 0 61666 0
[pid=23238/tid=23239] ppid=23235 vsize=247448 CPUtime=16.56
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 1384 0 0 0 1640 16 0 0 25 0 4 0 1114502070 253386752 52837 4294967295 134512640 135305190 3215285648 3015171264 134528771 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=247448 CPUtime=16.65
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 1453 0 0 0 1660 5 0 0 25 0 4 0 1114502070 253386752 52837 4294967295 134512640 135305190 3215285648 3006782656 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=247448 CPUtime=16.68
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 1325 0 0 0 1653 15 0 0 25 0 4 0 1114502070 253386752 52837 4294967295 134512640 135305190 3215285648 2998393776 134557163 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 75.2
Current children cumulated vsize (KiB) 249864
[startup+51.1038 s]
/proc/loadavg: 3.79 3.96 2.88 5/104 23244
/proc/meminfo: memFree=2920964/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=284052 CPUtime=170.26
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 62126 0 0 0 16936 90 0 0 25 0 4 0 1114501922 290869248 62061 4294967295 134512640 135305190 3215285648 3215283300 134839991 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/23238/statm: 71013 62061 79 194 0 70817 0
[pid=23238/tid=23239] ppid=23235 vsize=284052 CPUtime=42.08
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 3279 0 0 0 4188 20 0 0 25 0 4 0 1114502070 290869248 62061 4294967295 134512640 135305190 3215285648 3015171264 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=284052 CPUtime=42.24
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 4284 0 0 0 4214 10 0 0 25 0 4 0 1114502070 290869248 62061 4294967295 134512640 135305190 3215285648 3006782656 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=284052 CPUtime=42.28
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 2908 0 0 0 4211 17 0 0 25 0 4 0 1114502070 290869248 62061 4294967295 134512640 135305190 3215285648 2998394048 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 177.5
Current children cumulated vsize (KiB) 286468
[startup+102.309 s]
/proc/loadavg: 4.07 4.01 2.95 5/104 23435
/proc/meminfo: memFree=2846004/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=356680 CPUtime=374.54
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 80388 0 0 0 37335 119 0 0 25 0 4 0 1114501922 365240320 80323 4294967295 134512640 135305190 3215285648 3215283824 134528559 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/23238/statm: 89170 80323 79 194 0 88974 0
[pid=23238/tid=23239] ppid=23235 vsize=356680 CPUtime=93.19
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 6805 0 0 0 9293 26 0 0 25 0 4 0 1114502070 365240320 80323 4294967295 134512640 135305190 3215285648 3015171264 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=356680 CPUtime=93.17
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 9840 0 0 0 9293 24 0 0 25 0 4 0 1114502070 365240320 80323 4294967295 134512640 135305190 3215285648 3006782656 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=356680 CPUtime=93.37
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 6323 0 0 0 9317 20 0 0 25 0 4 0 1114502070 365240320 80323 4294967295 134512640 135305190 3215285648 2998394048 134528559 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 381.78
Current children cumulated vsize (KiB) 359096
[startup+162.313 s]
/proc/loadavg: 4.18 4.05 3.03 5/104 23621
/proc/meminfo: memFree=2758236/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=445140 CPUtime=614.1
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 102304 0 0 0 61254 156 0 0 25 0 4 0 1114501922 455823360 102239 4294967295 134512640 135305190 3215285648 3215283824 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/23238/statm: 111285 102239 79 194 0 111089 0
[pid=23238/tid=23239] ppid=23235 vsize=445140 CPUtime=153.19
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 10604 0 0 0 15287 32 0 0 25 0 4 0 1114502070 455823360 102239 4294967295 134512640 135305190 3215285648 3015170928 134551712 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=445140 CPUtime=152.99
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 15992 0 0 0 15264 35 0 0 25 0 4 0 1114502070 455823360 102239 4294967295 134512640 135305190 3215285648 3006782656 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=445140 CPUtime=153.3
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 11791 0 0 0 15303 27 0 0 25 0 4 0 1114502070 455823360 102239 4294967295 134512640 135305190 3215285648 2998394048 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 621.34
Current children cumulated vsize (KiB) 447556
[startup+222.308 s]
/proc/loadavg: 4.30 4.10 3.11 5/104 23814
/proc/meminfo: memFree=2708376/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
################
# More data... #
################
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 29349 0 0 0 51176 63 0 0 25 0 4 0 1114502070 767115264 178163 4294967295 134512640 135305190 3215285648 2998394048 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2058.23
Current children cumulated vsize (KiB) 751552
[startup+582.313 s]
/proc/loadavg: 4.41 4.35 3.54 5/104 24946
/proc/meminfo: memFree=2335380/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=869616 CPUtime=2290.42
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 208334 0 0 0 228722 320 0 0 25 0 4 0 1114501922 890486784 208269 4294967295 134512640 135305190 3215285648 3215283456 135017758 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/23238/statm: 217404 208269 79 194 0 217208 0
[pid=23238/tid=23239] ppid=23235 vsize=869616 CPUtime=572.58
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 29870 0 0 0 57189 69 0 0 25 0 4 0 1114502070 890486784 208269 4294967295 134512640 135305190 3215285648 3015171264 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=869616 CPUtime=571.99
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 47974 0 0 0 57125 74 0 0 25 0 4 0 1114502070 890486784 208269 4294967295 134512640 135305190 3215285648 3006782624 134570407 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=869616 CPUtime=571.95
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 35695 0 0 0 57119 76 0 0 25 0 4 0 1114502070 890486784 208269 4294967295 134512640 135305190 3215285648 2998393712 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2297.66
Current children cumulated vsize (KiB) 872032
[startup+642.308 s]
/proc/loadavg: 4.35 4.36 3.59 5/104 25146
/proc/meminfo: memFree=2289772/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=911920 CPUtime=2529.86
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 219174 0 0 0 252633 353 0 0 25 0 4 0 1114501922 933806080 219109 4294967295 134512640 135305190 3215285648 3215283824 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/23238/statm: 227980 219109 79 194 0 227784 0
[pid=23238/tid=23239] ppid=23235 vsize=911920 CPUtime=632.31
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 31892 0 0 0 63150 81 0 0 25 0 4 0 1114502070 933806080 219109 4294967295 134512640 135305190 3215285648 3015171264 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=911920 CPUtime=631.91
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 51201 0 0 0 63110 81 0 0 25 0 4 0 1114502070 933806080 219109 4294967295 134512640 135305190 3215285648 3006782656 134528545 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=911920 CPUtime=631.73
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 38137 0 0 0 63086 87 0 0 25 0 4 0 1114502070 933806080 219109 4294967295 134512640 135305190 3215285648 2998394048 134528263 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2537.1
Current children cumulated vsize (KiB) 914336
[startup+702.312 s]
/proc/loadavg: 4.43 4.38 3.64 5/104 25335
/proc/meminfo: memFree=2288516/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=911920 CPUtime=2769.36
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 219238 0 0 0 276575 361 0 0 25 0 4 0 1114501922 933806080 219173 4294967295 134512640 135305190 3215285648 3215283488 134551729 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/23238/statm: 227980 219173 79 194 0 227784 0
[pid=23238/tid=23239] ppid=23235 vsize=911920 CPUtime=691.99
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 31892 0 0 0 69115 84 0 0 25 0 4 0 1114502070 933806080 219173 4294967295 134512640 135305190 3215285648 3015171264 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=911920 CPUtime=691.89
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 51227 0 0 0 69108 81 0 0 25 0 4 0 1114502070 933806080 219173 4294967295 134512640 135305190 3215285648 3006782656 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=911920 CPUtime=691.68
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 38175 0 0 0 69080 88 0 0 25 0 4 0 1114502070 933806080 219173 4294967295 134512640 135305190 3215285648 2998394048 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2776.6
Current children cumulated vsize (KiB) 914336
[startup+762.316 s]
/proc/loadavg: 4.32 4.37 3.68 5/104 25521
/proc/meminfo: memFree=2212864/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=990752 CPUtime=3008.99
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 238631 0 0 0 300504 395 0 0 25 0 4 0 1114501922 1014530048 238566 4294967295 134512640 135305190 3215285648 3215283488 134551712 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/23238/statm: 247688 238566 79 194 0 247492 0
[pid=23238/tid=23239] ppid=23235 vsize=990752 CPUtime=751.95
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 35603 0 0 0 75098 97 0 0 25 0 4 0 1114502070 1014530048 238566 4294967295 134512640 135305190 3215285648 3015170992 134556789 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=990752 CPUtime=751.9
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 56923 0 0 0 75100 90 0 0 25 0 4 0 1114502070 1014530048 238566 4294967295 134512640 135305190 3215285648 3006782544 134529134 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=990752 CPUtime=751.66
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 42857 0 0 0 75072 94 0 0 25 0 4 0 1114502070 1014530048 238566 4294967295 134512640 135305190 3215285648 2998394048 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3016.23
Current children cumulated vsize (KiB) 993168
[startup+822.31 s]
/proc/loadavg: 4.28 4.36 3.72 5/104 25710
/proc/meminfo: memFree=2157456/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=1046824 CPUtime=3248.37
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 252652 0 0 0 324414 423 0 0 25 0 4 0 1114501922 1071947776 252587 4294967295 134512640 135305190 3215285648 3215283824 134528805 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/23238/statm: 261706 252587 79 194 0 261510 0
[pid=23238/tid=23239] ppid=23235 vsize=1046824 CPUtime=811.69
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 38491 0 0 0 81061 108 0 0 25 0 4 0 1114502070 1071947776 252587 4294967295 134512640 135305190 3215285648 3015171264 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=1046824 CPUtime=811.79
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 60421 0 0 0 81083 96 0 0 25 0 4 0 1114502070 1071947776 252587 4294967295 134512640 135305190 3215285648 3006782272 134551965 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=1046824 CPUtime=811.58
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 46061 0 0 0 81060 98 0 0 25 0 4 0 1114502070 1071947776 252587 4294967295 134512640 135305190 3215285648 2998394048 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3255.61
Current children cumulated vsize (KiB) 1049240
[startup+882.305 s]
/proc/loadavg: 4.27 4.35 3.76 5/104 25896
/proc/meminfo: memFree=2109800/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=1094408 CPUtime=3487.8
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 264423 0 0 0 348336 444 0 0 25 0 4 0 1114501922 1120673792 264358 4294967295 134512640 135305190 3215285648 3215283824 134528545 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23238/statm: 273602 264358 79 194 0 273406 0
[pid=23238/tid=23239] ppid=23235 vsize=1094408 CPUtime=871.54
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 40835 0 0 0 87039 115 0 0 25 0 4 0 1114502070 1120673792 264358 4294967295 134512640 135305190 3215285648 3015171264 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=1094408 CPUtime=871.55
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 63589 0 0 0 87055 100 0 0 25 0 4 0 1114502070 1120673792 264358 4294967295 134512640 135305190 3215285648 3006782656 134528808 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=1094408 CPUtime=871.54
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 49039 0 0 0 87051 103 0 0 25 0 4 0 1114502070 1120673792 264358 4294967295 134512640 135305190 3215285648 2998394048 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3495.04
Current children cumulated vsize (KiB) 1096824
[startup+942.309 s]
/proc/loadavg: 4.46 4.38 3.80 6/104 26089
/proc/meminfo: memFree=2053924/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=1149400 CPUtime=3726.97
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 278117 0 0 0 372226 471 0 0 25 0 4 0 1114501922 1176985600 278052 4294967295 134512640 135305190 3215285648 3215283824 134528615 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/23238/statm: 287350 278052 79 194 0 287154 0
[pid=23238/tid=23239] ppid=23235 vsize=1149400 CPUtime=931.33
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 43809 0 0 0 93010 123 0 0 25 0 4 0 1114502070 1176985600 278052 4294967295 134512640 135305190 3215285648 3015171264 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=1149400 CPUtime=931
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 66873 0 0 0 92992 108 0 0 25 0 4 0 1114502070 1176985600 278052 4294967295 134512640 135305190 3215285648 3006782656 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=1149400 CPUtime=931.51
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 52292 0 0 0 93043 108 0 0 25 0 4 0 1114502070 1176985600 278052 4294967295 134512640 135305190 3215285648 2998394048 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3734.21
Current children cumulated vsize (KiB) 1151816
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.44 4.40 3.84 6/104 26277
/proc/meminfo: memFree=2051808/3368532 swapFree=1953580/1959888
[pid=23235] ppid=23233 vsize=2416 CPUtime=7.24
/proc/23235/stat : 23235 (manysat.sh) S 23233 23235 19648 0 -1 4194304 369 49670 0 0 0 0 699 25 18 0 1 0 1114501198 2473984 274 4294967295 134512640 135169312 3219761632 3219757848 3085041390 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23235/statm: 604 274 231 161 0 43 0
[pid=23238] ppid=23235 vsize=1149840 CPUtime=3957.17
/proc/23238/stat : 23238 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202496 278300 0 0 0 395230 487 0 0 25 0 4 0 1114501922 1177436160 278235 4294967295 134512640 135305190 3215285648 3215283488 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/23238/statm: 287460 278235 79 194 0 287264 0
[pid=23238/tid=23239] ppid=23235 vsize=1149840 CPUtime=988.82
/proc/23238/task/23239/stat : 23239 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 43829 0 0 0 98754 128 0 0 25 0 4 0 1114502070 1177436160 278235 4294967295 134512640 135305190 3215285648 3015170928 134551697 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23238/tid=23240] ppid=23235 vsize=1149840 CPUtime=988.69
/proc/23238/task/23240/stat : 23240 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 67016 0 0 0 98761 108 0 0 25 0 4 0 1114502070 1177436160 278235 4294967295 134512640 135305190 3215285648 3006782272 134551642 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23238/tid=23241] ppid=23235 vsize=1149840 CPUtime=989.14
/proc/23238/task/23241/stat : 23241 (manysat1.1_stat) R 23235 23235 19648 0 -1 4202560 52311 0 0 0 98804 110 0 0 25 0 4 0 1114502070 1177436160 278235 4294967295 134512640 135305190 3215285648 2998393712 134551697 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3964.41
Current children cumulated vsize (KiB) 1152256
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 23235 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=990000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=250000
# CPU time returned by wait4() is 7.24
# while last known CPU time is 3964.41
#
# 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): 3964.41
CPU user time (s): 3959.29
CPU system time (s): 5.12
CPU usage (%): 396.42
Max. virtual memory (cumulated for all children) (KiB): 1152256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.99
system time used= 0.25
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50039
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= 15
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 10:12:46
IDJOB=1775629
IDBENCH=20366
IDSOLVER=623
FILE ID=/1775629-1243498366
PBS_JOBID=
Free space on /tmp= 15864 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-17-u.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775629-1243498366/watcher-1775629-1243498366 -o /tmp/evaluation-result-1775629-1243498366/solver-1775629-1243498366 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775629-1243498366.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= b9de1594525a25a6c43932e2e172e913
RANDOM SEED= 386528333
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.105
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.105
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.105
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.16
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.105
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: 3190936 kB
Buffers: 11816 kB
Cached: 92760 kB
SwapCached: 2424 kB
Active: 88696 kB
Inactive: 26512 kB
HighTotal: 2489216 kB
HighFree: 2383532 kB
LowTotal: 879316 kB
LowFree: 807404 kB
SwapTotal: 1959888 kB
SwapFree: 1953580 kB
Dirty: 23248 kB
Writeback: 0 kB
AnonPages: 9940 kB
Mapped: 4968 kB
Slab: 53352 kB
SReclaimable: 44484 kB
SUnreclaim: 8868 kB
PageTables: 656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 93912 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15842 MiB
End job on at 2009-05-28 10:29:30