0.10/0.11 c +------------------------------+
0.10/0.11 c | gNovelty+, version 1.0 |
0.10/0.11 c +------------------------------+
0.10/0.11 c gnovelty+ -h for help
0.10/0.11 c
74.27/5.54 s SATISFIABLE
74.27/5.54 v 1 2 3 -4 5 6 -7 8 9 -10 11 -12 -13 -14 -15 -16 17 18 19 -20 -21 22 -23 -24 -25 -26 27 -28 -29 30 -31 32 33 34 35 36 -37 38 39 -40 -41 -42 -43 -44 -45 -46 47 48 -49 -50 51 52 53 54 55 56 57 -58 -59 -60 61 62 -63 64 65 -66 67 -68 69 70 -71 -72 73 74 75 0
74.27/5.54 c Done in 3.900000 seconds
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778034-1244046794/watcher-1778034-1244046794 -o /tmp/evaluation-result-1778034-1244046794/solver-1778034-1244046794 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778034-1244046794.cnf 1866234041 16
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: 14.93 15.05 15.43 2/184 14265
/proc/meminfo: memFree=19289840/36427776 swapFree=4064/7600
[pid=14265] ppid=14263 vsize=509232 CPUtime=0
/proc/14265/stat : 14265 (gnovelty+) R 14263 14265 24979 0 -1 4202496 2213 0 0 0 0 0 0 0 20 0 1 0 563985810 521453568 2170 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134537167 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/14265/statm: 127308 2178 99 286 0 127020 0
[startup+0.096952 s]
/proc/loadavg: 14.93 15.05 15.43 2/184 14265
/proc/meminfo: memFree=19289840/36427776 swapFree=4064/7600
[pid=14265] ppid=14263 vsize=517044 CPUtime=0.08
/proc/14265/stat : 14265 (gnovelty+) R 14263 14265 24979 0 -1 4202496 16697 0 0 0 2 6 0 0 20 0 1 0 563985810 529453056 16653 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134537905 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/14265/statm: 129261 16670 99 286 0 128973 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 517044
[startup+0.100962 s]
/proc/loadavg: 14.93 15.05 15.43 2/184 14265
/proc/meminfo: memFree=19289840/36427776 swapFree=4064/7600
[pid=14265] ppid=14263 vsize=517044 CPUtime=0.1
/proc/14265/stat : 14265 (gnovelty+) R 14263 14265 24979 0 -1 4202496 17286 0 0 0 2 8 0 0 20 0 1 0 563985810 529453056 17243 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134537968 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/14265/statm: 129261 17255 99 286 0 128973 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517044
[startup+0.305103 s]
/proc/loadavg: 14.93 15.05 15.43 2/184 14265
/proc/meminfo: memFree=19289840/36427776 swapFree=4064/7600
[pid=14265] ppid=14263 vsize=659344 CPUtime=2.54
/proc/14265/stat : 14265 (gnovelty+) R 14263 14265 24979 0 -1 4202496 20536 0 0 0 16 238 0 0 20 0 16 0 563985810 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14265/statm: 164836 20492 103 286 0 164548 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 659344
[startup+0.703168 s]
/proc/loadavg: 14.93 15.05 15.43 2/184 14265
/proc/meminfo: memFree=19289840/36427776 swapFree=4064/7600
[pid=14265] ppid=14263 vsize=659344 CPUtime=8.11
/proc/14265/stat : 14265 (gnovelty+) R 14263 14265 24979 0 -1 4202496 20536 0 0 0 52 759 0 0 20 0 16 0 563985810 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14265/statm: 164836 20492 103 286 0 164548 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 659344
[startup+1.50698 s]
/proc/loadavg: 14.93 15.05 15.43 17/200 14281
/proc/meminfo: memFree=19208472/36427776 swapFree=4644/90212
[pid=14265] ppid=14263 vsize=659344 CPUtime=19.1
/proc/14265/stat : 14265 (gnovelty+) R 14263 14265 24979 0 -1 4202496 20536 0 0 0 176 1734 0 0 20 0 16 0 563985810 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14265/statm: 164836 20492 103 286 0 164548 0
[pid=14265/tid=14267] ppid=14263 vsize=659344 CPUtime=0.74
/proc/14265/task/14267/stat : 14267 (gnovelty+) R 14263 14265 24979 0 -1 4202560 32 0 0 0 6 68 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14265/tid=14268] ppid=14263 vsize=659344 CPUtime=1.36
/proc/14265/task/14268/stat : 14268 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 14 122 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14265/tid=14269] ppid=14263 vsize=659344 CPUtime=1.02
/proc/14265/task/14269/stat : 14269 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 4 98 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14265/tid=14270] ppid=14263 vsize=659344 CPUtime=1.36
/proc/14265/task/14270/stat : 14270 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 14 122 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14265/tid=14271] ppid=14263 vsize=659344 CPUtime=1.36
/proc/14265/task/14271/stat : 14271 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 14 122 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14265/tid=14272] ppid=14263 vsize=659344 CPUtime=1.34
/proc/14265/task/14272/stat : 14272 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 10 124 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14265/tid=14273] ppid=14263 vsize=659344 CPUtime=1.34
/proc/14265/task/14273/stat : 14273 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 8 126 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14265/tid=14274] ppid=14263 vsize=659344 CPUtime=1.34
/proc/14265/task/14274/stat : 14274 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 14 120 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14265/tid=14275] ppid=14263 vsize=659344 CPUtime=1.36
/proc/14265/task/14275/stat : 14275 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 18 118 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14265/tid=14276] ppid=14263 vsize=659344 CPUtime=1.34
/proc/14265/task/14276/stat : 14276 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 10 124 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14265/tid=14277] ppid=14263 vsize=659344 CPUtime=1.34
/proc/14265/task/14277/stat : 14277 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 8 126 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14265/tid=14278] ppid=14263 vsize=659344 CPUtime=1.1
/proc/14265/task/14278/stat : 14278 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 12 98 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14265/tid=14279] ppid=14263 vsize=659344 CPUtime=1.34
/proc/14265/task/14279/stat : 14279 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 14 120 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14265/tid=14280] ppid=14263 vsize=659344 CPUtime=0.72
/proc/14265/task/14280/stat : 14280 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 6 66 0 0 20 0 16 0 563985823 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14265/tid=14281] ppid=14263 vsize=659344 CPUtime=1.18
/proc/14265/task/14281/stat : 14281 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 10 108 0 0 20 0 16 0 563985828 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (KiB) 659344
[startup+3.10312 s]
/proc/loadavg: 14.93 15.05 15.43 17/200 14281
/proc/meminfo: memFree=19207992/36427776 swapFree=4724/91080
[pid=14265] ppid=14263 vsize=659344 CPUtime=41.11
/proc/14265/stat : 14265 (gnovelty+) R 14263 14265 24979 0 -1 4202496 20536 0 0 0 379 3732 0 0 20 0 16 0 563985810 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14265/statm: 164836 20492 103 286 0 164548 0
[pid=14265/tid=14267] ppid=14263 vsize=659344 CPUtime=1.54
/proc/14265/task/14267/stat : 14267 (gnovelty+) R 14263 14265 24979 0 -1 4202560 32 0 0 0 14 140 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14265/tid=14268] ppid=14263 vsize=659344 CPUtime=2.92
/proc/14265/task/14268/stat : 14268 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 26 266 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14265/tid=14269] ppid=14263 vsize=659344 CPUtime=2.42
/proc/14265/task/14269/stat : 14269 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 18 224 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14265/tid=14270] ppid=14263 vsize=659344 CPUtime=2.92
/proc/14265/task/14270/stat : 14270 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 24 268 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14265/tid=14271] ppid=14263 vsize=659344 CPUtime=2.92
/proc/14265/task/14271/stat : 14271 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 24 268 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14265/tid=14272] ppid=14263 vsize=659344 CPUtime=2.9
/proc/14265/task/14272/stat : 14272 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 28 262 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14265/tid=14273] ppid=14263 vsize=659344 CPUtime=2.92
/proc/14265/task/14273/stat : 14273 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 24 268 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14265/tid=14274] ppid=14263 vsize=659344 CPUtime=2.9
/proc/14265/task/14274/stat : 14274 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 34 256 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14265/tid=14275] ppid=14263 vsize=659344 CPUtime=2.92
/proc/14265/task/14275/stat : 14275 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 34 258 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14265/tid=14276] ppid=14263 vsize=659344 CPUtime=2.32
/proc/14265/task/14276/stat : 14276 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 16 216 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14265/tid=14277] ppid=14263 vsize=659344 CPUtime=2.92
/proc/14265/task/14277/stat : 14277 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 20 272 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14265/tid=14278] ppid=14263 vsize=659344 CPUtime=2.64
/proc/14265/task/14278/stat : 14278 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 28 236 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14265/tid=14279] ppid=14263 vsize=659344 CPUtime=2.9
/proc/14265/task/14279/stat : 14279 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 28 262 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14265/tid=14280] ppid=14263 vsize=659344 CPUtime=1.5
/proc/14265/task/14280/stat : 14280 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 14 136 0 0 20 0 16 0 563985823 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14265/tid=14281] ppid=14263 vsize=659344 CPUtime=2.74
/proc/14265/task/14281/stat : 14281 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 22 252 0 0 20 0 16 0 563985828 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 41.11
Current children cumulated vsize (KiB) 659344
Solver just ended. Dumping a history of the last processes samples
[startup+4.70729 s]
/proc/loadavg: 15.01 15.07 15.43 17/200 14281
/proc/meminfo: memFree=19207868/36427776 swapFree=4724/91244
[pid=14265] ppid=14263 vsize=659344 CPUtime=63.2
/proc/14265/stat : 14265 (gnovelty+) R 14263 14265 24979 0 -1 4202496 20536 0 0 0 593 5727 0 0 20 0 16 0 563985810 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14265/statm: 164836 20492 103 286 0 164548 0
[pid=14265/tid=14267] ppid=14263 vsize=659344 CPUtime=2.34
/proc/14265/task/14267/stat : 14267 (gnovelty+) R 14263 14265 24979 0 -1 4202560 32 0 0 0 18 216 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14265/tid=14268] ppid=14263 vsize=659344 CPUtime=4.5
/proc/14265/task/14268/stat : 14268 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 40 410 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14265/tid=14269] ppid=14263 vsize=659344 CPUtime=3.22
/proc/14265/task/14269/stat : 14269 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 28 294 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14265/tid=14270] ppid=14263 vsize=659344 CPUtime=4.5
/proc/14265/task/14270/stat : 14270 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 36 414 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14265/tid=14271] ppid=14263 vsize=659344 CPUtime=4.5
/proc/14265/task/14271/stat : 14271 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 42 408 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14265/tid=14272] ppid=14263 vsize=659344 CPUtime=4.48
/proc/14265/task/14272/stat : 14272 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 44 404 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14265/tid=14273] ppid=14263 vsize=659344 CPUtime=4.5
/proc/14265/task/14273/stat : 14273 (gnovelty+) S 14263 14265 24979 0 -1 4202560 34 0 0 0 36 414 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14265/tid=14274] ppid=14263 vsize=659344 CPUtime=4.48
/proc/14265/task/14274/stat : 14274 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 50 398 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14265/tid=14275] ppid=14263 vsize=659344 CPUtime=4.48
/proc/14265/task/14275/stat : 14275 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 56 392 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14265/tid=14276] ppid=14263 vsize=659344 CPUtime=3.9
/proc/14265/task/14276/stat : 14276 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 34 356 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134534322 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14265/tid=14277] ppid=14263 vsize=659344 CPUtime=4.5
/proc/14265/task/14277/stat : 14277 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 34 416 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14265/tid=14278] ppid=14263 vsize=659344 CPUtime=4.18
/proc/14265/task/14278/stat : 14278 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 42 376 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14265/tid=14279] ppid=14263 vsize=659344 CPUtime=4.48
/proc/14265/task/14279/stat : 14279 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 42 406 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14265/tid=14280] ppid=14263 vsize=659344 CPUtime=2.3
/proc/14265/task/14280/stat : 14280 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 22 208 0 0 20 0 16 0 563985823 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14265/tid=14281] ppid=14263 vsize=659344 CPUtime=4.32
/proc/14265/task/14281/stat : 14281 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 36 396 0 0 20 0 16 0 563985828 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 63.2
Current children cumulated vsize (KiB) 659344
[startup+5.10541 s]
/proc/loadavg: 15.01 15.07 15.43 17/200 14281
/proc/meminfo: memFree=19207868/36427776 swapFree=4724/91244
[pid=14265] ppid=14263 vsize=659344 CPUtime=68.69
/proc/14265/stat : 14265 (gnovelty+) R 14263 14265 24979 0 -1 4202496 20536 0 0 0 634 6235 0 0 20 0 16 0 563985810 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14265/statm: 164836 20492 103 286 0 164548 0
[pid=14265/tid=14267] ppid=14263 vsize=659344 CPUtime=2.54
/proc/14265/task/14267/stat : 14267 (gnovelty+) R 14263 14265 24979 0 -1 4202560 32 0 0 0 18 236 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14265/tid=14268] ppid=14263 vsize=659344 CPUtime=4.9
/proc/14265/task/14268/stat : 14268 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 44 446 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14265/tid=14269] ppid=14263 vsize=659344 CPUtime=3.44
/proc/14265/task/14269/stat : 14269 (gnovelty+) S 14263 14265 24979 0 -1 4202560 34 0 0 0 30 314 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=14265/tid=14270] ppid=14263 vsize=659344 CPUtime=4.88
/proc/14265/task/14270/stat : 14270 (gnovelty+) S 14263 14265 24979 0 -1 4202560 34 0 0 0 38 450 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=14265/tid=14271] ppid=14263 vsize=659344 CPUtime=4.9
/proc/14265/task/14271/stat : 14271 (gnovelty+) S 14263 14265 24979 0 -1 4202560 33 0 0 0 46 444 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=14265/tid=14272] ppid=14263 vsize=659344 CPUtime=4.86
/proc/14265/task/14272/stat : 14272 (gnovelty+) S 14263 14265 24979 0 -1 4202560 33 0 0 0 46 440 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=14265/tid=14273] ppid=14263 vsize=659344 CPUtime=4.9
/proc/14265/task/14273/stat : 14273 (gnovelty+) S 14263 14265 24979 0 -1 4202560 34 0 0 0 40 450 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14265/tid=14274] ppid=14263 vsize=659344 CPUtime=4.86
/proc/14265/task/14274/stat : 14274 (gnovelty+) S 14263 14265 24979 0 -1 4202560 33 0 0 0 54 432 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=14265/tid=14275] ppid=14263 vsize=659344 CPUtime=4.88
/proc/14265/task/14275/stat : 14275 (gnovelty+) S 14263 14265 24979 0 -1 4202560 33 0 0 0 56 432 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=14265/tid=14276] ppid=14263 vsize=659344 CPUtime=4.28
/proc/14265/task/14276/stat : 14276 (gnovelty+) S 14263 14265 24979 0 -1 4202560 34 0 0 0 36 392 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=14265/tid=14277] ppid=14263 vsize=659344 CPUtime=4.88
/proc/14265/task/14277/stat : 14277 (gnovelty+) S 14263 14265 24979 0 -1 4202560 33 0 0 0 36 452 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=14265/tid=14278] ppid=14263 vsize=659344 CPUtime=4.58
/proc/14265/task/14278/stat : 14278 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 48 410 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134997743 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14265/tid=14279] ppid=14263 vsize=659344 CPUtime=4.88
/proc/14265/task/14279/stat : 14279 (gnovelty+) S 14263 14265 24979 0 -1 4202560 33 0 0 0 44 444 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=14265/tid=14280] ppid=14263 vsize=659344 CPUtime=2.52
/proc/14265/task/14280/stat : 14280 (gnovelty+) S 14263 14265 24979 0 -1 4202560 33 0 0 0 22 230 0 0 20 0 16 0 563985823 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=14265/tid=14281] ppid=14263 vsize=659344 CPUtime=4.72
/proc/14265/task/14281/stat : 14281 (gnovelty+) S 14263 14265 24979 0 -1 4202560 33 0 0 0 38 434 0 0 20 0 16 0 563985828 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 68.69
Current children cumulated vsize (KiB) 659344
[startup+5.51604 s]
/proc/loadavg: 15.01 15.07 15.43 17/200 14281
/proc/meminfo: memFree=19207744/36427776 swapFree=4724/91316
[pid=14265] ppid=14263 vsize=659344 CPUtime=74.27
/proc/14265/stat : 14265 (gnovelty+) R 14263 14265 24979 0 -1 4202496 20536 0 0 0 695 6732 0 0 20 0 16 0 563985810 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14265/statm: 164836 20492 103 286 0 164548 0
[pid=14265/tid=14267] ppid=14263 vsize=659344 CPUtime=2.72
/proc/14265/task/14267/stat : 14267 (gnovelty+) R 14263 14265 24979 0 -1 4202560 32 0 0 0 20 252 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14265/tid=14268] ppid=14263 vsize=659344 CPUtime=5.3
/proc/14265/task/14268/stat : 14268 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 52 478 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14265/tid=14269] ppid=14263 vsize=659344 CPUtime=3.64
/proc/14265/task/14269/stat : 14269 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 36 328 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14265/tid=14270] ppid=14263 vsize=659344 CPUtime=5.28
/proc/14265/task/14270/stat : 14270 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 42 486 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14265/tid=14271] ppid=14263 vsize=659344 CPUtime=5.3
/proc/14265/task/14271/stat : 14271 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 50 480 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=14265/tid=14272] ppid=14263 vsize=659344 CPUtime=5.26
/proc/14265/task/14272/stat : 14272 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 52 474 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14265/tid=14273] ppid=14263 vsize=659344 CPUtime=5.3
/proc/14265/task/14273/stat : 14273 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 46 484 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14265/tid=14274] ppid=14263 vsize=659344 CPUtime=5.26
/proc/14265/task/14274/stat : 14274 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 58 468 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14265/tid=14275] ppid=14263 vsize=659344 CPUtime=5.28
/proc/14265/task/14275/stat : 14275 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 60 468 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14265/tid=14276] ppid=14263 vsize=659344 CPUtime=4.68
/proc/14265/task/14276/stat : 14276 (gnovelty+) R 14263 14265 24979 0 -1 4202560 34 0 0 0 38 430 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14265/tid=14277] ppid=14263 vsize=659344 CPUtime=5.28
/proc/14265/task/14277/stat : 14277 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 42 486 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14265/tid=14278] ppid=14263 vsize=659344 CPUtime=4.96
/proc/14265/task/14278/stat : 14278 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 52 444 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14265/tid=14279] ppid=14263 vsize=659344 CPUtime=5.28
/proc/14265/task/14279/stat : 14279 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 46 482 0 0 20 0 16 0 563985822 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14265/tid=14280] ppid=14263 vsize=659344 CPUtime=2.7
/proc/14265/task/14280/stat : 14280 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 24 246 0 0 20 0 16 0 563985823 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14265/tid=14281] ppid=14263 vsize=659344 CPUtime=5.12
/proc/14265/task/14281/stat : 14281 (gnovelty+) R 14263 14265 24979 0 -1 4202560 33 0 0 0 42 470 0 0 20 0 16 0 563985828 675168256 20492 18446744073709551615 134512640 135680988 4293526912 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 74.27
Current children cumulated vsize (KiB) 659344
Child status: 10
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14265 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=852428
# childrusage.ru_stime.tv_sec=66
# childrusage.ru_stime.tv_usec=772173
# CPU time returned by wait4() is 73.6246
# while last known CPU time is 74.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5.55841
CPU time (s): 74.27
CPU user time (s): 6.95
CPU system time (s): 67.32
CPU usage (%): 1336.17
Max. virtual memory (cumulated for all children) (KiB): 659344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.85243
system time used= 66.7722
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20551
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= 6894
involuntary context switches= 309
runsolver used 0.008 second user time and 0.120007 second system time
The end
Begin job on xenhost3-49 at 2009-06-03 18:33:14
IDJOB=1778034
IDBENCH=70526
IDSOLVER=619
FILE ID=xenhost3-49/1778034-1244046794
PBS_JOBID=
Free space on /tmp= 7131 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (16 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/SATISFIABLE/75/unif-k7-r89-v75-c6675-S839983432-073.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778034-1244046794/watcher-1778034-1244046794 -o /tmp/evaluation-result-1778034-1244046794/solver-1778034-1244046794 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1778034-1244046794.cnf 1866234041 16
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 61fe438f75f15b75b4359f74a1691313
RANDOM SEED= 1866234041
Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 0
cpu cores : 1
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 0
cpu cores : 1
apicid : 8
initial apicid : 8
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 0
cpu cores : 1
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 0
cpu cores : 1
apicid : 24
initial apicid : 24
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 2
cpu cores : 1
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 2
cpu cores : 1
apicid : 10
initial apicid : 10
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 2
cpu cores : 1
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 2
cpu cores : 1
apicid : 26
initial apicid : 26
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 1
cpu cores : 1
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 1
cpu cores : 1
apicid : 9
initial apicid : 9
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 1
cpu cores : 1
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 1
cpu cores : 1
apicid : 25
initial apicid : 25
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 3
cpu cores : 1
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 3
cpu cores : 1
apicid : 11
initial apicid : 11
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 3
cpu cores : 1
apicid : 19
initial apicid : 19
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 3
cpu cores : 1
apicid : 27
initial apicid : 27
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 36427776 kB
MemFree: 19289840 kB
Buffers: 395860 kB
Cached: 14008300 kB
SwapCached: 0 kB
Active: 3072456 kB
Inactive: 11339616 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 1612 kB
Writeback: 16 kB
AnonPages: 7600 kB
Mapped: 3400 kB
Slab: 672452 kB
SReclaimable: 646068 kB
SUnreclaim: 26384 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7131 MiB
End job on xenhost3-49 at 2009-06-03 18:33:20