0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 78817 208932 | 23645 0 0 nan | 0.000 % |
0.32/0.40 c | 0 | 60741 195331 | -- 0 -- -- | -- | -18076/-13601
0.32/0.40 c ==============================================================================
0.32/0.40 c Result : #vars: 11150 #clauses: 60741 #literals: 195331
0.32/0.40 c CPU time: 0.39 s
0.32/0.40 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775914-1243504322/watcher-1775914-1243504322 -o /tmp/evaluation-result-1775914-1243504322/solver-1775914-1243504322 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775914-1243504322.cnf aimd 1
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.41 4.50 4.41 3/97 10720
/proc/meminfo: memFree=3041756/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2412 CPUtime=0
/proc/10720/stat : 10720 (manysat.sh) R 10718 10720 21691 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1104569508 2469888 273 4294967295 134512640 135169312 3213677584 3213676060 3085231988 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/10720/statm: 603 273 231 161 0 42 0
[pid=10721] ppid=10720 vsize=2460 CPUtime=0
/proc/10721/stat : 10721 (SatElite) R 10720 10720 21691 0 -1 4202496 450 0 0 0 0 0 0 0 18 0 1 0 1104569508 2519040 387 4294967295 134512640 135034092 3218942176 3218938464 134544963 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10721/statm: 615 390 49 128 0 485 0
[startup+0.114099 s]
/proc/loadavg: 4.41 4.50 4.41 3/97 10720
/proc/meminfo: memFree=3041756/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2412 CPUtime=0
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1104569508 2469888 273 4294967295 134512640 135169312 3213677584 3213676120 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 603 273 231 161 0 42 0
[pid=10721] ppid=10720 vsize=12532 CPUtime=0.12
/proc/10721/stat : 10721 (SatElite) R 10720 10720 21691 0 -1 4202496 2784 0 0 0 10 2 0 0 20 0 1 0 1104569508 12832768 2678 4294967295 134512640 135034092 3218942176 3218938272 134675816 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10721/statm: 3133 2681 67 128 0 3003 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14944
[startup+0.21409 s]
/proc/loadavg: 4.41 4.50 4.41 3/97 10720
/proc/meminfo: memFree=3041756/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2412 CPUtime=0
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1104569508 2469888 273 4294967295 134512640 135169312 3213677584 3213676120 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 603 273 231 161 0 42 0
[pid=10721] ppid=10720 vsize=14308 CPUtime=0.22
/proc/10721/stat : 10721 (SatElite) R 10720 10720 21691 0 -1 4202496 3206 0 0 0 20 2 0 0 20 0 1 0 1104569508 14651392 3100 4294967295 134512640 135034092 3218942176 3218938416 134566396 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10721/statm: 3577 3100 67 128 0 3447 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 16720
[startup+0.314083 s]
/proc/loadavg: 4.41 4.50 4.41 3/97 10720
/proc/meminfo: memFree=3041756/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2412 CPUtime=0
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1104569508 2469888 273 4294967295 134512640 135169312 3213677584 3213676120 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 603 273 231 161 0 42 0
[pid=10721] ppid=10720 vsize=16432 CPUtime=0.32
/proc/10721/stat : 10721 (SatElite) R 10720 10720 21691 0 -1 4202496 3547 0 0 0 30 2 0 0 20 0 1 0 1104569508 16826368 3441 4294967295 134512640 135034092 3218942176 3218938624 134569723 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10721/statm: 4108 3441 94 128 0 3978 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 18844
[startup+0.714056 s]
/proc/loadavg: 4.41 4.50 4.41 3/97 10720
/proc/meminfo: memFree=3041756/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2416
[startup+1.51564 s]
/proc/loadavg: 4.41 4.50 4.41 6/102 10726
/proc/meminfo: memFree=3018372/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=52928 CPUtime=3.6
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 6543 0 0 0 344 16 0 0 15 0 4 0 1104569556 54198272 6474 4294967295 134512640 135305190 3213495264 3213493364 134694990 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10723/statm: 13232 6474 79 194 0 13036 0
[pid=10723/tid=10724] ppid=10720 vsize=52928 CPUtime=0.85
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 477 0 0 0 83 2 0 0 15 0 4 0 1104569568 54198272 6474 4294967295 134512640 135305190 3213495264 3083480180 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=52928 CPUtime=0.86
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 535 0 0 0 83 3 0 0 16 0 4 0 1104569568 54198272 6474 4294967295 134512640 135305190 3213495264 3075091716 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=52928 CPUtime=0.87
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 469 0 0 0 81 6 0 0 15 0 4 0 1104569568 54198272 6474 4294967295 134512640 135305190 3213495264 3066702964 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 55344
[startup+3.11655 s]
/proc/loadavg: 4.41 4.50 4.41 5/102 10726
/proc/meminfo: memFree=3010824/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=62696 CPUtime=9.61
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 8897 0 0 0 939 22 0 0 15 0 4 0 1104569556 64200704 8828 4294967295 134512640 135305190 3213495264 3213493108 134695249 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/10723/statm: 15674 8828 79 194 0 15478 0
[pid=10723/tid=10724] ppid=10720 vsize=62696 CPUtime=2.41
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 877 0 0 0 237 4 0 0 15 0 4 0 1104569568 64200704 8828 4294967295 134512640 135305190 3213495264 3083480180 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=62696 CPUtime=2.37
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 1272 0 0 0 233 4 0 0 16 0 4 0 1104569568 64200704 8828 4294967295 134512640 135305190 3213495264 3075091496 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=62696 CPUtime=2.44
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 1044 0 0 0 236 8 0 0 15 0 4 0 1104569568 64200704 8828 4294967295 134512640 135305190 3213495264 3066702884 134694990 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.09
Current children cumulated vsize (KiB) 65112
[startup+6.33544 s]
/proc/loadavg: 4.53 4.52 4.42 5/102 10726
/proc/meminfo: memFree=2995372/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=73720 CPUtime=22.34
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 11738 0 0 0 2202 32 0 0 16 0 4 0 1104569556 75489280 11643 4294967295 134512640 135305190 3213495264 3213493156 134694990 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 18430 11643 79 194 0 18234 0
[pid=10723/tid=10724] ppid=10720 vsize=73720 CPUtime=5.62
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 1274 0 0 0 555 7 0 0 15 0 4 0 1104569568 75489280 11643 4294967295 134512640 135305190 3213495264 3083480180 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=73720 CPUtime=5.59
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 2319 0 0 0 554 5 0 0 16 0 4 0 1104569568 75489280 11643 4294967295 134512640 135305190 3213495264 3075091648 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=73720 CPUtime=5.58
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 1682 0 0 0 548 10 0 0 16 0 4 0 1104569568 75489280 11643 4294967295 134512640 135305190 3213495264 3066702708 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.82
Current children cumulated vsize (KiB) 76136
[startup+12.7133 s]
/proc/loadavg: 4.73 4.56 4.44 6/102 10726
/proc/meminfo: memFree=2979912/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=89100 CPUtime=47.52
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 15631 0 0 0 4712 40 0 0 16 0 4 0 1104569556 91238400 15536 4294967295 134512640 135305190 3213495264 3213493192 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 22275 15536 79 194 0 22079 0
[pid=10723/tid=10724] ppid=10720 vsize=89100 CPUtime=11.94
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 1984 0 0 0 1187 7 0 0 15 0 4 0 1104569568 91238400 15536 4294967295 134512640 135305190 3213495264 3083480000 134546239 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=89100 CPUtime=11.93
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 3557 0 0 0 1186 7 0 0 18 0 4 0 1104569568 91238400 15536 4294967295 134512640 135305190 3213495264 3075091648 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=89100 CPUtime=11.84
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 2681 0 0 0 1172 12 0 0 16 0 4 0 1104569568 91238400 15536 4294967295 134512640 135305190 3213495264 3066703040 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48
Current children cumulated vsize (KiB) 91516
[startup+25.5123 s]
/proc/loadavg: 4.86 4.60 4.45 6/102 10728
/proc/meminfo: memFree=2960308/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=107948 CPUtime=98.55
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 20423 0 0 0 9802 53 0 0 16 0 4 0 1104569556 110538752 20328 4294967295 134512640 135305190 3213495264 3213493156 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 26987 20328 79 194 0 26791 0
[pid=10723/tid=10724] ppid=10720 vsize=107948 CPUtime=24.74
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 2591 0 0 0 2461 13 0 0 18 0 4 0 1104569568 110538752 20328 4294967295 134512640 135305190 3213495264 3083480256 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=107948 CPUtime=24.65
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 5397 0 0 0 2453 12 0 0 25 0 4 0 1104569568 110538752 20328 4294967295 134512640 135305190 3213495264 3075091264 134551709 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=107948 CPUtime=24.62
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 3938 0 0 0 2448 14 0 0 17 0 4 0 1104569568 110538752 20328 4294967295 134512640 135305190 3213495264 3066703040 134530638 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 99.03
Current children cumulated vsize (KiB) 110364
[startup+51.1103 s]
/proc/loadavg: 4.81 4.60 4.45 6/102 10913
/proc/meminfo: memFree=2945484/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=124104 CPUtime=200.54
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 24382 0 0 0 19987 67 0 0 25 0 4 0 1104569556 127082496 24287 4294967295 134512640 135305190 3213495264 3213493440 134528189 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 31026 24287 79 194 0 30830 0
[pid=10723/tid=10724] ppid=10720 vsize=124104 CPUtime=50.24
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 3354 0 0 0 5010 14 0 0 25 0 4 0 1104569568 127082496 24287 4294967295 134512640 135305190 3213495264 3083480256 134528421 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=124104 CPUtime=50.21
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 6573 0 0 0 5001 20 0 0 25 0 4 0 1104569568 127082496 24287 4294967295 134512640 135305190 3213495264 3075091648 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=124104 CPUtime=50.07
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 5022 0 0 0 4991 16 0 0 25 0 4 0 1104569568 127082496 24287 4294967295 134512640 135305190 3213495264 3066703008 134570402 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.02
Current children cumulated vsize (KiB) 126520
[startup+102.306 s]
/proc/loadavg: 4.47 4.54 4.44 7/102 10917
/proc/meminfo: memFree=2912084/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=158136 CPUtime=404.73
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 32482 0 0 0 40386 87 0 0 18 0 4 0 1104569556 161931264 32387 4294967295 134512640 135305190 3213495264 3213493440 134528332 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 39534 32387 79 194 0 39338 0
[pid=10723/tid=10724] ppid=10720 vsize=158136 CPUtime=101.41
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 4819 0 0 0 10124 17 0 0 25 0 4 0 1104569568 161931264 32387 4294967295 134512640 135305190 3213495264 3083480256 134528223 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=158136 CPUtime=101.22
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 9257 0 0 0 10096 26 0 0 25 0 4 0 1104569568 161931264 32387 4294967295 134512640 135305190 3213495264 3075091264 134551978 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=158136 CPUtime=100.91
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 7246 0 0 0 10070 21 0 0 25 0 4 0 1104569568 161931264 32387 4294967295 134512640 135305190 3213495264 3066702580 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 405.21
Current children cumulated vsize (KiB) 160552
[startup+162.312 s]
/proc/loadavg: 4.41 4.50 4.43 5/102 11104
/proc/meminfo: memFree=2886028/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=183900 CPUtime=644.15
################
# More data... #
################
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 19148 0 0 0 57851 83 0 0 25 0 4 0 1104569568 365199360 81091 4294967295 134512640 135305190 3213495264 3066703040 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2319.52
Current children cumulated vsize (KiB) 359056
[startup+642.314 s]
/proc/loadavg: 4.37 4.44 4.42 5/102 12618
/proc/meminfo: memFree=2683104/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=390176 CPUtime=2558.31
/proc/10723/stat : 10723 (manysat1.1_stat) S 10720 10720 21691 0 -1 4202496 89403 0 0 0 255477 354 0 0 23 0 4 0 1104569556 399540224 89308 4294967295 134512640 135305190 3213495264 3213493288 134694990 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 97544 89308 79 194 0 97348 0
[pid=10723/tid=10724] ppid=10720 vsize=390176 CPUtime=640.41
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 15075 0 0 0 63971 70 0 0 18 0 4 0 1104569568 399540224 89308 4294967295 134512640 135305190 3213495264 3083480028 134834355 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=390176 CPUtime=639.32
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 28328 0 0 0 63828 104 0 0 25 0 4 0 1104569568 399540224 89308 4294967295 134512640 135305190 3213495264 3075091648 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=390176 CPUtime=639.13
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 21616 0 0 0 63821 92 0 0 25 0 4 0 1104569568 399540224 89308 4294967295 134512640 135305190 3213495264 3066703040 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2558.79
Current children cumulated vsize (KiB) 392592
[startup+702.309 s]
/proc/loadavg: 4.62 4.50 4.44 5/102 12805
/proc/meminfo: memFree=2653964/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=420168 CPUtime=2797.5
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 96751 0 0 0 279369 381 0 0 25 0 4 0 1104569556 430252032 96656 4294967295 134512640 135305190 3213495264 3213493288 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 105042 96656 79 194 0 104846 0
[pid=10723/tid=10724] ppid=10720 vsize=420168 CPUtime=700.11
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 16602 0 0 0 69934 77 0 0 25 0 4 0 1104569568 430252032 96656 4294967295 134512640 135305190 3213495264 3083480256 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=420168 CPUtime=699.17
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 30382 0 0 0 69806 111 0 0 25 0 4 0 1104569568 430252032 96656 4294967295 134512640 135305190 3213495264 3075091264 134551668 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=420168 CPUtime=699.06
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 23616 0 0 0 69805 101 0 0 25 0 4 0 1104569568 430252032 96656 4294967295 134512640 135305190 3213495264 3066703040 134528747 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2797.98
Current children cumulated vsize (KiB) 422584
[startup+762.315 s]
/proc/loadavg: 4.41 4.45 4.43 5/102 12992
/proc/meminfo: memFree=2627552/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=447572 CPUtime=3037
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 103368 0 0 0 303286 414 0 0 25 0 4 0 1104569556 458313728 103273 4294967295 134512640 135305190 3213495264 3213493440 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 111893 103273 79 194 0 111697 0
[pid=10723/tid=10724] ppid=10720 vsize=447572 CPUtime=760.02
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 17722 0 0 0 75921 81 0 0 25 0 4 0 1104569568 458313728 103273 4294967295 134512640 135305190 3213495264 3083480256 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=447572 CPUtime=759.13
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 32559 0 0 0 75797 116 0 0 25 0 4 0 1104569568 458313728 103273 4294967295 134512640 135305190 3213495264 3075091648 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=447572 CPUtime=758.7
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 25196 0 0 0 75757 113 0 0 25 0 4 0 1104569568 458313728 103273 4294967295 134512640 135305190 3213495264 3066703040 134528350 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3037.48
Current children cumulated vsize (KiB) 449988
[startup+822.31 s]
/proc/loadavg: 4.29 4.41 4.42 5/102 13180
/proc/meminfo: memFree=2579508/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=496840 CPUtime=3276.37
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 115653 0 0 0 327194 443 0 0 25 0 4 0 1104569556 508764160 115558 4294967295 134512640 135305190 3213495264 3213493440 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 124210 115558 79 194 0 124014 0
[pid=10723/tid=10724] ppid=10720 vsize=496840 CPUtime=819.93
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 20148 0 0 0 81909 84 0 0 25 0 4 0 1104569568 508764160 115558 4294967295 134512640 135305190 3213495264 3083480256 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=496840 CPUtime=818.96
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 35675 0 0 0 81774 122 0 0 25 0 4 0 1104569568 508764160 115558 4294967295 134512640 135305190 3213495264 3075091648 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=496840 CPUtime=818.38
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 28649 0 0 0 81711 127 0 0 25 0 4 0 1104569568 508764160 115558 4294967295 134512640 135305190 3213495264 3066702704 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3276.85
Current children cumulated vsize (KiB) 499256
[startup+882.315 s]
/proc/loadavg: 4.22 4.38 4.40 5/102 13368
/proc/meminfo: memFree=2573860/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=500984 CPUtime=3515.49
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 116507 0 0 0 351083 466 0 0 25 0 4 0 1104569556 513007616 116412 4294967295 134512640 135305190 3213495264 3213493440 134528433 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 125246 116412 79 194 0 125050 0
[pid=10723/tid=10724] ppid=10720 vsize=500984 CPUtime=879.68
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 20406 0 0 0 87881 87 0 0 25 0 4 0 1104569568 513007616 116412 4294967295 134512640 135305190 3213495264 3083480256 134528515 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=500984 CPUtime=878.76
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 35881 0 0 0 87748 128 0 0 25 0 4 0 1104569568 513007616 116412 4294967295 134512640 135305190 3213495264 3075091648 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=500984 CPUtime=878.15
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 28812 0 0 0 87683 132 0 0 25 0 4 0 1104569568 513007616 116412 4294967295 134512640 135305190 3213495264 3066703040 134528224 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3515.97
Current children cumulated vsize (KiB) 503400
[startup+942.311 s]
/proc/loadavg: 4.34 4.39 4.41 5/102 13557
/proc/meminfo: memFree=2573116/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=501712 CPUtime=3755.01
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 116699 0 0 0 375015 486 0 0 25 0 4 0 1104569556 513753088 116604 4294967295 134512640 135305190 3213495264 3213493440 134528771 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 125428 116604 79 194 0 125232 0
[pid=10723/tid=10724] ppid=10720 vsize=501712 CPUtime=939.67
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 20410 0 0 0 93877 90 0 0 25 0 4 0 1104569568 513753088 116604 4294967295 134512640 135305190 3213495264 3083480256 134528576 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=501712 CPUtime=938.37
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 35931 0 0 0 93704 133 0 0 25 0 4 0 1104569568 513753088 116604 4294967295 134512640 135305190 3213495264 3075091648 134528301 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=501712 CPUtime=938.13
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 28914 0 0 0 93679 134 0 0 25 0 4 0 1104569568 513753088 116604 4294967295 134512640 135305190 3213495264 3066703040 134528520 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3755.49
Current children cumulated vsize (KiB) 504128
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 4.32 4.38 4.40 5/102 13744
/proc/meminfo: memFree=2572372/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=502228 CPUtime=3985.24
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 116814 0 0 0 398028 496 0 0 25 0 4 0 1104569556 514281472 116719 4294967295 134512640 135305190 3213495264 3213493104 134551651 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 125557 116719 79 194 0 125361 0
[pid=10723/tid=10724] ppid=10720 vsize=502228 CPUtime=997.35
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 20429 0 0 0 99644 91 0 0 25 0 4 0 1104569568 514281472 116719 4294967295 134512640 135305190 3213495264 3083480256 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=502228 CPUtime=995.67
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 35935 0 0 0 99432 135 0 0 25 0 4 0 1104569568 514281472 116719 4294967295 134512640 135305190 3213495264 3075091648 134528415 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=502228 CPUtime=995.77
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 28957 0 0 0 99440 137 0 0 25 0 4 0 1104569568 514281472 116719 4294967295 134512640 135305190 3213495264 3066703040 134528418 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3985.72
Current children cumulated vsize (KiB) 504644
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1000.02 s]
/proc/loadavg: 4.32 4.38 4.40 5/102 13744
/proc/meminfo: memFree=2572372/3368532 swapFree=1952996/1959888
[pid=10720] ppid=10718 vsize=2416 CPUtime=0.48
/proc/10720/stat : 10720 (manysat.sh) S 10718 10720 21691 0 -1 4194304 370 3711 0 0 0 0 46 2 15 0 1 0 1104569508 2473984 274 4294967295 134512640 135169312 3213677584 3213673800 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/10720/statm: 604 274 231 161 0 43 0
[pid=10723] ppid=10720 vsize=502228 CPUtime=3985.24
/proc/10723/stat : 10723 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202496 116814 0 0 0 398028 496 0 0 25 0 4 0 1104569556 514281472 116719 4294967295 134512640 135305190 3213495264 3213493104 134551651 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10723/statm: 125557 116719 79 194 0 125361 0
[pid=10723/tid=10724] ppid=10720 vsize=502228 CPUtime=997.35
/proc/10723/task/10724/stat : 10724 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 20429 0 0 0 99644 91 0 0 25 0 4 0 1104569568 514281472 116719 4294967295 134512640 135305190 3213495264 3083480256 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10723/tid=10725] ppid=10720 vsize=502228 CPUtime=995.67
/proc/10723/task/10725/stat : 10725 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 35935 0 0 0 99432 135 0 0 25 0 4 0 1104569568 514281472 116719 4294967295 134512640 135305190 3213495264 3075091648 134528415 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10723/tid=10726] ppid=10720 vsize=502228 CPUtime=995.77
/proc/10723/task/10726/stat : 10726 (manysat1.1_stat) R 10720 10720 21691 0 -1 4202560 28957 0 0 0 99440 137 0 0 25 0 4 0 1104569568 514281472 116719 4294967295 134512640 135305190 3213495264 3066703040 134528418 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3985.72
Current children cumulated vsize (KiB) 504644
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10720 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=460000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=20000
# CPU time returned by wait4() is 0.48
# while last known CPU time is 3985.72
#
# 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): 3985.72
CPU user time (s): 3980.74
CPU system time (s): 4.98
CPU usage (%): 398.549
Max. virtual memory (cumulated for all children) (KiB): 504644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.46
system time used= 0.02
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4081
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= 4
runsolver used 0 second user time and 0.02 second system time
The end
Begin job on tipi45 at 2009-05-28 11:52:02
IDJOB=1775914
IDBENCH=20403
IDSOLVER=623
FILE ID=tipi45/1775914-1243504322
PBS_JOBID=
Free space on /tmp= 15500 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-26.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775914-1243504322/watcher-1775914-1243504322 -o /tmp/evaluation-result-1775914-1243504322/solver-1775914-1243504322 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775914-1243504322.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 0cf155110f71a43081221b427d368ee8
RANDOM SEED= 1496660694
Linux tipi45 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.081
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.081
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.10
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.081
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.081
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: 3041756 kB
Buffers: 126416 kB
Cached: 92984 kB
SwapCached: 2100 kB
Active: 70344 kB
Inactive: 158356 kB
HighTotal: 2489216 kB
HighFree: 2383312 kB
LowTotal: 879316 kB
LowFree: 658444 kB
SwapTotal: 1959888 kB
SwapFree: 1952996 kB
Dirty: 2956 kB
Writeback: 0 kB
AnonPages: 8560 kB
Mapped: 3272 kB
Slab: 85272 kB
SReclaimable: 73880 kB
SUnreclaim: 11392 kB
PageTables: 468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 89604 kB
VmallocTotal: 114680 kB
VmallocUsed: 17900 kB
VmallocChunk: 96244 kB
Free space on /tmp at the end= 15498 MiB
End job on tipi45 at 2009-05-28 12:08:45