runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777063-1243433253/watcher-1777063-1243433253 -o /tmp/evaluation-result-1777063-1243433253/solver-1777063-1243433253 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777063-1243433253.cnf 870750430 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.25 4.13 3.86 3/96 17908
/proc/meminfo: memFree=215928/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=509232 CPUtime=0
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 1472 0 0 0 0 0 0 0 18 0 1 0 1107989397 521453568 1429 4294967295 134512640 135680988 3220073008 3220072272 134537167 0 0 0 0 0 0 0 17 0 0 0 0
/proc/17908/statm: 127308 1438 99 286 0 127020 0
[startup+0.060297 s]
/proc/loadavg: 4.25 4.13 3.86 3/96 17908
/proc/meminfo: memFree=215928/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=517048 CPUtime=0.06
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 10025 0 0 0 3 3 0 0 18 0 1 0 1107989397 529457152 9982 4294967295 134512640 135680988 3220073008 3220071116 134958286 0 0 0 0 0 0 0 17 0 0 0 0
/proc/17908/statm: 129262 9982 99 286 0 128974 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 517048
[startup+0.110275 s]
/proc/loadavg: 4.25 4.13 3.86 3/96 17908
/proc/meminfo: memFree=215928/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=517044 CPUtime=0.11
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 19252 0 0 0 4 7 0 0 18 0 1 0 1107989397 529453056 19208 4294967295 134512640 135680988 3220073008 3220072272 134537905 0 0 0 0 0 0 0 17 0 0 0 0
/proc/17908/statm: 129261 19219 99 286 0 128973 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517044
[startup+0.310256 s]
/proc/loadavg: 4.25 4.13 3.86 3/96 17908
/proc/meminfo: memFree=215928/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=0.78
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 64 14 0 0 17 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 547816
[startup+0.710244 s]
/proc/loadavg: 4.25 4.13 3.86 3/96 17908
/proc/meminfo: memFree=215928/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=2.37
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 199 38 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 547816
[startup+1.51037 s]
/proc/loadavg: 4.25 4.13 3.86 5/100 17912
/proc/meminfo: memFree=135288/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=5.49
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 480 69 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=1.35
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 120 15 0 0 16 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=1.33
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 116 17 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=1.36
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 124 12 0 0 16 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 547816
[startup+3.11045 s]
/proc/loadavg: 4.25 4.13 3.86 5/100 17912
/proc/meminfo: memFree=135140/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=11.78
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 1026 152 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=2.9
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 252 38 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=2.89
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 254 35 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=2.96
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 258 38 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 547816
[startup+6.30977 s]
/proc/loadavg: 4.23 4.13 3.86 8/100 17912
/proc/meminfo: memFree=135072/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=24.06
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 2115 291 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=5.95
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 520 75 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=5.91
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 523 68 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=6.08
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 535 73 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.06
Current children cumulated vsize (KiB) 547816
[startup+12.71 s]
/proc/loadavg: 4.21 4.13 3.86 5/100 17913
/proc/meminfo: memFree=134980/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=49.07
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 4302 605 0 0 16 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=12.26
/proc/17908/task/17910/stat : 17910 (gnovelty+) S 17906 17908 10015 0 -1 4202560 88 0 0 0 1077 149 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=12.13
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 1074 139 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=12.39
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 1089 150 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.07
Current children cumulated vsize (KiB) 547816
[startup+25.5186 s]
/proc/loadavg: 4.17 4.12 3.86 5/100 17914
/proc/meminfo: memFree=134936/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=99.01
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 8692 1209 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=24.67
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 2187 280 0 0 16 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=24.59
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 2174 285 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=24.9
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 2176 314 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 99.01
Current children cumulated vsize (KiB) 547816
[startup+51.117 s]
/proc/loadavg: 4.25 4.14 3.88 5/100 18098
/proc/meminfo: memFree=134608/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=198.43
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 17471 2372 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=49.36
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 4353 583 0 0 16 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=49.39
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 4376 563 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=49.79
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 4382 597 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.43
Current children cumulated vsize (KiB) 547816
[startup+102.312 s]
/proc/loadavg: 4.36 4.18 3.90 5/100 18290
/proc/meminfo: memFree=134452/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=397.97
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 35194 4603 0 0 16 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=99.49
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 8838 1111 0 0 16 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=98.97
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 8742 1155 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=99.43
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 8797 1146 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 397.97
Current children cumulated vsize (KiB) 547816
[startup+162.308 s]
/proc/loadavg: 4.13 4.15 3.91 5/100 18478
/proc/meminfo: memFree=134148/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=631.07
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 55782 7325 0 0 16 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=157.68
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 13968 1800 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=156.93
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 13846 1847 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=158
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 13988 1812 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 631.07
Current children cumulated vsize (KiB) 547816
[startup+222.312 s]
/proc/loadavg: 4.22 4.16 3.93 5/100 18666
/proc/meminfo: memFree=134056/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=865.1
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 76567 9943 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=216.61
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 19193 2468 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=215.38
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 19054 2484 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=216.11
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 19120 2491 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 865.1
Current children cumulated vsize (KiB) 547816
[startup+282.307 s]
/proc/loadavg: 4.15 4.16 3.94 5/100 18853
/proc/meminfo: memFree=134396/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=1095.04
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 97158 12346 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=274.25
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 24377 3048 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=272.44
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 24146 3098 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=17908] ppid=17906 vsize=547816 CPUtime=1559
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 138320 17580 0 0 16 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072340 134533823 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=390.21
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 34608 4413 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=388.78
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 34473 4405 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=390.41
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 34649 4392 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1559
Current children cumulated vsize (KiB) 547816
[startup+462.312 s]
/proc/loadavg: 4.34 4.23 4.00 6/100 19423
/proc/meminfo: memFree=133760/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=1792.33
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 158920 20313 0 0 16 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=448.93
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 39779 5114 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=447.11
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 39636 5075 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=448.37
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 39735 5102 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1792.33
Current children cumulated vsize (KiB) 547816
[startup+522.317 s]
/proc/loadavg: 4.14 4.19 4.00 6/100 19611
/proc/meminfo: memFree=133840/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=2023.78
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 179457 22921 0 0 16 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=506.54
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 44893 5761 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=506.35
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 44904 5731 0 0 16 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=505.32
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 44796 5736 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2023.78
Current children cumulated vsize (KiB) 547816
[startup+582.313 s]
/proc/loadavg: 4.15 4.18 4.01 6/100 19801
/proc/meminfo: memFree=133544/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=2256.36
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 200034 25602 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=564.47
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 50032 6415 0 0 16 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=564.42
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 50043 6399 0 0 16 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=563.9
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 49987 6403 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2256.36
Current children cumulated vsize (KiB) 547816
[startup+642.307 s]
/proc/loadavg: 4.20 4.19 4.02 5/100 19988
/proc/meminfo: memFree=133832/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=2487.35
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 220667 28068 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=622.49
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 55211 7038 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=622.36
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 55209 7027 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=620.89
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 55094 6995 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2487.35
Current children cumulated vsize (KiB) 547816
[startup+702.312 s]
/proc/loadavg: 4.03 4.15 4.01 5/100 20177
/proc/meminfo: memFree=133840/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=2721
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 241267 30833 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=681.23
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 60349 7774 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=680.85
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 60394 7691 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=678.85
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 60222 7663 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2721
Current children cumulated vsize (KiB) 547816
[startup+762.317 s]
/proc/loadavg: 4.14 4.16 4.02 5/100 20365
/proc/meminfo: memFree=134072/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=2955.34
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 262022 33512 0 0 16 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=740.08
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 65543 8465 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=739.17
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 65606 8311 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=737.19
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 65375 8344 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2955.34
Current children cumulated vsize (KiB) 547816
[startup+822.313 s]
/proc/loadavg: 4.18 4.16 4.03 5/100 20557
/proc/meminfo: memFree=134088/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=3190.23
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 282850 36173 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=798.79
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 70764 9115 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=797.97
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 70813 8984 0 0 16 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=795.75
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 70583 8992 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3190.23
Current children cumulated vsize (KiB) 547816
[startup+882.308 s]
/proc/loadavg: 4.18 4.16 4.03 6/100 20744
/proc/meminfo: memFree=134132/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=3422.3
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 303388 38842 0 0 16 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072340 134534031 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=857.07
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 75902 9805 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=855.83
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 75945 9638 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=853.64
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 75687 9677 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3422.3
Current children cumulated vsize (KiB) 547816
[startup+942.303 s]
/proc/loadavg: 4.33 4.21 4.05 5/100 20942
/proc/meminfo: memFree=134320/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=3654.92
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 323938 41554 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=915.25
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 81045 10480 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=914.17
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 81105 10312 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=911.65
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 80806 10359 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3654.92
Current children cumulated vsize (KiB) 547816
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 4.30 4.22 4.07 5/100 21131
/proc/meminfo: memFree=134172/3368532 swapFree=1953788/1959888
[pid=17908] ppid=17906 vsize=547816 CPUtime=3878.52
/proc/17908/stat : 17908 (gnovelty+) R 17906 17908 10015 0 -1 4202496 20550 0 0 0 343745 44107 0 0 15 0 4 0 1107989397 560963584 20506 4294967295 134512640 135680988 3220073008 3220072252 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/17908/statm: 136954 20506 103 286 0 136666 0
[pid=17908/tid=17910] ppid=17906 vsize=547816 CPUtime=970.74
/proc/17908/task/17910/stat : 17910 (gnovelty+) R 17906 17908 10015 0 -1 4202560 88 0 0 0 85957 11117 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3077452124 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17908/tid=17911] ppid=17906 vsize=547816 CPUtime=970.42
/proc/17908/task/17911/stat : 17911 (gnovelty+) R 17906 17908 10015 0 -1 4202560 86 0 0 0 86075 10967 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3068059996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17908/tid=17912] ppid=17906 vsize=547816 CPUtime=967.45
/proc/17908/task/17912/stat : 17912 (gnovelty+) R 17906 17908 10015 0 -1 4202560 89 0 0 0 85737 11008 0 0 15 0 4 0 1107989409 560963584 20506 4294967295 134512640 135680988 3220073008 3058667868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3878.52
Current children cumulated vsize (KiB) 547816
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): 3878.59
CPU user time (s): 3437.51
CPU system time (s): 441.08
CPU usage (%): 387.842
Max. virtual memory (cumulated for all children) (KiB): 547816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3437.51
system time used= 441.08
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20550
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= 15511391
involuntary context switches= 59478
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on at 2009-05-27 16:07:33
IDJOB=1777063
IDBENCH=70203
IDSOLVER=617
FILE ID=/1777063-1243433253
PBS_JOBID=
Free space on /tmp= 6476 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/800/unif-k5-r20-v800-c16000-S1185462553-011.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777063-1243433253/watcher-1777063-1243433253 -o /tmp/evaluation-result-1777063-1243433253/solver-1777063-1243433253 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777063-1243433253.cnf 870750430 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 775d7caa3d486b151a5911ebb89973a9
RANDOM SEED= 870750430
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.061
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.061
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.061
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.061
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: 215928 kB
Buffers: 46776 kB
Cached: 2935476 kB
SwapCached: 2256 kB
Active: 1731120 kB
Inactive: 1260648 kB
HighTotal: 2489216 kB
HighFree: 85452 kB
LowTotal: 879316 kB
LowFree: 130476 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 1768 kB
Writeback: 0 kB
AnonPages: 8752 kB
Mapped: 3184 kB
Slab: 150716 kB
SReclaimable: 137256 kB
SUnreclaim: 13460 kB
PageTables: 472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88476 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6476 MiB
End job on at 2009-05-27 16:24:15