0.00/0.00 c Parsing...
0.22/0.30 c ==============================================================================
0.22/0.30 c | | ORIGINAL | LEARNT | |
0.22/0.30 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.22/0.30 c ==============================================================================
0.22/0.30 c | 0 | 373870 911122 | 112160 0 0 nan | 0.000 % |
3.12/3.19 c | 0 | 183363 759436 | -- 0 -- -- | -- | -190507/-151686
3.12/3.19 c ==============================================================================
3.12/3.19 c Result : #vars: 14569 #clauses: 183363 #literals: 759436
3.12/3.19 c CPU time: 3.14 s
3.12/3.19 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775956-1243505326/watcher-1775956-1243505326 -o /tmp/evaluation-result-1775956-1243505326/solver-1775956-1243505326 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775956-1243505326.cnf aimd 0
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.32 4.38 4.40 3/97 13792
/proc/meminfo: memFree=3035628/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2412 CPUtime=0
/proc/13792/stat : 13792 (manysat.sh) R 13790 13792 21691 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1104669891 2469888 273 4294967295 134512640 135169312 3214169232 3214167708 3085404020 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/13792/statm: 603 273 231 161 0 42 0
[pid=13793] ppid=13792 vsize=1340 CPUtime=0
/proc/13793/stat : 13793 (SatElite) R 13792 13792 21691 0 -1 4202496 262 0 0 0 0 0 0 0 18 0 1 0 1104669891 1372160 198 4294967295 134512640 135034092 3219058944 3219055288 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/13793/statm: 335 199 51 128 0 205 0
[startup+0.037121 s]
/proc/loadavg: 4.32 4.38 4.40 3/97 13792
/proc/meminfo: memFree=3035628/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2412 CPUtime=0
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1104669891 2469888 273 4294967295 134512640 135169312 3214169232 3214167768 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 603 273 231 161 0 42 0
[pid=13793] ppid=13792 vsize=6012 CPUtime=0.04
/proc/13793/stat : 13793 (SatElite) R 13792 13792 21691 0 -1 4202496 1437 0 0 0 4 0 0 0 19 0 1 0 1104669891 6156288 1373 4294967295 134512640 135034092 3219058944 3219054904 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/13793/statm: 1503 1373 51 128 0 1373 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8424
[startup+0.117113 s]
/proc/loadavg: 4.32 4.38 4.40 3/97 13792
/proc/meminfo: memFree=3035628/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2412 CPUtime=0
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1104669891 2469888 273 4294967295 134512640 135169312 3214169232 3214167768 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 603 273 231 161 0 42 0
[pid=13793] ppid=13792 vsize=19116 CPUtime=0.12
/proc/13793/stat : 13793 (SatElite) R 13792 13792 21691 0 -1 4202496 4267 0 0 0 11 1 0 0 20 0 1 0 1104669891 19574784 4203 4294967295 134512640 135034092 3219058944 3219054904 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/13793/statm: 4779 4203 51 128 0 4649 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 21528
[startup+0.317097 s]
/proc/loadavg: 4.32 4.38 4.40 3/97 13792
/proc/meminfo: memFree=3035628/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2412 CPUtime=0
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1104669891 2469888 273 4294967295 134512640 135169312 3214169232 3214167768 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 603 273 231 161 0 42 0
[pid=13793] ppid=13792 vsize=46548 CPUtime=0.32
/proc/13793/stat : 13793 (SatElite) R 13792 13792 21691 0 -1 4202496 10976 0 0 0 30 2 0 0 20 0 1 0 1104669891 47665152 10827 4294967295 134512640 135034092 3219058944 3219053744 134562143 0 0 0 3 0 0 0 17 2 0 0 0
/proc/13793/statm: 11637 10827 65 128 0 11507 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 48960
[startup+0.717066 s]
/proc/loadavg: 4.32 4.38 4.40 3/97 13792
/proc/meminfo: memFree=3035628/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2412 CPUtime=0
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1104669891 2469888 273 4294967295 134512640 135169312 3214169232 3214167768 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 603 273 231 161 0 42 0
[pid=13793] ppid=13792 vsize=52124 CPUtime=0.72
/proc/13793/stat : 13793 (SatElite) R 13792 13792 21691 0 -1 4202496 12210 0 0 0 68 4 0 0 21 0 1 0 1104669891 53374976 11852 4294967295 134512640 135034092 3219058944 3219054940 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/13793/statm: 13031 11852 67 128 0 12901 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 54536
[startup+1.517 s]
/proc/loadavg: 4.06 4.32 4.38 2/99 13796
/proc/meminfo: memFree=2981460/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2412 CPUtime=0
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1104669891 2469888 273 4294967295 134512640 135169312 3214169232 3214167768 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 603 273 231 161 0 42 0
[pid=13793] ppid=13792 vsize=59124 CPUtime=1.52
/proc/13793/stat : 13793 (SatElite) R 13792 13792 21691 0 -1 4202496 13637 0 0 0 147 5 0 0 24 0 1 0 1104669891 60542976 13279 4294967295 134512640 135034092 3219058944 3219054940 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/13793/statm: 14781 13279 67 128 0 14651 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 61536
[startup+3.11688 s]
/proc/loadavg: 4.06 4.32 4.38 2/99 13796
/proc/meminfo: memFree=2971172/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2412 CPUtime=0
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1104669891 2469888 273 4294967295 134512640 135169312 3214169232 3214167768 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 603 273 231 161 0 42 0
[pid=13793] ppid=13792 vsize=64524 CPUtime=3.12
/proc/13793/stat : 13793 (SatElite) R 13792 13792 21691 0 -1 4202496 15221 0 0 0 307 5 0 0 25 0 1 0 1104669891 66072576 14288 4294967295 134512640 135034092 3219058944 3219055488 134582354 0 0 0 3 0 0 0 17 2 0 0 0
/proc/13793/statm: 16131 14288 70 128 0 16001 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 66936
[startup+6.31664 s]
/proc/loadavg: 4.06 4.32 4.38 7/102 13801
/proc/meminfo: memFree=2962868/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=88712 CPUtime=9.71
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 15147 0 0 0 941 30 0 0 16 0 4 0 1104670238 90841088 15080 4294967295 134512640 135305190 3219212624 3219210744 134840070 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/13797/statm: 22178 15080 79 194 0 21982 0
[pid=13797/tid=13799] ppid=13792 vsize=88712 CPUtime=2.32
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 823 0 0 0 225 7 0 0 16 0 4 0 1104670278 90841088 15080 4294967295 134512640 135305190 3219212624 3077668032 134528854 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=88712 CPUtime=2.36
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 764 0 0 0 225 11 0 0 17 0 4 0 1104670278 90841088 15080 4294967295 134512640 135305190 3219212624 3069279408 134857151 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=88712 CPUtime=2.26
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 858 0 0 0 225 1 0 0 16 0 4 0 1104670278 90841088 15080 4294967295 134512640 135305190 3219212624 3060890532 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 13.18
Current children cumulated vsize (KiB) 91128
[startup+12.7161 s]
/proc/loadavg: 4.20 4.34 4.39 5/102 13801
/proc/meminfo: memFree=2954496/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=96372 CPUtime=35.31
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 17057 0 0 0 3497 34 0 0 23 0 4 0 1104670238 98684928 16990 4294967295 134512640 135305190 3219212624 3219210800 134528442 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/13797/statm: 24093 16990 79 194 0 23897 0
[pid=13797/tid=13799] ppid=13792 vsize=96372 CPUtime=8.72
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 1210 0 0 0 865 7 0 0 22 0 4 0 1104670278 98684928 16990 4294967295 134512640 135305190 3219212624 3077668032 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=96372 CPUtime=8.76
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 1221 0 0 0 863 13 0 0 25 0 4 0 1104670278 98684928 16990 4294967295 134512640 135305190 3219212624 3069279168 134541959 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=96372 CPUtime=8.66
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 1368 0 0 0 864 2 0 0 25 0 4 0 1104670278 98684928 16990 4294967295 134512640 135305190 3219212624 3060890816 134528341 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38.78
Current children cumulated vsize (KiB) 98788
[startup+25.5151 s]
/proc/loadavg: 4.16 4.33 4.38 5/102 13984
/proc/meminfo: memFree=2944816/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=105108 CPUtime=86.18
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 19277 0 0 0 8577 41 0 0 25 0 4 0 1104670238 107630592 19210 4294967295 134512640 135305190 3219212624 3219210800 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/13797/statm: 26277 19210 79 194 0 26081 0
[pid=13797/tid=13799] ppid=13792 vsize=105108 CPUtime=21.47
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 1638 0 0 0 2140 7 0 0 25 0 4 0 1104670278 107630592 19210 4294967295 134512640 135305190 3219212624 3077667776 134542034 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=105108 CPUtime=21.41
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 1799 0 0 0 2126 15 0 0 25 0 4 0 1104670278 107630592 19210 4294967295 134512640 135305190 3219212624 3069279424 134528784 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=105108 CPUtime=21.44
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 1941 0 0 0 2141 3 0 0 25 0 4 0 1104670278 107630592 19210 4294967295 134512640 135305190 3219212624 3060890816 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 89.65
Current children cumulated vsize (KiB) 107524
[startup+51.1131 s]
/proc/loadavg: 4.31 4.35 4.39 6/102 13986
/proc/meminfo: memFree=2928744/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=121328 CPUtime=188.38
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 23284 0 0 0 18777 61 0 0 25 0 4 0 1104670238 124239872 23217 4294967295 134512640 135305190 3219212624 3219210800 134528582 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/13797/statm: 30332 23217 79 194 0 30136 0
[pid=13797/tid=13799] ppid=13792 vsize=121328 CPUtime=47.07
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 2417 0 0 0 4697 10 0 0 25 0 4 0 1104670278 124239872 23217 4294967295 134512640 135305190 3219212624 3077668032 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=121328 CPUtime=46.99
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 2942 0 0 0 4678 21 0 0 25 0 4 0 1104670278 124239872 23217 4294967295 134512640 135305190 3219212624 3069279420 134570384 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=121328 CPUtime=47.02
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 3039 0 0 0 4697 5 0 0 25 0 4 0 1104670278 124239872 23217 4294967295 134512640 135305190 3219212624 3060890816 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 191.85
Current children cumulated vsize (KiB) 123744
[startup+102.319 s]
/proc/loadavg: 4.29 4.34 4.37 5/102 14173
/proc/meminfo: memFree=2907224/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=143536 CPUtime=392.82
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 28683 0 0 0 39206 76 0 0 25 0 4 0 1104670238 146980864 28616 4294967295 134512640 135305190 3219212624 3219210800 134528237 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/13797/statm: 35884 28616 79 194 0 35688 0
[pid=13797/tid=13799] ppid=13792 vsize=143536 CPUtime=98.22
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 3572 0 0 0 9812 10 0 0 25 0 4 0 1104670278 146980864 28616 4294967295 134512640 135305190 3219212624 3077668032 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=143536 CPUtime=98.18
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 4662 0 0 0 9796 22 0 0 25 0 4 0 1104670278 146980864 28616 4294967295 134512640 135305190 3219212624 3069279424 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=143536 CPUtime=97.96
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 4261 0 0 0 9781 15 0 0 25 0 4 0 1104670278 146980864 28616 4294967295 134512640 135305190 3219212624 3060890816 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 396.29
Current children cumulated vsize (KiB) 145952
[startup+162.314 s]
/proc/loadavg: 4.43 4.38 4.38 5/102 14362
/proc/meminfo: memFree=2890744/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=159272 CPUtime=632.16
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 32686 0 0 0 63127 89 0 0 25 0 4 0 1104670238 163094528 32619 4294967295 134512640 135305190 3219212624 3219210800 134528875 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/13797/statm: 39818 32619 79 194 0 39622 0
[pid=13797/tid=13799] ppid=13792 vsize=159272 CPUtime=158.05
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 4485 0 0 0 15786 19 0 0 25 0 4 0 1104670278 163094528 32619 4294967295 134512640 135305190 3219212624 3077668032 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=159272 CPUtime=158.1
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 5930 0 0 0 15788 22 0 0 25 0 4 0 1104670278 163094528 32619 4294967295 134512640 135305190 3219212624 3069279424 134528576 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=159272 CPUtime=157.58
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 5215 0 0 0 15741 17 0 0 25 0 4 0 1104670278 163094528 32619 4294967295 134512640 135305190 3219212624 3060890816 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 635.63
################
# More data... #
################
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 7218 0 0 0 51645 40 0 0 25 0 4 0 1104670278 206012416 42556 4294967295 134512640 135305190 3219212624 3060890816 134528379 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2072.84
Current children cumulated vsize (KiB) 203600
[startup+582.312 s]
/proc/loadavg: 4.74 4.55 4.44 5/102 15684
/proc/meminfo: memFree=2837972/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=214232 CPUtime=2308.87
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 46036 0 0 0 230657 230 0 0 25 0 4 0 1104670238 219373568 45969 4294967295 134512640 135305190 3219212624 3219210800 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/13797/statm: 53558 45969 79 194 0 53362 0
[pid=13797/tid=13799] ppid=13792 vsize=214232 CPUtime=576.71
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 7443 0 0 0 57605 66 0 0 25 0 4 0 1104670278 219373568 45969 4294967295 134512640 135305190 3219212624 3077668032 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=214232 CPUtime=577.48
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 10422 0 0 0 57688 60 0 0 25 0 4 0 1104670278 219373568 45969 4294967295 134512640 135305190 3219212624 3069279424 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=214232 CPUtime=576.68
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 7973 0 0 0 57626 42 0 0 25 0 4 0 1104670278 219373568 45969 4294967295 134512640 135305190 3219212624 3060890816 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2312.34
Current children cumulated vsize (KiB) 216648
[startup+642.307 s]
/proc/loadavg: 4.82 4.59 4.45 5/102 15871
/proc/meminfo: memFree=2829916/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=221408 CPUtime=2548.46
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 47795 0 0 0 254600 246 0 0 25 0 4 0 1104670238 226721792 47728 4294967295 134512640 135305190 3219212624 3219210800 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/13797/statm: 55352 47728 79 194 0 55156 0
[pid=13797/tid=13799] ppid=13792 vsize=221408 CPUtime=636.68
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 7892 0 0 0 63595 73 0 0 25 0 4 0 1104670278 226721792 47728 4294967295 134512640 135305190 3219212624 3077668032 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=221408 CPUtime=637.26
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 11080 0 0 0 63662 64 0 0 25 0 4 0 1104670278 226721792 47728 4294967295 134512640 135305190 3219212624 3069279424 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=221408 CPUtime=636.56
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 8303 0 0 0 63613 43 0 0 25 0 4 0 1104670278 226721792 47728 4294967295 134512640 135305190 3219212624 3060890816 134528195 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2551.93
Current children cumulated vsize (KiB) 223824
[startup+702.312 s]
/proc/loadavg: 4.67 4.57 4.46 5/102 16060
/proc/meminfo: memFree=2823496/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=230440 CPUtime=2787.93
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 49738 0 0 0 278523 270 0 0 25 0 4 0 1104670238 235970560 49671 4294967295 134512640 135305190 3219212624 3219210800 134528503 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/13797/statm: 57610 49671 79 194 0 57414 0
[pid=13797/tid=13799] ppid=13792 vsize=230440 CPUtime=696.45
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 8151 0 0 0 69563 82 0 0 25 0 4 0 1104670278 235970560 49671 4294967295 134512640 135305190 3219212624 3077668032 134528341 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=230440 CPUtime=697.27
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 11802 0 0 0 69657 70 0 0 25 0 4 0 1104670278 235970560 49671 4294967295 134512640 135305190 3219212624 3069279104 134554276 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=230440 CPUtime=696.35
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 8863 0 0 0 69588 47 0 0 25 0 4 0 1104670278 235970560 49671 4294967295 134512640 135305190 3219212624 3060890816 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2791.4
Current children cumulated vsize (KiB) 232856
[startup+762.318 s]
/proc/loadavg: 4.45 4.53 4.45 5/102 16253
/proc/meminfo: memFree=2814780/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=237864 CPUtime=3027.29
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 51640 0 0 0 302446 283 0 0 25 0 4 0 1104670238 243572736 51573 4294967295 134512640 135305190 3219212624 3219210800 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/13797/statm: 59466 51573 79 194 0 59270 0
[pid=13797/tid=13799] ppid=13792 vsize=237864 CPUtime=756.34
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 8748 0 0 0 75549 85 0 0 25 0 4 0 1104670278 243572736 51573 4294967295 134512640 135305190 3219212624 3077668032 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=237864 CPUtime=757.13
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 12074 0 0 0 75637 76 0 0 25 0 4 0 1104670278 243572736 51573 4294967295 134512640 135305190 3219212624 3069279424 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=237864 CPUtime=756.31
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 9327 0 0 0 75581 50 0 0 25 0 4 0 1104670278 243572736 51573 4294967295 134512640 135305190 3219212624 3060890544 134557484 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3030.76
Current children cumulated vsize (KiB) 240280
[startup+822.313 s]
/proc/loadavg: 4.61 4.54 4.45 5/102 16440
/proc/meminfo: memFree=2811920/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=241084 CPUtime=3266.69
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 52355 0 0 0 326374 295 0 0 25 0 4 0 1104670238 246870016 52284 4294967295 134512640 135305190 3219212624 3219210516 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/13797/statm: 60271 52284 79 194 0 60075 0
[pid=13797/tid=13799] ppid=13792 vsize=241084 CPUtime=816.17
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 8897 0 0 0 81529 88 0 0 25 0 4 0 1104670278 246870016 52284 4294967295 134512640 135305190 3219212624 3077668032 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=241084 CPUtime=817.13
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 12306 0 0 0 81632 81 0 0 25 0 4 0 1104670278 246870016 52284 4294967295 134512640 135305190 3219212624 3069279272 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=241084 CPUtime=816.09
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 9612 0 0 0 81557 52 0 0 25 0 4 0 1104670278 246870016 52284 4294967295 134512640 135305190 3219212624 3060890664 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3270.16
Current children cumulated vsize (KiB) 243500
[startup+882.308 s]
/proc/loadavg: 4.46 4.51 4.45 5/102 16627
/proc/meminfo: memFree=2808440/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=243080 CPUtime=3506.28
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 53078 0 0 0 350319 309 0 0 25 0 4 0 1104670238 248913920 53007 4294967295 134512640 135305190 3219212624 3219210464 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/13797/statm: 60770 53007 79 194 0 60574 0
[pid=13797/tid=13799] ppid=13792 vsize=243080 CPUtime=876.14
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 9039 0 0 0 87521 93 0 0 25 0 4 0 1104670278 248913920 53007 4294967295 134512640 135305190 3219212624 3077668032 134528256 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=243080 CPUtime=877.08
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 12592 0 0 0 87621 87 0 0 25 0 4 0 1104670278 248913920 53007 4294967295 134512640 135305190 3219212624 3069279424 134528539 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=243080 CPUtime=875.85
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 9752 0 0 0 87532 53 0 0 25 0 4 0 1104670278 248913920 53007 4294967295 134512640 135305190 3219212624 3060890816 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3509.75
Current children cumulated vsize (KiB) 245496
[startup+942.313 s]
/proc/loadavg: 4.62 4.53 4.46 5/102 16814
/proc/meminfo: memFree=2785232/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=267784 CPUtime=3746
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 59270 0 0 0 374263 337 0 0 25 0 4 0 1104670238 274210816 59199 4294967295 134512640 135305190 3219212624 3219210800 134528501 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/13797/statm: 66946 59199 79 194 0 66750 0
[pid=13797/tid=13799] ppid=13792 vsize=267784 CPUtime=936.1
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 10513 0 0 0 93511 99 0 0 25 0 4 0 1104670278 274210816 59199 4294967295 134512640 135305190 3219212624 3077668032 134528539 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=267784 CPUtime=937.09
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 14386 0 0 0 93609 100 0 0 25 0 4 0 1104670278 274210816 59199 4294967295 134512640 135305190 3219212624 3069279424 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=267784 CPUtime=935.68
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 11078 0 0 0 93512 56 0 0 25 0 4 0 1104670278 274210816 59199 4294967295 134512640 135305190 3219212624 3060890816 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3749.47
Current children cumulated vsize (KiB) 270200
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.64 4.53 4.46 5/102 17003
/proc/meminfo: memFree=2770824/3368532 swapFree=1952996/1959888
[pid=13792] ppid=13790 vsize=2416 CPUtime=3.47
/proc/13792/stat : 13792 (manysat.sh) S 13790 13792 21691 0 -1 4194304 370 15333 0 0 0 0 342 5 18 0 1 0 1104669891 2473984 274 4294967295 134512640 135169312 3214169232 3214165448 3085401838 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/13792/statm: 604 274 231 161 0 43 0
[pid=13797] ppid=13792 vsize=280808 CPUtime=3976.37
/proc/13797/stat : 13797 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202496 62437 0 0 0 397283 354 0 0 25 0 4 0 1104670238 287547392 62366 4294967295 134512640 135305190 3219212624 3219210800 134528235 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/13797/statm: 70202 62366 79 194 0 70006 0
[pid=13797/tid=13799] ppid=13792 vsize=280808 CPUtime=993.6
/proc/13797/task/13799/stat : 13799 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 11497 0 0 0 99260 100 0 0 25 0 4 0 1104670278 287547392 62366 4294967295 134512640 135305190 3219212624 3077668032 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=13797/tid=13800] ppid=13792 vsize=280808 CPUtime=994.77
/proc/13797/task/13800/stat : 13800 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 15279 0 0 0 99377 100 0 0 25 0 4 0 1104670278 287547392 62366 4294967295 134512640 135305190 3219212624 3069279424 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=13797/tid=13801] ppid=13792 vsize=280808 CPUtime=993.25
/proc/13797/task/13801/stat : 13801 (manysat1.1_stat) R 13792 13792 21691 0 -1 4202560 11716 0 0 0 99263 62 0 0 25 0 4 0 1104670278 287547392 62366 4294967295 134512640 135305190 3219212624 3060890816 134528446 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3979.84
Current children cumulated vsize (KiB) 283224
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 13792 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=420000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=50000
# CPU time returned by wait4() is 3.47
# while last known CPU time is 3979.84
#
# 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): 3979.84
CPU user time (s): 3976.25
CPU system time (s): 3.59
CPU usage (%): 397.968
Max. virtual memory (cumulated for all children) (KiB): 283224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.42
system time used= 0.05
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= 5
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi45 at 2009-05-28 12:08:46
IDJOB=1775956
IDBENCH=20406
IDSOLVER=620
FILE ID=tipi45/1775956-1243505326
PBS_JOBID=
Free space on /tmp= 15495 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775956-1243505326/watcher-1775956-1243505326 -o /tmp/evaluation-result-1775956-1243505326/solver-1775956-1243505326 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775956-1243505326.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED= 10563294
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: 3036072 kB
Buffers: 126440 kB
Cached: 99544 kB
SwapCached: 2100 kB
Active: 75288 kB
Inactive: 159904 kB
HighTotal: 2489216 kB
HighFree: 2377956 kB
LowTotal: 879316 kB
LowFree: 658116 kB
SwapTotal: 1959888 kB
SwapFree: 1952996 kB
Dirty: 8036 kB
Writeback: 0 kB
AnonPages: 8268 kB
Mapped: 3428 kB
Slab: 84940 kB
SReclaimable: 73896 kB
SUnreclaim: 11044 kB
PageTables: 508 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 89596 kB
VmallocTotal: 114680 kB
VmallocUsed: 17900 kB
VmallocChunk: 96244 kB
Free space on /tmp at the end= 15481 MiB
End job on tipi45 at 2009-05-28 12:25:28