runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778236-1243472313/watcher-1778236-1243472313 -o /tmp/evaluation-result-1778236-1243472313/solver-1778236-1243472313 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778236-1243472313.cnf 289791863 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.88 3.85 3.82 3/97 7161
/proc/meminfo: memFree=3076948/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=509228 CPUtime=0.01
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 1399 0 0 0 0 1 0 0 18 0 1 0 1101368538 521449472 1356 4294967295 134512640 135680988 3220540064 3220539328 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/7161/statm: 127307 1364 99 286 0 127019 0
[startup+0.112922 s]
/proc/loadavg: 3.88 3.85 3.82 3/97 7161
/proc/meminfo: memFree=3076948/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=0.12
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 5 7 0 0 19 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 545800
[startup+0.212915 s]
/proc/loadavg: 3.88 3.85 3.82 3/97 7161
/proc/meminfo: memFree=3076948/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=0.47
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 24 23 0 0 19 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 545800
[startup+0.312905 s]
/proc/loadavg: 3.88 3.85 3.82 3/97 7161
/proc/meminfo: memFree=3076948/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=0.86
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 42 44 0 0 18 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 545800
[startup+0.712875 s]
/proc/loadavg: 3.88 3.85 3.82 3/97 7161
/proc/meminfo: memFree=3076948/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=2.39
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 120 119 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 545800
[startup+1.51282 s]
/proc/loadavg: 3.88 3.85 3.82 5/101 7165
/proc/meminfo: memFree=2998360/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=5.23
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 288 235 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539260 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=1.35
/proc/7161/task/7163/stat : 7163 (gnovelty+) S 7159 7161 8948 0 -1 4202560 8 0 0 0 66 69 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=1.29
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 79 50 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=1.22
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 72 50 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 545800
[startup+3.11274 s]
/proc/loadavg: 3.81 3.84 3.81 5/101 7166
/proc/meminfo: memFree=2998144/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=11.25
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 604 521 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=2.84
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 146 138 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=2.78
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 149 129 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=2.7
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 150 120 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319660 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.25
Current children cumulated vsize (KiB) 545800
[startup+6.31247 s]
/proc/loadavg: 3.81 3.84 3.81 5/101 7166
/proc/meminfo: memFree=2998144/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=23.13
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 1253 1060 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=5.85
/proc/7161/task/7163/stat : 7163 (gnovelty+) S 7159 7161 8948 0 -1 4202560 8 0 0 0 308 277 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=5.71
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 303 268 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=5.7
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 311 259 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.13
Current children cumulated vsize (KiB) 545800
[startup+12.7119 s]
/proc/loadavg: 3.68 3.81 3.80 5/101 7167
/proc/meminfo: memFree=2997928/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=46.88
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 2498 2190 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=11.85
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 624 561 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=11.63
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 613 550 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=11.5
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 604 546 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 46.88
Current children cumulated vsize (KiB) 545800
[startup+25.511 s]
/proc/loadavg: 3.65 3.80 3.80 5/101 7167
/proc/meminfo: memFree=2998016/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=94
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 4889 4511 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=23.55
/proc/7161/task/7163/stat : 7163 (gnovelty+) S 7159 7161 8948 0 -1 4202560 8 0 0 0 1211 1144 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=23.36
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 1216 1120 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=23.28
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 1210 1118 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 94
Current children cumulated vsize (KiB) 545800
[startup+51.1089 s]
/proc/loadavg: 3.83 3.83 3.81 5/101 7350
/proc/meminfo: memFree=2997768/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=188.47
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 9769 9078 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=47.21
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 2436 2285 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=46.88
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 2406 2282 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=46.94
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 2452 2242 0 0 16 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 188.47
Current children cumulated vsize (KiB) 545800
[startup+102.315 s]
/proc/loadavg: 3.97 3.87 3.82 5/101 7539
/proc/meminfo: memFree=2997200/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=378.2
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 19581 18239 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=94.63
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 4895 4568 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=94.42
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 4843 4599 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=94.39
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 4952 4487 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 378.2
Current children cumulated vsize (KiB) 545800
[startup+162.31 s]
/proc/loadavg: 3.97 3.88 3.83 5/101 7732
/proc/meminfo: memFree=2997540/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=598.77
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 31058 28819 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=149.55
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 7750 7205 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=149.93
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 7743 7250 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=149.47
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 7805 7142 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 598.77
Current children cumulated vsize (KiB) 545800
[startup+222.306 s]
/proc/loadavg: 3.92 3.88 3.83 5/101 7919
/proc/meminfo: memFree=2997416/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=819.88
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 42577 39411 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=204.96
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 10631 9865 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=205.11
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 10621 9890 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=205.04
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 10709 9795 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 819.88
Current children cumulated vsize (KiB) 545800
[startup+282.311 s]
/proc/loadavg: 3.94 3.89 3.83 5/101 8106
/proc/meminfo: memFree=2997492/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=1039.29
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 54251 49678 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=259.81
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 13443 12538 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=259.27
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 13534 12393 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=7161] ppid=7159 vsize=545800 CPUtime=1703.37
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 88934 81403 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=426.14
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 22069 20545 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=424.91
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 22134 20357 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=426.65
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 22332 20333 0 0 16 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319660 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1703.37
Current children cumulated vsize (KiB) 545800
[startup+522.312 s]
/proc/loadavg: 3.93 3.88 3.82 5/101 8859
/proc/meminfo: memFree=2997724/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=1923.09
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 100377 91932 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=480.69
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 24892 23177 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=479.84
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 25029 22955 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=482.01
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 25280 22921 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1923.09
Current children cumulated vsize (KiB) 545800
[startup+582.308 s]
/proc/loadavg: 3.88 3.87 3.82 5/101 9054
/proc/meminfo: memFree=2996940/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=2143.94
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 111897 102497 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=536.03
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 27770 25833 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=535.02
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 27896 25606 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=537.3
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 28170 25560 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319660 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2143.94
Current children cumulated vsize (KiB) 545800
[startup+642.313 s]
/proc/loadavg: 3.84 3.85 3.81 5/101 9241
/proc/meminfo: memFree=2997164/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=2365.18
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 123444 113074 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539260 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=591.09
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 30616 28493 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103916 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=590.37
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 30756 28281 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=593.02
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 31103 28199 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2365.18
Current children cumulated vsize (KiB) 545800
[startup+702.309 s]
/proc/loadavg: 3.94 3.87 3.82 5/101 9430
/proc/meminfo: memFree=2997220/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=2586.49
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 134976 123673 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=646.61
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 33531 31130 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103916 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=645.02
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 33571 30931 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=648.96
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 34027 30869 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2586.49
Current children cumulated vsize (KiB) 545800
[startup+762.314 s]
/proc/loadavg: 3.92 3.88 3.82 5/101 9619
/proc/meminfo: memFree=2997024/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=2807.73
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 146480 134293 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539260 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=702.14
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 36443 33771 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=700.08
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 36461 33547 0 0 16 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=704.13
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 36883 33530 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2807.73
Current children cumulated vsize (KiB) 545800
[startup+822.309 s]
/proc/loadavg: 3.85 3.87 3.82 6/101 9623
/proc/meminfo: memFree=2997388/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=3028.44
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 157962 144882 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=757.47
/proc/7161/task/7163/stat : 7163 (gnovelty+) S 7159 7161 8948 0 -1 4202560 8 0 0 0 39245 36502 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=755.66
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 39330 36236 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=759.24
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 39781 36143 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319660 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3028.44
Current children cumulated vsize (KiB) 545800
[startup+882.314 s]
/proc/loadavg: 3.93 3.89 3.82 5/101 9810
/proc/meminfo: memFree=2996900/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=3250.56
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 169494 155562 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539260 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=812.99
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 42112 39187 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103916 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=811.39
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 42192 38947 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=814.47
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 42662 38785 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3250.56
Current children cumulated vsize (KiB) 545800
[startup+942.31 s]
/proc/loadavg: 3.98 3.91 3.83 5/101 10001
/proc/meminfo: memFree=2996776/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=3471.61
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 181094 166067 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=868.54
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 45040 41814 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=866.02
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 44997 41605 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711788 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=870.48
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 45606 41442 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3471.61
Current children cumulated vsize (KiB) 545800
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.01 3.93 3.84 5/101 10190
/proc/meminfo: memFree=2997148/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=3684.46
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 192237 176209 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=922.14
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 47838 44376 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=918.89
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 47781 44108 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=923.42
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 48382 43960 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3684.46
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
[startup+1000.01 s]
/proc/loadavg: 4.01 3.93 3.84 5/101 10190
/proc/meminfo: memFree=2997148/3368532 swapFree=1952996/1959888
[pid=7161] ppid=7159 vsize=545800 CPUtime=3684.46
/proc/7161/stat : 7161 (gnovelty+) R 7159 7161 8948 0 -1 4202496 19824 0 0 0 192237 176209 0 0 15 0 4 0 1101368538 558899200 19780 4294967295 134512640 135680988 3220540064 3220539308 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/7161/statm: 136450 19780 103 286 0 136162 0
[pid=7161/tid=7163] ppid=7159 vsize=545800 CPUtime=922.14
/proc/7161/task/7163/stat : 7163 (gnovelty+) R 7159 7161 8948 0 -1 4202560 8 0 0 0 47838 44376 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3077103964 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7161/tid=7164] ppid=7159 vsize=545800 CPUtime=918.89
/proc/7161/task/7164/stat : 7164 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 47781 44108 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3067711836 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7161/tid=7165] ppid=7159 vsize=545800 CPUtime=923.42
/proc/7161/task/7165/stat : 7165 (gnovelty+) R 7159 7161 8948 0 -1 4202560 9 0 0 0 48382 43960 0 0 15 0 4 0 1101368546 558899200 19780 4294967295 134512640 135680988 3220540064 3058319708 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3684.46
Current children cumulated vsize (KiB) 545800
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3684.51
CPU user time (s): 1922.39
CPU system time (s): 1762.12
CPU usage (%): 368.436
Max. virtual memory (cumulated for all children) (KiB): 545800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1922.39
system time used= 1762.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19824
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= 100907994
involuntary context switches= 257502
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on tipi45 at 2009-05-28 02:58:33
IDJOB=1778236
IDBENCH=70594
IDSOLVER=617
FILE ID=tipi45/1778236-1243472313
PBS_JOBID=
Free space on /tmp= 15502 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/540/unif-k3-r4.25-v540-c2295-S1404929091-050.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778236-1243472313/watcher-1778236-1243472313 -o /tmp/evaluation-result-1778236-1243472313/solver-1778236-1243472313 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778236-1243472313.cnf 289791863 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 16ac45f8099e9b8d91370787f14bd295
RANDOM SEED= 289791863
Linux tipi45 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.081
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.41
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.081
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.10
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.081
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.16
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.081
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3077392 kB
Buffers: 123460 kB
Cached: 61520 kB
SwapCached: 2100 kB
Active: 64484 kB
Inactive: 129868 kB
HighTotal: 2489216 kB
HighFree: 2415540 kB
LowTotal: 879316 kB
LowFree: 661852 kB
SwapTotal: 1959888 kB
SwapFree: 1952996 kB
Dirty: 1536 kB
Writeback: 0 kB
AnonPages: 7980 kB
Mapped: 3192 kB
Slab: 85088 kB
SReclaimable: 74228 kB
SUnreclaim: 10860 kB
PageTables: 468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 89408 kB
VmallocTotal: 114680 kB
VmallocUsed: 17900 kB
VmallocChunk: 96244 kB
Free space on /tmp at the end= 15502 MiB
End job on tipi45 at 2009-05-28 03:15:15