0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 52683 122927 | 15804 0 0 nan | 0.000 % |
0.31/0.31 c | 0 | 40130 119943 | -- 0 -- -- | -- | -12551/-2979
0.31/0.31 c ==============================================================================
0.31/0.31 c Result : #vars: 8978 #clauses: 40130 #literals: 119943
0.31/0.31 c CPU time: 0.31 s
0.31/0.31 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1779109-1243519015/watcher-1779109-1243519015 -o /tmp/evaluation-result-1779109-1243519015/solver-1779109-1243519015 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779109-1243519015.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.93 4.32 4.37 3/99 24983
/proc/meminfo: memFree=3071124/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2416 CPUtime=0
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1116565926 2473984 274 4294967295 134512640 135169312 3219638720 3219637256 3085307630 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/24983/statm: 604 274 231 161 0 43 0
[pid=24984] ppid=24983 vsize=1192 CPUtime=0
/proc/24984/stat : 24984 (SatElite) R 24983 24983 19648 0 -1 4202496 235 0 0 0 0 0 0 0 18 0 1 0 1116565926 1220608 172 4294967295 134512640 135034092 3214855424 3214851768 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24984/statm: 298 174 49 128 0 168 0
[startup+0.065143 s]
/proc/loadavg: 3.93 4.32 4.37 3/99 24983
/proc/meminfo: memFree=3071124/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2416 CPUtime=0
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1116565926 2473984 274 4294967295 134512640 135169312 3219638720 3219637256 3085307630 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/24983/statm: 604 274 231 161 0 43 0
[pid=24984] ppid=24983 vsize=10292 CPUtime=0.07
/proc/24984/stat : 24984 (SatElite) R 24983 24983 19648 0 -1 4202496 2322 0 0 0 7 0 0 0 18 0 1 0 1116565926 10539008 2120 4294967295 134512640 135034092 3214855424 3214851420 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24984/statm: 2573 2121 67 128 0 2443 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12708
[startup+0.105139 s]
/proc/loadavg: 3.93 4.32 4.37 3/99 24983
/proc/meminfo: memFree=3071124/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2416 CPUtime=0
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1116565926 2473984 274 4294967295 134512640 135169312 3219638720 3219637256 3085307630 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/24983/statm: 604 274 231 161 0 43 0
[pid=24984] ppid=24983 vsize=11092 CPUtime=0.11
/proc/24984/stat : 24984 (SatElite) R 24983 24983 19648 0 -1 4202496 2540 0 0 0 10 1 0 0 18 0 1 0 1116565926 11358208 2338 4294967295 134512640 135034092 3214855424 3214851420 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24984/statm: 2773 2338 67 128 0 2643 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13508
[startup+0.30512 s]
/proc/loadavg: 3.93 4.32 4.37 3/99 24983
/proc/meminfo: memFree=3071124/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2416 CPUtime=0
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1116565926 2473984 274 4294967295 134512640 135169312 3219638720 3219637256 3085307630 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/24983/statm: 604 274 231 161 0 43 0
[pid=24984] ppid=24983 vsize=11620 CPUtime=0.31
/proc/24984/stat : 24984 (SatElite) R 24983 24983 19648 0 -1 4202496 2649 0 0 0 30 1 0 0 18 0 1 0 1116565926 11898880 2447 4294967295 134512640 135034092 3214855424 3214851728 134569582 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24984/statm: 2905 2447 67 128 0 2775 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 14036
[startup+0.705091 s]
/proc/loadavg: 3.93 4.32 4.37 3/99 24983
/proc/meminfo: memFree=3071124/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 2420
[startup+1.506 s]
/proc/loadavg: 3.93 4.32 4.37 5/104 24989
/proc/meminfo: memFree=3055204/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=47668 CPUtime=4.21
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 5140 0 0 0 399 22 0 0 15 0 4 0 1116565963 48812032 5076 4294967295 134512640 135305190 3218249824 3218247716 134695249 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24986/statm: 11917 5076 79 194 0 11721 0
[pid=24986/tid=24987] ppid=24983 vsize=47668 CPUtime=1.04
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 377 0 0 0 99 5 0 0 15 0 4 0 1116565971 48812032 5076 4294967295 134512640 135305190 3218249824 3084889204 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=47668 CPUtime=1.02
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 571 0 0 0 96 6 0 0 15 0 4 0 1116565971 48812032 5076 4294967295 134512640 135305190 3218249824 3076500616 134839991 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=47668 CPUtime=1.02
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 426 0 0 0 98 4 0 0 16 0 4 0 1116565971 48812032 5076 4294967295 134512640 135305190 3218249824 3068111816 134694990 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 50088
[startup+3.11486 s]
/proc/loadavg: 3.93 4.32 4.37 7/104 24989
/proc/meminfo: memFree=3045140/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=57980 CPUtime=10.45
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 7751 0 0 0 1016 29 0 0 15 0 4 0 1116565963 59371520 7665 4294967295 134512640 135305190 3218249824 3218248000 134528341 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24986/statm: 14495 7665 79 194 0 14299 0
[pid=24986/tid=24987] ppid=24983 vsize=57980 CPUtime=2.58
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 876 0 0 0 253 5 0 0 15 0 4 0 1116565971 59371520 7665 4294967295 134512640 135305190 3218249824 3084889280 134530519 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=57980 CPUtime=2.62
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 1354 0 0 0 254 8 0 0 15 0 4 0 1116565971 59371520 7665 4294967295 134512640 135305190 3218249824 3076500672 134530636 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=57980 CPUtime=2.54
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 985 0 0 0 246 8 0 0 15 0 4 0 1116565971 59371520 7665 4294967295 134512640 135305190 3218249824 3068112064 134528406 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.82
Current children cumulated vsize (KiB) 60400
[startup+6.30456 s]
/proc/loadavg: 3.94 4.31 4.37 5/104 24989
/proc/meminfo: memFree=3031328/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=68272 CPUtime=22.94
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 10267 0 0 0 2260 34 0 0 15 0 4 0 1116565963 69910528 10181 4294967295 134512640 135305190 3218249824 3218247664 134551651 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24986/statm: 17068 10181 79 194 0 16872 0
[pid=24986/tid=24987] ppid=24983 vsize=68272 CPUtime=5.74
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 1271 0 0 0 568 6 0 0 16 0 4 0 1116565971 69910528 10181 4294967295 134512640 135305190 3218249824 3084889280 134528256 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=68272 CPUtime=5.77
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 2188 0 0 0 568 9 0 0 16 0 4 0 1116565971 69910528 10181 4294967295 134512640 135305190 3218249824 3076500544 134857151 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=68272 CPUtime=5.65
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 1600 0 0 0 554 11 0 0 15 0 4 0 1116565971 69910528 10181 4294967295 134512640 135305190 3218249824 3068112064 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.31
Current children cumulated vsize (KiB) 70692
[startup+12.7039 s]
/proc/loadavg: 3.94 4.31 4.37 6/104 24992
/proc/meminfo: memFree=3016132/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=81720 CPUtime=48.39
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 13816 0 0 0 4798 41 0 0 16 0 4 0 1116565963 83681280 13730 4294967295 134512640 135305190 3218249824 3218247668 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/24986/statm: 20430 13730 79 194 0 20234 0
[pid=24986/tid=24987] ppid=24983 vsize=81720 CPUtime=12.14
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 1865 0 0 0 1207 7 0 0 16 0 4 0 1116565971 83681280 13730 4294967295 134512640 135305190 3218249824 3084889280 134528489 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=81720 CPUtime=12.12
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 3526 0 0 0 1199 13 0 0 16 0 4 0 1116565971 83681280 13730 4294967295 134512640 135305190 3218249824 3076500740 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=81720 CPUtime=12.01
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 2336 0 0 0 1189 12 0 0 16 0 4 0 1116565971 83681280 13730 4294967295 134512640 135305190 3218249824 3068111728 134551962 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.76
Current children cumulated vsize (KiB) 84140
[startup+25.5027 s]
/proc/loadavg: 4.46 4.40 4.40 6/104 25175
/proc/meminfo: memFree=2996640/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=102588 CPUtime=98.95
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 18615 0 0 0 9842 53 0 0 15 0 4 0 1116565963 105050112 18529 4294967295 134512640 135305190 3218249824 3218248000 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/24986/statm: 25647 18529 79 194 0 25451 0
[pid=24986/tid=24987] ppid=24983 vsize=102588 CPUtime=24.89
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 2746 0 0 0 2479 10 0 0 25 0 4 0 1116565971 105050112 18529 4294967295 134512640 135305190 3218249824 3084889280 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=102588 CPUtime=24.86
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 5193 0 0 0 2471 15 0 0 19 0 4 0 1116565971 105050112 18529 4294967295 134512640 135305190 3218249824 3076500288 134551729 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=102588 CPUtime=24.56
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 3353 0 0 0 2441 15 0 0 17 0 4 0 1116565971 105050112 18529 4294967295 134512640 135305190 3218249824 3068112064 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 99.32
Current children cumulated vsize (KiB) 105008
[startup+51.1103 s]
/proc/loadavg: 4.44 4.40 4.40 6/104 25177
/proc/meminfo: memFree=2979140/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=119348 CPUtime=201.17
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 23075 0 0 0 20046 71 0 0 19 0 4 0 1116565963 122212352 22989 4294967295 134512640 135305190 3218249824 3218247728 134556726 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/24986/statm: 29837 22989 79 194 0 29641 0
[pid=24986/tid=24987] ppid=24983 vsize=119348 CPUtime=50.36
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 3701 0 0 0 5022 14 0 0 20 0 4 0 1116565971 122212352 22989 4294967295 134512640 135305190 3218249824 3084889024 134541918 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=119348 CPUtime=50.46
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 6845 0 0 0 5023 23 0 0 25 0 4 0 1116565971 122212352 22989 4294967295 134512640 135305190 3218249824 3076500288 134551930 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=119348 CPUtime=50.16
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 4140 0 0 0 4999 17 0 0 21 0 4 0 1116565971 122212352 22989 4294967295 134512640 135305190 3218249824 3068112064 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 201.54
Current children cumulated vsize (KiB) 121768
[startup+102.315 s]
/proc/loadavg: 4.29 4.37 4.38 6/104 25364
/proc/meminfo: memFree=2926640/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=172004 CPUtime=405.09
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 36075 0 0 0 40406 103 0 0 18 0 4 0 1116565963 176132096 35989 4294967295 134512640 135305190 3218249824 3218248000 134528252 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/24986/statm: 43001 35989 79 194 0 42805 0
[pid=24986/tid=24987] ppid=24983 vsize=172004 CPUtime=101.26
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 6528 0 0 0 10109 17 0 0 25 0 4 0 1116565971 176132096 35989 4294967295 134512640 135305190 3218249824 3084889008 134556922 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=172004 CPUtime=101.46
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 12204 0 0 0 10116 30 0 0 19 0 4 0 1116565971 176132096 35989 4294967295 134512640 135305190 3218249824 3076500672 134528248 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=172004 CPUtime=101.2
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 6372 0 0 0 10097 23 0 0 18 0 4 0 1116565971 176132096 35989 4294967295 134512640 135305190 3218249824 3068112008 134837671 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 405.46
Current children cumulated vsize (KiB) 174424
[startup+162.31 s]
/proc/loadavg: 4.59 4.45 4.41 5/104 25553
/proc/meminfo: memFree=2912280/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=187056 CPUtime=644.34
################
# More data... #
################
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 12594 0 0 0 51938 67 0 0 25 0 4 0 1116565971 335388672 73655 4294967295 134512640 135305190 3218249824 3068111604 134838420 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2080.24
Current children cumulated vsize (KiB) 329948
[startup+582.31 s]
/proc/loadavg: 4.81 4.63 4.49 5/104 26874
/proc/meminfo: memFree=2763056/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=341648 CPUtime=2319.37
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 77028 0 0 0 231639 298 0 0 25 0 4 0 1116565963 349847552 76940 4294967295 134512640 135305190 3218249824 3218247792 134547978 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24986/statm: 85412 76940 79 194 0 85216 0
[pid=24986/tid=24987] ppid=24983 vsize=341648 CPUtime=580.21
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 14734 0 0 0 57969 52 0 0 25 0 4 0 1116565971 349847552 76940 4294967295 134512640 135305190 3218249824 3084889280 134528310 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=341648 CPUtime=580.05
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 29099 0 0 0 57908 97 0 0 25 0 4 0 1116565971 349847552 76940 4294967295 134512640 135305190 3218249824 3076500352 134552908 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=341648 CPUtime=579.92
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 13074 0 0 0 57918 74 0 0 25 0 4 0 1116565971 349847552 76940 4294967295 134512640 135305190 3218249824 3068112064 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2319.74
Current children cumulated vsize (KiB) 344068
[startup+642.314 s]
/proc/loadavg: 4.88 4.69 4.52 5/104 27065
/proc/meminfo: memFree=2735712/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=371032 CPUtime=2558.8
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 83776 0 0 0 255558 322 0 0 25 0 4 0 1116565963 379936768 83688 4294967295 134512640 135305190 3218249824 3218248000 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24986/statm: 92758 83688 79 194 0 92562 0
[pid=24986/tid=24987] ppid=24983 vsize=371032 CPUtime=640.13
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 16329 0 0 0 63955 58 0 0 25 0 4 0 1116565971 379936768 83688 4294967295 134512640 135305190 3218249824 3084889280 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=371032 CPUtime=639.94
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 31395 0 0 0 63891 103 0 0 25 0 4 0 1116565971 379936768 83688 4294967295 134512640 135305190 3218249824 3076500672 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=371032 CPUtime=639.82
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 14338 0 0 0 63901 81 0 0 25 0 4 0 1116565971 379936768 83688 4294967295 134512640 135305190 3218249824 3068111856 134547909 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2559.17
Current children cumulated vsize (KiB) 373452
[startup+702.308 s]
/proc/loadavg: 4.76 4.69 4.53 5/104 27253
/proc/meminfo: memFree=2732232/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=372728 CPUtime=2797.77
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 84135 0 0 0 279431 346 0 0 25 0 4 0 1116565963 381673472 84047 4294967295 134512640 135305190 3218249824 3218247664 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24986/statm: 93182 84047 79 194 0 92986 0
[pid=24986/tid=24987] ppid=24983 vsize=372728 CPUtime=699.9
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 16329 0 0 0 69930 60 0 0 25 0 4 0 1116565971 381673472 84047 4294967295 134512640 135305190 3218249824 3084889280 134528301 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=372728 CPUtime=699.82
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 31706 0 0 0 69874 108 0 0 25 0 4 0 1116565971 381673472 84047 4294967295 134512640 135305190 3218249824 3076500560 134538906 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=372728 CPUtime=699.31
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 14339 0 0 0 69844 87 0 0 25 0 4 0 1116565971 381673472 84047 4294967295 134512640 135305190 3218249824 3068112064 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2798.14
Current children cumulated vsize (KiB) 375148
[startup+762.313 s]
/proc/loadavg: 4.71 4.68 4.54 6/104 27442
/proc/meminfo: memFree=2719836/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=387724 CPUtime=3037.18
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 87726 0 0 0 303342 376 0 0 25 0 4 0 1116565963 397029376 87638 4294967295 134512640 135305190 3218249824 3218247792 134547909 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24986/statm: 96931 87638 79 194 0 96735 0
[pid=24986/tid=24987] ppid=24983 vsize=387724 CPUtime=759.73
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 16714 0 0 0 75904 69 0 0 25 0 4 0 1116565971 397029376 87638 4294967295 134512640 135305190 3218249824 3084889280 134528512 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=387724 CPUtime=759.63
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 33848 0 0 0 75846 117 0 0 25 0 4 0 1116565971 397029376 87638 4294967295 134512640 135305190 3218249824 3076500672 134528539 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=387724 CPUtime=759.1
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 14855 0 0 0 75815 95 0 0 25 0 4 0 1116565971 397029376 87638 4294967295 134512640 135305190 3218249824 3068112064 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3037.55
Current children cumulated vsize (KiB) 390144
[startup+822.307 s]
/proc/loadavg: 4.76 4.70 4.55 6/104 27628
/proc/meminfo: memFree=2692280/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=416088 CPUtime=3276.5
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 94775 0 0 0 327238 412 0 0 25 0 4 0 1116565963 426074112 94687 4294967295 134512640 135305190 3218249824 3218248000 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24986/statm: 104022 94687 79 194 0 103826 0
[pid=24986/tid=24987] ppid=24983 vsize=416088 CPUtime=819.52
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 17983 0 0 0 81871 81 0 0 25 0 4 0 1116565971 426074112 94687 4294967295 134512640 135305190 3218249824 3084889280 134528520 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=416088 CPUtime=819.31
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 37051 0 0 0 81805 126 0 0 25 0 4 0 1116565971 426074112 94687 4294967295 134512640 135305190 3218249824 3076500672 134528376 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=416088 CPUtime=819.01
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 16071 0 0 0 81799 102 0 0 25 0 4 0 1116565971 426074112 94687 4294967295 134512640 135305190 3218249824 3068112064 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3276.87
Current children cumulated vsize (KiB) 418508
[startup+882.311 s]
/proc/loadavg: 4.54 4.65 4.54 5/104 27817
/proc/meminfo: memFree=2674244/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=432772 CPUtime=3515.91
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 98706 0 0 0 351157 434 0 0 25 0 4 0 1116565963 443158528 98618 4294967295 134512640 135305190 3218249824 3218247772 134834355 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24986/statm: 108193 98618 79 194 0 107997 0
[pid=24986/tid=24987] ppid=24983 vsize=432772 CPUtime=879.33
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 18838 0 0 0 87849 84 0 0 25 0 4 0 1116565971 443158528 98618 4294967295 134512640 135305190 3218249824 3084889280 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=432772 CPUtime=879.13
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 38264 0 0 0 87779 134 0 0 25 0 4 0 1116565971 443158528 98618 4294967295 134512640 135305190 3218249824 3076500672 134528777 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=432772 CPUtime=878.84
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 16595 0 0 0 87778 106 0 0 25 0 4 0 1116565971 443158528 98618 4294967295 134512640 135305190 3218249824 3068112064 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3516.28
Current children cumulated vsize (KiB) 435192
[startup+942.315 s]
/proc/loadavg: 4.48 4.62 4.54 5/104 28004
/proc/meminfo: memFree=2673448/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=433528 CPUtime=3755.28
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 98861 0 0 0 375074 454 0 0 25 0 4 0 1116565963 443932672 98773 4294967295 134512640 135305190 3218249824 3218248000 134528418 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24986/statm: 108382 98773 79 194 0 108186 0
[pid=24986/tid=24987] ppid=24983 vsize=433528 CPUtime=939.24
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 18838 0 0 0 93837 87 0 0 25 0 4 0 1116565971 443932672 98773 4294967295 134512640 135305190 3218249824 3084889280 134528388 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=433528 CPUtime=938.9
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 38419 0 0 0 93753 137 0 0 25 0 4 0 1116565971 443932672 98773 4294967295 134512640 135305190 3218249824 3076500672 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=433528 CPUtime=938.75
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 16595 0 0 0 93759 116 0 0 25 0 4 0 1116565971 443932672 98773 4294967295 134512640 135305190 3218249824 3068112064 134528256 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3755.65
Current children cumulated vsize (KiB) 435948
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.84 4.66 4.55 6/104 28196
/proc/meminfo: memFree=2672540/3368532 swapFree=1953580/1959888
[pid=24983] ppid=24981 vsize=2420 CPUtime=0.37
/proc/24983/stat : 24983 (manysat.sh) S 24981 24983 19648 0 -1 4194304 371 2707 0 0 1 0 35 1 15 0 1 0 1116565926 2478080 275 4294967295 134512640 135169312 3219638720 3219634936 3085307630 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24983/statm: 605 275 231 161 0 44 0
[pid=24986] ppid=24983 vsize=434732 CPUtime=3985.4
/proc/24986/stat : 24986 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202496 99119 0 0 0 398068 472 0 0 25 0 4 0 1116565963 445165568 99031 4294967295 134512640 135305190 3218249824 3218248000 134528341 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24986/statm: 108683 99031 79 194 0 108487 0
[pid=24986/tid=24987] ppid=24983 vsize=434732 CPUtime=996.67
/proc/24986/task/24987/stat : 24987 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 18838 0 0 0 99575 92 0 0 25 0 4 0 1116565971 445165568 99031 4294967295 134512640 135305190 3218249824 3084889280 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24986/tid=24988] ppid=24983 vsize=434732 CPUtime=996.46
/proc/24986/task/24988/stat : 24988 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 38623 0 0 0 99508 138 0 0 25 0 4 0 1116565971 445165568 99031 4294967295 134512640 135305190 3218249824 3076500672 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24986/tid=24989] ppid=24983 vsize=434732 CPUtime=996.23
/proc/24986/task/24989/stat : 24989 (manysat1.1_stat) R 24983 24983 19648 0 -1 4202560 16647 0 0 0 99502 121 0 0 25 0 4 0 1116565971 445165568 99031 4294967295 134512640 135305190 3218249824 3068112064 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3985.77
Current children cumulated vsize (KiB) 437152
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 24983 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=360000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10000
# CPU time returned by wait4() is 0.37
# while last known CPU time is 3985.77
#
# 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): 3985.77
CPU user time (s): 3981.04
CPU system time (s): 4.73
CPU usage (%): 398.557
Max. virtual memory (cumulated for all children) (KiB): 437152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.36
system time used= 0.01
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3078
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= 3
runsolver used 0 second user time and 0.03 second system time
The end
Begin job on at 2009-05-28 15:56:55
IDJOB=1779109
IDBENCH=70812
IDSOLVER=623
FILE ID=/1779109-1243519015
PBS_JOBID=
Free space on /tmp= 15884 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray08_32.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779109-1243519015/watcher-1779109-1243519015 -o /tmp/evaluation-result-1779109-1243519015/solver-1779109-1243519015 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779109-1243519015.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= fd3f8184ebdeefe767f2b0366176385e
RANDOM SEED= 848798542
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: 3071420 kB
Buffers: 26992 kB
Cached: 192092 kB
SwapCached: 2424 kB
Active: 89532 kB
Inactive: 140168 kB
HighTotal: 2489216 kB
HighFree: 2284088 kB
LowTotal: 879316 kB
LowFree: 787332 kB
SwapTotal: 1959888 kB
SwapFree: 1953580 kB
Dirty: 2248 kB
Writeback: 0 kB
AnonPages: 9896 kB
Mapped: 4772 kB
Slab: 57552 kB
SReclaimable: 49680 kB
SUnreclaim: 7872 kB
PageTables: 540 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 93916 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15882 MiB
End job on at 2009-05-28 16:13:37