0.00/0.00 c Parsing...
0.92/0.93 c ==============================================================================
0.92/0.93 c | | ORIGINAL | LEARNT | |
0.92/0.93 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.92/0.93 c ==============================================================================
0.92/0.93 c | 0 | 1190271 2765804 | 357081 0 0 nan | 0.000 % |
6.22/6.30 c | 0 | 708950 1938523 | -- 0 -- -- | -- | -211920/-216212
6.22/6.30 c ==============================================================================
6.22/6.30 c Result : #vars: 124771 #clauses: 708950 #literals: 1938523
6.22/6.30 c CPU time: 6.12 s
6.22/6.30 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775557-1243497734/watcher-1775557-1243497734 -o /tmp/evaluation-result-1775557-1243497734/solver-1775557-1243497734 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775557-1243497734.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.12 2.60 1.10 3/96 29043
/proc/meminfo: memFree=698516/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2412 CPUtime=0
/proc/29043/stat : 29043 (manysat.sh) R 29041 29043 27966 0 -1 4194304 333 0 0 0 0 0 0 0 18 0 1 0 1114437627 2469888 272 4294967295 134512640 135169312 3219890688 3219889164 3085682548 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/29043/statm: 603 272 231 161 0 42 0
[pid=29044] ppid=29043 vsize=1760 CPUtime=0
/proc/29044/stat : 29044 (SatElite) R 29043 29043 27966 0 -1 4202496 357 0 0 0 0 0 0 0 18 0 1 0 1114437627 1802240 294 4294967295 134512640 135034092 3213548480 3213544824 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29044/statm: 440 296 49 128 0 310 0
[startup+0.068336 s]
/proc/loadavg: 4.12 2.60 1.10 3/96 29043
/proc/meminfo: memFree=698516/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2412 CPUtime=0
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114437627 2469888 272 4294967295 134512640 135169312 3219890688 3219889224 3085680366 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29043/statm: 603 272 231 161 0 42 0
[pid=29044] ppid=29043 vsize=20976 CPUtime=0.07
/proc/29044/stat : 29044 (SatElite) R 29043 29043 27966 0 -1 4202496 3642 0 0 0 5 2 0 0 19 0 1 0 1114437627 21479424 3579 4294967295 134512640 135034092 3213548480 3213544592 134675816 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29044/statm: 5244 3584 49 128 0 5114 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23388
[startup+0.118329 s]
/proc/loadavg: 4.12 2.60 1.10 3/96 29043
/proc/meminfo: memFree=698516/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2412 CPUtime=0
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114437627 2469888 272 4294967295 134512640 135169312 3219890688 3219889224 3085680366 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29043/statm: 603 272 231 161 0 42 0
[pid=29044] ppid=29043 vsize=38400 CPUtime=0.12
/proc/29044/stat : 29044 (SatElite) R 29043 29043 27966 0 -1 4202496 6913 0 0 0 10 2 0 0 19 0 1 0 1114437627 39321600 6850 4294967295 134512640 135034092 3213548480 3213544824 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29044/statm: 9600 6851 49 128 0 9470 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 40812
[startup+0.318315 s]
/proc/loadavg: 4.12 2.60 1.10 3/96 29043
/proc/meminfo: memFree=698516/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2412 CPUtime=0
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114437627 2469888 272 4294967295 134512640 135169312 3219890688 3219889224 3085680366 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29043/statm: 603 272 231 161 0 42 0
[pid=29044] ppid=29043 vsize=57244 CPUtime=0.32
/proc/29044/stat : 29044 (SatElite) R 29043 29043 27966 0 -1 4202496 13553 0 0 0 30 2 0 0 20 0 1 0 1114437627 58617856 13490 4294967295 134512640 135034092 3213548480 3213544440 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29044/statm: 14311 13491 49 128 0 14181 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 59656
[startup+0.71828 s]
/proc/loadavg: 4.12 2.60 1.10 3/96 29043
/proc/meminfo: memFree=698516/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2412 CPUtime=0
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114437627 2469888 272 4294967295 134512640 135169312 3219890688 3219889224 3085680366 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29043/statm: 603 272 231 161 0 42 0
[pid=29044] ppid=29043 vsize=95272 CPUtime=0.72
/proc/29044/stat : 29044 (SatElite) R 29043 29043 27966 0 -1 4202496 22809 0 0 0 65 7 0 0 21 0 1 0 1114437627 97558528 22746 4294967295 134512640 135034092 3213548480 3213544472 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29044/statm: 23818 22746 50 128 0 23688 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 97684
[startup+1.51821 s]
/proc/loadavg: 4.12 2.60 1.10 2/98 29045
/proc/meminfo: memFree=586624/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2412 CPUtime=0
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114437627 2469888 272 4294967295 134512640 135169312 3219890688 3219889224 3085680366 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29043/statm: 603 272 231 161 0 42 0
[pid=29044] ppid=29043 vsize=133600 CPUtime=1.52
/proc/29044/stat : 29044 (SatElite) R 29043 29043 27966 0 -1 4202496 32850 0 0 0 141 11 0 0 23 0 1 0 1114437627 136806400 30110 4294967295 134512640 135034092 3213548480 3213544476 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29044/statm: 33400 30110 67 128 0 33270 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 136012
[startup+3.11808 s]
/proc/loadavg: 4.12 2.60 1.10 2/98 29045
/proc/meminfo: memFree=569900/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2412 CPUtime=0
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114437627 2469888 272 4294967295 134512640 135169312 3219890688 3219889224 3085680366 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29043/statm: 603 272 231 161 0 42 0
[pid=29044] ppid=29043 vsize=139908 CPUtime=3.12
/proc/29044/stat : 29044 (SatElite) R 29043 29043 27966 0 -1 4202496 34621 0 0 0 300 12 0 0 25 0 1 0 1114437627 143265792 31651 4294967295 134512640 135034092 3213548480 3213544720 134566194 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29044/statm: 34977 31651 67 128 0 34847 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 142320
[startup+6.31782 s]
/proc/loadavg: 3.87 2.57 1.10 2/98 29046
/proc/meminfo: memFree=563236/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2412 CPUtime=0
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1114437627 2469888 272 4294967295 134512640 135169312 3219890688 3219889224 3085680366 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29043/statm: 603 272 231 161 0 42 0
[pid=29044] ppid=29043 vsize=142044 CPUtime=6.32
/proc/29044/stat : 29044 (SatElite) R 29043 29043 27966 0 -1 4202496 50475 0 0 0 613 19 0 0 25 0 1 0 1114437627 145453056 32563 4294967295 134512640 135034092 3213548480 3213543364 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/29044/statm: 35511 32563 67 128 0 35381 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 144456
[startup+12.7177 s]
/proc/loadavg: 3.96 2.61 1.12 6/101 29050
/proc/meminfo: memFree=480136/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=235724 CPUtime=17.67
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 49628 0 0 0 1731 36 0 0 16 0 4 0 1114438342 241381376 49559 4294967295 134512640 135305190 3219136832 3219135008 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/29047/statm: 58931 49559 79 194 0 58735 0
[pid=29047/tid=29048] ppid=29043 vsize=235724 CPUtime=4.07
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 1073 0 0 0 401 6 0 0 16 0 4 0 1114438484 241381376 49559 4294967295 134512640 135305190 3219136832 3018083520 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=235724 CPUtime=4.08
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 1079 0 0 0 398 10 0 0 16 0 4 0 1114438484 241381376 49559 4294967295 134512640 135305190 3219136832 3009694912 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=235724 CPUtime=3.98
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 1038 0 0 0 389 9 0 0 16 0 4 0 1114438484 241381376 49559 4294967295 134512640 135305190 3219136832 3001306032 134557163 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.81
Current children cumulated vsize (KiB) 238140
[startup+25.5166 s]
/proc/loadavg: 4.11 2.71 1.18 5/101 29051
/proc/meminfo: memFree=465752/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=249396 CPUtime=68.76
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 53148 0 0 0 6836 40 0 0 25 0 4 0 1114438342 255381504 53079 4294967295 134512640 135305190 3219136832 3219135008 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/29047/statm: 62349 53079 79 194 0 62153 0
[pid=29047/tid=29048] ppid=29043 vsize=249396 CPUtime=16.84
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 1849 0 0 0 1677 7 0 0 25 0 4 0 1114438484 255381504 53079 4294967295 134512640 135305190 3219136832 3018083520 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=249396 CPUtime=16.86
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 1875 0 0 0 1673 13 0 0 25 0 4 0 1114438484 255381504 53079 4294967295 134512640 135305190 3219136832 3009694912 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=249396 CPUtime=16.77
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 1803 0 0 0 1668 9 0 0 25 0 4 0 1114438484 255381504 53079 4294967295 134512640 135305190 3219136832 3001306304 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 75.9
Current children cumulated vsize (KiB) 251812
[startup+51.1145 s]
/proc/loadavg: 4.07 2.81 1.25 6/101 29057
/proc/meminfo: memFree=426688/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=288640 CPUtime=171
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 63062 0 0 0 17046 54 0 0 25 0 4 0 1114438342 295567360 62993 4294967295 134512640 135305190 3219136832 3219135008 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/29047/statm: 72160 62993 79 194 0 71964 0
[pid=29047/tid=29048] ppid=29043 vsize=288640 CPUtime=42.43
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 4186 0 0 0 4231 12 0 0 25 0 4 0 1114438484 295567360 62993 4294967295 134512640 135305190 3219136832 3018083520 134528240 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=288640 CPUtime=42.42
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 4209 0 0 0 4226 16 0 0 25 0 4 0 1114438484 295567360 62993 4294967295 134512640 135305190 3219136832 3009694528 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=288640 CPUtime=42.37
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 3559 0 0 0 4226 11 0 0 25 0 4 0 1114438484 295567360 62993 4294967295 134512640 135305190 3219136832 3001306304 134528195 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 178.14
Current children cumulated vsize (KiB) 291056
[startup+102.32 s]
/proc/loadavg: 4.07 3.01 1.40 6/101 29246
/proc/meminfo: memFree=326576/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=387116 CPUtime=375.33
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 87807 0 0 0 37451 82 0 0 25 0 4 0 1114438342 396406784 87738 4294967295 134512640 135305190 3219136832 3219135008 134528480 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/29047/statm: 96779 87738 79 194 0 96583 0
[pid=29047/tid=29048] ppid=29043 vsize=387116 CPUtime=93.52
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 8348 0 0 0 9336 16 0 0 25 0 4 0 1114438484 396406784 87738 4294967295 134512640 135305190 3219136832 3018083520 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=387116 CPUtime=93.57
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 12497 0 0 0 9331 26 0 0 25 0 4 0 1114438484 396406784 87738 4294967295 134512640 135305190 3219136832 3009694912 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=387116 CPUtime=93.56
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 8203 0 0 0 9338 18 0 0 25 0 4 0 1114438484 396406784 87738 4294967295 134512640 135305190 3219136832 3001305968 134551962 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 382.47
Current children cumulated vsize (KiB) 389532
[startup+162.315 s]
/proc/loadavg: 4.28 3.26 1.59 5/101 29434
/proc/meminfo: memFree=212268/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=505140 CPUtime=614.82
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 117150 0 0 0 61364 118 0 0 25 0 4 0 1114438342 517263360 117081 4294967295 134512640 135305190 3219136832 3219135008 134528480 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/29047/statm: 126285 117081 79 194 0 126089 0
[pid=29047/tid=29048] ppid=29043 vsize=505140 CPUtime=153.33
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 13527 0 0 0 15311 22 0 0 25 0 4 0 1114438484 517263360 117081 4294967295 134512640 135305190 3219136832 3018083184 134551820 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=505140 CPUtime=153.45
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 21427 0 0 0 15306 39 0 0 25 0 4 0 1114438484 517263360 117081 4294967295 134512640 135305190 3219136832 3009694912 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=505140 CPUtime=153.41
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 14162 0 0 0 15312 29 0 0 25 0 4 0 1114438484 517263360 117081 4294967295 134512640 135305190 3219136832 3001306304 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 621.96
Current children cumulated vsize (KiB) 507556
[startup+222.31 s]
/proc/loadavg: 4.26 3.45 1.76 5/101 29621
/proc/meminfo: memFree=122112/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
################
# More data... #
################
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 37704 0 0 0 51173 65 0 0 25 0 4 0 1114438484 981434368 230203 4294967295 134512640 135305190 3219136832 3001305936 135017758 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2058.87
Current children cumulated vsize (KiB) 960848
[startup+582.31 s]
/proc/loadavg: 4.31 4.12 2.60 6/101 30753
/proc/meminfo: memFree=125800/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=970724 CPUtime=2291.17
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 233407 0 0 0 228820 297 0 0 25 0 4 0 1114438342 994021376 233338 4294967295 134512640 135305190 3219136832 3219135008 134528536 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/29047/statm: 242681 233338 79 194 0 242485 0
[pid=29047/tid=29048] ppid=29043 vsize=970724 CPUtime=572.23
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 35860 0 0 0 57151 72 0 0 25 0 4 0 1114438484 994021376 233338 4294967295 134512640 135305190 3219136832 3018083184 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=970724 CPUtime=572.78
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 57613 0 0 0 57193 85 0 0 25 0 4 0 1114438484 994021376 233338 4294967295 134512640 135305190 3219136832 3009694912 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=970724 CPUtime=572.15
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 38432 0 0 0 57147 68 0 0 25 0 4 0 1114438484 994021376 233338 4294967295 134512640 135305190 3219136832 3001305968 134551712 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2298.31
Current children cumulated vsize (KiB) 973140
[startup+642.315 s]
/proc/loadavg: 4.50 4.20 2.72 5/101 30939
/proc/meminfo: memFree=125464/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=1095360 CPUtime=2530.69
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 264551 0 0 0 252741 328 0 0 25 0 4 0 1114438342 1121648640 264482 4294967295 134512640 135305190 3219136832 3219135008 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/29047/statm: 273840 264482 79 194 0 273644 0
[pid=29047/tid=29048] ppid=29043 vsize=1095360 CPUtime=632.13
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 41612 0 0 0 63136 77 0 0 25 0 4 0 1114438484 1121648640 264482 4294967295 134512640 135305190 3219136832 3018083520 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=1095360 CPUtime=632.68
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 68382 0 0 0 63177 91 0 0 25 0 4 0 1114438484 1121648640 264482 4294967295 134512640 135305190 3219136832 3009694912 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=1095360 CPUtime=631.96
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 44655 0 0 0 63119 77 0 0 25 0 4 0 1114438484 1121648640 264482 4294967295 134512640 135305190 3219136832 3001306304 134530561 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2537.83
Current children cumulated vsize (KiB) 1097776
[startup+702.31 s]
/proc/loadavg: 4.45 4.25 2.83 5/101 31128
/proc/meminfo: memFree=122160/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=1205796 CPUtime=2770.27
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 292015 0 0 0 276661 366 0 0 25 0 4 0 1114438342 1234735104 291946 4294967295 134512640 135305190 3219136832 3219134672 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/29047/statm: 301449 291946 79 194 0 301253 0
[pid=29047/tid=29048] ppid=29043 vsize=1205796 CPUtime=692.06
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 47063 0 0 0 69122 84 0 0 25 0 4 0 1114438484 1234735104 291946 4294967295 134512640 135305190 3219136832 3018083184 134551681 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=1205796 CPUtime=692.47
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 77079 0 0 0 69146 101 0 0 25 0 4 0 1114438484 1234735104 291946 4294967295 134512640 135305190 3219136832 3009694528 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=1205796 CPUtime=691.9
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 50365 0 0 0 69107 83 0 0 25 0 4 0 1114438484 1234735104 291946 4294967295 134512640 135305190 3219136832 3001306304 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2777.41
Current children cumulated vsize (KiB) 1208212
[startup+762.315 s]
/proc/loadavg: 4.50 4.31 2.94 7/101 31316
/proc/meminfo: memFree=125684/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=1262380 CPUtime=3009.7
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 306241 0 0 0 300576 394 0 0 25 0 4 0 1114438342 1292677120 306172 4294967295 134512640 135305190 3219136832 3219135008 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/29047/statm: 315595 306172 79 194 0 315399 0
[pid=29047/tid=29048] ppid=29043 vsize=1262380 CPUtime=751.92
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 49780 0 0 0 75104 88 0 0 25 0 4 0 1114438484 1292677120 306172 4294967295 134512640 135305190 3219136832 3018083248 134556807 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=1262380 CPUtime=752.16
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 81016 0 0 0 75101 115 0 0 25 0 4 0 1114438484 1292677120 306172 4294967295 134512640 135305190 3219136832 3009694912 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=1262380 CPUtime=751.89
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 54197 0 0 0 75101 88 0 0 25 0 4 0 1114438484 1292677120 306172 4294967295 134512640 135305190 3219136832 3001306304 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3016.84
Current children cumulated vsize (KiB) 1264796
[startup+822.311 s]
/proc/loadavg: 4.28 4.28 3.01 5/101 31507
/proc/meminfo: memFree=122552/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=1280964 CPUtime=3249.13
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 310724 0 0 0 324500 413 0 0 25 0 4 0 1114438342 1311707136 310655 4294967295 134512640 135305190 3219136832 3219135008 134528376 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/29047/statm: 320241 310655 79 194 0 320045 0
[pid=29047/tid=29048] ppid=29043 vsize=1280964 CPUtime=811.67
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 50505 0 0 0 81073 94 0 0 25 0 4 0 1114438484 1311707136 310655 4294967295 134512640 135305190 3219136832 3018083184 134551729 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=1280964 CPUtime=812.08
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 81892 0 0 0 81085 123 0 0 25 0 4 0 1114438484 1311707136 310655 4294967295 134512640 135305190 3219136832 3009694912 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=1280964 CPUtime=811.87
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 55755 0 0 0 81096 91 0 0 25 0 4 0 1114438484 1311707136 310655 4294967295 134512640 135305190 3219136832 3001306272 134570394 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3256.27
Current children cumulated vsize (KiB) 1283380
[startup+882.306 s]
/proc/loadavg: 4.39 4.30 3.10 6/101 31696
/proc/meminfo: memFree=226360/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=1346896 CPUtime=3488.44
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 327328 0 0 0 348393 451 0 0 25 0 4 0 1114438342 1379221504 327259 4294967295 134512640 135305190 3219136832 3219134672 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/29047/statm: 336724 327259 79 194 0 336528 0
[pid=29047/tid=29048] ppid=29043 vsize=1346896 CPUtime=871.22
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 53676 0 0 0 87020 102 0 0 25 0 4 0 1114438484 1379221504 327259 4294967295 134512640 135305190 3219136832 3018083520 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=1346896 CPUtime=872.01
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 86349 0 0 0 87064 137 0 0 25 0 4 0 1114438484 1379221504 327259 4294967295 134512640 135305190 3219136832 3009694912 134528402 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=1346896 CPUtime=871.82
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 60187 0 0 0 87079 103 0 0 25 0 4 0 1114438484 1379221504 327259 4294967295 134512640 135305190 3219136832 3001305968 134551681 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3495.58
Current children cumulated vsize (KiB) 1349312
[startup+942.311 s]
/proc/loadavg: 4.46 4.35 3.19 5/101 31885
/proc/meminfo: memFree=163436/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=1409536 CPUtime=3727.75
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 342948 0 0 0 372300 475 0 0 25 0 4 0 1114438342 1443364864 342879 4294967295 134512640 135305190 3219136832 3219134736 134556572 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/29047/statm: 352384 342879 79 194 0 352188 0
[pid=29047/tid=29048] ppid=29043 vsize=1409536 CPUtime=931.06
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 56710 0 0 0 92995 111 0 0 25 0 4 0 1114438484 1443364864 342879 4294967295 134512640 135305190 3219136832 3018083520 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=1409536 CPUtime=931.82
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 90726 0 0 0 93038 144 0 0 25 0 4 0 1114438484 1443364864 342879 4294967295 134512640 135305190 3219136832 3009694528 134551697 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=1409536 CPUtime=931.81
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 64193 0 0 0 93075 106 0 0 25 0 4 0 1114438484 1443364864 342879 4294967295 134512640 135305190 3219136832 3001306304 134528858 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3734.89
Current children cumulated vsize (KiB) 1411952
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.45 4.37 3.27 5/101 32074
/proc/meminfo: memFree=1665132/3368532 swapFree=1953788/1959888
[pid=29043] ppid=29041 vsize=2416 CPUtime=7.14
/proc/29043/stat : 29043 (manysat.sh) S 29041 29043 27966 0 -1 4194304 370 50479 0 0 0 0 687 27 18 0 1 0 1114437627 2473984 274 4294967295 134512640 135169312 3219890688 3219886904 3085680366 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29043/statm: 604 274 231 161 0 43 0
[pid=29047] ppid=29043 vsize=1521216 CPUtime=3957.43
/proc/29047/stat : 29047 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202496 370996 0 0 0 395227 516 0 0 25 0 4 0 1114438342 1557725184 370927 4294967295 134512640 135305190 3219136832 3219134756 134840070 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/29047/statm: 380304 370927 79 194 0 380108 0
[pid=29047/tid=29048] ppid=29043 vsize=1521216 CPUtime=988.27
/proc/29047/task/29048/stat : 29048 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 62745 0 0 0 98703 124 0 0 25 0 4 0 1114438484 1557725184 370928 4294967295 134512640 135305190 3219136832 3018083464 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29047/tid=29049] ppid=29043 vsize=1521216 CPUtime=989.33
/proc/29047/task/29049/stat : 29049 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 97856 0 0 0 98782 151 0 0 25 0 4 0 1114438484 1557725184 370928 4294967295 134512640 135305190 3219136832 3009694912 134528242 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=29047/tid=29050] ppid=29043 vsize=1521216 CPUtime=989.19
/proc/29047/task/29050/stat : 29050 (manysat1.1_stat) R 29043 29043 27966 0 -1 4202560 71027 0 0 0 98803 116 0 0 25 0 4 0 1114438484 1557725184 370928 4294967295 134512640 135305190 3219136832 3001306304 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3964.57
Current children cumulated vsize (KiB) 1523632
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 29043 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=870000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=270000
# CPU time returned by wait4() is 7.14
# while last known CPU time is 3964.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.03
CPU time (s): 3964.57
CPU user time (s): 3959.14
CPU system time (s): 5.43
CPU usage (%): 396.447
Max. virtual memory (cumulated for all children) (KiB): 1523632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.87
system time used= 0.27
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 6
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on at 2009-05-28 10:02:14
IDJOB=1775557
IDBENCH=20352
IDSOLVER=626
FILE ID=/1775557-1243497734
PBS_JOBID=
Free space on /tmp= 6455 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-sat/partial-10-15-s.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775557-1243497734/watcher-1775557-1243497734 -o /tmp/evaluation-result-1775557-1243497734/solver-1775557-1243497734 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775557-1243497734.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= a6b04ec2cace5c4e6bef212c7f2df796
RANDOM SEED= 1638506563
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: 698960 kB
Buffers: 44644 kB
Cached: 2455624 kB
SwapCached: 2256 kB
Active: 1228460 kB
Inactive: 1281448 kB
HighTotal: 2489216 kB
HighFree: 469268 kB
LowTotal: 879316 kB
LowFree: 229692 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 23792 kB
Writeback: 0 kB
AnonPages: 8496 kB
Mapped: 3140 kB
Slab: 150300 kB
SReclaimable: 136136 kB
SUnreclaim: 14164 kB
PageTables: 492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88680 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6434 MiB
End job on at 2009-05-28 10:18:58