runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778254-1243473316/watcher-1778254-1243473316 -o /tmp/evaluation-result-1778254-1243473316/solver-1778254-1243473316 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778254-1243473316.cnf 2070851368 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.69 3.87 3.82 3/97 10229
/proc/meminfo: memFree=3075804/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=509232 CPUtime=0
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 1486 0 0 0 0 0 0 0 18 0 1 0 1101468862 521453568 1442 4294967295 134512640 135680988 3218888976 3218888240 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/10229/statm: 127308 1450 99 286 0 127020 0
[startup+0.054593 s]
/proc/loadavg: 3.69 3.87 3.82 3/97 10229
/proc/meminfo: memFree=3075804/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=517044 CPUtime=0.06
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 14066 0 0 0 1 5 0 0 18 0 1 0 1101468862 529453056 14021 4294967295 134512640 135680988 3218888976 3218888240 134537842 0 0 0 0 0 0 0 17 2 0 0 0
/proc/10229/statm: 129261 14033 99 286 0 128973 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 517044
[startup+0.11456 s]
/proc/loadavg: 3.69 3.87 3.82 3/97 10229
/proc/meminfo: memFree=3075804/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=0.14
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 7 7 0 0 20 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888172 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 545804
[startup+0.314543 s]
/proc/loadavg: 3.69 3.87 3.82 3/97 10229
/proc/meminfo: memFree=3075804/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=0.84
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 40 44 0 0 18 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 545804
[startup+0.714557 s]
/proc/loadavg: 3.69 3.87 3.82 3/97 10229
/proc/meminfo: memFree=3075804/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=2.09
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 123 86 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 545804
[startup+1.51448 s]
/proc/loadavg: 3.69 3.87 3.82 6/101 10233
/proc/meminfo: memFree=2997492/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=4.85
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 279 206 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=1.14
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 68 46 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=1.21
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 70 51 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035372 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=1.13
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 73 40 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 545804
[startup+3.11434 s]
/proc/loadavg: 3.69 3.87 3.82 5/101 10233
/proc/meminfo: memFree=2997344/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=10.89
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 607 482 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=2.68
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 153 115 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=2.77
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 153 124 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=2.62
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 150 112 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.89
Current children cumulated vsize (KiB) 545804
[startup+6.31409 s]
/proc/loadavg: 3.71 3.87 3.82 6/102 10315
/proc/meminfo: memFree=2997140/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=22.06
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 1235 971 0 0 16 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=5.53
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 324 229 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=5.52
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 303 249 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035372 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=5.39
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 313 226 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.06
Current children cumulated vsize (KiB) 545804
[startup+12.7136 s]
/proc/loadavg: 3.81 3.89 3.83 5/101 10416
/proc/meminfo: memFree=2996864/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=46.02
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 2533 2069 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=11.53
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 655 498 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=11.55
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 627 528 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=11.35
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 637 498 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 46.02
Current children cumulated vsize (KiB) 545804
[startup+25.5126 s]
/proc/loadavg: 3.85 3.89 3.83 5/101 10417
/proc/meminfo: memFree=2996860/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=92.82
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 5150 4132 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=23.26
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 1321 1005 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427500 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=23.34
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 1294 1040 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=23.03
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 1285 1018 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 92.82
Current children cumulated vsize (KiB) 545804
[startup+51.1102 s]
/proc/loadavg: 3.84 3.88 3.83 5/101 10421
/proc/meminfo: memFree=2996892/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=187.32
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 10367 8365 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=46.71
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 2637 2034 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=46.97
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 2585 2112 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035372 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=46.91
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 2610 2081 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 187.32
Current children cumulated vsize (KiB) 545804
[startup+102.316 s]
/proc/loadavg: 3.86 3.88 3.82 5/101 10607
/proc/meminfo: memFree=2997140/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=377.66
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 20931 16835 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=94.22
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 5258 4164 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=94.37
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 5201 4236 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=94.58
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 5273 4185 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 377.66
Current children cumulated vsize (KiB) 545804
[startup+162.312 s]
/proc/loadavg: 3.79 3.86 3.82 5/101 10797
/proc/meminfo: memFree=2997272/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=600.16
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 33068 26948 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888172 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=149.99
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 8303 6696 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=149.92
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 8179 6813 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=149.88
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 8268 6720 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 600.16
Current children cumulated vsize (KiB) 545804
[startup+222.307 s]
/proc/loadavg: 3.97 3.89 3.83 5/101 10986
/proc/meminfo: memFree=2997140/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=823.3
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 45346 36984 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888172 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=205.72
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 11318 9254 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=205.59
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 11230 9329 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=205.87
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 11383 9204 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 823.3
Current children cumulated vsize (KiB) 545804
[startup+282.302 s]
/proc/loadavg: 3.94 3.89 3.83 5/101 11178
/proc/meminfo: memFree=2996992/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=1046.09
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 57526 47083 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=261.75
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 14312 11863 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=261.24
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 14304 11820 0 0 16 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=10229] ppid=10227 vsize=545804 CPUtime=1493.36
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 82077 67259 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=373.65
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 20406 16959 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=372.94
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 20421 16873 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=373.54
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 20587 16767 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1493.36
Current children cumulated vsize (KiB) 545804
[startup+462.308 s]
/proc/loadavg: 3.95 3.93 3.85 5/101 11742
/proc/meminfo: memFree=2996892/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=1716.53
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 94226 77427 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888172 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=429.5
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 23469 19481 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=428.65
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 23463 19402 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=429.49
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 23630 19319 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1716.53
Current children cumulated vsize (KiB) 545804
[startup+522.313 s]
/proc/loadavg: 3.95 3.92 3.85 5/101 11931
/proc/meminfo: memFree=2997216/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=1938.63
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 106341 87522 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=484.73
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 26462 22011 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=484.36
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 26512 21924 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=485.41
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 26703 21838 0 0 16 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1938.63
Current children cumulated vsize (KiB) 545804
[startup+582.309 s]
/proc/loadavg: 3.90 3.92 3.85 4/101 12119
/proc/meminfo: memFree=2997332/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=2162.21
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 118609 97612 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=540.28
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 29506 24522 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=540.49
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 29558 24491 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=541.15
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 29781 24334 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2162.21
Current children cumulated vsize (KiB) 545804
[startup+642.304 s]
/proc/loadavg: 3.99 3.94 3.86 5/101 12306
/proc/meminfo: memFree=2997216/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=2385.45
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 130742 107803 0 0 16 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=596.34
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 32557 27077 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=596.33
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 32653 26980 0 0 16 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=596.43
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 32739 26904 0 0 16 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643244 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2385.45
Current children cumulated vsize (KiB) 545804
[startup+702.32 s]
/proc/loadavg: 3.94 3.93 3.86 5/101 12498
/proc/meminfo: memFree=2997176/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=2608.3
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 142921 117909 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=652.21
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 35547 29674 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=651.91
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 35691 29500 0 0 16 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=652.22
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 35772 29450 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2608.3
Current children cumulated vsize (KiB) 545804
[startup+762.315 s]
/proc/loadavg: 3.89 3.91 3.85 5/101 12685
/proc/meminfo: memFree=2997044/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=2829.96
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 155171 127825 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=708.11
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 38687 32124 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=707.4
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 38734 32006 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=707.45
/proc/10229/task/10233/stat : 10233 (gnovelty+) S 10227 10229 8948 0 -1 4202560 9 0 0 0 38779 31966 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2829.96
Current children cumulated vsize (KiB) 545804
[startup+822.31 s]
/proc/loadavg: 4.07 3.96 3.87 5/101 12874
/proc/meminfo: memFree=2997028/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=3053.25
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 167475 137850 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888172 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=763.87
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 41722 34665 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=763.28
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 41767 34561 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=763.62
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 41876 34486 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643244 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3053.25
Current children cumulated vsize (KiB) 545804
[startup+882.305 s]
/proc/loadavg: 3.72 3.89 3.85 5/101 13062
/proc/meminfo: memFree=2997120/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=3275.89
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 179677 147912 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=819.68
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 44792 37176 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=818.84
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 44788 37096 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035372 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=819.41
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 44889 37052 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3275.89
Current children cumulated vsize (KiB) 545804
[startup+942.31 s]
/proc/loadavg: 3.93 3.91 3.86 6/101 13249
/proc/meminfo: memFree=2997112/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=3498.08
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 191945 157863 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=875.65
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 47871 39694 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=874.21
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 47859 39562 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=875.23
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 48008 39515 0 0 16 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3498.08
Current children cumulated vsize (KiB) 545804
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 3.78 3.87 3.85 6/101 13436
/proc/meminfo: memFree=2997064/3368532 swapFree=1952996/1959888
[pid=10229] ppid=10227 vsize=545804 CPUtime=3713.45
/proc/10229/stat : 10229 (gnovelty+) R 10227 10229 8948 0 -1 4202496 19826 0 0 0 203613 167732 0 0 15 0 4 0 1101468862 558903296 19781 4294967295 134512640 135680988 3218888976 3218888220 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/10229/statm: 136451 19781 103 286 0 136163 0
[pid=10229/tid=10231] ppid=10227 vsize=545804 CPUtime=929.98
/proc/10229/task/10231/stat : 10231 (gnovelty+) R 10227 10229 8948 0 -1 4202560 8 0 0 0 50881 42117 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3077427548 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=10229/tid=10232] ppid=10227 vsize=545804 CPUtime=927.95
/proc/10229/task/10232/stat : 10232 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 50722 42073 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3068035420 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=10229/tid=10233] ppid=10227 vsize=545804 CPUtime=929
/proc/10229/task/10233/stat : 10233 (gnovelty+) R 10227 10229 8948 0 -1 4202560 9 0 0 0 50912 41988 0 0 15 0 4 0 1101468870 558903296 19781 4294967295 134512640 135680988 3218888976 3058643292 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3713.45
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.02
CPU time (s): 3713.47
CPU user time (s): 2036.14
CPU system time (s): 1677.33
CPU usage (%): 371.339
Max. virtual memory (cumulated for all children) (KiB): 545804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2036.14
system time used= 1677.33
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19826
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= 92659101
involuntary context switches= 219624
runsolver used 0 second user time and 0.02 second system time
The end
Begin job on tipi45 at 2009-05-28 03:15:16
IDJOB=1778254
IDBENCH=70600
IDSOLVER=617
FILE ID=tipi45/1778254-1243473316
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-S853819067-006.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778254-1243473316/watcher-1778254-1243473316 -o /tmp/evaluation-result-1778254-1243473316/solver-1778254-1243473316 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778254-1243473316.cnf 2070851368 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 02a783b8e731a7854fc4f9514bffb4d8
RANDOM SEED= 2070851368
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: 3075804 kB
Buffers: 123464 kB
Cached: 61608 kB
SwapCached: 2100 kB
Active: 64228 kB
Inactive: 129880 kB
HighTotal: 2489216 kB
HighFree: 2414656 kB
LowTotal: 879316 kB
LowFree: 661148 kB
SwapTotal: 1959888 kB
SwapFree: 1952996 kB
Dirty: 1388 kB
Writeback: 0 kB
AnonPages: 8284 kB
Mapped: 3060 kB
Slab: 85160 kB
SReclaimable: 74240 kB
SUnreclaim: 10920 kB
PageTables: 660 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 03:31:58