0.00/0.02 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 23237 63534 | 6971 0 0 nan | 0.000 % |
0.12/0.16 c | 0 | 15594 54914 | -- 0 -- -- | -- | -7643/-8620
0.12/0.16 c ==============================================================================
0.12/0.16 c Result : #vars: 2673 #clauses: 15594 #literals: 54914
0.12/0.16 c CPU time: 0.16 s
0.12/0.16 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775869-1243503646/watcher-1775869-1243503646 -o /tmp/evaluation-result-1775869-1243503646/solver-1775869-1243503646 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775869-1243503646.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: 5.41 5.66 5.55 5/125 8707
/proc/meminfo: memFree=2055264/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2412 CPUtime=0
/proc/8706/stat : 8706 (manysat.sh) R 8704 8706 21334 0 -1 4194304 333 0 0 0 0 0 0 0 19 0 1 0 1115028618 2469888 273 4294967295 134512640 135169312 3221021456 3221019932 3084879732 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/8706/statm: 603 273 231 161 0 42 0
[pid=8707] ppid=8706 vsize=3348 CPUtime=0.02
/proc/8707/stat : 8707 (SatElite) R 8706 8706 21334 0 -1 4202496 782 0 0 0 2 0 0 0 19 0 1 0 1115028618 3428352 719 4294967295 134512640 135034092 3214371968 3214369208 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8707/statm: 837 720 51 128 0 707 0
[startup+0.067764 s]
/proc/loadavg: 5.41 5.66 5.55 5/125 8707
/proc/meminfo: memFree=2055264/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2412 CPUtime=0
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 348 0 0 0 0 0 0 0 19 0 1 0 1115028618 2469888 273 4294967295 134512640 135169312 3221021456 3221019992 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 603 273 231 161 0 42 0
[pid=8707] ppid=8706 vsize=4420 CPUtime=0.07
/proc/8707/stat : 8707 (SatElite) R 8706 8706 21334 0 -1 4202496 1055 0 0 0 7 0 0 0 23 0 1 0 1115028618 4526080 992 4294967295 134512640 135034092 3214371968 3214367912 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8707/statm: 1105 992 67 128 0 975 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6832
[startup+0.117783 s]
/proc/loadavg: 5.41 5.66 5.55 5/125 8707
/proc/meminfo: memFree=2055264/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2412 CPUtime=0
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 348 0 0 0 0 0 0 0 19 0 1 0 1115028618 2469888 273 4294967295 134512640 135169312 3221021456 3221019992 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 603 273 231 161 0 42 0
[pid=8707] ppid=8706 vsize=4716 CPUtime=0.12
/proc/8707/stat : 8707 (SatElite) R 8706 8706 21334 0 -1 4202496 1099 0 0 0 12 0 0 0 23 0 1 0 1115028618 4829184 1036 4294967295 134512640 135034092 3214371968 3214368272 134569485 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8707/statm: 1179 1036 67 128 0 1049 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 7128
[startup+0.317936 s]
/proc/loadavg: 5.41 5.66 5.55 5/125 8707
/proc/meminfo: memFree=2055264/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 2416
[startup+0.717718 s]
/proc/loadavg: 5.41 5.66 5.55 5/125 8707
/proc/meminfo: memFree=2055264/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 2416
[startup+1.51765 s]
/proc/loadavg: 5.41 5.66 5.55 7/129 8713
/proc/meminfo: memFree=1679492/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=38360 CPUtime=3.86
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 2911 0 0 0 384 2 0 0 15 0 4 0 1115028636 39280640 2843 4294967295 134512640 135305190 3216162400 3216160256 134843311 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8709/statm: 9590 2843 79 194 0 9394 0
[pid=8709/tid=8710] ppid=8706 vsize=38360 CPUtime=1.05
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 458 0 0 0 105 0 0 0 15 0 4 0 1115028639 39280640 2843 4294967295 134512640 135305190 3216162400 3086719920 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=38360 CPUtime=1
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 393 0 0 0 99 1 0 0 18 0 4 0 1115028639 39280640 2843 4294967295 134512640 135305190 3216162400 3078331584 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=38360 CPUtime=0.52
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 182 0 0 0 52 0 0 0 17 0 4 0 1115028639 39280640 2843 4294967295 134512640 135305190 3216162400 3069942692 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 40776
[startup+3.11711 s]
/proc/loadavg: 5.41 5.66 5.55 6/129 8713
/proc/meminfo: memFree=2030212/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=43080 CPUtime=8.7
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 3989 0 0 0 868 2 0 0 16 0 4 0 1115028636 44113920 3921 4294967295 134512640 135305190 3216162400 3216160520 134840070 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8709/statm: 10770 3921 79 194 0 10574 0
[pid=8709/tid=8710] ppid=8706 vsize=43080 CPUtime=2.4
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 738 0 0 0 240 0 0 0 16 0 4 0 1115028639 44113920 3921 4294967295 134512640 135305190 3216162400 3086719856 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=43080 CPUtime=2.2
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 590 0 0 0 219 1 0 0 19 0 4 0 1115028639 44113920 3921 4294967295 134512640 135305190 3216162400 3078331264 134553437 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=43080 CPUtime=1.51
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 481 0 0 0 151 0 0 0 16 0 4 0 1115028639 44113920 3921 4294967295 134512640 135305190 3216162400 3069942976 134528805 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.88
Current children cumulated vsize (KiB) 45496
[startup+6.31724 s]
/proc/loadavg: 5.38 5.65 5.54 9/129 8713
/proc/meminfo: memFree=1984196/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=47748 CPUtime=18.31
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 5215 0 0 0 1828 3 0 0 16 0 4 0 1115028636 48893952 5147 4294967295 134512640 135305190 3216162400 3216160576 134528263 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8709/statm: 11937 5147 79 194 0 11741 0
[pid=8709/tid=8710] ppid=8706 vsize=47748 CPUtime=3.74
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 889 0 0 0 374 0 0 0 16 0 4 0 1115028639 48893952 5147 4294967295 134512640 135305190 3216162400 3086719856 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=47748 CPUtime=5.41
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 944 0 0 0 539 2 0 0 21 0 4 0 1115028639 48893952 5147 4294967295 134512640 135305190 3216162400 3078331584 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=47748 CPUtime=3.37
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 729 0 0 0 337 0 0 0 16 0 4 0 1115028639 48893952 5147 4294967295 134512640 135305190 3216162400 3069942976 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.49
Current children cumulated vsize (KiB) 50164
[startup+12.7167 s]
/proc/loadavg: 5.51 5.67 5.55 7/129 8714
/proc/meminfo: memFree=1951388/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=52708 CPUtime=37.7
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 6481 0 0 0 3765 5 0 0 22 0 4 0 1115028636 53972992 6413 4294967295 134512640 135305190 3216162400 3216160688 134561766 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/8709/statm: 13177 6413 79 194 0 12981 0
[pid=8709/tid=8710] ppid=8706 vsize=52708 CPUtime=10.1
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 1240 0 0 0 1010 0 0 0 25 0 4 0 1115028639 53972992 6413 4294967295 134512640 135305190 3216162400 3086720192 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=52708 CPUtime=8.05
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 1009 0 0 0 802 3 0 0 25 0 4 0 1115028639 53972992 6413 4294967295 134512640 135305190 3216162400 3078331584 134528603 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=52708 CPUtime=8.98
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 1206 0 0 0 897 1 0 0 21 0 4 0 1115028639 53972992 6413 4294967295 134512640 135305190 3216162400 3069942976 134528418 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37.88
Current children cumulated vsize (KiB) 55124
[startup+25.5156 s]
/proc/loadavg: 5.69 5.70 5.56 6/129 8716
/proc/meminfo: memFree=1880448/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=66684 CPUtime=77.26
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 9837 0 0 0 7714 12 0 0 25 0 4 0 1115028636 68284416 9769 4294967295 134512640 135305190 3216162400 3216160576 134528277 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/8709/statm: 16671 9769 79 194 0 16475 0
[pid=8709/tid=8710] ppid=8706 vsize=66684 CPUtime=20.41
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 1902 0 0 0 2037 4 0 0 25 0 4 0 1115028639 68284416 9769 4294967295 134512640 135305190 3216162400 3086720192 134528784 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=66684 CPUtime=19.03
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 2103 0 0 0 1898 5 0 0 25 0 4 0 1115028639 68284416 9769 4294967295 134512640 135305190 3216162400 3078331432 134694990 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=66684 CPUtime=21.5
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 2341 0 0 0 2149 1 0 0 25 0 4 0 1115028639 68284416 9769 4294967295 134512640 135305190 3216162400 3069942704 134557342 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 77.44
Current children cumulated vsize (KiB) 69100
[startup+51.1134 s]
/proc/loadavg: 5.65 5.69 5.56 7/129 8718
/proc/meminfo: memFree=2015420/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=79292 CPUtime=154.57
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 12763 0 0 0 15436 21 0 0 25 0 4 0 1115028636 81195008 12695 4294967295 134512640 135305190 3216162400 3216160576 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/8709/statm: 19823 12695 79 194 0 19627 0
[pid=8709/tid=8710] ppid=8706 vsize=79292 CPUtime=36.36
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 2445 0 0 0 3630 6 0 0 25 0 4 0 1115028639 81195008 12695 4294967295 134512640 135305190 3216162400 3086720192 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=79292 CPUtime=41.79
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 3179 0 0 0 4170 9 0 0 25 0 4 0 1115028639 81195008 12695 4294967295 134512640 135305190 3216162400 3078331584 134528268 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=79292 CPUtime=39.77
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 3075 0 0 0 3974 3 0 0 25 0 4 0 1115028639 81195008 12695 4294967295 134512640 135305190 3216162400 3069942824 134694990 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 154.75
Current children cumulated vsize (KiB) 81708
[startup+102.319 s]
/proc/loadavg: 5.41 5.63 5.55 6/129 8905
/proc/meminfo: memFree=1939380/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=89928 CPUtime=307.63
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 15481 0 0 0 30726 37 0 0 25 0 4 0 1115028636 92086272 15413 4294967295 134512640 135305190 3216162400 3216160576 134528406 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/8709/statm: 22482 15413 79 194 0 22286 0
[pid=8709/tid=8710] ppid=8706 vsize=89928 CPUtime=85.2
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 3407 0 0 0 8512 8 0 0 25 0 4 0 1115028639 92086272 15413 4294967295 134512640 135305190 3216162400 3086719856 134551854 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=89928 CPUtime=72.92
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 3611 0 0 0 7278 14 0 0 25 0 4 0 1115028639 92086272 15413 4294967295 134512640 135305190 3216162400 3078331584 134528562 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=89928 CPUtime=82.34
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 3837 0 0 0 8225 9 0 0 25 0 4 0 1115028639 92086272 15413 4294967295 134512640 135305190 3216162400 3069942976 134528341 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 307.81
Current children cumulated vsize (KiB) 92344
[startup+162.304 s]
/proc/loadavg: 5.33 5.58 5.53 7/129 9092
/proc/meminfo: memFree=1921840/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=103100 CPUtime=493.14
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 18554 0 0 0 49261 53 0 0 25 0 4 0 1115028636 105574400 18486 4294967295 134512640 135305190 3216162400 3216160576 134528771 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/8709/statm: 25775 18486 79 194 0 25579 0
[pid=8709/tid=8710] ppid=8706 vsize=103100 CPUtime=145.05
################
# More data... #
################
[startup+522.313 s]
/proc/loadavg: 6.00 5.84 5.66 7/129 10224
/proc/meminfo: memFree=1922548/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=153076 CPUtime=1585.38
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 30821 0 0 0 158398 140 0 0 25 0 4 0 1115028636 156749824 30753 4294967295 134512640 135305190 3216162400 3216160576 134528329 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/8709/statm: 38269 30753 79 194 0 38073 0
[pid=8709/tid=8710] ppid=8706 vsize=153076 CPUtime=386.01
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 7339 0 0 0 38574 27 0 0 25 0 4 0 1115028639 156749824 30753 4294967295 134512640 135305190 3216162400 3086720192 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=153076 CPUtime=371.76
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 7797 0 0 0 37132 44 0 0 25 0 4 0 1115028639 156749824 30753 4294967295 134512640 135305190 3216162400 3078331200 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=153076 CPUtime=417.87
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 7489 0 0 0 41754 33 0 0 25 0 4 0 1115028639 156749824 30753 4294967295 134512640 135305190 3216162400 3069942704 134558160 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1585.56
Current children cumulated vsize (KiB) 155492
[startup+582.318 s]
/proc/loadavg: 5.97 5.85 5.67 7/129 10417
/proc/meminfo: memFree=1899360/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=156860 CPUtime=1764.69
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 31700 0 0 0 176309 160 0 0 25 0 4 0 1115028636 160624640 31632 4294967295 134512640 135305190 3216162400 3216160576 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/8709/statm: 39215 31632 79 194 0 39019 0
[pid=8709/tid=8710] ppid=8706 vsize=156860 CPUtime=445.68
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 7669 0 0 0 44538 30 0 0 25 0 4 0 1115028639 160624640 31632 4294967295 134512640 135305190 3216162400 3086720192 134528545 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=156860 CPUtime=401.12
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 7842 0 0 0 40067 45 0 0 25 0 4 0 1115028639 160624640 31632 4294967295 134512640 135305190 3216162400 3078331584 134528256 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=156860 CPUtime=477.5
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 7727 0 0 0 47704 46 0 0 25 0 4 0 1115028639 160624640 31632 4294967295 134512640 135305190 3216162400 3069942976 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.87
Current children cumulated vsize (KiB) 159276
[startup+642.312 s]
/proc/loadavg: 5.88 5.84 5.68 7/129 10605
/proc/meminfo: memFree=1894056/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=164376 CPUtime=1944.48
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 33050 0 0 0 194275 173 0 0 25 0 4 0 1115028636 168321024 32982 4294967295 134512640 135305190 3216162400 3216160116 134840070 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/8709/statm: 41094 32982 79 194 0 40898 0
[pid=8709/tid=8710] ppid=8706 vsize=164376 CPUtime=505.55
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 8089 0 0 0 50524 31 0 0 25 0 4 0 1115028639 168321024 32982 4294967295 134512640 135305190 3216162400 3086720192 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=164376 CPUtime=433.25
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 8025 0 0 0 43278 47 0 0 25 0 4 0 1115028639 168321024 32982 4294967295 134512640 135305190 3216162400 3078331200 134551978 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=164376 CPUtime=531.51
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 8197 0 0 0 53098 53 0 0 25 0 4 0 1115028639 168321024 32982 4294967295 134512640 135305190 3216162400 3069942976 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1944.66
Current children cumulated vsize (KiB) 166792
[startup+702.307 s]
/proc/loadavg: 5.71 5.79 5.66 6/129 10793
/proc/meminfo: memFree=1845828/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=164796 CPUtime=2124.02
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 33406 0 0 0 212223 179 0 0 25 0 4 0 1115028636 168751104 33338 4294967295 134512640 135305190 3216162400 3216160304 134556752 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/8709/statm: 41199 33338 79 194 0 41003 0
[pid=8709/tid=8710] ppid=8706 vsize=164796 CPUtime=548.84
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 8182 0 0 0 54851 33 0 0 25 0 4 0 1115028639 168751104 33338 4294967295 134512640 135305190 3216162400 3086719920 134556798 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=164796 CPUtime=477.59
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 8065 0 0 0 47711 48 0 0 25 0 4 0 1115028639 168751104 33338 4294967295 134512640 135305190 3216162400 3078331584 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=164796 CPUtime=581.27
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 8254 0 0 0 58072 55 0 0 25 0 4 0 1115028639 168751104 33338 4294967295 134512640 135305190 3216162400 3069942976 134528376 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2124.2
Current children cumulated vsize (KiB) 167212
[startup+762.312 s]
/proc/loadavg: 5.75 5.77 5.66 7/129 10980
/proc/meminfo: memFree=1880872/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=170224 CPUtime=2303.54
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 34612 0 0 0 230149 205 0 0 25 0 4 0 1115028636 174309376 34544 4294967295 134512640 135305190 3216162400 3216160576 134528237 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/8709/statm: 42556 34544 79 194 0 42360 0
[pid=8709/tid=8710] ppid=8706 vsize=170224 CPUtime=602.2
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 8331 0 0 0 60171 49 0 0 25 0 4 0 1115028639 174309376 34544 4294967295 134512640 135305190 3216162400 3086720192 134528406 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=170224 CPUtime=513.22
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 8350 0 0 0 51272 50 0 0 25 0 4 0 1115028639 174309376 34544 4294967295 134512640 135305190 3216162400 3078331572 134570388 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=170224 CPUtime=618.59
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 8435 0 0 0 61801 58 0 0 25 0 4 0 1115028639 174309376 34544 4294967295 134512640 135305190 3216162400 3069942976 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2303.72
Current children cumulated vsize (KiB) 172640
[startup+822.317 s]
/proc/loadavg: 5.78 5.77 5.67 6/129 11167
/proc/meminfo: memFree=1858652/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=177572 CPUtime=2483.2
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 36456 0 0 0 248099 221 0 0 25 0 4 0 1115028636 181833728 36388 4294967295 134512640 135305190 3216162400 3216160576 134528224 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/8709/statm: 44393 36388 79 194 0 44197 0
[pid=8709/tid=8710] ppid=8706 vsize=177572 CPUtime=655.14
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 8600 0 0 0 65462 52 0 0 25 0 4 0 1115028639 181833728 36388 4294967295 134512640 135305190 3216162400 3086720192 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=177572 CPUtime=562.77
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 8826 0 0 0 56217 60 0 0 25 0 4 0 1115028639 181833728 36388 4294967295 134512640 135305190 3216162400 3078331584 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=177572 CPUtime=655.73
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 8965 0 0 0 65514 59 0 0 25 0 4 0 1115028639 181833728 36388 4294967295 134512640 135305190 3216162400 3069942976 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2483.38
Current children cumulated vsize (KiB) 179988
[startup+882.312 s]
/proc/loadavg: 5.72 5.74 5.66 7/130 11318
/proc/meminfo: memFree=1760548/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=187156 CPUtime=2662.99
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 38769 0 0 0 266066 233 0 0 25 0 4 0 1115028636 191647744 38701 4294967295 134512640 135305190 3216162400 3216160576 134528520 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/8709/statm: 46789 38701 79 194 0 46593 0
[pid=8709/tid=8710] ppid=8706 vsize=187156 CPUtime=704.95
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 9127 0 0 0 70438 57 0 0 25 0 4 0 1115028639 191647744 38701 4294967295 134512640 135305190 3216162400 3086719856 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=187156 CPUtime=607.05
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 9541 0 0 0 60642 63 0 0 25 0 4 0 1115028639 191647744 38701 4294967295 134512640 135305190 3216162400 3078331584 134528382 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=187156 CPUtime=710.91
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 9803 0 0 0 71030 61 0 0 25 0 4 0 1115028639 191647744 38701 4294967295 134512640 135305190 3216162400 3069942976 134528224 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2663.17
Current children cumulated vsize (KiB) 189572
[startup+942.307 s]
/proc/loadavg: 5.63 5.70 5.64 8/130 11452
/proc/meminfo: memFree=1892524/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=187836 CPUtime=2842.57
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 38905 0 0 0 284002 255 0 0 25 0 4 0 1115028636 192344064 38837 4294967295 134512640 135305190 3216162400 3216160576 134528277 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/8709/statm: 46959 38837 79 194 0 46763 0
[pid=8709/tid=8710] ppid=8706 vsize=187836 CPUtime=753.94
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 9168 0 0 0 75329 65 0 0 25 0 4 0 1115028639 192344064 38837 4294967295 134512640 135305190 3216162400 3086720192 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=187836 CPUtime=657.59
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 9572 0 0 0 65687 72 0 0 25 0 4 0 1115028639 192344064 38837 4294967295 134512640 135305190 3216162400 3078331328 134542048 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=187836 CPUtime=751.24
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 9803 0 0 0 75061 63 0 0 25 0 4 0 1115028639 192344064 38837 4294967295 134512640 135305190 3216162400 3069942976 134528442 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2842.75
Current children cumulated vsize (KiB) 190252
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 5.56 5.68 5.64 7/130 11588
/proc/meminfo: memFree=1869576/3368532 swapFree=1957708/1959888
[pid=8706] ppid=8704 vsize=2416 CPUtime=0.18
/proc/8706/stat : 8706 (manysat.sh) S 8704 8706 21334 0 -1 4194304 368 1169 0 0 0 0 18 0 20 0 1 0 1115028618 2473984 274 4294967295 134512640 135169312 3221021456 3221017672 3084877550 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8706/statm: 604 274 231 161 0 43 0
[pid=8709] ppid=8706 vsize=188500 CPUtime=3015.53
/proc/8709/stat : 8709 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202496 39063 0 0 0 301291 262 0 0 25 0 4 0 1115028636 193024000 38995 4294967295 134512640 135305190 3216162400 3216160576 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/8709/statm: 47125 38995 79 194 0 46929 0
[pid=8709/tid=8710] ppid=8706 vsize=188500 CPUtime=783.54
/proc/8709/task/8710/stat : 8710 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 9168 0 0 0 78289 65 0 0 25 0 4 0 1115028639 193024000 38995 4294967295 134512640 135305190 3216162400 3086720192 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8711] ppid=8706 vsize=188500 CPUtime=685.7
/proc/8709/task/8711/stat : 8711 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 9572 0 0 0 68498 72 0 0 25 0 4 0 1115028639 193024000 38995 4294967295 134512640 135305190 3216162400 3078331200 134551681 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8709/tid=8712] ppid=8706 vsize=188500 CPUtime=808.8
/proc/8709/task/8712/stat : 8712 (manysat1.1_stat) R 8706 8706 21334 0 -1 4202560 9833 0 0 0 80815 65 0 0 25 0 4 0 1115028639 193024000 38995 4294967295 134512640 135305190 3216162400 3069942976 134528512 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3015.71
Current children cumulated vsize (KiB) 190916
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.04
CPU time (s): 3015.78
CPU user time (s): 3013.15
CPU system time (s): 2.63
CPU usage (%): 301.565
Max. virtual memory (cumulated for all children) (KiB): 190916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3013.15
system time used= 2.63
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40601
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= 10303
involuntary context switches= 186326
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 11:40:46
IDJOB=1775869
IDBENCH=20399
IDSOLVER=623
FILE ID=/1775869-1243503646
PBS_JOBID=
Free space on /tmp= 15884 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-01.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775869-1243503646/watcher-1775869-1243503646 -o /tmp/evaluation-result-1775869-1243503646/solver-1775869-1243503646 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775869-1243503646.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= d2f77e32530988f77dca5112174eee00
RANDOM SEED= 1977855687
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.43
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: 2075540 kB
Buffers: 14112 kB
Cached: 614116 kB
SwapCached: 16 kB
Active: 659668 kB
Inactive: 572692 kB
HighTotal: 2489216 kB
HighFree: 1268228 kB
LowTotal: 879316 kB
LowFree: 807312 kB
SwapTotal: 1959888 kB
SwapFree: 1957708 kB
Dirty: 2048 kB
Writeback: 0 kB
AnonPages: 604380 kB
Mapped: 35592 kB
Slab: 50644 kB
SReclaimable: 41632 kB
SUnreclaim: 9012 kB
PageTables: 1580 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 905856 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15884 MiB
End job on at 2009-05-28 11:57:28