0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 100116 297952 | 30034 0 0 nan | 0.000 % |
0.71/0.72 c | 0 | 99290 430382 | -- 0 -- -- | -- | -826/132430
0.71/0.72 c ==============================================================================
0.71/0.72 c Result : #vars: 958 #clauses: 99290 #literals: 430382
0.71/0.72 c CPU time: 0.72 s
0.71/0.72 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781152-1243543217/watcher-1781152-1243543217 -o /tmp/evaluation-result-1781152-1243543217/solver-1781152-1243543217 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781152-1243543217.cnf aimd 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.12 4.46 4.51 3/99 5121
/proc/meminfo: memFree=2953524/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2416 CPUtime=0
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118986080 2473984 274 4294967295 134512640 135169312 3215037792 3215036328 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 604 274 231 161 0 43 0
[pid=5122] ppid=5121 vsize=1200 CPUtime=0.01
/proc/5122/stat : 5122 (SatElite) R 5121 5121 19648 0 -1 4202496 238 0 0 0 1 0 0 0 19 0 1 0 1118986080 1228800 174 4294967295 134512640 135034092 3215457680 3215454024 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5122/statm: 300 175 49 128 0 170 0
[startup+0.102461 s]
/proc/loadavg: 4.12 4.46 4.51 3/99 5121
/proc/meminfo: memFree=2953524/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2416 CPUtime=0
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118986080 2473984 274 4294967295 134512640 135169312 3215037792 3215036328 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 604 274 231 161 0 43 0
[pid=5122] ppid=5121 vsize=8688 CPUtime=0.11
/proc/5122/stat : 5122 (SatElite) R 5121 5121 19648 0 -1 4202496 2108 0 0 0 11 0 0 0 20 0 1 0 1118986080 8896512 2044 4294967295 134512640 135034092 3215457680 3215453676 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5122/statm: 2172 2044 67 128 0 2042 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 11104
[startup+0.20245 s]
/proc/loadavg: 4.12 4.46 4.51 3/99 5121
/proc/meminfo: memFree=2953524/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2416 CPUtime=0
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118986080 2473984 274 4294967295 134512640 135169312 3215037792 3215036328 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 604 274 231 161 0 43 0
[pid=5122] ppid=5121 vsize=9896 CPUtime=0.21
/proc/5122/stat : 5122 (SatElite) R 5121 5121 19648 0 -1 4202496 2388 0 0 0 20 1 0 0 20 0 1 0 1118986080 10133504 2324 4294967295 134512640 135034092 3215457680 3215453840 134547491 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5122/statm: 2474 2324 67 128 0 2344 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 12312
[startup+0.302439 s]
/proc/loadavg: 4.12 4.46 4.51 3/99 5121
/proc/meminfo: memFree=2953524/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2416 CPUtime=0
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118986080 2473984 274 4294967295 134512640 135169312 3215037792 3215036328 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 604 274 231 161 0 43 0
[pid=5122] ppid=5121 vsize=12016 CPUtime=0.31
/proc/5122/stat : 5122 (SatElite) R 5121 5121 19648 0 -1 4202496 2740 0 0 0 30 1 0 0 20 0 1 0 1118986080 12304384 2676 4294967295 134512640 135034092 3215457680 3215453984 134569232 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5122/statm: 3004 2676 72 128 0 2874 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 14432
[startup+0.702401 s]
/proc/loadavg: 4.12 4.46 4.51 3/99 5121
/proc/meminfo: memFree=2953524/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2416 CPUtime=0
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118986080 2473984 274 4294967295 134512640 135169312 3215037792 3215036328 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 604 274 231 161 0 43 0
[pid=5122] ppid=5121 vsize=12016 CPUtime=0.71
/proc/5122/stat : 5122 (SatElite) R 5121 5121 19648 0 -1 4202496 2740 0 0 0 70 1 0 0 21 0 1 0 1118986080 12304384 2676 4294967295 134512640 135034092 3215457680 3215453984 134569618 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5122/statm: 3004 2676 72 128 0 2874 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 14432
[startup+1.50233 s]
/proc/loadavg: 4.12 4.46 4.51 5/104 5127
/proc/meminfo: memFree=2924856/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=58816 CPUtime=1.97
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 7900 0 0 0 193 4 0 0 17 0 4 0 1118986166 60227584 7836 4294967295 134512640 135305190 3220591264 3220589188 134840070 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5124/statm: 14704 7836 79 194 0 14508 0
[pid=5124/tid=5125] ppid=5121 vsize=58816 CPUtime=0.45
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 387 0 0 0 44 1 0 0 18 0 4 0 1118986183 60227584 7836 4294967295 134512640 135305190 3220591264 3083549888 134528501 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=58816 CPUtime=0.45
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 427 0 0 0 45 0 0 0 19 0 4 0 1118986183 60227584 7836 4294967295 134512640 135305190 3220591264 3075161280 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=58816 CPUtime=0.45
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 366 0 0 0 45 0 0 0 18 0 4 0 1118986183 60227584 7836 4294967295 134512640 135305190 3220591264 3066772672 134528777 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 61236
[startup+3.10218 s]
/proc/loadavg: 4.12 4.46 4.51 6/104 5127
/proc/meminfo: memFree=2917604/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=66248 CPUtime=8.36
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 9910 0 0 0 831 5 0 0 19 0 4 0 1118986166 67837952 9846 4294967295 134512640 135305190 3220591264 3220589440 134528392 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5124/statm: 16562 9846 79 194 0 16366 0
[pid=5124/tid=5125] ppid=5121 vsize=66248 CPUtime=2.05
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 934 0 0 0 204 1 0 0 21 0 4 0 1118986183 67837952 9846 4294967295 134512640 135305190 3220591264 3083549888 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=66248 CPUtime=2.04
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 877 0 0 0 204 0 0 0 23 0 4 0 1118986183 67837952 9846 4294967295 134512640 135305190 3220591264 3075161152 134857151 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=66248 CPUtime=2.05
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 927 0 0 0 205 0 0 0 20 0 4 0 1118986183 67837952 9846 4294967295 134512640 135305190 3220591264 3066772672 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.22
Current children cumulated vsize (KiB) 68668
[startup+6.31188 s]
/proc/loadavg: 4.11 4.45 4.50 5/104 5128
/proc/meminfo: memFree=2905180/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=76796 CPUtime=21.2
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 12525 0 0 0 2111 9 0 0 25 0 4 0 1118986166 78639104 12461 4294967295 134512640 135305190 3220591264 3220589440 134528536 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5124/statm: 19199 12461 79 194 0 19003 0
[pid=5124/tid=5125] ppid=5121 vsize=76796 CPUtime=5.26
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 1602 0 0 0 525 1 0 0 25 0 4 0 1118986183 78639104 12461 4294967295 134512640 135305190 3220591264 3083549888 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=76796 CPUtime=5.25
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 1463 0 0 0 524 1 0 0 25 0 4 0 1118986183 78639104 12461 4294967295 134512640 135305190 3220591264 3075161280 134528506 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=76796 CPUtime=5.26
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 1662 0 0 0 524 2 0 0 25 0 4 0 1118986183 78639104 12461 4294967295 134512640 135305190 3220591264 3066772336 134551581 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.06
Current children cumulated vsize (KiB) 79216
[startup+12.7113 s]
/proc/loadavg: 4.11 4.44 4.50 5/104 5128
/proc/meminfo: memFree=2890592/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=89280 CPUtime=46.81
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 15606 0 0 0 4671 10 0 0 25 0 4 0 1118986166 91422720 15542 4294967295 134512640 135305190 3220591264 3220589440 134528265 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5124/statm: 22320 15542 79 194 0 22124 0
[pid=5124/tid=5125] ppid=5121 vsize=89280 CPUtime=11.66
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 2201 0 0 0 1165 1 0 0 25 0 4 0 1118986183 91422720 15542 4294967295 134512640 135305190 3220591264 3083549888 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=89280 CPUtime=11.65
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 2196 0 0 0 1163 2 0 0 25 0 4 0 1118986183 91422720 15542 4294967295 134512640 135305190 3220591264 3075161280 134528376 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=89280 CPUtime=11.66
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 2536 0 0 0 1164 2 0 0 25 0 4 0 1118986183 91422720 15542 4294967295 134512640 135305190 3220591264 3066772672 134528506 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 47.67
Current children cumulated vsize (KiB) 91700
[startup+25.5101 s]
/proc/loadavg: 4.16 4.44 4.50 5/104 5128
/proc/meminfo: memFree=2873936/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=107712 CPUtime=97.97
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 19910 0 0 0 9781 16 0 0 25 0 4 0 1118986166 110297088 19846 4294967295 134512640 135305190 3220591264 3220589168 134556789 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/5124/statm: 26928 19846 79 194 0 26732 0
[pid=5124/tid=5125] ppid=5121 vsize=107712 CPUtime=24.46
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 3068 0 0 0 2444 2 0 0 25 0 4 0 1118986183 110297088 19846 4294967295 134512640 135305190 3220591264 3083549888 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=107712 CPUtime=24.41
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 3290 0 0 0 2439 2 0 0 25 0 4 0 1118986183 110297088 19846 4294967295 134512640 135305190 3220591264 3075161280 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=107712 CPUtime=24.46
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 3751 0 0 0 2442 4 0 0 25 0 4 0 1118986183 110297088 19846 4294967295 134512640 135305190 3220591264 3066772672 134528406 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 98.83
Current children cumulated vsize (KiB) 110132
[startup+51.1176 s]
/proc/loadavg: 4.46 4.48 4.51 6/104 5314
/proc/meminfo: memFree=2856392/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=125436 CPUtime=200.07
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 24083 0 0 0 19980 27 0 0 25 0 4 0 1118986166 128446464 24019 4294967295 134512640 135305190 3220591264 3220589440 134528341 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5124/statm: 31359 24019 79 194 0 31163 0
[pid=5124/tid=5125] ppid=5121 vsize=125436 CPUtime=50.01
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 4132 0 0 0 4996 5 0 0 25 0 4 0 1118986183 128446464 24019 4294967295 134512640 135305190 3220591264 3083549888 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=125436 CPUtime=49.98
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 4429 0 0 0 4992 6 0 0 25 0 4 0 1118986183 128446464 24019 4294967295 134512640 135305190 3220591264 3075161280 134528562 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=125436 CPUtime=50.01
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 4637 0 0 0 4994 7 0 0 25 0 4 0 1118986183 128446464 24019 4294967295 134512640 135305190 3220591264 3066772672 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.93
Current children cumulated vsize (KiB) 127856
[startup+102.313 s]
/proc/loadavg: 4.47 4.47 4.50 6/105 5388
/proc/meminfo: memFree=2834180/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=149088 CPUtime=404.72
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 29540 0 0 0 40426 46 0 0 25 0 4 0 1118986166 152666112 29460 4294967295 134512640 135305190 3220591264 3220589440 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5124/statm: 37272 29460 79 194 0 37076 0
[pid=5124/tid=5125] ppid=5121 vsize=149088 CPUtime=101.18
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 4906 0 0 0 10110 8 0 0 25 0 4 0 1118986183 152666112 29460 4294967295 134512640 135305190 3220591264 3083549888 134528428 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=149088 CPUtime=101.18
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 5839 0 0 0 10106 12 0 0 25 0 4 0 1118986183 152666112 29460 4294967295 134512640 135305190 3220591264 3075161280 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=149088 CPUtime=101.1
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 5921 0 0 0 10102 8 0 0 25 0 4 0 1118986183 152666112 29460 4294967295 134512640 135305190 3220591264 3066772672 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 405.58
Current children cumulated vsize (KiB) 151508
[startup+162.307 s]
/proc/loadavg: 4.78 4.56 4.53 6/105 5552
/proc/meminfo: memFree=2806920/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
################
# More data... #
################
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 13308 0 0 0 57997 63 0 0 25 0 4 0 1118986183 252047360 52169 4294967295 134512640 135305190 3220591264 3066772672 134528755 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2322.41
Current children cumulated vsize (KiB) 248560
[startup+642.311 s]
/proc/loadavg: 4.66 4.63 4.56 6/104 7018
/proc/meminfo: memFree=2732604/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=259304 CPUtime=2561.14
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 55389 0 0 0 255858 256 0 0 25 0 4 0 1118986166 265527296 55241 4294967295 134512640 135305190 3220591264 3220589440 134528406 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5124/statm: 64826 55241 79 194 0 64630 0
[pid=5124/tid=5125] ppid=5121 vsize=259304 CPUtime=639.89
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 9690 0 0 0 63939 50 0 0 25 0 4 0 1118986183 265527296 55241 4294967295 134512640 135305190 3220591264 3083549888 134528777 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=259304 CPUtime=640.38
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 12435 0 0 0 63971 67 0 0 25 0 4 0 1118986183 265527296 55241 4294967295 134512640 135305190 3220591264 3075161280 134528771 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=259304 CPUtime=640.6
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 14599 0 0 0 63992 68 0 0 25 0 4 0 1118986183 265527296 55241 4294967295 134512640 135305190 3220591264 3066772672 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562
Current children cumulated vsize (KiB) 261724
[startup+702.306 s]
/proc/loadavg: 4.67 4.64 4.56 5/104 7205
/proc/meminfo: memFree=2717088/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=275052 CPUtime=2800.67
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 59043 0 0 0 279790 277 0 0 25 0 4 0 1118986166 281653248 58895 4294967295 134512640 135305190 3220591264 3220589440 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5124/statm: 68763 58895 79 194 0 68567 0
[pid=5124/tid=5125] ppid=5121 vsize=275052 CPUtime=699.58
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 10375 0 0 0 69900 58 0 0 25 0 4 0 1118986183 281653248 58895 4294967295 134512640 135305190 3220591264 3083549888 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=275052 CPUtime=700.25
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 13806 0 0 0 69952 73 0 0 25 0 4 0 1118986183 281653248 58895 4294967295 134512640 135305190 3220591264 3075161280 134528406 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=275052 CPUtime=700.59
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 15762 0 0 0 69987 72 0 0 25 0 4 0 1118986183 281653248 58895 4294967295 134512640 135305190 3220591264 3066772672 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.53
Current children cumulated vsize (KiB) 277472
[startup+762.31 s]
/proc/loadavg: 4.65 4.64 4.56 5/104 7394
/proc/meminfo: memFree=2700196/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=292608 CPUtime=3040.25
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 63266 0 0 0 303726 299 0 0 25 0 4 0 1118986166 299630592 63118 4294967295 134512640 135305190 3220591264 3220589440 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5124/statm: 73152 63118 79 194 0 72956 0
[pid=5124/tid=5125] ppid=5121 vsize=292608 CPUtime=759.35
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 11835 0 0 0 75868 67 0 0 25 0 4 0 1118986183 299630592 63118 4294967295 134512640 135305190 3220591264 3083549888 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=292608 CPUtime=760.18
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 14334 0 0 0 75940 78 0 0 25 0 4 0 1118986183 299630592 63118 4294967295 134512640 135305190 3220591264 3075161280 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=292608 CPUtime=760.53
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 17587 0 0 0 75979 74 0 0 25 0 4 0 1118986183 299630592 63118 4294967295 134512640 135305190 3220591264 3066772224 134569883 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.11
Current children cumulated vsize (KiB) 295028
[startup+822.304 s]
/proc/loadavg: 4.69 4.64 4.57 5/104 7582
/proc/meminfo: memFree=2692328/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=299376 CPUtime=3279.89
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 64878 0 0 0 327675 314 0 0 25 0 4 0 1118986166 306561024 64611 4294967295 134512640 135305190 3220591264 3220589440 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5124/statm: 74844 64611 79 194 0 74648 0
[pid=5124/tid=5125] ppid=5121 vsize=299376 CPUtime=819.33
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 13140 0 0 0 81864 69 0 0 25 0 4 0 1118986183 306561024 64611 4294967295 134512640 135305190 3220591264 3083549888 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=299376 CPUtime=820.17
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 14449 0 0 0 81934 83 0 0 25 0 4 0 1118986183 306561024 64611 4294967295 134512640 135305190 3220591264 3075161168 134538540 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=299376 CPUtime=820.3
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 17589 0 0 0 81952 78 0 0 25 0 4 0 1118986183 306561024 64611 4294967295 134512640 135305190 3220591264 3066772672 134528471 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.75
Current children cumulated vsize (KiB) 301796
[startup+882.318 s]
/proc/loadavg: 4.63 4.62 4.56 5/104 7773
/proc/meminfo: memFree=2690476/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=302392 CPUtime=3519.38
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 65466 0 0 0 351605 333 0 0 25 0 4 0 1118986166 309649408 65199 4294967295 134512640 135305190 3220591264 3220589440 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5124/statm: 75598 65199 79 194 0 75402 0
[pid=5124/tid=5125] ppid=5121 vsize=302392 CPUtime=879.31
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 13199 0 0 0 87860 71 0 0 25 0 4 0 1118986183 309649408 65199 4294967295 134512640 135305190 3220591264 3083549552 134551974 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=302392 CPUtime=880
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 14550 0 0 0 87910 90 0 0 25 0 4 0 1118986183 309649408 65199 4294967295 134512640 135305190 3220591264 3075161280 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=302392 CPUtime=880.09
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 17892 0 0 0 87922 87 0 0 25 0 4 0 1118986183 309649408 65199 4294967295 134512640 135305190 3220591264 3066772672 134528777 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.24
Current children cumulated vsize (KiB) 304812
[startup+942.313 s]
/proc/loadavg: 4.72 4.64 4.57 6/104 7961
/proc/meminfo: memFree=2681584/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=312848 CPUtime=3758.78
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 67931 0 0 0 375527 351 0 0 25 0 4 0 1118986166 320356352 67649 4294967295 134512640 135305190 3220591264 3220589440 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5124/statm: 78212 67649 79 194 0 78016 0
[pid=5124/tid=5125] ppid=5121 vsize=312848 CPUtime=939.08
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 13961 0 0 0 93834 74 0 0 25 0 4 0 1118986183 320356352 67649 4294967295 134512640 135305190 3220591264 3083549832 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=312848 CPUtime=939.92
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 15606 0 0 0 93898 94 0 0 25 0 4 0 1118986183 320356352 67649 4294967295 134512640 135305190 3220591264 3075161280 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=312848 CPUtime=939.85
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 18212 0 0 0 93891 94 0 0 25 0 4 0 1118986183 320356352 67649 4294967295 134512640 135305190 3220591264 3066772672 134528332 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3759.64
Current children cumulated vsize (KiB) 315268
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 4.87 4.69 4.58 6/104 8148
/proc/meminfo: memFree=2671008/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=324144 CPUtime=3989.03
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 70610 0 0 0 398533 370 0 0 25 0 4 0 1118986166 331923456 70328 4294967295 134512640 135305190 3220591264 3220589440 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5124/statm: 81036 70328 79 194 0 80840 0
[pid=5124/tid=5125] ppid=5121 vsize=324144 CPUtime=996.58
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 14380 0 0 0 99580 78 0 0 25 0 4 0 1118986183 331923456 70328 4294967295 134512640 135305190 3220591264 3083549888 134528402 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=324144 CPUtime=997.62
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 16227 0 0 0 99664 98 0 0 25 0 4 0 1118986183 331923456 70328 4294967295 134512640 135305190 3220591264 3075161280 134528248 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=324144 CPUtime=997.2
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 19379 0 0 0 99620 100 0 0 25 0 4 0 1118986183 331923456 70328 4294967295 134512640 135305190 3220591264 3066772672 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3989.89
Current children cumulated vsize (KiB) 326564
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.87 4.69 4.58 6/104 8148
/proc/meminfo: memFree=2671008/3368532 swapFree=1953580/1959888
[pid=5121] ppid=5119 vsize=2420 CPUtime=0.86
/proc/5121/stat : 5121 (manysat.sh) S 5119 5121 19648 0 -1 4194304 369 2746 0 0 0 0 84 2 18 0 1 0 1118986080 2478080 275 4294967295 134512640 135169312 3215037792 3215034008 3085004526 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5121/statm: 605 275 231 161 0 44 0
[pid=5124] ppid=5121 vsize=324144 CPUtime=3989.03
/proc/5124/stat : 5124 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202496 70610 0 0 0 398533 370 0 0 25 0 4 0 1118986166 331923456 70328 4294967295 134512640 135305190 3220591264 3220589440 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5124/statm: 81036 70328 79 194 0 80840 0
[pid=5124/tid=5125] ppid=5121 vsize=324144 CPUtime=996.58
/proc/5124/task/5125/stat : 5125 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 14380 0 0 0 99580 78 0 0 25 0 4 0 1118986183 331923456 70328 4294967295 134512640 135305190 3220591264 3083549888 134528402 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5124/tid=5126] ppid=5121 vsize=324144 CPUtime=997.62
/proc/5124/task/5126/stat : 5126 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 16227 0 0 0 99664 98 0 0 25 0 4 0 1118986183 331923456 70328 4294967295 134512640 135305190 3220591264 3075161280 134528248 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5124/tid=5127] ppid=5121 vsize=324144 CPUtime=997.2
/proc/5124/task/5127/stat : 5127 (manysat1.1_stat) R 5121 5121 19648 0 -1 4202560 19379 0 0 0 99620 100 0 0 25 0 4 0 1118986183 331923456 70328 4294967295 134512640 135305190 3220591264 3066772672 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3989.89
Current children cumulated vsize (KiB) 326564
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5121 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=840000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=20000
# CPU time returned by wait4() is 0.86
# while last known CPU time is 3989.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.05
CPU time (s): 3989.89
CPU user time (s): 3986.17
CPU system time (s): 3.72
CPU usage (%): 398.97
Max. virtual memory (cumulated for all children) (KiB): 326564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.84
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= 3115
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= 377
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on at 2009-05-28 22:40:17
IDJOB=1781152
IDBENCH=71101
IDSOLVER=626
FILE ID=/1781152-1243543217
PBS_JOBID=
Free space on /tmp= 15883 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_10_UNKNOWN.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781152-1243543217/watcher-1781152-1243543217 -o /tmp/evaluation-result-1781152-1243543217/solver-1781152-1243543217 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781152-1243543217.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 8ece32bbd9e6c3f5c8cdf0e94e0569cd
RANDOM SEED= 1129120066
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.105
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.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.105
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.11
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.105
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.16
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.105
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.15
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 2953524 kB
Buffers: 35832 kB
Cached: 299640 kB
SwapCached: 2424 kB
Active: 113308 kB
Inactive: 232996 kB
HighTotal: 2489216 kB
HighFree: 2175996 kB
LowTotal: 879316 kB
LowFree: 777528 kB
SwapTotal: 1959888 kB
SwapFree: 1953580 kB
Dirty: 3108 kB
Writeback: 0 kB
AnonPages: 10112 kB
Mapped: 5212 kB
Slab: 58704 kB
SReclaimable: 50480 kB
SUnreclaim: 8224 kB
PageTables: 540 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 93920 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15880 MiB
End job on at 2009-05-28 22:56:59