runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778218-1243471312/watcher-1778218-1243471312 -o /tmp/evaluation-result-1778218-1243471312/solver-1778218-1243471312 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778218-1243471312.cnf 1955882346 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.81 3.80 3/97 4094
/proc/meminfo: memFree=3076552/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=509232 CPUtime=0.01
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 1416 0 0 0 0 1 0 0 18 0 1 0 1101268408 521453568 1373 4294967295 134512640 135680988 3213726768 3213726032 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/4094/statm: 127308 1381 99 286 0 127020 0
[startup+0.111239 s]
/proc/loadavg: 3.60 3.81 3.80 3/97 4094
/proc/meminfo: memFree=3076552/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=0.12
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 6 6 0 0 19 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 545804
[startup+0.21123 s]
/proc/loadavg: 3.60 3.81 3.80 3/97 4094
/proc/meminfo: memFree=3076552/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=0.46
/proc/4094/stat : 4094 (gnovelty+) S 4092 4094 8948 0 -1 4202496 19807 0 0 0 22 24 0 0 19 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213725964 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 545804
[startup+0.311222 s]
/proc/loadavg: 3.60 3.81 3.80 3/97 4094
/proc/meminfo: memFree=3076552/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=0.82
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 37 45 0 0 18 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 545804
[startup+0.711191 s]
/proc/loadavg: 3.60 3.81 3.80 3/97 4094
/proc/meminfo: memFree=3076552/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=2.33
/proc/4094/stat : 4094 (gnovelty+) S 4092 4094 8948 0 -1 4202496 19807 0 0 0 112 121 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 545804
[startup+1.51114 s]
/proc/loadavg: 3.60 3.81 3.80 5/101 4098
/proc/meminfo: memFree=2998408/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=5.28
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 251 277 0 0 16 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=1.25
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 68 57 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=1.32
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 54 78 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=1.29
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 65 64 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 545804
[startup+3.11101 s]
/proc/loadavg: 3.60 3.81 3.80 5/101 4099
/proc/meminfo: memFree=2997800/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=11.32
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 573 559 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=2.77
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 145 132 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=2.85
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 138 147 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=2.8
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 152 128 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.32
Current children cumulated vsize (KiB) 545804
[startup+6.31081 s]
/proc/loadavg: 3.63 3.81 3.80 5/101 4100
/proc/meminfo: memFree=2997800/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=23.13
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 1153 1160 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=5.68
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 289 279 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=5.81
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 285 296 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=5.73
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 287 286 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.13
Current children cumulated vsize (KiB) 545804
[startup+12.7103 s]
/proc/loadavg: 3.66 3.81 3.80 5/101 4100
/proc/meminfo: memFree=2997616/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=47.1
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 2351 2359 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=11.57
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 579 578 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=11.85
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 574 611 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=11.77
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 586 591 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.1
Current children cumulated vsize (KiB) 545804
[startup+25.5093 s]
/proc/loadavg: 3.73 3.82 3.81 5/101 4102
/proc/meminfo: memFree=2997680/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=94.44
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 4803 4641 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=23.56
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 1196 1160 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=23.58
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 1169 1189 0 0 16 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=23.54
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 1192 1162 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 94.44
Current children cumulated vsize (KiB) 545804
[startup+51.1073 s]
/proc/loadavg: 3.63 3.79 3.80 5/101 4287
/proc/meminfo: memFree=2997064/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=188.52
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 9734 9118 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=47.05
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 2418 2287 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=47.04
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 2400 2304 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=46.93
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 2417 2276 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 188.52
Current children cumulated vsize (KiB) 545804
[startup+102.314 s]
/proc/loadavg: 3.74 3.79 3.79 8/102 4295
/proc/meminfo: memFree=2997324/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=377.16
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 19508 18208 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=93.86
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 4810 4576 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=94.12
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 4868 4544 0 0 16 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=94.08
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 4874 4534 0 0 16 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 377.16
Current children cumulated vsize (KiB) 545804
[startup+162.309 s]
/proc/loadavg: 3.75 3.78 3.79 5/101 4482
/proc/meminfo: memFree=2997084/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=598.36
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 30860 28976 0 0 16 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=148.97
/proc/4094/task/4096/stat : 4096 (gnovelty+) S 4092 4094 8948 0 -1 4202560 7 0 0 0 7610 7287 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=149.64
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 7751 7213 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=149.15
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 7683 7232 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 598.36
Current children cumulated vsize (KiB) 545804
[startup+222.315 s]
/proc/loadavg: 3.80 3.79 3.79 5/101 4669
/proc/meminfo: memFree=2997456/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=819.73
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 42263 39710 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=203.82
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 10466 9916 0 0 16 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=205.3
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 10569 9961 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=204.5
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 10562 9888 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 819.73
Current children cumulated vsize (KiB) 545804
[startup+282.31 s]
/proc/loadavg: 3.74 3.77 3.79 4/101 4858
/proc/meminfo: memFree=2997580/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=1040.69
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 53541 50528 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=258.84
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 13313 12571 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=260.8
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 13388 12692 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=4094] ppid=4092 vsize=545804 CPUtime=1704.26
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 87837 82589 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=424.31
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 21793 20638 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=427.56
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 21966 20790 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=425.74
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 21944 20630 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1704.26
Current children cumulated vsize (KiB) 545804
[startup+522.311 s]
/proc/loadavg: 3.91 3.85 3.81 5/101 5614
/proc/meminfo: memFree=2997704/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=1925.08
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 99227 93281 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=479.98
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 24655 23343 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=482.73
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 24847 23426 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=480.67
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 24726 23341 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1925.08
Current children cumulated vsize (KiB) 545804
[startup+582.316 s]
/proc/loadavg: 4.04 3.89 3.83 5/101 5803
/proc/meminfo: memFree=2997332/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=2146.83
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 110715 103968 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=535.75
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 27581 25994 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=538.35
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 27772 26063 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=536.18
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 27581 26037 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2146.83
Current children cumulated vsize (KiB) 545804
[startup+642.312 s]
/proc/loadavg: 3.79 3.84 3.81 5/101 5992
/proc/meminfo: memFree=2997448/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=2367.8
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 122250 114530 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213725964 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=590.49
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 30417 28632 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=593.7
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 30629 28741 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=591.4
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 30539 28601 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2367.8
Current children cumulated vsize (KiB) 545804
[startup+702.307 s]
/proc/loadavg: 3.92 3.87 3.82 5/101 6179
/proc/meminfo: memFree=2997696/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=2589.04
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 133610 125294 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213725964 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=645.97
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 33255 31342 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=649.1
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 33485 31425 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=646.85
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 33370 31315 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059101996 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2589.04
Current children cumulated vsize (KiB) 545804
[startup+762.312 s]
/proc/loadavg: 4.03 3.89 3.83 5/101 6366
/proc/meminfo: memFree=2997084/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=2809.39
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 144976 135963 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=700.96
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 36121 33975 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=704.2
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 36269 34151 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=702.11
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 36244 33967 0 0 16 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2809.39
Current children cumulated vsize (KiB) 545804
[startup+822.307 s]
/proc/loadavg: 3.90 3.87 3.82 6/101 6557
/proc/meminfo: memFree=2997332/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=3031.09
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 156385 146724 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=756.24
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 38957 36667 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=759.77
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 39154 36823 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=757.2
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 39070 36650 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3031.09
Current children cumulated vsize (KiB) 545804
[startup+882.313 s]
/proc/loadavg: 3.73 3.82 3.81 5/101 6746
/proc/meminfo: memFree=2997704/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=3251.79
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 167891 157288 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=811.34
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 41864 39270 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=814.44
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 42000 39444 0 0 16 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=813.25
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 42002 39323 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3251.79
Current children cumulated vsize (KiB) 545804
[startup+942.318 s]
/proc/loadavg: 3.89 3.85 3.82 5/101 6935
/proc/meminfo: memFree=2997820/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=3472.57
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 179224 168033 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=866.47
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 44685 41962 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=869.25
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 44830 42095 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=868.63
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 44841 42022 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3472.57
Current children cumulated vsize (KiB) 545804
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 3.88 3.85 3.82 6/101 7122
/proc/meminfo: memFree=2997820/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=3684.03
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 190145 178258 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=918.89
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 47427 44462 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=922.63
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 47608 44655 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=921.58
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 47516 44642 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3684.03
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
[startup+1000.01 s]
/proc/loadavg: 3.88 3.85 3.82 6/101 7122
/proc/meminfo: memFree=2997820/3368532 swapFree=1952996/1959888
[pid=4094] ppid=4092 vsize=545804 CPUtime=3684.03
/proc/4094/stat : 4094 (gnovelty+) R 4092 4094 8948 0 -1 4202496 19807 0 0 0 190145 178258 0 0 15 0 4 0 1101268408 558903296 19762 4294967295 134512640 135680988 3213726768 3213726012 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/4094/statm: 136451 19762 103 286 0 136163 0
[pid=4094/tid=4096] ppid=4092 vsize=545804 CPUtime=918.89
/proc/4094/task/4096/stat : 4096 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 47427 44462 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3077886300 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=4094/tid=4097] ppid=4092 vsize=545804 CPUtime=922.63
/proc/4094/task/4097/stat : 4097 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 47608 44655 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3068494172 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4094/tid=4098] ppid=4092 vsize=545804 CPUtime=921.58
/proc/4094/task/4098/stat : 4098 (gnovelty+) R 4092 4094 8948 0 -1 4202560 7 0 0 0 47516 44642 0 0 15 0 4 0 1101268416 558903296 19762 4294967295 134512640 135680988 3213726768 3059102044 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3684.03
Current children cumulated vsize (KiB) 545804
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3684.09
CPU user time (s): 1901.49
CPU system time (s): 1782.6
CPU usage (%): 368.395
Max. virtual memory (cumulated for all children) (KiB): 545804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1901.49
system time used= 1782.6
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19807
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= 103728381
involuntary context switches= 226983
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on tipi45 at 2009-05-28 02:41:52
IDJOB=1778218
IDBENCH=70588
IDSOLVER=617
FILE ID=tipi45/1778218-1243471312
PBS_JOBID=
Free space on /tmp= 15502 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/440/unif-k3-r4.25-v440-c1870-S1563412474-059.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778218-1243471312/watcher-1778218-1243471312 -o /tmp/evaluation-result-1778218-1243471312/solver-1778218-1243471312 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778218-1243471312.cnf 1955882346 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= db2a5eb5a2e705c514d4161cd8870d93
RANDOM SEED= 1955882346
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: 3076552 kB
Buffers: 123456 kB
Cached: 61388 kB
SwapCached: 2100 kB
Active: 64160 kB
Inactive: 129832 kB
HighTotal: 2489216 kB
HighFree: 2415228 kB
LowTotal: 879316 kB
LowFree: 661324 kB
SwapTotal: 1959888 kB
SwapFree: 1952996 kB
Dirty: 1384 kB
Writeback: 0 kB
AnonPages: 7980 kB
Mapped: 3080 kB
Slab: 85112 kB
SReclaimable: 74216 kB
SUnreclaim: 10896 kB
PageTables: 480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 89412 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 02:58:32