runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778215-1243470710/watcher-1778215-1243470710 -o /tmp/evaluation-result-1778215-1243470710/solver-1778215-1243470710 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778215-1243470710.cnf 1170634046 4
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 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: 3.77 3.78 3.75 3/96 7934
/proc/meminfo: memFree=218568/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=509228 CPUtime=0.01
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 1380 0 0 0 0 1 0 0 18 0 1 0 1111735067 521449472 1336 4294967295 134512640 135680988 3218163808 3218163072 134537167 0 0 0 0 0 0 0 17 0 0 0 0
/proc/7934/statm: 127307 1346 99 286 0 127019 0
[startup+0.063122 s]
/proc/loadavg: 3.77 3.78 3.75 3/96 7934
/proc/meminfo: memFree=218568/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=517040 CPUtime=0.07
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 15685 0 0 0 4 3 0 0 18 0 1 0 1111735067 529448960 15640 4294967295 134512640 135680988 3218163808 3218163072 134537708 0 0 0 0 0 0 0 17 0 0 0 0
/proc/7934/statm: 129260 15651 99 286 0 128972 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 517040
[startup+0.113116 s]
/proc/loadavg: 3.77 3.78 3.75 3/96 7934
/proc/meminfo: memFree=218568/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=0.13
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 9 4 0 0 19 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 545800
[startup+0.316838 s]
/proc/loadavg: 3.77 3.78 3.75 3/96 7934
/proc/meminfo: memFree=218568/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=0.86
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 50 36 0 0 18 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 545800
[startup+0.713065 s]
/proc/loadavg: 3.77 3.78 3.75 3/96 7934
/proc/meminfo: memFree=218568/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=2.33
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 129 104 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 545800
[startup+1.513 s]
/proc/loadavg: 3.77 3.78 3.75 5/100 7938
/proc/meminfo: memFree=140184/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=5.28
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 278 250 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=1.26
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 70 56 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=1.33
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 70 63 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236076 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=1.25
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 66 59 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 545800
[startup+3.11288 s]
/proc/loadavg: 3.77 3.78 3.75 5/100 7938
/proc/meminfo: memFree=140036/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=11.17
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 562 555 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=2.72
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 154 118 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=2.83
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 145 138 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236076 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=2.72
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 128 144 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.17
Current children cumulated vsize (KiB) 545800
[startup+6.31261 s]
/proc/loadavg: 3.79 3.79 3.76 5/100 7938
/proc/meminfo: memFree=139968/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=23.02
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 1164 1138 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=5.73
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 309 264 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=5.78
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 295 283 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=5.65
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 282 283 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.02
Current children cumulated vsize (KiB) 545800
[startup+12.7121 s]
/proc/loadavg: 3.80 3.79 3.76 5/100 7938
/proc/meminfo: memFree=139876/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=46.67
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 2370 2297 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=11.57
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 593 564 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=11.68
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 583 585 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=11.62
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 601 561 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46.67
Current children cumulated vsize (KiB) 545800
[startup+25.511 s]
/proc/loadavg: 3.85 3.80 3.76 4/100 8122
/proc/meminfo: memFree=139160/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=93.56
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 4794 4562 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=23.43
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 1175 1168 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628340 134533455 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=23.24
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 1175 1149 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=23.46
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 1230 1116 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843948 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 93.56
Current children cumulated vsize (KiB) 545800
[startup+51.1089 s]
/proc/loadavg: 3.98 3.83 3.77 5/100 8124
/proc/meminfo: memFree=139336/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=188.37
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 9613 9224 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=47.41
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 2410 2331 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=46.89
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 2375 2314 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=47.17
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 2413 2304 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 188.37
Current children cumulated vsize (KiB) 545800
[startup+102.315 s]
/proc/loadavg: 3.94 3.84 3.77 5/100 8312
/proc/meminfo: memFree=139040/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=376.15
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 19219 18396 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=94.48
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 4815 4633 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=94.18
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 4774 4644 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236076 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=94.13
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 4804 4609 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 376.15
Current children cumulated vsize (KiB) 545800
[startup+162.31 s]
/proc/loadavg: 3.87 3.83 3.78 5/100 8499
/proc/meminfo: memFree=139048/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=597.22
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 30514 29208 0 0 16 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=149.64
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 7643 7321 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=149.09
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 7573 7336 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=149.56
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 7597 7359 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 597.22
Current children cumulated vsize (KiB) 545800
[startup+222.305 s]
/proc/loadavg: 3.88 3.85 3.78 5/100 8691
/proc/meminfo: memFree=138768/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=817.8
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 42006 39774 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=205.61
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 10646 9915 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628204 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=204.47
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 10417 10030 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=204.15
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 10371 10044 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 817.8
Current children cumulated vsize (KiB) 545800
[startup+282.31 s]
/proc/loadavg: 3.74 3.81 3.77 5/100 8878
/proc/meminfo: memFree=139056/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=1038.66
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 53300 50566 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163004 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=260.94
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 13458 12636 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=259.81
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 13251 12730 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=7934] ppid=7932 vsize=545800 CPUtime=1480.64
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 76102 71962 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=372.26
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 19127 18099 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=370.79
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 19011 18068 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=369.22
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 18875 18047 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1480.64
Current children cumulated vsize (KiB) 545800
[startup+462.315 s]
/proc/loadavg: 3.98 3.90 3.81 5/100 9444
/proc/meminfo: memFree=139172/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=1702.19
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 87644 82575 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=428.09
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 22038 20771 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=426.12
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 21876 20736 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=424.58
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 21763 20695 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1702.19
Current children cumulated vsize (KiB) 545800
[startup+522.31 s]
/proc/loadavg: 3.91 3.89 3.81 5/100 9632
/proc/meminfo: memFree=139264/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=1922.85
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 99002 93283 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=483.95
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 24905 23490 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=480.94
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 24694 23400 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=479.7
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 24628 23342 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1922.85
Current children cumulated vsize (KiB) 545800
[startup+582.315 s]
/proc/loadavg: 3.92 3.89 3.82 5/100 9824
/proc/meminfo: memFree=139312/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=2144.45
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 110463 103982 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=539.4
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 27734 26206 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=536.19
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 27590 26029 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=535
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 27466 26034 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2144.45
Current children cumulated vsize (KiB) 545800
[startup+642.31 s]
/proc/loadavg: 3.97 3.91 3.83 6/100 10018
/proc/meminfo: memFree=138520/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=2365.19
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 121752 114767 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=594.54
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 30529 28925 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628204 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=592.35
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 30494 28741 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=589.86
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 30310 28676 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2365.19
Current children cumulated vsize (KiB) 545800
[startup+702.305 s]
/proc/loadavg: 3.99 3.92 3.83 5/100 10208
/proc/meminfo: memFree=138676/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=2585.55
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 133181 125374 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=649.4
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 33374 31566 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=647.37
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 33304 31433 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=644.65
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 33161 31304 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2585.55
Current children cumulated vsize (KiB) 545800
[startup+762.31 s]
/proc/loadavg: 3.90 3.90 3.83 5/100 10395
/proc/meminfo: memFree=139172/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=2807.1
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 144539 136171 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=705.42
/proc/7934/task/7936/stat : 7936 (gnovelty+) S 7932 7934 10015 0 -1 4202560 7 0 0 0 36267 34275 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=702.58
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 36142 34116 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=699.66
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 35967 33999 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2807.1
Current children cumulated vsize (KiB) 545800
[startup+822.305 s]
/proc/loadavg: 3.92 3.91 3.83 5/100 10583
/proc/meminfo: memFree=139264/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=3027.02
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 155825 146877 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=760.49
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 39066 36983 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=757.37
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 38911 36826 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=754.72
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 38857 36615 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843984 134545729 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3027.02
Current children cumulated vsize (KiB) 545800
[startup+882.31 s]
/proc/loadavg: 3.83 3.88 3.82 5/100 10770
/proc/meminfo: memFree=139452/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=3248.9
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 167193 157697 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=815.95
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 41900 39695 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628204 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=812.98
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 41753 39545 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=809.98
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 41663 39335 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843948 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3248.9
Current children cumulated vsize (KiB) 545800
[startup+942.315 s]
/proc/loadavg: 3.94 3.90 3.82 5/100 10963
/proc/meminfo: memFree=139512/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=3470.92
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 178617 168475 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=871.25
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 44757 42368 0 0 16 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=868.6
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 44598 42262 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=865.44
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 44541 42003 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3470.92
Current children cumulated vsize (KiB) 545800
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 3.78 3.86 3.81 6/100 11150
/proc/meminfo: memFree=139496/3368532 swapFree=1953788/1959888
[pid=7934] ppid=7932 vsize=545800 CPUtime=3684.02
/proc/7934/stat : 7934 (gnovelty+) R 7932 7934 10015 0 -1 4202496 19804 0 0 0 189591 178811 0 0 15 0 4 0 1111735067 558899200 19759 4294967295 134512640 135680988 3218163808 3218163052 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7934/statm: 136450 19759 103 286 0 136162 0
[pid=7934/tid=7936] ppid=7932 vsize=545800 CPUtime=924.59
/proc/7934/task/7936/stat : 7936 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 47507 44952 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3077628252 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7934/tid=7937] ppid=7932 vsize=545800 CPUtime=921.78
/proc/7934/task/7937/stat : 7937 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 47353 44825 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3068236124 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7934/tid=7938] ppid=7932 vsize=545800 CPUtime=918.87
/proc/7934/task/7938/stat : 7938 (gnovelty+) R 7932 7934 10015 0 -1 4202560 7 0 0 0 47280 44607 0 0 15 0 4 0 1111735075 558899200 19759 4294967295 134512640 135680988 3218163808 3058843996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3684.02
Current children cumulated vsize (KiB) 545800
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): 3684.08
CPU user time (s): 1895.94
CPU system time (s): 1788.14
CPU usage (%): 368.395
Max. virtual memory (cumulated for all children) (KiB): 545800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1895.94
system time used= 1788.14
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19804
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= 102331742
involuntary context switches= 254538
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on at 2009-05-28 02:31:50
IDJOB=1778215
IDBENCH=70587
IDSOLVER=617
FILE ID=/1778215-1243470710
PBS_JOBID=
Free space on /tmp= 6476 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/440/unif-k3-r4.25-v440-c1870-S332478069-041.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778215-1243470710/watcher-1778215-1243470710 -o /tmp/evaluation-result-1778215-1243470710/solver-1778215-1243470710 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778215-1243470710.cnf 1170634046 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= a8388760bc12fcaf54760067730a9d5b
RANDOM SEED= 1170634046
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.061
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.061
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.12
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.061
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.14
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.061
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: 219012 kB
Buffers: 47144 kB
Cached: 2932632 kB
SwapCached: 2256 kB
Active: 1721708 kB
Inactive: 1267352 kB
HighTotal: 2489216 kB
HighFree: 87728 kB
LowTotal: 879316 kB
LowFree: 131284 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 1376 kB
Writeback: 0 kB
AnonPages: 8520 kB
Mapped: 3184 kB
Slab: 151244 kB
SReclaimable: 137760 kB
SUnreclaim: 13484 kB
PageTables: 468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88480 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6476 MiB
End job on at 2009-05-28 02:48:32