runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778224-1243471695/watcher-1778224-1243471695 -o /tmp/evaluation-result-1778224-1243471695/solver-1778224-1243471695 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778224-1243471695.cnf 726304350 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.52 4.32 4.22 3/109 8074
/proc/meminfo: memFree=710760/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=509228 CPUtime=0.01
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 1392 0 0 0 0 1 0 0 18 0 1 0 1111832315 521449472 1348 4294967295 134512640 135680988 3219349888 3219349152 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/8074/statm: 127307 1357 99 286 0 127019 0
[startup+0.05372 s]
/proc/loadavg: 4.52 4.32 4.22 3/109 8074
/proc/meminfo: memFree=710760/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=517040 CPUtime=0.06
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 13895 0 0 0 1 5 0 0 18 0 1 0 1111832315 529448960 13851 4294967295 134512640 135680988 3219349888 3219349152 134537779 0 0 0 0 0 0 0 17 2 0 0 0
/proc/8074/statm: 129260 13862 99 286 0 128972 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 517040
[startup+0.114163 s]
/proc/loadavg: 4.52 4.32 4.22 3/109 8074
/proc/meminfo: memFree=710760/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=0.15
/proc/8074/stat : 8074 (gnovelty+) S 8072 8074 7955 0 -1 4202496 19806 0 0 0 5 10 0 0 18 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 545800
[startup+0.313699 s]
/proc/loadavg: 4.52 4.32 4.22 3/109 8074
/proc/meminfo: memFree=710760/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=0.82
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 40 42 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349084 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 545800
[startup+0.713786 s]
/proc/loadavg: 4.52 4.32 4.22 3/109 8074
/proc/meminfo: memFree=710760/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=2.28
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 125 103 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 545800
[startup+1.51364 s]
/proc/loadavg: 4.52 4.32 4.22 5/113 8078
/proc/meminfo: memFree=632912/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=5.22
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 281 241 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=1.24
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 61 63 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497132 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=1.31
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 72 59 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=1.28
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 69 59 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712876 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 545800
[startup+3.11356 s]
/proc/loadavg: 4.48 4.31 4.22 4/113 8078
/proc/meminfo: memFree=632384/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=11.05
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 581 524 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=2.77
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 139 138 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=2.75
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 146 129 0 0 16 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=2.69
/proc/8074/task/8078/stat : 8078 (gnovelty+) S 8072 8074 7955 0 -1 4202560 7 0 0 0 142 127 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 545800
[startup+6.31339 s]
/proc/loadavg: 4.48 4.31 4.22 5/113 8078
/proc/meminfo: memFree=632384/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=22.94
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 1161 1133 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=5.75
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 274 301 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=5.71
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 289 282 0 0 16 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=5.59
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 283 276 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.94
Current children cumulated vsize (KiB) 545800
[startup+12.7131 s]
/proc/loadavg: 4.40 4.30 4.21 4/113 8079
/proc/meminfo: memFree=632168/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=46.56
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 2345 2311 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=11.66
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 558 608 0 0 16 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=11.79
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 592 587 0 0 16 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105004 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=11.4
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 571 569 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.56
Current children cumulated vsize (KiB) 545800
[startup+25.5124 s]
/proc/loadavg: 4.41 4.31 4.22 5/113 8080
/proc/meminfo: memFree=632232/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=93.76
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 4797 4579 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=23.4
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 1158 1182 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=23.43
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 1191 1152 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=23.34
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 1189 1145 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 93.76
Current children cumulated vsize (KiB) 545800
[startup+51.1111 s]
/proc/loadavg: 4.40 4.31 4.22 5/113 8083
/proc/meminfo: memFree=632180/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=188.31
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 9667 9164 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=47.18
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 2408 2310 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=47.02
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 2401 2301 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=47.06
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 2454 2252 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 188.31
Current children cumulated vsize (KiB) 545800
[startup+102.308 s]
/proc/loadavg: 4.35 4.31 4.22 5/113 8269
/proc/meminfo: memFree=631692/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=377.41
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 19236 18505 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=94.55
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 4820 4635 0 0 16 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=94
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 4758 4642 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=94.52
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 4859 4593 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 377.41
Current children cumulated vsize (KiB) 545800
[startup+162.315 s]
/proc/loadavg: 4.54 4.36 4.24 5/113 8457
/proc/meminfo: memFree=631312/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=598.81
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 30710 29171 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=149.47
/proc/8074/task/8076/stat : 8076 (gnovelty+) S 8072 8074 7955 0 -1 4202560 7 0 0 0 7652 7295 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=149.54
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 7694 7260 0 0 16 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=150.23
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 7755 7268 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 598.81
Current children cumulated vsize (KiB) 545800
[startup+222.312 s]
/proc/loadavg: 4.43 4.37 4.25 5/113 8649
/proc/meminfo: memFree=631196/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=819.65
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 42202 39763 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=204.19
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 10538 9881 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=205.11
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 10572 9939 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=205.29
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 10618 9911 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 819.65
Current children cumulated vsize (KiB) 545800
[startup+282.309 s]
/proc/loadavg: 4.44 4.40 4.27 5/113 8838
/proc/meminfo: memFree=630948/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=1040.47
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 53829 50218 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349084 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=258.72
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 13404 12468 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497132 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=260.39
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 13472 12567 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105004 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=8074] ppid=8072 vsize=545800 CPUtime=1483.83
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 76836 71547 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=369.21
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 19206 17715 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497132 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=371.12
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 19199 17913 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=371.94
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 19416 17778 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1483.83
Current children cumulated vsize (KiB) 545800
[startup+462.309 s]
/proc/loadavg: 4.77 4.55 4.34 5/113 9402
/proc/meminfo: memFree=630816/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=1704.51
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 88128 82323 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=424.28
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 22029 20399 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=425.89
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 21958 20631 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=427.48
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 22253 20495 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1704.51
Current children cumulated vsize (KiB) 545800
[startup+522.316 s]
/proc/loadavg: 4.92 4.62 4.38 7/113 9590
/proc/meminfo: memFree=630700/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=1926.17
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 99594 93023 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=479.65
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 24970 22995 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=481.45
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 24777 23368 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=483.05
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 25087 23218 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1926.17
Current children cumulated vsize (KiB) 545800
[startup+582.313 s]
/proc/loadavg: 4.68 4.62 4.39 5/113 9783
/proc/meminfo: memFree=630568/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=2147.35
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 110905 103830 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=535.1
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 27840 25670 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497132 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=537.19
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 27665 26054 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=538.08
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 27921 25887 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2147.35
Current children cumulated vsize (KiB) 545800
[startup+642.31 s]
/proc/loadavg: 4.33 4.53 4.37 5/113 9970
/proc/meminfo: memFree=630824/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=2369.25
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 122343 114582 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=590.89
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 30726 28363 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=592.42
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 30446 28796 0 0 16 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=593.73
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 30833 28540 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2369.25
Current children cumulated vsize (KiB) 545800
[startup+702.307 s]
/proc/loadavg: 4.10 4.43 4.35 5/113 10157
/proc/meminfo: memFree=630700/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=2589.32
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 133773 125159 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349084 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=646.02
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 33640 30962 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=647.5
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 33292 31458 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=648.7
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 33662 31208 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2589.32
Current children cumulated vsize (KiB) 545800
[startup+762.314 s]
/proc/loadavg: 4.30 4.43 4.35 5/113 10345
/proc/meminfo: memFree=631312/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=2811.35
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 145235 135900 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=701.74
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 36535 33639 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497132 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=702.84
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 36193 34091 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=704.08
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 36503 33905 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712876 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2811.35
Current children cumulated vsize (KiB) 545800
[startup+822.311 s]
/proc/loadavg: 4.18 4.37 4.33 5/113 10533
/proc/meminfo: memFree=631444/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=3032.6
/proc/8074/stat : 8074 (gnovelty+) S 8072 8074 7955 0 -1 4202496 19806 0 0 0 156576 146684 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349084 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=757.01
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 39407 36294 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=758.3
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 39041 36789 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=758.92
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 39298 36594 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712876 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3032.6
Current children cumulated vsize (KiB) 545800
[startup+882.318 s]
/proc/loadavg: 4.18 4.34 4.32 4/113 10722
/proc/meminfo: memFree=631312/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=3255.07
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 167977 157530 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=812.61
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 42245 39016 0 0 16 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=813.99
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 41924 39475 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=814.69
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 42154 39315 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3255.07
Current children cumulated vsize (KiB) 545800
[startup+942.315 s]
/proc/loadavg: 4.39 4.36 4.33 5/113 10913
/proc/meminfo: memFree=631296/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=3477.42
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 179429 168313 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=868.31
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 45122 41709 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=869.31
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 44815 42116 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=870.57
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 45028 42029 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3477.42
Current children cumulated vsize (KiB) 545800
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.37 4.35 4.33 5/113 11100
/proc/meminfo: memFree=631932/3368532 swapFree=1959840/1959888
[pid=8074] ppid=8072 vsize=545800 CPUtime=3690.2
/proc/8074/stat : 8074 (gnovelty+) R 8072 8074 7955 0 -1 4202496 19806 0 0 0 190390 178630 0 0 15 0 4 0 1111832315 558899200 19761 4294967295 134512640 135680988 3219349888 3219349132 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/8074/statm: 136450 19761 103 286 0 136162 0
[pid=8074/tid=8076] ppid=8072 vsize=545800 CPUtime=921.51
/proc/8074/task/8076/stat : 8076 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 47866 44285 0 0 16 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3077497180 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=545800 CPUtime=922.68
/proc/8074/task/8077/stat : 8077 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 47517 44751 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3068105052 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=545800 CPUtime=923.94
/proc/8074/task/8078/stat : 8078 (gnovelty+) R 8072 8074 7955 0 -1 4202560 7 0 0 0 47784 44610 0 0 15 0 4 0 1111832323 558899200 19761 4294967295 134512640 135680988 3219349888 3058712924 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3690.2
Current children cumulated vsize (KiB) 545800
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3690.28
CPU user time (s): 1903.93
CPU system time (s): 1786.35
CPU usage (%): 369.014
Max. virtual memory (cumulated for all children) (KiB): 545800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1903.93
system time used= 1786.35
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= 103753376
involuntary context switches= 214352
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on at 2009-05-28 02:48:15
IDJOB=1778224
IDBENCH=70590
IDSOLVER=617
FILE ID=/1778224-1243471695
PBS_JOBID=
Free space on /tmp= 7987 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/440/unif-k3-r4.25-v440-c1870-S1350958473-082.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778224-1243471695/watcher-1778224-1243471695 -o /tmp/evaluation-result-1778224-1243471695/solver-1778224-1243471695 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778224-1243471695.cnf 726304350 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= c022e76aae9fa6802d112de6ed8b76d9
RANDOM SEED= 726304350
Linux (none) 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.073
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
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.12
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.073
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
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: 710760 kB
Buffers: 41752 kB
Cached: 2434872 kB
SwapCached: 0 kB
Active: 1299476 kB
Inactive: 1196300 kB
HighTotal: 2489216 kB
HighFree: 449828 kB
LowTotal: 879316 kB
LowFree: 260932 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 1396 kB
Writeback: 0 kB
AnonPages: 18968 kB
Mapped: 7772 kB
Slab: 152104 kB
SReclaimable: 138596 kB
SUnreclaim: 13508 kB
PageTables: 656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 110896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 7987 MiB
End job on at 2009-05-28 03:04:57