0.00/0.00 c Parsing...
0.91/0.95 c ==============================================================================
0.91/0.95 c | | ORIGINAL | LEARNT | |
0.91/0.95 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.91/0.95 c ==============================================================================
0.91/0.95 c | 0 | 1186821 2884753 | 356046 0 0 nan | 0.000 % |
13.30/13.39 c | 0 | 571173 2544294 | -- 0 -- -- | -- | -615648/-340459
13.30/13.39 c ==============================================================================
13.30/13.39 c Result : #vars: 40759 #clauses: 571173 #literals: 2544294
13.30/13.39 c CPU time: 13.09 s
13.30/13.39 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775947-1243505118/watcher-1775947-1243505118 -o /tmp/evaluation-result-1775947-1243505118/solver-1775947-1243505118 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775947-1243505118.cnf aimd 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.73 4.68 4.49 3/96 20067
/proc/meminfo: memFree=3137848/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) R 20065 20067 27966 0 -1 4194304 335 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129116 3085469556 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=1244 CPUtime=0
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 255 0 0 0 0 0 0 0 18 0 1 0 1115176017 1273856 192 4294967295 134512640 135034092 3216168496 3216164488 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20068/statm: 311 192 51 128 0 181 0
[startup+0.065165 s]
/proc/loadavg: 4.73 4.68 4.49 3/96 20067
/proc/meminfo: memFree=3137848/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=10524 CPUtime=0.07
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 2419 0 0 0 6 1 0 0 19 0 1 0 1115176017 10776576 2356 4294967295 134512640 135034092 3216168496 3216164840 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20068/statm: 2631 2357 51 128 0 2501 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12936
[startup+0.105142 s]
/proc/loadavg: 4.73 4.68 4.49 3/96 20067
/proc/meminfo: memFree=3137848/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=18128 CPUtime=0.11
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 3897 0 0 0 10 1 0 0 19 0 1 0 1115176017 18563072 3834 4294967295 134512640 135034092 3216168496 3216164488 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20068/statm: 4532 3834 51 128 0 4402 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 20540
[startup+0.30513 s]
/proc/loadavg: 4.73 4.68 4.49 3/96 20067
/proc/meminfo: memFree=3137848/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=44696 CPUtime=0.31
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 10825 0 0 0 24 7 0 0 20 0 1 0 1115176017 45768704 10762 4294967295 134512640 135034092 3216168496 3216164704 134546780 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20068/statm: 11174 10762 51 128 0 11044 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 47108
[startup+0.705103 s]
/proc/loadavg: 4.73 4.68 4.49 3/96 20067
/proc/meminfo: memFree=3137848/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=122964 CPUtime=0.71
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 25234 0 0 0 62 9 0 0 21 0 1 0 1115176017 125915136 25171 4294967295 134512640 135034092 3216168496 3216164784 134544732 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20068/statm: 30741 25171 51 128 0 30611 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 125376
[startup+1.50502 s]
/proc/loadavg: 4.43 4.62 4.47 2/98 20069
/proc/meminfo: memFree=3001760/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=172008 CPUtime=1.5
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 37328 0 0 0 136 14 0 0 23 0 1 0 1115176017 176136192 36401 4294967295 134512640 135034092 3216168496 3216164492 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20068/statm: 43002 36401 67 128 0 42872 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 174420
[startup+3.10489 s]
/proc/loadavg: 4.43 4.62 4.47 2/98 20069
/proc/meminfo: memFree=2983408/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=179752 CPUtime=3.1
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 39108 0 0 0 291 19 0 0 25 0 1 0 1115176017 184066048 38181 4294967295 134512640 135034092 3216168496 3216164492 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20068/statm: 44938 38181 67 128 0 44808 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 182164
[startup+6.30462 s]
/proc/loadavg: 4.16 4.56 4.45 2/98 20252
/proc/meminfo: memFree=2944888/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=200172 CPUtime=6.3
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 43518 0 0 0 604 26 0 0 25 0 1 0 1115176017 204976128 42591 4294967295 134512640 135034092 3216168496 3216164492 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20068/statm: 50043 42591 67 128 0 49913 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 202584
[startup+12.7041 s]
/proc/loadavg: 3.90 4.50 4.43 2/98 20254
/proc/meminfo: memFree=2924308/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=204112 CPUtime=12.7
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 46261 0 0 0 1241 29 0 0 25 0 1 0 1115176017 209010688 43318 4294967295 134512640 135034092 3216168496 3216164816 134577149 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20068/statm: 51028 43318 67 128 0 50898 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 206524
[startup+25.503 s]
/proc/loadavg: 3.94 4.48 4.43 5/101 20259
/proc/meminfo: memFree=2905844/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=210908 CPUtime=39.54
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 45603 0 0 0 3882 72 0 0 25 0 4 0 1115177454 215969792 45500 4294967295 134512640 135305190 3221216048 3221214224 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20255/statm: 52727 45500 79 194 0 52531 0
[pid=20255/tid=20256] ppid=20067 vsize=210908 CPUtime=9.6
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 2501 0 0 0 942 18 0 0 25 0 4 0 1115177586 215969792 45500 4294967295 134512640 135305190 3221216048 3060161728 134528548 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=210908 CPUtime=9.6
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 2213 0 0 0 950 10 0 0 25 0 4 0 1115177586 215969792 45500 4294967295 134512640 135305190 3221216048 3051773120 134528277 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=210908 CPUtime=9.49
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 2295 0 0 0 936 13 0 0 25 0 4 0 1115177586 215969792 45500 4294967295 134512640 135305190 3221216048 3043384512 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 53.88
Current children cumulated vsize (KiB) 213324
[startup+51.1109 s]
/proc/loadavg: 4.29 4.52 4.44 5/101 20261
/proc/meminfo: memFree=2893408/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=222900 CPUtime=141.88
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 48645 0 0 0 14100 88 0 0 25 0 4 0 1115177454 228249600 48542 4294967295 134512640 135305190 3221216048 3221214224 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20255/statm: 55725 48542 79 194 0 55529 0
[pid=20255/tid=20256] ppid=20067 vsize=222900 CPUtime=35.21
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 3118 0 0 0 3497 24 0 0 25 0 4 0 1115177586 228249600 48542 4294967295 134512640 135305190 3221216048 3060161728 134528501 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=222900 CPUtime=35.21
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 2913 0 0 0 3506 15 0 0 25 0 4 0 1115177586 228249600 48542 4294967295 134512640 135305190 3221216048 3051773120 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=222900 CPUtime=35.1
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 3106 0 0 0 3495 15 0 0 25 0 4 0 1115177586 228249600 48542 4294967295 134512640 135305190 3221216048 3043384512 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 156.22
Current children cumulated vsize (KiB) 225316
[startup+102.307 s]
/proc/loadavg: 4.71 4.59 4.47 5/101 20448
/proc/meminfo: memFree=2878916/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=237972 CPUtime=346.2
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 52229 0 0 0 34516 104 0 0 25 0 4 0 1115177454 243683328 52126 4294967295 134512640 135305190 3221216048 3221214224 134528418 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20255/statm: 59493 52126 79 194 0 59297 0
[pid=20255/tid=20256] ppid=20067 vsize=237972 CPUtime=86.34
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 3812 0 0 0 8607 27 0 0 25 0 4 0 1115177586 243683328 52126 4294967295 134512640 135305190 3221216048 3060161728 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=237972 CPUtime=86.3
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 3840 0 0 0 8610 20 0 0 25 0 4 0 1115177586 243683328 52126 4294967295 134512640 135305190 3221216048 3051773120 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=237972 CPUtime=86.23
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 4018 0 0 0 8604 19 0 0 25 0 4 0 1115177586 243683328 52126 4294967295 134512640 135305190 3221216048 3043384512 134528576 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 360.54
Current children cumulated vsize (KiB) 240388
[startup+162.312 s]
/proc/loadavg: 4.89 4.66 4.50 5/101 20638
/proc/meminfo: memFree=2868352/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=248176 CPUtime=585.68
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 54806 0 0 0 58448 120 0 0 25 0 4 0 1115177454 254132224 54703 4294967295 134512640 135305190 3221216048 3221214224 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20255/statm: 62044 54703 79 194 0 61848 0
[pid=20255/tid=20256] ppid=20067 vsize=248176 CPUtime=146.14
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 4198 0 0 0 14584 30 0 0 25 0 4 0 1115177586 254132224 54703 4294967295 134512640 135305190 3221216048 3060161728 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=248176 CPUtime=146.23
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 4968 0 0 0 14597 26 0 0 25 0 4 0 1115177586 254132224 54703 4294967295 134512640 135305190 3221216048 3051773120 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=248176 CPUtime=146.18
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 4516 0 0 0 14595 23 0 0 25 0 4 0 1115177586 254132224 54703 4294967295 134512640 135305190 3221216048 3043384240 134556734 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 600.02
Current children cumulated vsize (KiB) 250592
[startup+222.317 s]
/proc/loadavg: 5.06 4.75 4.54 5/101 20827
/proc/meminfo: memFree=2858464/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=257156 CPUtime=825.1
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 57112 0 0 0 82370 140 0 0 25 0 4 0 1115177454 263327744 57009 4294967295 134512640 135305190 3221216048 3221214224 134528252 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20255/statm: 64289 57009 79 194 0 64093 0
[pid=20255/tid=20256] ppid=20067 vsize=257156 CPUtime=205.94
################
# More data... #
################
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 7784 0 0 0 50479 55 0 0 25 0 4 0 1115177586 312451072 68780 4294967295 134512640 135305190 3221216048 3043384512 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2036.8
Current children cumulated vsize (KiB) 307544
[startup+582.307 s]
/proc/loadavg: 4.82 4.72 4.58 6/101 21960
/proc/meminfo: memFree=2804292/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=314272 CPUtime=2262.21
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 70934 0 0 0 225972 249 0 0 25 0 4 0 1115177454 321814528 70831 4294967295 134512640 135305190 3221216048 3221214224 134530561 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20255/statm: 78568 70831 79 194 0 78372 0
[pid=20255/tid=20256] ppid=20067 vsize=314272 CPUtime=565.38
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 7429 0 0 0 56466 72 0 0 25 0 4 0 1115177586 321814528 70831 4294967295 134512640 135305190 3221216048 3060161728 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=314272 CPUtime=565.43
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 10150 0 0 0 56503 40 0 0 25 0 4 0 1115177586 321814528 70831 4294967295 134512640 135305190 3221216048 3051773120 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=314272 CPUtime=565.34
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 8219 0 0 0 56478 56 0 0 25 0 4 0 1115177586 321814528 70831 4294967295 134512640 135305190 3221216048 3043384512 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2276.55
Current children cumulated vsize (KiB) 316688
[startup+642.302 s]
/proc/loadavg: 5.00 4.79 4.61 6/101 22148
/proc/meminfo: memFree=2791588/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=325668 CPUtime=2501.67
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 73847 0 0 0 249890 277 0 0 25 0 4 0 1115177454 333484032 73744 4294967295 134512640 135305190 3221216048 3221214224 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20255/statm: 81417 73744 79 194 0 81221 0
[pid=20255/tid=20256] ppid=20067 vsize=325668 CPUtime=625.27
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 7968 0 0 0 62447 80 0 0 25 0 4 0 1115177586 333484032 73744 4294967295 134512640 135305190 3221216048 3060161728 134528289 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=325668 CPUtime=625.42
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 11253 0 0 0 62496 46 0 0 25 0 4 0 1115177586 333484032 73744 4294967295 134512640 135305190 3221216048 3051773120 134530561 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=325668 CPUtime=625.12
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 8894 0 0 0 62452 60 0 0 25 0 4 0 1115177586 333484032 73744 4294967295 134512640 135305190 3221216048 3043384512 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2516.01
Current children cumulated vsize (KiB) 328084
[startup+702.317 s]
/proc/loadavg: 5.04 4.81 4.63 6/101 22336
/proc/meminfo: memFree=2789076/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=328252 CPUtime=2741.02
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 74313 0 0 0 273811 291 0 0 25 0 4 0 1115177454 336130048 74210 4294967295 134512640 135305190 3221216048 3221214224 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20255/statm: 82063 74210 79 194 0 81867 0
[pid=20255/tid=20256] ppid=20067 vsize=328252 CPUtime=684.99
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 8022 0 0 0 68417 82 0 0 25 0 4 0 1115177586 336130048 74210 4294967295 134512640 135305190 3221216048 3060161728 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=328252 CPUtime=685.38
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 11616 0 0 0 68486 52 0 0 25 0 4 0 1115177586 336130048 74210 4294967295 134512640 135305190 3221216048 3051773120 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=328252 CPUtime=684.83
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 8933 0 0 0 68418 65 0 0 25 0 4 0 1115177586 336130048 74210 4294967295 134512640 135305190 3221216048 3043384512 134528248 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2755.36
Current children cumulated vsize (KiB) 330668
[startup+762.322 s]
/proc/loadavg: 4.69 4.75 4.62 5/101 22527
/proc/meminfo: memFree=2776616/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=341444 CPUtime=2980.46
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 77484 0 0 0 297734 312 0 0 25 0 4 0 1115177454 349638656 77381 4294967295 134512640 135305190 3221216048 3221214224 134528747 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20255/statm: 85361 77381 79 194 0 85165 0
[pid=20255/tid=20256] ppid=20067 vsize=341444 CPUtime=744.85
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 8805 0 0 0 74398 87 0 0 25 0 4 0 1115177586 349638656 77381 4294967295 134512640 135305190 3221216048 3060161728 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=341444 CPUtime=745.39
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 12667 0 0 0 74478 61 0 0 25 0 4 0 1115177586 349638656 77381 4294967295 134512640 135305190 3221216048 3051772736 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=341444 CPUtime=744.81
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 9545 0 0 0 74415 66 0 0 25 0 4 0 1115177586 349638656 77381 4294967295 134512640 135305190 3221216048 3043384512 134528446 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2994.8
Current children cumulated vsize (KiB) 343860
[startup+822.317 s]
/proc/loadavg: 4.44 4.67 4.60 6/101 22714
/proc/meminfo: memFree=2756760/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=360164 CPUtime=3219.86
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 82471 0 0 0 321646 340 0 0 25 0 4 0 1115177454 368807936 82368 4294967295 134512640 135305190 3221216048 3221214224 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20255/statm: 90041 82368 79 194 0 89845 0
[pid=20255/tid=20256] ppid=20067 vsize=360164 CPUtime=804.81
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 9651 0 0 0 80388 93 0 0 25 0 4 0 1115177586 368807936 82368 4294967295 134512640 135305190 3221216048 3060161728 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=360164 CPUtime=805.21
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 14223 0 0 0 80448 73 0 0 25 0 4 0 1115177586 368807936 82368 4294967295 134512640 135305190 3221216048 3051773120 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=360164 CPUtime=804.7
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 10880 0 0 0 80402 68 0 0 25 0 4 0 1115177586 368807936 82368 4294967295 134512640 135305190 3221216048 3043384512 134530633 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3234.2
Current children cumulated vsize (KiB) 362580
[startup+882.312 s]
/proc/loadavg: 4.50 4.64 4.59 6/101 22902
/proc/meminfo: memFree=2753760/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=362836 CPUtime=3459.4
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 83079 0 0 0 345587 353 0 0 25 0 4 0 1115177454 371544064 82976 4294967295 134512640 135305190 3221216048 3221214224 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20255/statm: 90709 82976 79 194 0 90513 0
[pid=20255/tid=20256] ppid=20067 vsize=362836 CPUtime=864.81
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 9738 0 0 0 86387 94 0 0 25 0 4 0 1115177586 371544064 82976 4294967295 134512640 135305190 3221216048 3060161728 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=362836 CPUtime=865.04
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 14743 0 0 0 86424 80 0 0 25 0 4 0 1115177586 371544064 82976 4294967295 134512640 135305190 3221216048 3051773120 134528245 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=362836 CPUtime=864.65
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 10880 0 0 0 86393 72 0 0 25 0 4 0 1115177586 371544064 82976 4294967295 134512640 135305190 3221216048 3043384512 134530561 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3473.74
Current children cumulated vsize (KiB) 365252
[startup+942.307 s]
/proc/loadavg: 4.74 4.67 4.60 5/101 23093
/proc/meminfo: memFree=2750916/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=365320 CPUtime=3699.16
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 83667 0 0 0 369548 368 0 0 25 0 4 0 1115177454 374087680 83564 4294967295 134512640 135305190 3221216048 3221214224 134528418 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20255/statm: 91330 83564 79 194 0 91134 0
[pid=20255/tid=20256] ppid=20067 vsize=365320 CPUtime=924.79
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 9803 0 0 0 92383 96 0 0 25 0 4 0 1115177586 374087680 83564 4294967295 134512640 135305190 3221216048 3060161728 134530561 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=365320 CPUtime=924.93
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 15262 0 0 0 92410 83 0 0 25 0 4 0 1115177586 374087680 83564 4294967295 134512640 135305190 3221216048 3051773120 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=365320 CPUtime=924.59
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 10880 0 0 0 92380 79 0 0 25 0 4 0 1115177586 374087680 83564 4294967295 134512640 135305190 3221216048 3043384228 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3713.5
Current children cumulated vsize (KiB) 367736
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.64 4.65 4.60 5/101 23282
/proc/meminfo: memFree=2730832/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=387420 CPUtime=3929.38
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 89075 0 0 0 392542 396 0 0 25 0 4 0 1115177454 396718080 88972 4294967295 134512640 135305190 3221216048 3221214224 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/20255/statm: 96855 88972 79 194 0 96659 0
[pid=20255/tid=20256] ppid=20067 vsize=387420 CPUtime=982.45
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 10747 0 0 0 98145 100 0 0 25 0 4 0 1115177586 396718080 88972 4294967295 134512640 135305190 3221216048 3060161728 134528265 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=387420 CPUtime=982.61
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 16941 0 0 0 98174 87 0 0 25 0 4 0 1115177586 396718080 88972 4294967295 134512640 135305190 3221216048 3051773120 134528277 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=387420 CPUtime=981.85
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 12327 0 0 0 98093 92 0 0 25 0 4 0 1115177586 396718080 88972 4294967295 134512640 135305190 3221216048 3043384512 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3943.72
Current children cumulated vsize (KiB) 389836
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 20067 and gives
# childrusage.ru_utime.tv_sec=13
# childrusage.ru_utime.tv_usec=970000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=370000
# CPU time returned by wait4() is 14.34
# while last known CPU time is 3943.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.04
CPU time (s): 3943.72
CPU user time (s): 3939.39
CPU system time (s): 4.33
CPU usage (%): 394.355
Max. virtual memory (cumulated for all children) (KiB): 389836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.97
system time used= 0.37
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51974
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= 7
involuntary context switches= 95
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 12:05:18
IDJOB=1775947
IDBENCH=20405
IDSOLVER=626
FILE ID=/1775947-1243505118
PBS_JOBID=
Free space on /tmp= 6455 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h18-unsat.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775947-1243505118/watcher-1775947-1243505118 -o /tmp/evaluation-result-1775947-1243505118/solver-1775947-1243505118 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775947-1243505118.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= b3381a58cbbd64d5d90a3b4fcd44bf6d
RANDOM SEED= 559760180
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.061
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.41
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.061
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.061
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.061
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: 3137848 kB
Buffers: 34380 kB
Cached: 95824 kB
SwapCached: 2256 kB
Active: 81792 kB
Inactive: 57984 kB
HighTotal: 2489216 kB
HighFree: 2381724 kB
LowTotal: 879316 kB
LowFree: 756124 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 23268 kB
Writeback: 0 kB
AnonPages: 8616 kB
Mapped: 3232 kB
Slab: 80456 kB
SReclaimable: 67148 kB
SUnreclaim: 13308 kB
PageTables: 464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88676 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6404 MiB
End job on at 2009-05-28 12:22:01