0.00/0.00 c Parsing...
0.21/0.31 c ==============================================================================
0.21/0.31 c | | ORIGINAL | LEARNT | |
0.21/0.31 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.21/0.31 c ==============================================================================
0.21/0.31 c | 0 | 373870 911122 | 112160 0 0 nan | 0.000 % |
3.21/3.25 c | 0 | 183363 759436 | -- 0 -- -- | -- | -190507/-151686
3.21/3.25 c ==============================================================================
3.21/3.25 c Result : #vars: 14569 #clauses: 183363 #literals: 759436
3.21/3.25 c CPU time: 3.14 s
3.21/3.25 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775962-1243505395/watcher-1775962-1243505395 -o /tmp/evaluation-result-1775962-1243505395/solver-1775962-1243505395 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775962-1243505395.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: 5.92 5.65 5.59 4/124 14097
/proc/meminfo: memFree=1675472/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2412 CPUtime=0
/proc/14097/stat : 14097 (manysat.sh) R 14095 14097 21334 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1115203551 2469888 273 4294967295 134512640 135169312 3220622000 3220620476 3085141876 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/14097/statm: 603 273 231 161 0 42 0
[pid=14098] ppid=14097 vsize=1344 CPUtime=0
/proc/14098/stat : 14098 (SatElite) R 14097 14097 21334 0 -1 4202496 264 0 0 0 0 0 0 0 18 0 1 0 1115203552 1376256 201 4294967295 134512640 135034092 3214425232 3214421576 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14098/statm: 336 201 51 128 0 206 0
[startup+0.079194 s]
/proc/loadavg: 5.92 5.65 5.59 4/124 14097
/proc/meminfo: memFree=1675472/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2412 CPUtime=0
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115203551 2469888 273 4294967295 134512640 135169312 3220622000 3220620536 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 603 273 231 161 0 42 0
[pid=14098] ppid=14097 vsize=11980 CPUtime=0.08
/proc/14098/stat : 14098 (SatElite) R 14097 14097 21334 0 -1 4202496 2924 0 0 0 7 1 0 0 19 0 1 0 1115203552 12267520 2861 4294967295 134512640 135034092 3214425232 3214421224 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14098/statm: 2995 2861 51 128 0 2865 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14392
[startup+0.109357 s]
/proc/loadavg: 5.92 5.65 5.59 4/124 14097
/proc/meminfo: memFree=1675472/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2412 CPUtime=0
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115203551 2469888 273 4294967295 134512640 135169312 3220622000 3220620536 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 603 273 231 161 0 42 0
[pid=14098] ppid=14097 vsize=18460 CPUtime=0.11
/proc/14098/stat : 14098 (SatElite) R 14097 14097 21334 0 -1 4202496 4037 0 0 0 10 1 0 0 20 0 1 0 1115203552 18903040 3974 4294967295 134512640 135034092 3214425232 3214421192 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14098/statm: 4615 3974 51 128 0 4485 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 20872
[startup+0.312557 s]
/proc/loadavg: 5.92 5.65 5.59 4/124 14097
/proc/meminfo: memFree=1675472/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2412 CPUtime=0
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115203551 2469888 273 4294967295 134512640 135169312 3220622000 3220620536 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 603 273 231 161 0 42 0
[pid=14098] ppid=14097 vsize=46552 CPUtime=0.31
/proc/14098/stat : 14098 (SatElite) R 14097 14097 21334 0 -1 4202496 10975 0 0 0 27 4 0 0 20 0 1 0 1115203552 47669248 10827 4294967295 134512640 135034092 3214425232 3214421376 134562127 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14098/statm: 11638 10827 65 128 0 11508 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 48964
[startup+0.709142 s]
/proc/loadavg: 5.92 5.65 5.59 4/124 14097
/proc/meminfo: memFree=1675472/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2412 CPUtime=0
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115203551 2469888 273 4294967295 134512640 135169312 3220622000 3220620536 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 603 273 231 161 0 42 0
[pid=14098] ppid=14097 vsize=51996 CPUtime=0.71
/proc/14098/stat : 14098 (SatElite) R 14097 14097 21334 0 -1 4202496 12172 0 0 0 66 5 0 0 21 0 1 0 1115203552 53243904 11815 4294967295 134512640 135034092 3214425232 3214421228 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14098/statm: 12999 11815 67 128 0 12869 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 54408
[startup+1.50907 s]
/proc/loadavg: 5.92 5.65 5.59 4/126 14100
/proc/meminfo: memFree=1999148/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2412 CPUtime=0
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115203551 2469888 273 4294967295 134512640 135169312 3220622000 3220620536 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 603 273 231 161 0 42 0
[pid=14098] ppid=14097 vsize=58996 CPUtime=1.51
/proc/14098/stat : 14098 (SatElite) R 14097 14097 21334 0 -1 4202496 13586 0 0 0 141 10 0 0 24 0 1 0 1115203552 60411904 13229 4294967295 134512640 135034092 3214425232 3214421228 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14098/statm: 14749 13229 67 128 0 14619 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 61408
[startup+3.10894 s]
/proc/loadavg: 5.92 5.65 5.59 3/126 14100
/proc/meminfo: memFree=1878524/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2412 CPUtime=0
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115203551 2469888 273 4294967295 134512640 135169312 3220622000 3220620536 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 603 273 231 161 0 42 0
[pid=14098] ppid=14097 vsize=59840 CPUtime=3.11
/proc/14098/stat : 14098 (SatElite) R 14097 14097 21334 0 -1 4202496 14432 0 0 0 300 11 0 0 25 0 1 0 1115203552 61276160 13501 4294967295 134512640 135034092 3214425232 3214421472 134566546 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14098/statm: 14960 13501 67 128 0 14830 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 62252
[startup+6.30885 s]
/proc/loadavg: 5.61 5.59 5.57 8/129 14104
/proc/meminfo: memFree=1890228/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=87324 CPUtime=8.97
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 15016 0 0 0 864 33 0 0 16 0 4 0 1115203905 89419776 14950 4294967295 134512640 135305190 3220380272 3220378112 134551712 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/14101/statm: 21831 14950 79 194 0 21635 0
[pid=14101/tid=14102] ppid=14097 vsize=87324 CPUtime=2.19
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 783 0 0 0 212 7 0 0 16 0 4 0 1115203952 89419776 14950 4294967295 134512640 135305190 3220380272 3078302912 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=87324 CPUtime=2.03
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 694 0 0 0 199 4 0 0 16 0 4 0 1115203952 89419776 14950 4294967295 134512640 135305190 3220380272 3069914304 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=87324 CPUtime=2.17
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 762 0 0 0 208 9 0 0 16 0 4 0 1115203952 89419776 14950 4294967295 134512640 135305190 3220380272 3061525696 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 89740
[startup+12.7083 s]
/proc/loadavg: 5.72 5.61 5.58 7/129 14105
/proc/meminfo: memFree=1939364/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=94536 CPUtime=32.98
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 16931 0 0 0 3262 36 0 0 22 0 4 0 1115203905 96804864 16865 4294967295 134512640 135305190 3220380272 3220378448 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/14101/statm: 23634 16865 79 194 0 23438 0
[pid=14101/tid=14102] ppid=14097 vsize=94536 CPUtime=8.41
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 1227 0 0 0 832 9 0 0 25 0 4 0 1115203952 96804864 16865 4294967295 134512640 135305190 3220380272 3078302912 134528875 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=94536 CPUtime=8.08
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 1140 0 0 0 804 4 0 0 25 0 4 0 1115203952 96804864 16865 4294967295 134512640 135305190 3220380272 3069914304 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=94536 CPUtime=7.51
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 1184 0 0 0 742 9 0 0 20 0 4 0 1115203952 96804864 16865 4294967295 134512640 135305190 3220380272 3061525696 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 36.51
Current children cumulated vsize (KiB) 96952
[startup+25.5072 s]
/proc/loadavg: 5.63 5.60 5.58 7/129 14106
/proc/meminfo: memFree=1903240/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=101860 CPUtime=74.31
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 18601 0 0 0 7387 44 0 0 25 0 4 0 1115203905 104304640 18535 4294967295 134512640 135305190 3220380272 3220378448 134528329 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/14101/statm: 25465 18535 79 194 0 25269 0
[pid=14101/tid=14102] ppid=14097 vsize=101860 CPUtime=20.77
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 1552 0 0 0 2065 12 0 0 25 0 4 0 1115203952 104304640 18535 4294967295 134512640 135305190 3220380272 3078302912 134528480 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=101860 CPUtime=20.46
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 1553 0 0 0 2039 7 0 0 25 0 4 0 1115203952 104304640 18535 4294967295 134512640 135305190 3220380272 3069914304 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=101860 CPUtime=13.58
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 1533 0 0 0 1347 11 0 0 25 0 4 0 1115203952 104304640 18535 4294967295 134512640 135305190 3220380272 3061525696 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 77.84
Current children cumulated vsize (KiB) 104276
[startup+51.105 s]
/proc/loadavg: 5.70 5.62 5.58 8/130 14258
/proc/meminfo: memFree=1863444/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=112680 CPUtime=151.34
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 21349 0 0 0 15083 51 0 0 25 0 4 0 1115203905 115384320 21283 4294967295 134512640 135305190 3220380272 3220378448 134528252 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/14101/statm: 28170 21283 79 194 0 27974 0
[pid=14101/tid=14102] ppid=14097 vsize=112680 CPUtime=46.13
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 2277 0 0 0 4601 12 0 0 25 0 4 0 1115203952 115384320 21283 4294967295 134512640 135305190 3220380272 3078302912 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=112680 CPUtime=42.51
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 2368 0 0 0 4240 11 0 0 25 0 4 0 1115203952 115384320 21283 4294967295 134512640 135305190 3220380272 3069914304 134528539 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=112680 CPUtime=27.39
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 2039 0 0 0 2727 12 0 0 25 0 4 0 1115203952 115384320 21283 4294967295 134512640 135305190 3220380272 3061525696 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 154.87
Current children cumulated vsize (KiB) 115096
[startup+102.311 s]
/proc/loadavg: 5.54 5.58 5.57 9/130 14311
/proc/meminfo: memFree=1903088/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=130316 CPUtime=310.78
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 25828 0 0 0 31008 70 0 0 25 0 4 0 1115203905 133443584 25762 4294967295 134512640 135305190 3220380272 3220378448 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/14101/statm: 32579 25762 79 194 0 32383 0
[pid=14101/tid=14102] ppid=14097 vsize=130316 CPUtime=79.86
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 3046 0 0 0 7964 22 0 0 25 0 4 0 1115203952 133443584 25762 4294967295 134512640 135305190 3220380272 3078302912 134528512 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=130316 CPUtime=82
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 3777 0 0 0 8188 12 0 0 25 0 4 0 1115203952 133443584 25762 4294967295 134512640 135305190 3220380272 3069914304 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=130316 CPUtime=72.91
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 3321 0 0 0 7273 18 0 0 25 0 4 0 1115203952 133443584 25762 4294967295 134512640 135305190 3220380272 3061525696 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 314.31
Current children cumulated vsize (KiB) 132732
[startup+162.315 s]
/proc/loadavg: 5.50 5.58 5.56 6/129 14483
/proc/meminfo: memFree=1834008/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=143448 CPUtime=489.65
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 28828 0 0 0 48883 82 0 0 25 0 4 0 1115203905 146890752 28762 4294967295 134512640 135305190 3220380272 3220378448 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/14101/statm: 35862 28762 79 194 0 35666 0
[pid=14101/tid=14102] ppid=14097 vsize=143448 CPUtime=112.81
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 3491 0 0 0 11257 24 0 0 25 0 4 0 1115203952 146890752 28762 4294967295 134512640 135305190 3220380272 3078302912 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=143448 CPUtime=141.48
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 5199 0 0 0 14130 18 0 0 25 0 4 0 1115203952 146890752 28762 4294967295 134512640 135305190 3220380272 3069914304 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=143448 CPUtime=105.31
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 3835 0 0 0 10511 20 0 0 25 0 4 0 1115203952 146890752 28762 4294967295 134512640 135305190 3220380272 3061525360 134551697 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 493.18
################
# More data... #
################
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 5974 0 0 0 40253 48 0 0 25 0 4 0 1115203952 193273856 39886 4294967295 134512640 135305190 3220380272 3061525696 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1572.28
Current children cumulated vsize (KiB) 191160
[startup+582.309 s]
/proc/loadavg: 5.80 5.84 5.70 7/129 15805
/proc/meminfo: memFree=1848516/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=200828 CPUtime=1748.37
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 42809 0 0 0 174628 209 0 0 25 0 4 0 1115203905 205647872 42743 4294967295 134512640 135305190 3220380272 3220378448 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/14101/statm: 50207 42743 79 194 0 50011 0
[pid=14101/tid=14102] ppid=14097 vsize=200828 CPUtime=379.1
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 6545 0 0 0 37856 54 0 0 25 0 4 0 1115203952 205647872 42743 4294967295 134512640 135305190 3220380272 3078302640 134558354 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=200828 CPUtime=504.7
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 10526 0 0 0 50414 56 0 0 25 0 4 0 1115203952 205647872 42743 4294967295 134512640 135305190 3220380272 3069914304 134528559 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=200828 CPUtime=462.76
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 6636 0 0 0 46221 55 0 0 25 0 4 0 1115203952 205647872 42743 4294967295 134512640 135305190 3220380272 3061525696 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1751.9
Current children cumulated vsize (KiB) 203244
[startup+642.304 s]
/proc/loadavg: 5.77 5.85 5.71 6/129 15993
/proc/meminfo: memFree=1839548/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=204808 CPUtime=1928.11
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 43738 0 0 0 192592 219 0 0 25 0 4 0 1115203905 209723392 43672 4294967295 134512640 135305190 3220380272 3220378448 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/14101/statm: 51202 43672 79 194 0 51006 0
[pid=14101/tid=14102] ppid=14097 vsize=204808 CPUtime=418.22
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 6711 0 0 0 41766 56 0 0 25 0 4 0 1115203952 209723392 43672 4294967295 134512640 135305190 3220380272 3078302912 134528539 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=204808 CPUtime=564.47
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 11209 0 0 0 56387 60 0 0 25 0 4 0 1115203952 209723392 43672 4294967295 134512640 135305190 3220380272 3069914304 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=204808 CPUtime=494.99
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 6707 0 0 0 49442 57 0 0 25 0 4 0 1115203952 209723392 43672 4294967295 134512640 135305190 3220380272 3061525696 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1931.64
Current children cumulated vsize (KiB) 207224
[startup+702.318 s]
/proc/loadavg: 5.61 5.78 5.70 6/129 16186
/proc/meminfo: memFree=1833864/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=205520 CPUtime=2109.62
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 43914 0 0 0 210731 231 0 0 25 0 4 0 1115203905 210452480 43848 4294967295 134512640 135305190 3220380272 3220378320 134857151 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/14101/statm: 51380 43848 79 194 0 51184 0
[pid=14101/tid=14102] ppid=14097 vsize=205520 CPUtime=456.37
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 6718 0 0 0 45579 58 0 0 25 0 4 0 1115203952 210452480 43848 4294967295 134512640 135305190 3220380272 3078302912 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=205520 CPUtime=592.81
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 11234 0 0 0 59221 60 0 0 25 0 4 0 1115203952 210452480 43848 4294967295 134512640 135305190 3220380272 3069914304 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=205520 CPUtime=551.18
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 6750 0 0 0 55056 62 0 0 25 0 4 0 1115203952 210452480 43848 4294967295 134512640 135305190 3220380272 3061525696 134528539 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2113.15
Current children cumulated vsize (KiB) 207936
[startup+762.313 s]
/proc/loadavg: 5.53 5.73 5.69 7/129 16374
/proc/meminfo: memFree=1857944/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=208016 CPUtime=2288.92
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 44549 0 0 0 228651 241 0 0 25 0 4 0 1115203905 213008384 44483 4294967295 134512640 135305190 3220380272 3220378448 134528512 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/14101/statm: 52004 44483 79 194 0 51808 0
[pid=14101/tid=14102] ppid=14097 vsize=208016 CPUtime=486.57
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 6860 0 0 0 48599 58 0 0 25 0 4 0 1115203952 213008384 44483 4294967295 134512640 135305190 3220380272 3078302912 134528506 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=208016 CPUtime=627.96
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 11302 0 0 0 62736 60 0 0 25 0 4 0 1115203952 213008384 44483 4294967295 134512640 135305190 3220380272 3069914304 134528548 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=208016 CPUtime=605.81
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 7083 0 0 0 60517 64 0 0 25 0 4 0 1115203952 213008384 44483 4294967295 134512640 135305190 3220380272 3061525696 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2292.45
Current children cumulated vsize (KiB) 210432
[startup+822.308 s]
/proc/loadavg: 5.55 5.70 5.68 6/129 16560
/proc/meminfo: memFree=1761100/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=209284 CPUtime=2471.02
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 44880 0 0 0 246855 247 0 0 25 0 4 0 1115203905 214306816 44814 4294967295 134512640 135305190 3220380272 3220378448 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/14101/statm: 52321 44814 79 194 0 52125 0
[pid=14101/tid=14102] ppid=14097 vsize=209284 CPUtime=519.62
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 6911 0 0 0 51903 59 0 0 25 0 4 0 1115203952 214306816 44814 4294967295 134512640 135305190 3220380272 3078302912 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=209284 CPUtime=687.89
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 11570 0 0 0 68728 61 0 0 25 0 4 0 1115203952 214306816 44814 4294967295 134512640 135305190 3220380272 3069914304 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=209284 CPUtime=635.6
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 7085 0 0 0 63495 65 0 0 25 0 4 0 1115203952 214306816 44814 4294967295 134512640 135305190 3220380272 3061525696 134528256 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2474.55
Current children cumulated vsize (KiB) 211700
[startup+882.313 s]
/proc/loadavg: 5.71 5.73 5.69 7/129 16748
/proc/meminfo: memFree=1860076/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=215692 CPUtime=2660.2
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 46573 0 0 0 265757 263 0 0 25 0 4 0 1115203905 220868608 46507 4294967295 134512640 135305190 3220380272 3220378448 134528415 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/14101/statm: 53923 46507 79 194 0 53727 0
[pid=14101/tid=14102] ppid=14097 vsize=215692 CPUtime=567.6
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 7220 0 0 0 56697 63 0 0 25 0 4 0 1115203952 220868608 46507 4294967295 134512640 135305190 3220380272 3078302912 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=215692 CPUtime=747.73
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 12397 0 0 0 74704 69 0 0 25 0 4 0 1115203952 220868608 46507 4294967295 134512640 135305190 3220380272 3069914304 134528512 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=215692 CPUtime=681.67
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 7431 0 0 0 68099 68 0 0 25 0 4 0 1115203952 220868608 46507 4294967295 134512640 135305190 3220380272 3061525696 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2663.73
Current children cumulated vsize (KiB) 218108
[startup+942.308 s]
/proc/loadavg: 5.56 5.69 5.67 7/129 16936
/proc/meminfo: memFree=1799388/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=240052 CPUtime=2847.83
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 52192 0 0 0 284484 299 0 0 25 0 4 0 1115203905 245813248 52126 4294967295 134512640 135305190 3220380272 3220378448 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/14101/statm: 60013 52126 79 194 0 59817 0
[pid=14101/tid=14102] ppid=14097 vsize=240052 CPUtime=612.39
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 8407 0 0 0 61163 76 0 0 25 0 4 0 1115203952 245813248 52126 4294967295 134512640 135305190 3220380272 3078302912 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=240052 CPUtime=802.73
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 14189 0 0 0 80195 78 0 0 25 0 4 0 1115203952 245813248 52126 4294967295 134512640 135305190 3220380272 3069914304 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=240052 CPUtime=735.45
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 8938 0 0 0 73467 78 0 0 25 0 4 0 1115203952 245813248 52126 4294967295 134512640 135305190 3220380272 3061525696 134528539 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2851.36
Current children cumulated vsize (KiB) 242468
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 5.54 5.66 5.66 9/129 17125
/proc/meminfo: memFree=1802584/3368532 swapFree=1957708/1959888
[pid=14097] ppid=14095 vsize=2416 CPUtime=3.53
/proc/14097/stat : 14097 (manysat.sh) S 14095 14097 21334 0 -1 4194304 370 15333 0 0 0 0 340 13 18 0 1 0 1115203551 2473984 274 4294967295 134512640 135169312 3220622000 3220618216 3085139694 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/14097/statm: 604 274 231 161 0 43 0
[pid=14101] ppid=14097 vsize=243332 CPUtime=3041.3
/proc/14101/stat : 14101 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202496 52975 0 0 0 303819 311 0 0 25 0 4 0 1115203905 249171968 52909 4294967295 134512640 135305190 3220380272 3220378448 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/14101/statm: 60833 52909 79 194 0 60637 0
[pid=14101/tid=14102] ppid=14097 vsize=243332 CPUtime=642.42
/proc/14101/task/14102/stat : 14102 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 8545 0 0 0 64165 77 0 0 25 0 4 0 1115203952 249171968 52909 4294967295 134512640 135305190 3220380272 3078302912 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=14101/tid=14103] ppid=14097 vsize=243332 CPUtime=860.29
/proc/14101/task/14103/stat : 14103 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 14588 0 0 0 85945 84 0 0 25 0 4 0 1115203952 249171968 52909 4294967295 134512640 135305190 3220380272 3069914304 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=14101/tid=14104] ppid=14097 vsize=243332 CPUtime=789.45
/proc/14101/task/14104/stat : 14104 (manysat1.1_stat) R 14097 14097 21334 0 -1 4202560 9184 0 0 0 78866 79 0 0 25 0 4 0 1115203952 249171968 52909 4294967295 134512640 135305190 3220380272 3061525540 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.83
Current children cumulated vsize (KiB) 245748
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 14097 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=400000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=130000
# CPU time returned by wait4() is 3.53
# while last known CPU time is 3044.83
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.06
CPU time (s): 3044.83
CPU user time (s): 3041.59
CPU system time (s): 3.24
CPU usage (%): 304.464
Max. virtual memory (cumulated for all children) (KiB): 245748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.4
system time used= 0.13
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15703
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= 4
runsolver used 0.04 second user time and 0.02 second system time
The end
Begin job on at 2009-05-28 12:09:55
IDJOB=1775962
IDBENCH=20406
IDSOLVER=626
FILE ID=/1775962-1243505395
PBS_JOBID=
Free space on /tmp= 15879 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775962-1243505395/watcher-1775962-1243505395 -o /tmp/evaluation-result-1775962-1243505395/solver-1775962-1243505395 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775962-1243505395.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED= 79722014
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.43
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: 1679024 kB
Buffers: 14264 kB
Cached: 621808 kB
SwapCached: 16 kB
Active: 1053728 kB
Inactive: 574392 kB
HighTotal: 2489216 kB
HighFree: 872368 kB
LowTotal: 879316 kB
LowFree: 806656 kB
SwapTotal: 1959888 kB
SwapFree: 1957708 kB
Dirty: 7964 kB
Writeback: 0 kB
AnonPages: 992160 kB
Mapped: 35512 kB
Slab: 50584 kB
SReclaimable: 41664 kB
SUnreclaim: 8920 kB
PageTables: 1776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 1283160 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15864 MiB
End job on at 2009-05-28 12:26:38