0.00/0.00 c Parsing...
0.10/0.16 c ==============================================================================
0.10/0.16 c | | ORIGINAL | LEARNT | |
0.10/0.16 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.10/0.16 c ==============================================================================
0.10/0.16 c | 0 | 271393 550328 | 81417 0 0 nan | 0.000 % |
1.30/1.34 c | 0 | 269998 945031 | -- 0 -- -- | -- | -1395/394703
1.30/1.34 c ==============================================================================
1.30/1.34 c Result : #vars: 8694 #clauses: 269998 #literals: 945031
1.30/1.34 c CPU time: 1.32 s
1.30/1.34 c ==============================================================================
3983.63/1000.05 HOME/manysat.sh: line 55: 12928 Terminated $MS -verbosity=0 $TMP.cnf $TMP.result -$AIMD $AIMD_FLAG "$@"
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781494-1243545194/watcher-1781494-1243545194 -o /tmp/evaluation-result-1781494-1243545194/solver-1781494-1243545194 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781494-1243545194.cnf aimd 1
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.28 4.24 4.31 3/98 12926
/proc/meminfo: memFree=2763696/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2416 CPUtime=0
/proc/12925/stat : 12925 (manysat.sh) R 12923 12925 21691 0 -1 4194304 335 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 274 4294967295 134512640 135169312 3217881104 3217879580 3085350772 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/12925/statm: 604 274 231 161 0 43 0
[pid=12926] ppid=12925 vsize=2416 CPUtime=0
/proc/12926/stat : 12926 (manysat.sh) R 12925 12925 21691 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 43 4294967295 134512640 135169312 3217881104 3217879580 3085350772 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/12926/statm: 604 43 0 161 0 43 0
[startup+0.072193 s]
/proc/loadavg: 4.28 4.24 4.31 3/98 12926
/proc/meminfo: memFree=2763696/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2416 CPUtime=0
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 350 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 274 4294967295 134512640 135169312 3217881104 3217879640 3085348590 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12925/statm: 604 274 231 161 0 43 0
[pid=12926] ppid=12925 vsize=7652 CPUtime=0.06
/proc/12926/stat : 12926 (SatElite) R 12925 12925 21691 0 -1 4202496 1751 0 0 0 6 0 0 0 18 0 1 0 1108656634 7835648 1687 4294967295 134512640 135034092 3219859904 3219856248 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12926/statm: 1913 1688 49 128 0 1783 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10068
[startup+0.11219 s]
/proc/loadavg: 4.28 4.24 4.31 3/98 12926
/proc/meminfo: memFree=2763696/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2416 CPUtime=0
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 350 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 274 4294967295 134512640 135169312 3217881104 3217879640 3085348590 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12925/statm: 604 274 231 161 0 43 0
[pid=12926] ppid=12925 vsize=10804 CPUtime=0.1
/proc/12926/stat : 12926 (SatElite) R 12925 12925 21691 0 -1 4202496 2501 0 0 0 10 0 0 0 18 0 1 0 1108656634 11063296 2437 4294967295 134512640 135034092 3219859904 3219856248 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12926/statm: 2701 2437 49 128 0 2571 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13220
[startup+0.312175 s]
/proc/loadavg: 4.28 4.24 4.31 3/98 12926
/proc/meminfo: memFree=2763696/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2416 CPUtime=0
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 350 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 274 4294967295 134512640 135169312 3217881104 3217879640 3085348590 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12925/statm: 604 274 231 161 0 43 0
[pid=12926] ppid=12925 vsize=22216 CPUtime=0.3
/proc/12926/stat : 12926 (SatElite) R 12925 12925 21691 0 -1 4202496 5148 0 0 0 29 1 0 0 18 0 1 0 1108656634 22749184 5084 4294967295 134512640 135034092 3219859904 3219855848 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12926/statm: 5554 5084 67 128 0 5424 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 24632
[startup+0.712143 s]
/proc/loadavg: 4.28 4.24 4.31 3/98 12926
/proc/meminfo: memFree=2763696/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2416 CPUtime=0
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 350 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 274 4294967295 134512640 135169312 3217881104 3217879640 3085348590 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12925/statm: 604 274 231 161 0 43 0
[pid=12926] ppid=12925 vsize=29748 CPUtime=0.7
/proc/12926/stat : 12926 (SatElite) R 12925 12925 21691 0 -1 4202496 6539 0 0 0 68 2 0 0 18 0 1 0 1108656634 30461952 6475 4294967295 134512640 135034092 3219859904 3219856208 134569526 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12926/statm: 7437 6475 67 128 0 7307 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 32164
[startup+1.51208 s]
/proc/loadavg: 4.02 4.18 4.30 2/99 12927
/proc/meminfo: memFree=2737352/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2416 CPUtime=0
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 350 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 274 4294967295 134512640 135169312 3217881104 3217879640 3085348590 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12925/statm: 604 274 231 161 0 43 0
[pid=12926] ppid=12925 vsize=25136 CPUtime=1.5
/proc/12926/stat : 12926 (SatElite) R 12925 12925 21691 0 -1 4202496 6540 0 0 0 148 2 0 0 20 0 1 0 1108656634 25739264 5852 4294967295 134512640 135034092 3219859904 3219854788 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12926/statm: 6284 5852 67 128 0 6154 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 27552
[startup+3.11197 s]
/proc/loadavg: 4.02 4.18 4.30 2/99 12928
/proc/meminfo: memFree=2712384/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=97104 CPUtime=3.37
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 17516 0 0 0 328 9 0 0 18 0 4 0 1108656803 99434496 17452 4294967295 134512640 135305190 3221152544 3221150720 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 24276 17452 79 194 0 24080 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 99524
[startup+6.31172 s]
/proc/loadavg: 4.10 4.20 4.30 6/102 12931
/proc/meminfo: memFree=2682764/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=103504 CPUtime=16.16
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 19177 0 0 0 1606 10 0 0 22 0 4 0 1108656803 105988096 19113 4294967295 134512640 135305190 3221152544 3221150720 134528237 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 25876 19113 79 194 0 25680 0
[pid=12928/tid=12929] ppid=12925 vsize=103504 CPUtime=3.91
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 1020 0 0 0 391 0 0 0 25 0 4 0 1108656873 105988096 19113 4294967295 134512640 135305190 3221152544 3078798528 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=103504 CPUtime=3.91
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 876 0 0 0 390 1 0 0 25 0 4 0 1108656873 105988096 19113 4294967295 134512640 135305190 3221152544 3070409920 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=103504 CPUtime=3.76
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 958 0 0 0 375 1 0 0 24 0 4 0 1108656873 105988096 19113 4294967295 134512640 135305190 3221152544 3062021312 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 17.84
Current children cumulated vsize (KiB) 105924
[startup+12.7112 s]
/proc/loadavg: 4.09 4.19 4.30 5/102 12933
/proc/meminfo: memFree=2674300/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=113096 CPUtime=41.71
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 21200 0 0 0 4155 16 0 0 25 0 4 0 1108656803 115810304 21136 4294967295 134512640 135305190 3221152544 3221150720 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 28274 21136 79 194 0 28078 0
[pid=12928/tid=12929] ppid=12925 vsize=113096 CPUtime=10.31
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 1463 0 0 0 1031 0 0 0 25 0 4 0 1108656873 115810304 21136 4294967295 134512640 135305190 3221152544 3078798528 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=113096 CPUtime=10.3
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 1315 0 0 0 1027 3 0 0 25 0 4 0 1108656873 115810304 21136 4294967295 134512640 135305190 3221152544 3070409920 134528559 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=113096 CPUtime=10.12
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 1561 0 0 0 1009 3 0 0 25 0 4 0 1108656873 115810304 21136 4294967295 134512640 135305190 3221152544 3062020976 134551729 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 43.39
Current children cumulated vsize (KiB) 115516
[startup+25.5102 s]
/proc/loadavg: 4.15 4.20 4.30 5/102 12934
/proc/meminfo: memFree=2666092/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=120036 CPUtime=92.84
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 23134 0 0 0 9257 27 0 0 25 0 4 0 1108656803 122916864 23070 4294967295 134512640 135305190 3221152544 3221150720 134528256 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 30009 23070 79 194 0 29813 0
[pid=12928/tid=12929] ppid=12925 vsize=120036 CPUtime=23.11
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 1868 0 0 0 2310 1 0 0 25 0 4 0 1108656873 122916864 23070 4294967295 134512640 135305190 3221152544 3078798528 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=120036 CPUtime=23.06
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 1843 0 0 0 2297 9 0 0 25 0 4 0 1108656873 122916864 23070 4294967295 134512640 135305190 3221152544 3070409920 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=120036 CPUtime=22.88
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 2081 0 0 0 2283 5 0 0 25 0 4 0 1108656873 122916864 23070 4294967295 134512640 135305190 3221152544 3062021312 134528310 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 94.52
Current children cumulated vsize (KiB) 122456
[startup+51.1082 s]
/proc/loadavg: 4.20 4.21 4.30 5/102 13120
/proc/meminfo: memFree=2648380/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=136752 CPUtime=194.79
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 27396 0 0 0 19443 36 0 0 25 0 4 0 1108656803 140034048 27332 4294967295 134512640 135305190 3221152544 3221150720 134528392 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12928/statm: 34188 27332 79 194 0 33992 0
[pid=12928/tid=12929] ppid=12925 vsize=136752 CPUtime=48.63
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 2799 0 0 0 4861 2 0 0 25 0 4 0 1108656873 140034048 27332 4294967295 134512640 135305190 3221152544 3078798528 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=136752 CPUtime=48.58
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 2959 0 0 0 4845 13 0 0 25 0 4 0 1108656873 140034048 27332 4294967295 134512640 135305190 3221152544 3070409920 134528224 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=136752 CPUtime=48.41
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 3230 0 0 0 4834 7 0 0 25 0 4 0 1108656873 140034048 27332 4294967295 134512640 135305190 3221152544 3062021040 134556787 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.47
Current children cumulated vsize (KiB) 139172
[startup+102.314 s]
/proc/loadavg: 4.31 4.24 4.30 5/102 13307
/proc/meminfo: memFree=2622260/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=162348 CPUtime=399.19
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 33827 0 0 0 39864 55 0 0 25 0 4 0 1108656803 166244352 33763 4294967295 134512640 135305190 3221152544 3221150720 134528184 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 40587 33763 79 194 0 40391 0
[pid=12928/tid=12929] ppid=12925 vsize=162348 CPUtime=99.65
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 4348 0 0 0 9957 8 0 0 25 0 4 0 1108656873 166244352 33763 4294967295 134512640 135305190 3221152544 3078798528 134528379 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=162348 CPUtime=99.74
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 4761 0 0 0 9955 19 0 0 25 0 4 0 1108656873 166244352 33763 4294967295 134512640 135305190 3221152544 3070409920 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=162348 CPUtime=99.59
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 4783 0 0 0 9950 9 0 0 25 0 4 0 1108656873 166244352 33763 4294967295 134512640 135305190 3221152544 3062021312 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 400.87
Current children cumulated vsize (KiB) 164768
[startup+162.31 s]
/proc/loadavg: 4.41 4.27 4.30 6/102 13494
/proc/meminfo: memFree=2606140/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=179824 CPUtime=638.68
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 37837 0 0 0 63790 78 0 0 25 0 4 0 1108656803 184139776 37773 4294967295 134512640 135305190 3221152544 3221150504 134846161 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 44956 37773 79 194 0 44760 0
[pid=12928/tid=12929] ppid=12925 vsize=179824 CPUtime=159.4
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 5108 0 0 0 15931 9 0 0 25 0 4 0 1108656873 184139776 37773 4294967295 134512640 135305190 3221152544 3078798528 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=179824 CPUtime=159.6
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 6161 0 0 0 15931 29 0 0 25 0 4 0 1108656873 184139776 37773 4294967295 134512640 135305190 3221152544 3070409920 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=179824 CPUtime=159.51
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 5640 0 0 0 15937 14 0 0 25 0 4 0 1108656873 184139776 37773 4294967295 134512640 135305190 3221152544 3062021312 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 640.36
################
# More data... #
################
[startup+522.312 s]
/proc/loadavg: 4.53 4.43 4.36 5/102 14629
/proc/meminfo: memFree=2514256/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=273260 CPUtime=2075.4
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 60777 0 0 0 207321 219 0 0 25 0 4 0 1108656803 279818240 60713 4294967295 134512640 135305190 3221152544 3221150720 134528341 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12928/statm: 68315 60713 79 194 0 68119 0
[pid=12928/tid=12929] ppid=12925 vsize=273260 CPUtime=519.07
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 10681 0 0 0 51857 50 0 0 25 0 4 0 1108656873 279818240 60713 4294967295 134512640 135305190 3221152544 3078798528 134528425 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=273260 CPUtime=518.8
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12591 0 0 0 51812 68 0 0 25 0 4 0 1108656873 279818240 60713 4294967295 134512640 135305190 3221152544 3070409920 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=273260 CPUtime=518.72
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 11012 0 0 0 51827 45 0 0 25 0 4 0 1108656873 279818240 60713 4294967295 134512640 135305190 3221152544 3062021312 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2077.08
Current children cumulated vsize (KiB) 275680
[startup+582.317 s]
/proc/loadavg: 4.45 4.43 4.36 6/102 14822
/proc/meminfo: memFree=2500384/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=287588 CPUtime=2314.88
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 64144 0 0 0 231248 240 0 0 25 0 4 0 1108656803 294490112 64080 4294967295 134512640 135305190 3221152544 3221150720 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12928/statm: 71897 64080 79 194 0 71701 0
[pid=12928/tid=12929] ppid=12925 vsize=287588 CPUtime=579.01
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 11441 0 0 0 57847 54 0 0 25 0 4 0 1108656873 294490112 64080 4294967295 134512640 135305190 3221152544 3078798528 134528480 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=287588 CPUtime=578.63
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 13480 0 0 0 57792 71 0 0 25 0 4 0 1108656873 294490112 64080 4294967295 134512640 135305190 3221152544 3070409920 134528256 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=287588 CPUtime=578.42
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 11980 0 0 0 57787 55 0 0 25 0 4 0 1108656873 294490112 64080 4294967295 134512640 135305190 3221152544 3062021312 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2316.56
Current children cumulated vsize (KiB) 290008
[startup+642.312 s]
/proc/loadavg: 4.51 4.43 4.36 6/103 14940
/proc/meminfo: memFree=2497020/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=290100 CPUtime=2554.45
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 64729 0 0 0 255190 255 0 0 25 0 4 0 1108656803 297062400 64665 4294967295 134512640 135305190 3221152544 3221150720 134528265 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12928/statm: 72525 64665 79 194 0 72329 0
[pid=12928/tid=12929] ppid=12925 vsize=290100 CPUtime=638.84
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 11614 0 0 0 63825 59 0 0 25 0 4 0 1108656873 297062400 64665 4294967295 134512640 135305190 3221152544 3078798528 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=290100 CPUtime=638.38
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 13783 0 0 0 63764 74 0 0 25 0 4 0 1108656873 297062400 64665 4294967295 134512640 135305190 3221152544 3070409920 134528753 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=290100 CPUtime=638.4
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12022 0 0 0 63782 58 0 0 25 0 4 0 1108656873 297062400 64665 4294967295 134512640 135305190 3221152544 3062021312 134528263 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2556.13
Current children cumulated vsize (KiB) 292520
[startup+702.308 s]
/proc/loadavg: 4.63 4.46 4.38 7/103 15103
/proc/meminfo: memFree=2492696/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=294796 CPUtime=2793.74
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 65931 0 0 0 279096 278 0 0 25 0 4 0 1108656803 301871104 65867 4294967295 134512640 135305190 3221152544 3221150720 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12928/statm: 73699 65867 79 194 0 73503 0
[pid=12928/tid=12929] ppid=12925 vsize=294796 CPUtime=698.82
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12111 0 0 0 69820 62 0 0 25 0 4 0 1108656873 301871104 65867 4294967295 134512640 135305190 3221152544 3078798528 134528242 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=294796 CPUtime=697.86
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 14094 0 0 0 69695 91 0 0 25 0 4 0 1108656873 301871104 65867 4294967295 134512640 135305190 3221152544 3070409920 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=294796 CPUtime=698.26
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12242 0 0 0 69767 59 0 0 25 0 4 0 1108656873 301871104 65867 4294967295 134512640 135305190 3221152544 3062021312 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2795.42
Current children cumulated vsize (KiB) 297216
[startup+762.313 s]
/proc/loadavg: 4.43 4.45 4.37 5/102 15385
/proc/meminfo: memFree=2483408/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=303596 CPUtime=3032.88
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 67981 0 0 0 302991 297 0 0 25 0 4 0 1108656803 310882304 67917 4294967295 134512640 135305190 3221152544 3221150720 134528428 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 75899 67917 79 194 0 75703 0
[pid=12928/tid=12929] ppid=12925 vsize=303596 CPUtime=758.47
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12647 0 0 0 75782 65 0 0 25 0 4 0 1108656873 310882304 67917 4294967295 134512640 135305190 3221152544 3078798528 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=303596 CPUtime=757.67
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 14801 0 0 0 75668 99 0 0 25 0 4 0 1108656873 310882304 67917 4294967295 134512640 135305190 3221152544 3070409920 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=303596 CPUtime=758.1
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12598 0 0 0 75748 62 0 0 25 0 4 0 1108656873 310882304 67917 4294967295 134512640 135305190 3221152544 3062021312 134528310 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3034.56
Current children cumulated vsize (KiB) 306016
[startup+822.308 s]
/proc/loadavg: 4.57 4.47 4.38 8/103 15449
/proc/meminfo: memFree=2481816/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=306964 CPUtime=3272.41
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 68704 0 0 0 326931 310 0 0 25 0 4 0 1108656803 314331136 68640 4294967295 134512640 135305190 3221152544 3221150720 134528455 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 76741 68640 79 194 0 76545 0
[pid=12928/tid=12929] ppid=12925 vsize=306964 CPUtime=818.07
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12878 0 0 0 81736 71 0 0 25 0 4 0 1108656873 314331136 68640 4294967295 134512640 135305190 3221152544 3078798528 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=306964 CPUtime=817.64
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 15034 0 0 0 81662 102 0 0 25 0 4 0 1108656873 314331136 68640 4294967295 134512640 135305190 3221152544 3070409920 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=306964 CPUtime=818.06
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12683 0 0 0 81744 62 0 0 25 0 4 0 1108656873 314331136 68640 4294967295 134512640 135305190 3221152544 3062021312 134528371 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3274.09
Current children cumulated vsize (KiB) 309384
[startup+882.304 s]
/proc/loadavg: 4.81 4.56 4.42 6/103 15712
/proc/meminfo: memFree=2477992/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=308260 CPUtime=3511.81
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 69303 0 0 0 350858 323 0 0 25 0 4 0 1108656803 315658240 69239 4294967295 134512640 135305190 3221152544 3221150720 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 77065 69239 79 194 0 76869 0
[pid=12928/tid=12929] ppid=12925 vsize=308260 CPUtime=878.03
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12997 0 0 0 87729 74 0 0 25 0 4 0 1108656873 315658240 69239 4294967295 134512640 135305190 3221152544 3078798528 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=308260 CPUtime=877.45
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 15221 0 0 0 87641 104 0 0 25 0 4 0 1108656873 315658240 69239 4294967295 134512640 135305190 3221152544 3070409920 134528421 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=308260 CPUtime=877.86
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12826 0 0 0 87722 64 0 0 25 0 4 0 1108656873 315658240 69239 4294967295 134512640 135305190 3221152544 3062021312 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3513.49
Current children cumulated vsize (KiB) 310680
[startup+942.319 s]
/proc/loadavg: 4.56 4.53 4.41 6/103 15790
/proc/meminfo: memFree=2465712/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=323784 CPUtime=3751.68
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 72928 0 0 0 374830 338 0 0 25 0 4 0 1108656803 331554816 72864 4294967295 134512640 135305190 3221152544 3221150512 134547978 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 80946 72864 79 194 0 80750 0
[pid=12928/tid=12929] ppid=12925 vsize=323784 CPUtime=938.05
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 14299 0 0 0 93727 78 0 0 25 0 4 0 1108656873 331554816 72864 4294967295 134512640 135305190 3221152544 3078798528 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=323784 CPUtime=937.44
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 15934 0 0 0 93638 106 0 0 25 0 4 0 1108656873 331554816 72864 4294967295 134512640 135305190 3221152544 3070409920 134528341 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=323784 CPUtime=937.7
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 13581 0 0 0 93700 70 0 0 25 0 4 0 1108656873 331554816 72864 4294967295 134512640 135305190 3221152544 3062021312 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3753.36
Current children cumulated vsize (KiB) 326204
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.59 4.56 4.43 5/102 15957
/proc/meminfo: memFree=2458476/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=331024 CPUtime=3981.95
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 74714 0 0 0 397832 363 0 0 25 0 4 0 1108656803 338968576 74650 4294967295 134512640 135305190 3221152544 3221150720 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 82756 74650 79 194 0 82560 0
[pid=12928/tid=12929] ppid=12925 vsize=331024 CPUtime=995.57
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 14832 0 0 0 99472 85 0 0 25 0 4 0 1108656873 338968576 74650 4294967295 134512640 135305190 3221152544 3078798528 134528512 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=331024 CPUtime=995.03
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 16487 0 0 0 99391 112 0 0 25 0 4 0 1108656873 338968576 74650 4294967295 134512640 135305190 3221152544 3070409920 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=331024 CPUtime=995.19
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 13965 0 0 0 99442 77 0 0 25 0 4 0 1108656873 338968576 74650 4294967295 134512640 135305190 3221152544 3062021040 134556789 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3983.63
Current children cumulated vsize (KiB) 333444
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)
Real time (s): 1000.05
CPU time (s): 3983.71
CPU user time (s): 3980.04
CPU system time (s): 3.67
CPU usage (%): 398.349
Max. virtual memory (cumulated for all children) (KiB): 333444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3980.04
system time used= 3.67
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81719
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= 6401
involuntary context switches= 189881
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on tipi45 at 2009-05-28 23:13:14
IDJOB=1781494
IDBENCH=71764
IDSOLVER=623
FILE ID=tipi45/1781494-1243545194
PBS_JOBID=
Free space on /tmp= 15498 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT_RACE06/simon-s02b-k2f-gr-rcs-w8.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781494-1243545194/watcher-1781494-1243545194 -o /tmp/evaluation-result-1781494-1243545194/solver-1781494-1243545194 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781494-1243545194.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 5da8899feefc5a4bb9db99e983e30f52
RANDOM SEED= 834475300
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: 2763696 kB
Buffers: 146908 kB
Cached: 350312 kB
SwapCached: 2100 kB
Active: 124960 kB
Inactive: 381612 kB
HighTotal: 2489216 kB
HighFree: 2126668 kB
LowTotal: 879316 kB
LowFree: 637028 kB
SwapTotal: 1959888 kB
SwapFree: 1952996 kB
Dirty: 5128 kB
Writeback: 0 kB
AnonPages: 8400 kB
Mapped: 3080 kB
Slab: 85988 kB
SReclaimable: 74868 kB
SUnreclaim: 11120 kB
PageTables: 480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 89600 kB
VmallocTotal: 114680 kB
VmallocUsed: 17900 kB
VmallocChunk: 96244 kB
Free space on /tmp at the end= 15497 MiB
End job on tipi45 at 2009-05-28 23:29:56