runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777639-1243453135/watcher-1777639-1243453135 -o /tmp/evaluation-result-1777639-1243453135/solver-1777639-1243453135 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777639-1243453135.cnf 351227887 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: 4.08 4.04 4.01 3/97 11683
/proc/meminfo: memFree=3081736/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=509232 CPUtime=0.01
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 1455 0 0 0 0 1 0 0 18 0 1 0 1099450710 521453568 1412 4294967295 134512640 135680988 3219022128 3219021392 134537167 0 0 0 0 0 0 0 17 1 0 0 0
/proc/11683/statm: 127308 1420 99 286 0 127020 0
[startup+0.030666 s]
/proc/loadavg: 4.08 4.04 4.01 3/97 11683
/proc/meminfo: memFree=3081736/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=517048 CPUtime=0.03
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 9926 0 0 0 0 3 0 0 18 0 1 0 1099450710 529457152 9883 4294967295 134512640 135680988 3219022128 3219020236 134958286 0 0 0 0 0 0 0 17 1 0 0 0
/proc/11683/statm: 129262 9883 99 286 0 128974 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 517048
[startup+0.110643 s]
/proc/loadavg: 4.08 4.04 4.01 3/97 11683
/proc/meminfo: memFree=3081736/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=0.12
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 5 7 0 0 19 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 545804
[startup+0.310625 s]
/proc/loadavg: 4.08 4.04 4.01 3/97 11683
/proc/meminfo: memFree=3081736/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=0.87
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 66 21 0 0 18 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 545804
[startup+0.710595 s]
/proc/loadavg: 4.08 4.04 4.01 3/97 11683
/proc/meminfo: memFree=3081736/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=2.43
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 193 50 0 0 16 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 545804
[startup+1.5107 s]
/proc/loadavg: 4.08 4.04 4.01 8/101 11687
/proc/meminfo: memFree=3003640/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=5.53
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 444 109 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=1.36
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 107 29 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=1.38
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 111 27 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=1.33
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 110 23 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 545804
[startup+3.11042 s]
/proc/loadavg: 4.08 4.04 4.00 5/101 11687
/proc/meminfo: memFree=3003060/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=11.81
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 945 236 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=2.91
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 228 63 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=2.98
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 238 60 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=2.91
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 239 52 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.81
Current children cumulated vsize (KiB) 545804
[startup+6.31027 s]
/proc/loadavg: 4.08 4.04 4.00 5/101 11687
/proc/meminfo: memFree=3003060/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=24.03
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 1947 456 0 0 16 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=6
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 490 110 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=6.07
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 488 119 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=5.96
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 484 112 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.03
Current children cumulated vsize (KiB) 545804
[startup+12.7097 s]
/proc/loadavg: 4.06 4.04 4.00 5/101 11687
/proc/meminfo: memFree=3002876/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=48.89
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 3940 949 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=12.14
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 977 237 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=12.3
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 972 258 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=12.17
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 989 228 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.89
Current children cumulated vsize (KiB) 545804
[startup+25.5094 s]
/proc/loadavg: 4.05 4.04 4.00 5/101 11687
/proc/meminfo: memFree=3002948/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=97.99
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 7904 1895 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=24.74
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 2003 471 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=24.58
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 1952 506 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=24.46
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 1990 456 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 97.99
Current children cumulated vsize (KiB) 545804
[startup+51.1073 s]
/proc/loadavg: 4.16 4.07 4.01 5/101 11875
/proc/meminfo: memFree=3002932/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=196.7
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 15950 3720 0 0 16 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=49.64
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 4052 912 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=48.88
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 3900 988 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=49.01
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 3991 910 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.7
Current children cumulated vsize (KiB) 545804
[startup+102.323 s]
/proc/loadavg: 3.99 4.04 4.00 5/101 12060
/proc/meminfo: memFree=3002876/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=395.1
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 31995 7515 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=98.92
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 8012 1880 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=98.59
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 7924 1935 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=98.58
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 7998 1860 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 395.1
Current children cumulated vsize (KiB) 545804
[startup+162.319 s]
/proc/loadavg: 4.13 4.06 4.01 5/101 12248
/proc/meminfo: memFree=3002612/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=626.65
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 50819 11846 0 0 16 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=156.42
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 12683 2959 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=156.54
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 12662 2992 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=156.54
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 12687 2967 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 626.65
Current children cumulated vsize (KiB) 545804
[startup+222.314 s]
/proc/loadavg: 4.08 4.07 4.01 5/101 12437
/proc/meminfo: memFree=3002248/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=857.99
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 69670 16129 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=213.96
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 17416 3980 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=214.48
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 17371 4077 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=214.56
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 17430 4026 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 857.99
Current children cumulated vsize (KiB) 545804
[startup+282.309 s]
/proc/loadavg: 4.12 4.09 4.02 7/102 12571
/proc/meminfo: memFree=3001780/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=1089.07
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 88520 20387 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=271.78
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 22155 5023 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=272.12
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 22068 5144 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707828 134532950 0 0 0 0 0 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=11683] ppid=11681 vsize=545804 CPUtime=1549.45
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 126083 28862 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=386.26
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 31461 7165 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=387.34
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 31408 7326 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=388.08
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 31550 7258 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1549.45
Current children cumulated vsize (KiB) 545804
[startup+462.315 s]
/proc/loadavg: 3.99 4.03 4.00 5/101 13010
/proc/meminfo: memFree=3002080/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=1779.74
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 144922 33052 0 0 16 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021388 134997743 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=444.16
/proc/11683/task/11685/stat : 11685 (gnovelty+) S 11681 11683 8948 0 -1 4202560 6 0 0 0 36231 8185 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=444.5
/proc/11683/task/11686/stat : 11686 (gnovelty+) S 11681 11683 8948 0 -1 4202560 6 0 0 0 36080 8370 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=445.44
/proc/11683/task/11687/stat : 11687 (gnovelty+) S 11681 11683 8948 0 -1 4202560 7 0 0 0 36219 8325 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1779.74
Current children cumulated vsize (KiB) 545804
[startup+522.31 s]
/proc/loadavg: 4.02 4.02 4.00 5/101 13199
/proc/meminfo: memFree=3002080/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=2010.28
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 163659 37369 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=502.02
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 40943 9259 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=502.22
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 40757 9465 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=502.54
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 40826 9428 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2010.28
Current children cumulated vsize (KiB) 545804
[startup+582.316 s]
/proc/loadavg: 4.04 4.03 4.00 5/101 13388
/proc/meminfo: memFree=3001948/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=2242.27
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 182506 41721 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=560.19
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 45668 10351 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=560.3
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 45475 10555 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=560.43
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 45516 10527 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2242.27
Current children cumulated vsize (KiB) 545804
[startup+642.311 s]
/proc/loadavg: 3.99 4.01 3.99 5/101 13576
/proc/meminfo: memFree=3002080/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=2474.49
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 201311 46138 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=618.18
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 50365 11453 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=618.4
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 50128 11712 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=618.49
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 50228 11621 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2474.49
Current children cumulated vsize (KiB) 545804
[startup+702.307 s]
/proc/loadavg: 4.05 4.02 4.00 5/101 13765
/proc/meminfo: memFree=3002196/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=2705.74
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 220048 50526 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=676.26
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 55064 12562 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=675.91
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 54730 12861 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=676.76
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 55010 12666 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2705.74
Current children cumulated vsize (KiB) 545804
[startup+762.312 s]
/proc/loadavg: 4.05 4.03 4.00 6/101 13953
/proc/meminfo: memFree=3002080/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=2936.18
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 238837 54781 0 0 16 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=734.23
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 59831 13592 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=733.31
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 59377 13954 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=734.45
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 59694 13751 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2936.18
Current children cumulated vsize (KiB) 545804
[startup+822.316 s]
/proc/loadavg: 3.95 4.00 3.99 5/101 14142
/proc/meminfo: memFree=3001948/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=3166.31
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 257502 59129 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=791.49
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 64475 14674 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=791.22
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 64079 15043 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707828 134533487 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=791.98
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 64339 14859 0 0 16 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3166.31
Current children cumulated vsize (KiB) 545804
[startup+882.312 s]
/proc/loadavg: 3.83 3.95 3.98 5/101 14331
/proc/meminfo: memFree=3001808/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=3398.31
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 276407 63424 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=849.66
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 69242 15724 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=849.1
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 68790 16120 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=850.02
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 69086 15916 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3398.31
Current children cumulated vsize (KiB) 545804
[startup+942.308 s]
/proc/loadavg: 3.93 3.96 3.98 5/101 14516
/proc/meminfo: memFree=3002080/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=3629.75
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 295160 67815 0 0 16 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=907.62
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 73957 16805 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=906.6
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 73416 17244 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=908.11
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 73804 17007 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3629.75
Current children cumulated vsize (KiB) 545804
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.08 3.99 3.99 5/101 14703
/proc/meminfo: memFree=3002204/3368532 swapFree=1952996/1959888
[pid=11683] ppid=11681 vsize=545804 CPUtime=3851.71
/proc/11683/stat : 11683 (gnovelty+) R 11681 11683 8948 0 -1 4202496 19806 0 0 0 313167 72004 0 0 15 0 4 0 1099450710 558903296 19762 4294967295 134512640 135680988 3219022128 3219021372 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/11683/statm: 136451 19762 103 286 0 136163 0
[pid=11683/tid=11685] ppid=11681 vsize=545804 CPUtime=962.86
/proc/11683/task/11685/stat : 11685 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 78473 17813 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3077099868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11683/tid=11686] ppid=11681 vsize=545804 CPUtime=962.13
/proc/11683/task/11686/stat : 11686 (gnovelty+) R 11681 11683 8948 0 -1 4202560 6 0 0 0 77889 18324 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3067707740 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11683/tid=11687] ppid=11681 vsize=545804 CPUtime=963.56
/proc/11683/task/11687/stat : 11687 (gnovelty+) R 11681 11683 8948 0 -1 4202560 7 0 0 0 78282 18074 0 0 15 0 4 0 1099450719 558903296 19762 4294967295 134512640 135680988 3219022128 3058315612 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3851.71
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.04
CPU time (s): 3851.78
CPU user time (s): 3131.69
CPU system time (s): 720.09
CPU usage (%): 385.163
Max. virtual memory (cumulated for all children) (KiB): 545804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3131.69
system time used= 720.09
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19806
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= 31549857
involuntary context switches= 80884
runsolver used 0.02 second user time and 0.01 second system time
The end
Begin job on tipi45 at 2009-05-27 21:38:55
IDJOB=1777639
IDBENCH=70395
IDSOLVER=617
FILE ID=tipi45/1777639-1243453135
PBS_JOBID=
Free space on /tmp= 15502 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/UNKNOWN/100/unif-k5-r21.3-v100-c2130-S367498571-066.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777639-1243453135/watcher-1777639-1243453135 -o /tmp/evaluation-result-1777639-1243453135/solver-1777639-1243453135 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777639-1243453135.cnf 351227887 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= df5d3532662b9ce2690eaf77166028f5
RANDOM SEED= 351227887
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: 3081736 kB
Buffers: 123352 kB
Cached: 57980 kB
SwapCached: 2100 kB
Active: 64384 kB
Inactive: 126316 kB
HighTotal: 2489216 kB
HighFree: 2418892 kB
LowTotal: 879316 kB
LowFree: 662844 kB
SwapTotal: 1959888 kB
SwapFree: 1952996 kB
Dirty: 1428 kB
Writeback: 0 kB
AnonPages: 8192 kB
Mapped: 3300 kB
Slab: 84636 kB
SReclaimable: 73828 kB
SUnreclaim: 10808 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-27 21:55:37