0.00/0.00 c Parsing...
0.12/0.18 c ==============================================================================
0.12/0.18 c | | ORIGINAL | LEARNT | |
0.12/0.18 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.18 c ==============================================================================
0.12/0.18 c | 0 | 330948 988222 | 99284 0 0 nan | 0.000 % |
3.42/3.43 c | 0 | 329509 1447248 | -- 0 -- -- | -- | -1439/459026
3.42/3.43 c ==============================================================================
3.42/3.43 c Result : #vars: 2029 #clauses: 329509 #literals: 1447248
3.42/3.43 c CPU time: 3.41 s
3.42/3.43 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780891-1243538281/watcher-1780891-1243538281 -o /tmp/evaluation-result-1780891-1243538281/solver-1780891-1243538281 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780891-1243538281.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.57 4.54 4.49 3/98 30068
/proc/meminfo: memFree=2780232/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2412 CPUtime=0
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935404841 2469888 274 4294967295 134512640 135169312 3213560816 3213559352 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 603 274 231 161 0 42 0
[pid=30069] ppid=30068 vsize=1492 CPUtime=0.01
/proc/30069/stat : 30069 (SatElite) R 30068 30068 28360 0 -1 4202496 292 0 0 0 1 0 0 0 19 0 1 0 935404841 1527808 229 4294967295 134512640 135034092 3219407184 3219403472 134544739 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30069/statm: 373 232 50 128 0 243 0
[startup+0.09365 s]
/proc/loadavg: 4.57 4.54 4.49 3/98 30068
/proc/meminfo: memFree=2780232/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2412 CPUtime=0
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935404841 2469888 274 4294967295 134512640 135169312 3213560816 3213559352 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 603 274 231 161 0 42 0
[pid=30069] ppid=30068 vsize=9820 CPUtime=0.1
/proc/30069/stat : 30069 (SatElite) R 30068 30068 28360 0 -1 4202496 2312 0 0 0 9 1 0 0 19 0 1 0 935404841 10055680 2249 4294967295 134512640 135034092 3219407184 3219403528 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30069/statm: 2455 2250 50 128 0 2325 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12232
[startup+0.113649 s]
/proc/loadavg: 4.57 4.54 4.49 3/98 30068
/proc/meminfo: memFree=2780232/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2412 CPUtime=0
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935404841 2469888 274 4294967295 134512640 135169312 3213560816 3213559352 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 603 274 231 161 0 42 0
[pid=30069] ppid=30068 vsize=11140 CPUtime=0.12
/proc/30069/stat : 30069 (SatElite) R 30068 30068 28360 0 -1 4202496 2691 0 0 0 11 1 0 0 20 0 1 0 935404841 11407360 2628 4294967295 134512640 135034092 3219407184 3219403176 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30069/statm: 2785 2628 50 128 0 2655 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13552
[startup+0.313632 s]
/proc/loadavg: 4.57 4.54 4.49 3/98 30068
/proc/meminfo: memFree=2780232/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2412 CPUtime=0
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935404841 2469888 274 4294967295 134512640 135169312 3213560816 3213559352 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 603 274 231 161 0 42 0
[pid=30069] ppid=30068 vsize=25752 CPUtime=0.32
/proc/30069/stat : 30069 (SatElite) R 30068 30068 28360 0 -1 4202496 6186 0 0 0 31 1 0 0 20 0 1 0 935404841 26370048 6123 4294967295 134512640 135034092 3219407184 3219403052 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30069/statm: 6438 6123 67 128 0 6308 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 28164
[startup+0.7136 s]
/proc/loadavg: 4.57 4.54 4.49 3/98 30068
/proc/meminfo: memFree=2780232/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2412 CPUtime=0
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935404841 2469888 274 4294967295 134512640 135169312 3213560816 3213559352 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 603 274 231 161 0 42 0
[pid=30069] ppid=30068 vsize=30328 CPUtime=0.72
/proc/30069/stat : 30069 (SatElite) R 30068 30068 28360 0 -1 4202496 7002 0 0 0 71 1 0 0 21 0 1 0 935404841 31055872 6939 4294967295 134512640 135034092 3219407184 3219403344 134547466 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30069/statm: 7582 6939 67 128 0 7452 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 32740
[startup+1.51355 s]
/proc/loadavg: 4.57 4.54 4.49 2/100 30071
/proc/meminfo: memFree=2746424/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2412 CPUtime=0
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935404841 2469888 274 4294967295 134512640 135169312 3213560816 3213559352 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 603 274 231 161 0 42 0
[pid=30069] ppid=30068 vsize=36920 CPUtime=1.52
/proc/30069/stat : 30069 (SatElite) R 30068 30068 28360 0 -1 4202496 8249 0 0 0 151 1 0 0 24 0 1 0 935404841 37806080 8186 4294967295 134512640 135034092 3219407184 3219403488 134569526 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30069/statm: 9230 8186 67 128 0 9100 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 39332
[startup+3.11341 s]
/proc/loadavg: 4.28 4.48 4.47 2/100 30071
/proc/meminfo: memFree=2746424/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2412 CPUtime=0
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935404841 2469888 274 4294967295 134512640 135169312 3213560816 3213559352 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 603 274 231 161 0 42 0
[pid=30069] ppid=30068 vsize=36920 CPUtime=3.12
/proc/30069/stat : 30069 (SatElite) R 30068 30068 28360 0 -1 4202496 8249 0 0 0 310 2 0 0 25 0 1 0 935404841 37806080 8186 4294967295 134512640 135034092 3219407184 3219403488 134569584 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30069/statm: 9230 8186 67 128 0 9100 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 39332
[startup+6.31316 s]
/proc/loadavg: 4.28 4.48 4.47 5/103 30075
/proc/meminfo: memFree=2678596/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=128500 CPUtime=7.82
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 25068 0 0 0 774 8 0 0 16 0 4 0 935405230 131584000 25000 4294967295 134512640 135305190 3220906736 3220904704 134547909 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 32125 25000 79 194 0 31929 0
[pid=30072/tid=30073] ppid=30068 vsize=128500 CPUtime=1.8
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 1210 0 0 0 179 1 0 0 18 0 4 0 935405289 131584000 25000 4294967295 134512640 135305190 3220906736 3076205760 134528329 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=128500 CPUtime=1.81
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 1254 0 0 0 180 1 0 0 21 0 4 0 935405289 131584000 25000 4294967295 134512640 135305190 3220906736 3067817152 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=128500 CPUtime=1.81
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 1136 0 0 0 180 1 0 0 18 0 4 0 935405289 131584000 25000 4294967295 134512640 135305190 3220906736 3059428544 134528477 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.71
Current children cumulated vsize (KiB) 130916
[startup+12.7126 s]
/proc/loadavg: 4.31 4.48 4.47 5/103 30076
/proc/meminfo: memFree=2647380/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=157416 CPUtime=33.39
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 32226 0 0 0 3325 14 0 0 23 0 4 0 935405230 161193984 32158 4294967295 134512640 135305190 3220906736 3220904912 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 39354 32159 79 194 0 39158 0
[pid=30072/tid=30073] ppid=30068 vsize=157416 CPUtime=8.2
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 2934 0 0 0 815 5 0 0 25 0 4 0 935405289 161193984 32159 4294967295 134512640 135305190 3220906736 3076205760 134528376 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=157416 CPUtime=8.21
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 3253 0 0 0 819 2 0 0 25 0 4 0 935405289 161193984 32159 4294967295 134512640 135305190 3220906736 3067817096 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=157416 CPUtime=8.2
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 2634 0 0 0 819 1 0 0 25 0 4 0 935405289 161193984 32159 4294967295 134512640 135305190 3220906736 3059428544 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 37.28
Current children cumulated vsize (KiB) 159832
[startup+25.5116 s]
/proc/loadavg: 4.34 4.48 4.47 5/103 30077
/proc/meminfo: memFree=2617156/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=184552 CPUtime=84.48
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 39042 0 0 0 8425 23 0 0 25 0 4 0 935405230 188981248 38974 4294967295 134512640 135305190 3220906736 3220904912 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 46138 38974 79 194 0 45942 0
[pid=30072/tid=30073] ppid=30068 vsize=184552 CPUtime=20.93
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 4662 0 0 0 2086 7 0 0 25 0 4 0 935405289 188981248 38974 4294967295 134512640 135305190 3220906736 3076205760 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=184552 CPUtime=21.01
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 5163 0 0 0 2097 4 0 0 25 0 4 0 935405289 188981248 38974 4294967295 134512640 135305190 3220906736 3067817152 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=184552 CPUtime=20.99
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 4064 0 0 0 2096 3 0 0 25 0 4 0 935405289 188981248 38974 4294967295 134512640 135305190 3220906736 3059428544 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 88.37
Current children cumulated vsize (KiB) 186968
[startup+51.1096 s]
/proc/loadavg: 4.60 4.52 4.48 6/104 30207
/proc/meminfo: memFree=2584728/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=218248 CPUtime=186.52
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 47204 0 0 0 18614 38 0 0 25 0 4 0 935405230 223485952 47136 4294967295 134512640 135305190 3220906736 3220904912 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 54562 47136 79 194 0 54366 0
[pid=30072/tid=30073] ppid=30068 vsize=218248 CPUtime=46.23
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 7118 0 0 0 4613 10 0 0 25 0 4 0 935405289 223485952 47136 4294967295 134512640 135305190 3220906736 3076205760 134528406 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=218248 CPUtime=46.61
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 6946 0 0 0 4653 8 0 0 25 0 4 0 935405289 223485952 47136 4294967295 134512640 135305190 3220906736 3067817152 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=218248 CPUtime=46.58
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 5791 0 0 0 4651 7 0 0 22 0 4 0 935405289 223485952 47136 4294967295 134512640 135305190 3220906736 3059428544 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 190.41
Current children cumulated vsize (KiB) 220664
[startup+102.315 s]
/proc/loadavg: 4.68 4.55 4.49 8/104 30316
/proc/meminfo: memFree=2539756/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=263720 CPUtime=390.89
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 58341 0 0 0 39029 60 0 0 25 0 4 0 935405230 270049280 58249 4294967295 134512640 135305190 3220906736 3220904856 134839627 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 65930 58249 79 194 0 65734 0
[pid=30072/tid=30073] ppid=30068 vsize=263720 CPUtime=97.37
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 10704 0 0 0 9723 14 0 0 25 0 4 0 935405289 270049280 58249 4294967295 134512640 135305190 3220906736 3076205760 134528402 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=263720 CPUtime=97.79
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 9593 0 0 0 9767 12 0 0 25 0 4 0 935405289 270049280 58249 4294967295 134512640 135305190 3220906736 3067817152 134528755 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=263720 CPUtime=97.77
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 7829 0 0 0 9764 13 0 0 25 0 4 0 935405289 270049280 58249 4294967295 134512640 135305190 3220906736 3059428544 134528376 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 394.78
Current children cumulated vsize (KiB) 266136
[startup+162.311 s]
/proc/loadavg: 4.60 4.56 4.49 6/103 30458
/proc/meminfo: memFree=2504844/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=300028 CPUtime=630.13
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 67104 0 0 0 62915 98 0 0 25 0 4 0 935405230 307228672 67012 4294967295 134512640 135305190 3220906736 3220904704 134547909 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 75007 67012 79 194 0 74811 0
[pid=30072/tid=30073] ppid=30068 vsize=300028 CPUtime=157.14
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 13397 0 0 0 15691 23 0 0 25 0 4 0 935405289 307228672 67012 4294967295 134512640 135305190 3220906736 3076205760 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=300028 CPUtime=157.79
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 10859 0 0 0 15762 17 0 0 25 0 4 0 935405289 307228672 67012 4294967295 134512640 135305190 3220906736 3067817152 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=300028 CPUtime=157.4
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 9871 0 0 0 15716 24 0 0 25 0 4 0 935405289 307228672 67012 4294967295 134512640 135305190 3220906736 3059428544 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 634.02
################
# More data... #
################
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 19506 0 0 0 51614 74 0 0 25 0 4 0 935405289 459612160 102166 4294967295 134512640 135305190 3220906736 3059428544 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2071.88
Current children cumulated vsize (KiB) 451256
[startup+582.317 s]
/proc/loadavg: 4.37 4.47 4.47 5/103 31778
/proc/meminfo: memFree=2354952/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=458720 CPUtime=2307.5
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 104564 0 0 0 230492 258 0 0 25 0 4 0 935405230 469729280 104468 4294967295 134512640 135305190 3220906736 3220904912 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 114680 104468 79 194 0 114484 0
[pid=30072/tid=30073] ppid=30068 vsize=458720 CPUtime=576.65
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 25426 0 0 0 57601 64 0 0 25 0 4 0 935405289 469729280 104468 4294967295 134512640 135305190 3220906736 3076205760 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=458720 CPUtime=576.89
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 17447 0 0 0 57652 37 0 0 25 0 4 0 935405289 469729280 104468 4294967295 134512640 135305190 3220906736 3067817152 134528418 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=458720 CPUtime=576.55
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 20194 0 0 0 57570 85 0 0 25 0 4 0 935405289 469729280 104468 4294967295 134512640 135305190 3220906736 3059428544 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2311.39
Current children cumulated vsize (KiB) 461136
[startup+642.312 s]
/proc/loadavg: 4.53 4.51 4.48 5/103 31966
/proc/meminfo: memFree=2335716/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=478192 CPUtime=2547.24
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 109399 0 0 0 254454 270 0 0 25 0 4 0 935405230 489668608 109299 4294967295 134512640 135305190 3220906736 3220904912 134528418 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 119548 109299 79 194 0 119352 0
[pid=30072/tid=30073] ppid=30068 vsize=478192 CPUtime=636.6
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 26468 0 0 0 63594 66 0 0 25 0 4 0 935405289 489668608 109299 4294967295 134512640 135305190 3220906736 3076205424 134551998 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=478192 CPUtime=636.78
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 18997 0 0 0 63638 40 0 0 25 0 4 0 935405289 489668608 109299 4294967295 134512640 135305190 3220906736 3067817152 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=478192 CPUtime=636.48
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 21455 0 0 0 63558 90 0 0 25 0 4 0 935405289 489668608 109299 4294967295 134512640 135305190 3220906736 3059428544 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2551.13
Current children cumulated vsize (KiB) 480608
[startup+702.307 s]
/proc/loadavg: 4.60 4.55 4.50 5/103 32154
/proc/meminfo: memFree=2299288/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=517640 CPUtime=2786.86
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 118679 0 0 0 278389 297 0 0 25 0 4 0 935405230 530063360 118579 4294967295 134512640 135305190 3220906736 3220904912 134528458 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 129410 118579 79 194 0 129214 0
[pid=30072/tid=30073] ppid=30068 vsize=517640 CPUtime=696.6
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 29914 0 0 0 69588 72 0 0 25 0 4 0 935405289 530063360 118579 4294967295 134512640 135305190 3220906736 3076205760 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=517640 CPUtime=696.44
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 20552 0 0 0 69600 44 0 0 25 0 4 0 935405289 530063360 118579 4294967295 134512640 135305190 3220906736 3067817152 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=517640 CPUtime=696.47
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 24206 0 0 0 69548 99 0 0 25 0 4 0 935405289 530063360 118579 4294967295 134512640 135305190 3220906736 3059428544 134528410 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2790.75
Current children cumulated vsize (KiB) 520056
[startup+762.312 s]
/proc/loadavg: 4.38 4.50 4.48 5/103 32342
/proc/meminfo: memFree=2292952/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=523960 CPUtime=3026.65
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 119994 0 0 0 302347 318 0 0 25 0 4 0 935405230 536535040 119894 4294967295 134512640 135305190 3220906736 3220904912 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 130990 119894 79 194 0 130794 0
[pid=30072/tid=30073] ppid=30068 vsize=523960 CPUtime=756.59
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 30220 0 0 0 75585 74 0 0 25 0 4 0 935405289 536535040 119894 4294967295 134512640 135305190 3220906736 3076205760 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=523960 CPUtime=756.26
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 20952 0 0 0 75576 50 0 0 25 0 4 0 935405289 536535040 119894 4294967295 134512640 135305190 3220906736 3067817152 134528310 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=523960 CPUtime=756.46
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 24369 0 0 0 75541 105 0 0 25 0 4 0 935405289 536535040 119894 4294967295 134512640 135305190 3220906736 3059428544 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3030.54
Current children cumulated vsize (KiB) 526376
[startup+822.308 s]
/proc/loadavg: 4.71 4.58 4.51 5/103 32529
/proc/meminfo: memFree=2283812/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=534176 CPUtime=3266.41
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 122513 0 0 0 326311 330 0 0 25 0 4 0 935405230 546996224 122413 4294967295 134512640 135305190 3220906736 3220904856 134839991 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 133544 122413 79 194 0 133348 0
[pid=30072/tid=30073] ppid=30068 vsize=534176 CPUtime=816.59
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 31246 0 0 0 81582 77 0 0 25 0 4 0 935405289 546996224 122413 4294967295 134512640 135305190 3220906736 3076205760 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=534176 CPUtime=816.04
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 21132 0 0 0 81551 53 0 0 25 0 4 0 935405289 546996224 122413 4294967295 134512640 135305190 3220906736 3067817152 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=534176 CPUtime=816.46
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 25226 0 0 0 81537 109 0 0 25 0 4 0 935405289 546996224 122413 4294967295 134512640 135305190 3220906736 3059428544 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3270.3
Current children cumulated vsize (KiB) 536592
[startup+882.303 s]
/proc/loadavg: 4.55 4.56 4.51 6/103 32721
/proc/meminfo: memFree=2265152/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=553364 CPUtime=3505.77
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 126891 0 0 0 350203 374 0 0 25 0 4 0 935405230 566644736 126791 4294967295 134512640 135305190 3220906736 3220904912 134528402 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 138341 126791 79 194 0 138145 0
[pid=30072/tid=30073] ppid=30068 vsize=553364 CPUtime=876.03
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 32881 0 0 0 87504 99 0 0 25 0 4 0 935405289 566644736 126791 4294967295 134512640 135305190 3220906736 3076205760 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=553364 CPUtime=875.98
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 21590 0 0 0 87537 61 0 0 25 0 4 0 935405289 566644736 126791 4294967295 134512640 135305190 3220906736 3067817152 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=553364 CPUtime=876.46
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 26994 0 0 0 87530 116 0 0 25 0 4 0 935405289 566644736 126791 4294967295 134512640 135305190 3220906736 3059428544 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3509.66
Current children cumulated vsize (KiB) 555780
[startup+942.318 s]
/proc/loadavg: 4.55 4.56 4.51 5/103 440
/proc/meminfo: memFree=2224760/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=596508 CPUtime=3745.33
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 137056 0 0 0 374137 396 0 0 25 0 4 0 935405230 610824192 136952 4294967295 134512640 135305190 3220906736 3220904640 134556787 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 149127 136952 79 194 0 148931 0
[pid=30072/tid=30073] ppid=30068 vsize=596508 CPUtime=935.82
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 35946 0 0 0 93480 102 0 0 25 0 4 0 935405289 610824192 136952 4294967295 134512640 135305190 3220906736 3076205760 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=596508 CPUtime=935.99
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 21803 0 0 0 93536 63 0 0 25 0 4 0 935405289 610824192 136952 4294967295 134512640 135305190 3220906736 3067817152 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=596508 CPUtime=936.45
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 30049 0 0 0 93520 125 0 0 25 0 4 0 935405289 610824192 136952 4294967295 134512640 135305190 3220906736 3059428544 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3749.22
Current children cumulated vsize (KiB) 598924
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.46 4.54 4.50 6/103 630
/proc/meminfo: memFree=2215436/3368532 swapFree=1959840/1959888
[pid=30068] ppid=30066 vsize=2416 CPUtime=3.89
/proc/30068/stat : 30068 (manysat.sh) S 30066 30068 28360 0 -1 4194304 370 8254 0 0 0 0 385 4 18 0 1 0 935404841 2473984 275 4294967295 134512640 135169312 3213560816 3213557032 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/30068/statm: 604 275 231 161 0 43 0
[pid=30072] ppid=30068 vsize=605480 CPUtime=3975.15
/proc/30072/stat : 30072 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202496 139126 0 0 0 397099 416 0 0 25 0 4 0 935405230 620011520 139020 4294967295 134512640 135305190 3220906736 3220904912 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30072/statm: 151370 139020 79 194 0 151174 0
[pid=30072/tid=30073] ppid=30068 vsize=605480 CPUtime=992.92
/proc/30072/task/30073/stat : 30073 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 36379 0 0 0 99189 103 0 0 25 0 4 0 935405289 620011520 139020 4294967295 134512640 135305190 3220906736 3076205424 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30072/tid=30074] ppid=30068 vsize=605480 CPUtime=993.68
/proc/30072/task/30074/stat : 30074 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 21921 0 0 0 99300 68 0 0 25 0 4 0 935405289 620011520 139020 4294967295 134512640 135305190 3220906736 3067817152 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30072/tid=30075] ppid=30068 vsize=605480 CPUtime=994.14
/proc/30072/task/30075/stat : 30075 (manysat1.1_stat) R 30068 30068 28360 0 -1 4202560 30553 0 0 0 99283 131 0 0 25 0 4 0 935405289 620011520 139020 4294967295 134512640 135305190 3220906736 3059428544 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3979.04
Current children cumulated vsize (KiB) 607896
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 30068 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=850000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=40000
# CPU time returned by wait4() is 3.89
# while last known CPU time is 3979.04
#
# 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): 3979.04
CPU user time (s): 3974.84
CPU system time (s): 4.2
CPU usage (%): 397.883
Max. virtual memory (cumulated for all children) (KiB): 607896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.85
system time used= 0.04
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8624
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= 5
involuntary context switches= 6
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi39 at 2009-05-28 21:18:01
IDJOB=1780891
IDBENCH=71077
IDSOLVER=620
FILE ID=tipi39/1780891-1243538281
PBS_JOBID=
Free space on /tmp= 5738 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_15_UNKNOWN.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780891-1243538281/watcher-1780891-1243538281 -o /tmp/evaluation-result-1780891-1243538281/solver-1780891-1243538281 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780891-1243538281.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 8e41b9860982308be5a85106d5324611
RANDOM SEED= 873810144
Linux tipi39 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.067
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.067
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.067
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.067
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: 2780232 kB
Buffers: 52180 kB
Cached: 429932 kB
SwapCached: 0 kB
Active: 47368 kB
Inactive: 451316 kB
HighTotal: 2489216 kB
HighFree: 2044852 kB
LowTotal: 879316 kB
LowFree: 735380 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 7064 kB
Writeback: 0 kB
AnonPages: 16352 kB
Mapped: 6128 kB
Slab: 79420 kB
SReclaimable: 68104 kB
SUnreclaim: 11316 kB
PageTables: 532 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 95160 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 5730 MiB
End job on tipi39 at 2009-05-28 21:34:43