runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778104-1243464767/watcher-1778104-1243464767 -o /tmp/evaluation-result-1778104-1243464767/solver-1778104-1243464767 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778104-1243464767.cnf 131395652 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.60 3.82 3.95 3/96 27165
/proc/meminfo: memFree=3039924/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=509228 CPUtime=0.01
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 1449 0 0 0 0 1 0 0 18 0 1 0 1100577811 521449472 1405 4294967295 134512640 135680988 3221000976 3221000240 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/27165/statm: 127307 1413 99 286 0 127019 0
[startup+0.083647 s]
/proc/loadavg: 3.60 3.82 3.95 3/96 27165
/proc/meminfo: memFree=3039924/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=517040 CPUtime=0.09
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19718 0 0 0 4 5 0 0 18 0 1 0 1100577811 529448960 19673 4294967295 134512640 135680988 3221000976 3221000240 134538765 0 0 0 0 0 0 0 17 2 0 0 0
/proc/27165/statm: 129260 19674 99 286 0 128972 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 517040
[startup+0.113829 s]
/proc/loadavg: 3.60 3.82 3.95 3/96 27165
/proc/meminfo: memFree=3039924/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=0.15
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 8 7 0 0 19 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 545804
[startup+0.31363 s]
/proc/loadavg: 3.60 3.82 3.95 3/96 27165
/proc/meminfo: memFree=3039924/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=0.91
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 54 37 0 0 17 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 545804
[startup+0.713713 s]
/proc/loadavg: 3.60 3.82 3.95 3/96 27165
/proc/meminfo: memFree=3039924/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=2.37
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 132 105 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 545804
[startup+1.51357 s]
/proc/loadavg: 3.60 3.82 3.95 5/100 27169
/proc/meminfo: memFree=2961928/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=5.31
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 296 235 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=1.3
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 77 53 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=1.3
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 71 59 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=1.37
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 74 63 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 545804
[startup+3.11344 s]
/proc/loadavg: 3.60 3.82 3.95 5/100 27169
/proc/meminfo: memFree=2961556/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=11.22
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 629 493 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000172 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=2.71
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 163 108 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=2.78
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 150 128 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=2.89
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 152 137 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.22
Current children cumulated vsize (KiB) 545804
[startup+6.31326 s]
/proc/loadavg: 3.63 3.82 3.95 5/100 27169
/proc/meminfo: memFree=2961432/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=23.11
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 1239 1072 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=5.69
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 316 253 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=5.78
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 294 284 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=5.78
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 305 273 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.11
Current children cumulated vsize (KiB) 545804
[startup+12.7128 s]
/proc/loadavg: 3.66 3.82 3.95 5/100 27170
/proc/meminfo: memFree=2961248/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=47.3
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 2524 2206 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=11.75
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 634 541 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=11.8
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 610 570 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818284 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=11.82
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 628 554 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.3
Current children cumulated vsize (KiB) 545804
[startup+25.512 s]
/proc/loadavg: 3.73 3.83 3.95 4/100 27172
/proc/meminfo: memFree=2961280/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=95.56
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 5119 4437 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=23.76
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 1259 1117 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=23.9
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 1255 1135 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=23.88
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 1297 1091 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 95.56
Current children cumulated vsize (KiB) 545804
[startup+51.1102 s]
/proc/loadavg: 3.82 3.84 3.95 5/100 27357
/proc/meminfo: memFree=2960744/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=190.11
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 10332 8679 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=47.34
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 2601 2133 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=47.65
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 2555 2210 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=47.22
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 2569 2153 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 190.11
Current children cumulated vsize (KiB) 545804
[startup+102.317 s]
/proc/loadavg: 3.87 3.85 3.95 5/100 27544
/proc/meminfo: memFree=2960524/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=380.73
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 20714 17359 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=95.01
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 5203 4298 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=95.36
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 5156 4380 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=95.01
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 5176 4325 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 380.73
Current children cumulated vsize (KiB) 545804
[startup+162.313 s]
/proc/loadavg: 3.87 3.85 3.94 5/100 27731
/proc/meminfo: memFree=2960532/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=604.49
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 32841 27608 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=150.88
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 8213 6875 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=151.71
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 8199 6972 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=150.94
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 8208 6886 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 604.49
Current children cumulated vsize (KiB) 545804
[startup+222.309 s]
/proc/loadavg: 3.74 3.81 3.91 5/100 27920
/proc/meminfo: memFree=2960680/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=826.31
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 45017 37614 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000172 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=205.81
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 11250 9331 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210412 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=207.78
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 11249 9529 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=205.99
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 11253 9346 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 826.31
Current children cumulated vsize (KiB) 545804
[startup+282.314 s]
/proc/loadavg: 3.61 3.76 3.89 5/100 28108
/proc/meminfo: memFree=2960696/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=1049.08
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 57245 47663 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=261.69
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 14401 11768 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=263.36
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 14284 12052 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=27165] ppid=27163 vsize=545804 CPUtime=1494.65
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 81435 68030 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=372.62
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 20338 16924 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210412 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=374.85
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 20329 17156 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=373.9
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 20483 16907 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1494.65
Current children cumulated vsize (KiB) 545804
[startup+462.312 s]
/proc/loadavg: 3.70 3.72 3.85 4/100 28676
/proc/meminfo: memFree=2959936/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=1716.02
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 93505 78097 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=427.84
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 23352 19432 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=430.33
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 23371 19662 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=428.72
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 23421 19451 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1716.02
Current children cumulated vsize (KiB) 545804
[startup+522.308 s]
/proc/loadavg: 3.93 3.77 3.85 4/100 28865
/proc/meminfo: memFree=2960036/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=1938.94
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 105535 88359 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=483.46
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 26335 22011 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=486.18
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 26371 22247 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=484.4
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 26400 22040 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1938.94
Current children cumulated vsize (KiB) 545804
[startup+582.314 s]
/proc/loadavg: 3.82 3.77 3.84 5/100 29053
/proc/meminfo: memFree=2959456/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=2161.61
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 117536 98625 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=539.69
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 29398 24571 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=541.97
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 29372 24825 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=539.7
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 29357 24613 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2161.61
Current children cumulated vsize (KiB) 545804
[startup+642.31 s]
/proc/loadavg: 3.90 3.79 3.85 5/100 29242
/proc/meminfo: memFree=2959540/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=2385.87
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 129692 108895 0 0 16 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=595.54
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 32429 27125 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=598.14
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 32408 27406 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=596.04
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 32380 27224 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2385.87
Current children cumulated vsize (KiB) 545804
[startup+702.316 s]
/proc/loadavg: 3.73 3.77 3.83 7/100 29433
/proc/meminfo: memFree=2959664/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=2608.13
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 141708 119105 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=651.09
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 35404 29705 0 0 16 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=653.79
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 35398 29981 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=651.85
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 35456 29729 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2608.13
Current children cumulated vsize (KiB) 545804
[startup+762.312 s]
/proc/loadavg: 3.61 3.73 3.81 5/100 29620
/proc/meminfo: memFree=2959936/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=2832.28
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 153747 129481 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=707.2
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 38445 32275 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210412 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=709.68
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 38363 32605 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=707.84
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 38479 32305 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2832.28
Current children cumulated vsize (KiB) 545804
[startup+822.308 s]
/proc/loadavg: 3.91 3.79 3.82 5/100 29808
/proc/meminfo: memFree=2959896/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=3055.74
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 165778 139796 0 0 16 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=763.17
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 41542 34775 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210412 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=765.79
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 41373 35206 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=763.54
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 41462 34892 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3055.74
Current children cumulated vsize (KiB) 545804
[startup+882.314 s]
/proc/loadavg: 3.93 3.82 3.83 5/100 29996
/proc/meminfo: memFree=2960036/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=3278.76
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 177799 150077 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=818.58
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 44492 37366 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=821.7
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 44407 37763 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818284 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=819.33
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 44494 37439 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3278.76
Current children cumulated vsize (KiB) 545804
[startup+942.31 s]
/proc/loadavg: 3.72 3.78 3.81 5/100 30185
/proc/meminfo: memFree=2959872/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=3499.62
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 189928 160034 0 0 16 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=873.73
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 47560 39813 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210412 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=876.95
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 47432 40263 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818332 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=874.66
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 47525 39941 0 0 16 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3499.62
Current children cumulated vsize (KiB) 545804
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 3.77 3.77 3.81 5/100 30371
/proc/meminfo: memFree=2960152/3368532 swapFree=1954076/1959888
[pid=27165] ppid=27163 vsize=545804 CPUtime=3712.02
/proc/27165/stat : 27165 (gnovelty+) R 27163 27165 15881 0 -1 4202496 19823 0 0 0 201611 169591 0 0 15 0 4 0 1100577811 558903296 19778 4294967295 134512640 135680988 3221000976 3221000220 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/27165/statm: 136451 19778 103 286 0 136163 0
[pid=27165/tid=27167] ppid=27163 vsize=545804 CPUtime=926.58
/proc/27165/task/27167/stat : 27167 (gnovelty+) R 27163 27165 15881 0 -1 4202560 11 0 0 0 50505 42153 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3077210460 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=27165/tid=27168] ppid=27163 vsize=545804 CPUtime=930.49
/proc/27165/task/27168/stat : 27168 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 50405 42644 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3067818284 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=27165/tid=27169] ppid=27163 vsize=545804 CPUtime=927.63
/proc/27165/task/27169/stat : 27169 (gnovelty+) R 27163 27165 15881 0 -1 4202560 10 0 0 0 50424 42339 0 0 15 0 4 0 1100577819 558903296 19778 4294967295 134512640 135680988 3221000976 3058426204 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3712.02
Current children cumulated vsize (KiB) 545804
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.03
CPU time (s): 3712.09
CPU user time (s): 2016.12
CPU system time (s): 1695.97
CPU usage (%): 371.198
Max. virtual memory (cumulated for all children) (KiB): 545804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2016.12
system time used= 1695.97
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19823
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= 94279085
involuntary context switches= 204885
runsolver used 0.03 second user time and 0.01 second system time
The end
Begin job on tipi44 at 2009-05-28 00:52:47
IDJOB=1778104
IDBENCH=70550
IDSOLVER=617
FILE ID=tipi44/1778104-1243464767
PBS_JOBID=
Free space on /tmp= 15894 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/520/unif-k3-r4.25-v520-c2210-S1331813943-033.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778104-1243464767/watcher-1778104-1243464767 -o /tmp/evaluation-result-1778104-1243464767/solver-1778104-1243464767 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778104-1243464767.cnf 131395652 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 3c2c13464ac33c271a6f6b3146a6fa75
RANDOM SEED= 131395652
Linux tipi44 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.116
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
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.116
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.116
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.16
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3039924 kB
Buffers: 130912 kB
Cached: 91212 kB
SwapCached: 2180 kB
Active: 88664 kB
Inactive: 143296 kB
HighTotal: 2489216 kB
HighFree: 2385768 kB
LowTotal: 879316 kB
LowFree: 654156 kB
SwapTotal: 1959888 kB
SwapFree: 1954076 kB
Dirty: 1380 kB
Writeback: 0 kB
AnonPages: 8868 kB
Mapped: 3432 kB
Slab: 86916 kB
SReclaimable: 77072 kB
SUnreclaim: 9844 kB
PageTables: 464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 87888 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15894 MiB
End job on tipi44 at 2009-05-28 01:09:29