0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 30972 81428 | 9291 0 0 nan | 0.000 % |
0.11/0.19 c | 0 | 22056 71256 | -- 0 -- -- | -- | -8916/-10172
0.11/0.19 c ==============================================================================
0.11/0.19 c Result : #vars: 3830 #clauses: 22056 #literals: 71256
0.11/0.19 c CPU time: 0.2 s
0.11/0.19 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775902-1243504296/watcher-1775902-1243504296 -o /tmp/evaluation-result-1775902-1243504296/solver-1775902-1243504296 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775902-1243504296.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.30 4.41 4.37 3/96 22929
/proc/meminfo: memFree=3003612/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2412 CPUtime=0
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104530727 2469888 273 4294967295 134512640 135169312 3220718288 3220716824 3085893358 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/22929/statm: 603 273 231 161 0 42 0
[pid=22930] ppid=22929 vsize=2464 CPUtime=0
/proc/22930/stat : 22930 (SatElite) R 22929 22929 1628 0 -1 4202496 429 0 0 0 0 0 0 0 18 0 1 0 1104530727 2523136 366 4294967295 134512640 135034092 3217737664 3217734008 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22930/statm: 616 366 50 128 0 486 0
[startup+0.039655 s]
/proc/loadavg: 4.30 4.41 4.37 3/96 22929
/proc/meminfo: memFree=3003612/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2412 CPUtime=0
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104530727 2469888 273 4294967295 134512640 135169312 3220718288 3220716824 3085893358 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/22929/statm: 603 273 231 161 0 42 0
[pid=22930] ppid=22929 vsize=5600 CPUtime=0.04
/proc/22930/stat : 22930 (SatElite) R 22929 22929 1628 0 -1 4202496 1197 0 0 0 4 0 0 0 18 0 1 0 1104530727 5734400 1134 4294967295 134512640 135034092 3217737664 3217733660 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22930/statm: 1400 1134 67 128 0 1270 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8012
[startup+0.109649 s]
/proc/loadavg: 4.30 4.41 4.37 3/96 22929
/proc/meminfo: memFree=3003612/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2412 CPUtime=0
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104530727 2469888 273 4294967295 134512640 135169312 3220718288 3220716824 3085893358 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/22929/statm: 603 273 231 161 0 42 0
[pid=22930] ppid=22929 vsize=6320 CPUtime=0.11
/proc/22930/stat : 22930 (SatElite) R 22929 22929 1628 0 -1 4202496 1384 0 0 0 11 0 0 0 18 0 1 0 1104530727 6471680 1321 4294967295 134512640 135034092 3217737664 3217733904 134566628 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22930/statm: 1580 1321 67 128 0 1450 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 8732
[startup+0.309641 s]
/proc/loadavg: 4.30 4.41 4.37 3/96 22929
/proc/meminfo: memFree=3003612/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 2416
[startup+0.709617 s]
/proc/loadavg: 4.30 4.41 4.37 3/96 22929
/proc/meminfo: memFree=3003612/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 2416
[startup+1.51291 s]
/proc/loadavg: 4.30 4.41 4.37 6/101 22935
/proc/meminfo: memFree=2991476/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=42156 CPUtime=4.92
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 3725 0 0 0 486 6 0 0 15 0 4 0 1104530750 43167744 3656 4294967295 134512640 135305190 3216285312 3216283412 134694990 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22932/statm: 10539 3656 79 194 0 10343 0
[pid=22932/tid=22933] ppid=22929 vsize=42156 CPUtime=1.21
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 445 0 0 0 120 1 0 0 16 0 4 0 1104530754 43167744 3656 4294967295 134512640 135305190 3216285312 3086273728 134531043 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=42156 CPUtime=1.21
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 494 0 0 0 119 2 0 0 18 0 4 0 1104530754 43167744 3656 4294967295 134512640 135305190 3216285312 3077885188 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=42156 CPUtime=1.22
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 443 0 0 0 121 1 0 0 16 0 4 0 1104530754 43167744 3656 4294967295 134512640 135305190 3216285312 3069496436 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 44572
[startup+3.10946 s]
/proc/loadavg: 4.30 4.41 4.37 7/101 22935
/proc/meminfo: memFree=2985332/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=48224 CPUtime=11.3
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 5327 0 0 0 1123 7 0 0 16 0 4 0 1104530750 49381376 5258 4294967295 134512640 135305190 3216285312 3216283488 134528237 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22932/statm: 12056 5258 79 194 0 11860 0
[pid=22932/tid=22933] ppid=22929 vsize=48224 CPUtime=2.81
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 771 0 0 0 280 1 0 0 16 0 4 0 1104530754 49381376 5258 4294967295 134512640 135305190 3216285312 3086273392 134551945 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=48224 CPUtime=2.79
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 889 0 0 0 277 2 0 0 16 0 4 0 1104530754 49381376 5258 4294967295 134512640 135305190 3216285312 3077884800 134552923 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=48224 CPUtime=2.82
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 832 0 0 0 281 1 0 0 16 0 4 0 1104530754 49381376 5258 4294967295 134512640 135305190 3216285312 3069496176 134551978 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 50640
[startup+6.30924 s]
/proc/loadavg: 4.43 4.44 4.38 6/101 22935
/proc/meminfo: memFree=2975692/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=56728 CPUtime=24.08
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 7228 0 0 0 2397 11 0 0 16 0 4 0 1104530750 58089472 7159 4294967295 134512640 135305190 3216285312 3216283488 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22932/statm: 14182 7159 79 194 0 13986 0
[pid=22932/tid=22933] ppid=22929 vsize=56728 CPUtime=6.01
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 1297 0 0 0 600 1 0 0 17 0 4 0 1104530754 58089472 7159 4294967295 134512640 135305190 3216285312 3086273728 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=56728 CPUtime=5.97
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 1250 0 0 0 594 3 0 0 19 0 4 0 1104530754 58089472 7159 4294967295 134512640 135305190 3216285312 3077885120 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=56728 CPUtime=6.02
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 1281 0 0 0 600 2 0 0 17 0 4 0 1104530754 58089472 7159 4294967295 134512640 135305190 3216285312 3069496512 134528814 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.3
Current children cumulated vsize (KiB) 59144
[startup+12.7088 s]
/proc/loadavg: 4.48 4.45 4.39 6/101 23118
/proc/meminfo: memFree=2967240/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=65732 CPUtime=49.37
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 9411 0 0 0 4925 12 0 0 25 0 4 0 1104530750 67309568 9342 4294967295 134512640 135305190 3216285312 3216283488 134528501 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22932/statm: 16433 9342 79 194 0 16237 0
[pid=22932/tid=22933] ppid=22929 vsize=65732 CPUtime=12.4
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 1890 0 0 0 1239 1 0 0 25 0 4 0 1104530754 67309568 9342 4294967295 134512640 135305190 3216285312 3086273728 134528256 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=65732 CPUtime=12.29
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 1667 0 0 0 1226 3 0 0 25 0 4 0 1104530754 67309568 9342 4294967295 134512640 135305190 3216285312 3077884800 134554270 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=65732 CPUtime=12.24
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 1868 0 0 0 1221 3 0 0 25 0 4 0 1104530754 67309568 9342 4294967295 134512640 135305190 3216285312 3069496512 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.59
Current children cumulated vsize (KiB) 68148
[startup+25.5079 s]
/proc/loadavg: 4.44 4.44 4.38 5/101 23119
/proc/meminfo: memFree=2952184/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=80464 CPUtime=100.52
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 13077 0 0 0 10031 21 0 0 25 0 4 0 1104530750 82395136 13008 4294967295 134512640 135305190 3216285312 3216283488 134528418 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22932/statm: 20116 13008 79 194 0 19920 0
[pid=22932/tid=22933] ppid=22929 vsize=80464 CPUtime=25.15
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 3024 0 0 0 2508 7 0 0 25 0 4 0 1104530754 82395136 13008 4294967295 134512640 135305190 3216285312 3086273728 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=80464 CPUtime=25.09
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 2627 0 0 0 2505 4 0 0 25 0 4 0 1104530754 82395136 13008 4294967295 134512640 135305190 3216285312 3077885120 134528329 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=80464 CPUtime=25.04
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 2575 0 0 0 2500 4 0 0 25 0 4 0 1104530754 82395136 13008 4294967295 134512640 135305190 3216285312 3069496240 134557355 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.74
Current children cumulated vsize (KiB) 82880
[startup+51.1062 s]
/proc/loadavg: 4.48 4.45 4.39 5/101 23123
/proc/meminfo: memFree=2942404/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=91380 CPUtime=202.77
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 15615 0 0 0 20242 35 0 0 25 0 4 0 1104530750 93573120 15546 4294967295 134512640 135305190 3216285312 3216283488 134528237 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22932/statm: 22845 15546 79 194 0 22649 0
[pid=22932/tid=22933] ppid=22929 vsize=91380 CPUtime=50.64
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 3820 0 0 0 5054 10 0 0 25 0 4 0 1104530754 93573120 15546 4294967295 134512640 135305190 3216285312 3086273380 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=91380 CPUtime=50.68
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 3252 0 0 0 5060 8 0 0 25 0 4 0 1104530754 93573120 15546 4294967295 134512640 135305190 3216285312 3077884968 134694990 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=91380 CPUtime=50.62
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) S 22929 22929 1628 0 -1 4202560 3090 0 0 0 5052 10 0 0 25 0 4 0 1104530754 93573120 15546 4294967295 134512640 135305190 3216285312 3069496356 134694990 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.99
Current children cumulated vsize (KiB) 93796
[startup+102.323 s]
/proc/loadavg: 4.43 4.44 4.38 6/101 23308
/proc/meminfo: memFree=2915648/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=117172 CPUtime=407.11
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 22016 0 0 0 40649 62 0 0 25 0 4 0 1104530750 119984128 21947 4294967295 134512640 135305190 3216285312 3216283152 134551651 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22932/statm: 29293 21947 79 194 0 29097 0
[pid=22932/tid=22933] ppid=22929 vsize=117172 CPUtime=101.78
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 5538 0 0 0 10165 13 0 0 25 0 4 0 1104530754 119984128 21947 4294967295 134512640 135305190 3216285312 3086273392 134551974 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=117172 CPUtime=101.87
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 5358 0 0 0 10171 16 0 0 25 0 4 0 1104530754 119984128 21947 4294967295 134512640 135305190 3216285312 3077885012 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=117172 CPUtime=101.63
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 4349 0 0 0 10141 22 0 0 25 0 4 0 1104530754 119984128 21947 4294967295 134512640 135305190 3216285312 3069496360 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.33
Current children cumulated vsize (KiB) 119588
[startup+162.309 s]
/proc/loadavg: 4.20 4.37 4.36 6/101 23496
/proc/meminfo: memFree=2904364/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=130116 CPUtime=646.26
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 24888 0 0 0 64545 81 0 0 25 0 4 0 1104530750 133238784 24819 4294967295 134512640 135305190 3216285312 3216283488 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22932/statm: 32529 24819 79 194 0 32333 0
[pid=22932/tid=22933] ppid=22929 vsize=130116 CPUtime=161.48
################
# More data... #
################
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 8784 0 0 0 52059 48 0 0 25 0 4 0 1104530754 231837696 47789 4294967295 134512640 135305190 3216285312 3069496240 134557133 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2082.32
Current children cumulated vsize (KiB) 228820
[startup+582.31 s]
/proc/loadavg: 4.37 4.34 4.35 5/101 24818
/proc/meminfo: memFree=2806148/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=234084 CPUtime=2321.23
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 49339 0 0 0 231880 243 0 0 25 0 4 0 1104530750 239702016 49252 4294967295 134512640 135305190 3216285312 3216283488 134528536 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22932/statm: 58521 49252 79 194 0 58325 0
[pid=22932/tid=22933] ppid=22929 vsize=234084 CPUtime=580.47
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 11711 0 0 0 57977 70 0 0 25 0 4 0 1104530754 239702016 49252 4294967295 134512640 135305190 3216285312 3086273616 134538175 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=234084 CPUtime=579.19
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 14233 0 0 0 57833 86 0 0 25 0 4 0 1104530754 239702016 49252 4294967295 134512640 135305190 3216285312 3077885120 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=234084 CPUtime=580.88
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 8851 0 0 0 58040 48 0 0 25 0 4 0 1104530754 239702016 49252 4294967295 134512640 135305190 3216285312 3069496240 134557272 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2321.45
Current children cumulated vsize (KiB) 236500
[startup+642.306 s]
/proc/loadavg: 4.39 4.35 4.35 5/101 25010
/proc/meminfo: memFree=2798000/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=243072 CPUtime=2560.61
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 51751 0 0 0 255792 269 0 0 25 0 4 0 1104530750 248905728 51664 4294967295 134512640 135305190 3216285312 3216283488 134528256 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22932/statm: 60768 51664 79 194 0 60572 0
[pid=22932/tid=22933] ppid=22929 vsize=243072 CPUtime=640.42
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 12112 0 0 0 63968 74 0 0 25 0 4 0 1104530754 248905728 51664 4294967295 134512640 135305190 3216285312 3086273576 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=243072 CPUtime=638.87
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 15087 0 0 0 63793 94 0 0 25 0 4 0 1104530754 248905728 51664 4294967295 134512640 135305190 3216285312 3077884964 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=243072 CPUtime=640.65
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 9342 0 0 0 64007 58 0 0 25 0 4 0 1104530754 248905728 51664 4294967295 134512640 135305190 3216285312 3069496512 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2560.83
Current children cumulated vsize (KiB) 245488
[startup+702.312 s]
/proc/loadavg: 4.29 4.32 4.34 5/101 25196
/proc/meminfo: memFree=2773620/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=269552 CPUtime=2800.13
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 57672 0 0 0 279712 301 0 0 25 0 4 0 1104530750 276021248 57585 4294967295 134512640 135305190 3216285312 3216283488 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22932/statm: 67388 57585 79 194 0 67192 0
[pid=22932/tid=22933] ppid=22929 vsize=269552 CPUtime=700.42
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 13433 0 0 0 69959 83 0 0 25 0 4 0 1104530754 276021248 57585 4294967295 134512640 135305190 3216285312 3086273728 134528777 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=269552 CPUtime=698.63
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 16969 0 0 0 69760 103 0 0 25 0 4 0 1104530754 276021248 57585 4294967295 134512640 135305190 3216285312 3077885120 134528418 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=269552 CPUtime=700.43
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 10344 0 0 0 69981 62 0 0 25 0 4 0 1104530754 276021248 57585 4294967295 134512640 135305190 3216285312 3069496512 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.35
Current children cumulated vsize (KiB) 271968
[startup+762.318 s]
/proc/loadavg: 4.43 4.35 4.35 5/101 25384
/proc/meminfo: memFree=2763500/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=278624 CPUtime=3039.47
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 60012 0 0 0 303628 319 0 0 25 0 4 0 1104530750 285310976 59925 4294967295 134512640 135305190 3216285312 3216283488 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22932/statm: 69656 59925 79 194 0 69460 0
[pid=22932/tid=22933] ppid=22929 vsize=278624 CPUtime=760.4
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 14346 0 0 0 75953 87 0 0 25 0 4 0 1104530754 285310976 59925 4294967295 134512640 135305190 3216285312 3086273392 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=278624 CPUtime=758.49
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 17650 0 0 0 75742 107 0 0 25 0 4 0 1104530754 285310976 59925 4294967295 134512640 135305190 3216285312 3077885120 134528376 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=278624 CPUtime=760.2
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 10731 0 0 0 75951 69 0 0 25 0 4 0 1104530754 285310976 59925 4294967295 134512640 135305190 3216285312 3069496512 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.69
Current children cumulated vsize (KiB) 281040
[startup+822.304 s]
/proc/loadavg: 4.33 4.33 4.34 6/101 25572
/proc/meminfo: memFree=2759408/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=281716 CPUtime=3278.67
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 60876 0 0 0 327529 338 0 0 25 0 4 0 1104530750 288477184 60789 4294967295 134512640 135305190 3216285312 3216283488 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22932/statm: 70429 60789 79 194 0 70233 0
[pid=22932/tid=22933] ppid=22929 vsize=281716 CPUtime=820.16
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 14477 0 0 0 81921 95 0 0 25 0 4 0 1104530754 288477184 60789 4294967295 134512640 135305190 3216285312 3086273728 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=281716 CPUtime=818.14
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 17852 0 0 0 81701 113 0 0 25 0 4 0 1104530754 288477184 60789 4294967295 134512640 135305190 3216285312 3077885008 134538136 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=281716 CPUtime=820.1
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 11055 0 0 0 81941 69 0 0 25 0 4 0 1104530754 288477184 60789 4294967295 134512640 135305190 3216285312 3069496512 134528277 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3278.89
Current children cumulated vsize (KiB) 284132
[startup+882.32 s]
/proc/loadavg: 4.40 4.34 4.34 5/101 25761
/proc/meminfo: memFree=2738512/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=306144 CPUtime=3518.06
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 66483 0 0 0 351441 365 0 0 25 0 4 0 1104530750 313491456 66396 4294967295 134512640 135305190 3216285312 3216283488 134528256 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22932/statm: 76536 66396 79 194 0 76340 0
[pid=22932/tid=22933] ppid=22929 vsize=306144 CPUtime=880.13
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 15854 0 0 0 87914 99 0 0 25 0 4 0 1104530754 313491456 66396 4294967295 134512640 135305190 3216285312 3086273728 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=306144 CPUtime=877.77
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 19910 0 0 0 87657 120 0 0 25 0 4 0 1104530754 313491456 66396 4294967295 134512640 135305190 3216285312 3077885120 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=306144 CPUtime=879.92
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 12215 0 0 0 87915 77 0 0 25 0 4 0 1104530754 313491456 66396 4294967295 134512640 135305190 3216285312 3069496400 134538136 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.28
Current children cumulated vsize (KiB) 308560
[startup+942.316 s]
/proc/loadavg: 4.57 4.41 4.36 5/101 25949
/proc/meminfo: memFree=2728352/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=317632 CPUtime=3757.42
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 68844 0 0 0 375361 381 0 0 25 0 4 0 1104530750 325255168 68757 4294967295 134512640 135305190 3216285312 3216283488 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22932/statm: 79408 68757 79 194 0 79212 0
[pid=22932/tid=22933] ppid=22929 vsize=317632 CPUtime=940.01
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 16752 0 0 0 93898 103 0 0 25 0 4 0 1104530754 325255168 68757 4294967295 134512640 135305190 3216285312 3086273728 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=317632 CPUtime=937.38
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 20603 0 0 0 93612 126 0 0 25 0 4 0 1104530754 325255168 68757 4294967295 134512640 135305190 3216285312 3077884864 134545169 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=317632 CPUtime=939.82
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 12215 0 0 0 93902 80 0 0 25 0 4 0 1104530754 325255168 68757 4294967295 134512640 135305190 3216285312 3069496512 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.64
Current children cumulated vsize (KiB) 320048
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.46 4.41 4.36 5/101 26136
/proc/meminfo: memFree=2724068/3368532 swapFree=1954076/1959888
[pid=22929] ppid=22927 vsize=2416 CPUtime=0.22
/proc/22929/stat : 22929 (manysat.sh) S 22927 22929 1628 0 -1 4194304 370 1549 0 0 0 0 22 0 16 0 1 0 1104530727 2473984 274 4294967295 134512640 135169312 3220718288 3220714504 3085893358 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22929/statm: 604 274 231 161 0 43 0
[pid=22932] ppid=22929 vsize=320868 CPUtime=3987.73
/proc/22932/stat : 22932 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202496 69746 0 0 0 398378 395 0 0 25 0 4 0 1104530750 328568832 69659 4294967295 134512640 135305190 3216285312 3216283488 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/22932/statm: 80217 69659 79 194 0 80021 0
[pid=22932/tid=22933] ppid=22929 vsize=320868 CPUtime=997.51
/proc/22932/task/22933/stat : 22933 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 17371 0 0 0 99644 107 0 0 25 0 4 0 1104530754 328568832 69659 4294967295 134512640 135305190 3216285312 3086273728 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22932/tid=22934] ppid=22929 vsize=320868 CPUtime=994.97
/proc/22932/task/22934/stat : 22934 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 20777 0 0 0 99371 126 0 0 25 0 4 0 1104530754 328568832 69659 4294967295 134512640 135305190 3216285312 3077885120 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22932/tid=22935] ppid=22929 vsize=320868 CPUtime=997.45
/proc/22932/task/22935/stat : 22935 (manysat1.1_stat) R 22929 22929 1628 0 -1 4202560 12263 0 0 0 99659 86 0 0 25 0 4 0 1104530754 328568832 69659 4294967295 134512640 135305190 3216285312 3069496512 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3987.95
Current children cumulated vsize (KiB) 323284
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 22929 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=220000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.22
# while last known CPU time is 3987.95
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.04
CPU time (s): 3987.95
CPU user time (s): 3984
CPU system time (s): 3.95
CPU usage (%): 398.778
Max. virtual memory (cumulated for all children) (KiB): 323284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.22
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1919
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= 65
runsolver used 0 second user time and 0.02 second system time
The end
Begin job on tipi44 at 2009-05-28 11:51:36
IDJOB=1775902
IDBENCH=20402
IDSOLVER=626
FILE ID=tipi44/1775902-1243504296
PBS_JOBID=
Free space on /tmp= 15893 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-25.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775902-1243504296/watcher-1775902-1243504296 -o /tmp/evaluation-result-1775902-1243504296/solver-1775902-1243504296 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775902-1243504296.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 0acd143a4e60b38309663b5993b5ded9
RANDOM SEED= 1678781255
Linux tipi44 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.116
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
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.116
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.116
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.16
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3003612 kB
Buffers: 134132 kB
Cached: 122944 kB
SwapCached: 2180 kB
Active: 92888 kB
Inactive: 173784 kB
HighTotal: 2489216 kB
HighFree: 2353912 kB
LowTotal: 879316 kB
LowFree: 649700 kB
SwapTotal: 1959888 kB
SwapFree: 1954076 kB
Dirty: 2100 kB
Writeback: 0 kB
AnonPages: 8848 kB
Mapped: 3432 kB
Slab: 86968 kB
SReclaimable: 76960 kB
SUnreclaim: 10008 kB
PageTables: 464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88088 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15892 MiB
End job on tipi44 at 2009-05-28 12:08:18