runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777821-1244034874/watcher-1777821-1244034874 -o /tmp/evaluation-result-1777821-1244034874/solver-1777821-1244034874 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777821-1244034874.cnf 1201767408 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.65 15.41 15.61 2/189 10253
/proc/meminfo: memFree=19286576/36427776 swapFree=6172/12876
[pid=10253] ppid=10251 vsize=509232 CPUtime=0
/proc/10253/stat : 10253 (gnovelty+) R 10251 10253 24979 0 -1 4202496 2243 0 0 0 0 0 0 0 20 0 1 0 562793742 521453568 2199 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134537167 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/10253/statm: 127308 2206 99 286 0 127020 0
[startup+0.017077 s]
/proc/loadavg: 14.65 15.41 15.61 2/189 10253
/proc/meminfo: memFree=19286576/36427776 swapFree=6172/12876
[pid=10253] ppid=10251 vsize=509232 CPUtime=0
/proc/10253/stat : 10253 (gnovelty+) R 10251 10253 24979 0 -1 4202496 4134 0 0 0 0 0 0 0 20 0 1 0 562793742 521453568 4090 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134537167 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/10253/statm: 127308 4110 99 286 0 127020 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 509232
[startup+0.101075 s]
/proc/loadavg: 14.65 15.41 15.61 2/189 10253
/proc/meminfo: memFree=19286576/36427776 swapFree=6172/12876
[pid=10253] ppid=10251 vsize=517044 CPUtime=0.1
/proc/10253/stat : 10253 (gnovelty+) R 10251 10253 24979 0 -1 4202496 17810 0 0 0 4 6 0 0 20 0 1 0 562793742 529453056 17765 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134537968 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/10253/statm: 129261 17774 99 286 0 128973 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517044
[startup+0.305208 s]
/proc/loadavg: 14.65 15.41 15.61 2/189 10253
/proc/meminfo: memFree=19286576/36427776 swapFree=6172/12876
[pid=10253] ppid=10251 vsize=658552 CPUtime=2.77
/proc/10253/stat : 10253 (gnovelty+) R 10251 10253 24979 0 -1 4202496 20387 0 0 0 14 263 0 0 20 0 16 0 562793742 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/10253/statm: 164638 20341 103 286 0 164350 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 658552
[startup+0.703602 s]
/proc/loadavg: 14.65 15.41 15.61 2/189 10253
/proc/meminfo: memFree=19286576/36427776 swapFree=6172/12876
[pid=10253] ppid=10251 vsize=658552 CPUtime=8.75
/proc/10253/stat : 10253 (gnovelty+) R 10251 10253 24979 0 -1 4202496 20387 0 0 0 70 805 0 0 20 0 16 0 562793742 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/10253/statm: 164638 20341 103 286 0 164350 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 658552
[startup+1.50504 s]
/proc/loadavg: 14.65 15.41 15.61 17/205 10269
/proc/meminfo: memFree=19205960/36427776 swapFree=6568/94208
[pid=10253] ppid=10251 vsize=658552 CPUtime=20.58
/proc/10253/stat : 10253 (gnovelty+) R 10251 10253 24979 0 -1 4202496 20387 0 0 0 183 1875 0 0 20 0 16 0 562793742 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/10253/statm: 164638 20341 103 286 0 164350 0
[pid=10253/tid=10255] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10255/stat : 10255 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 14 122 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10253/tid=10256] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10256/stat : 10256 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 8 128 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10253/tid=10257] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10257/stat : 10257 (gnovelty+) R 10251 10253 24979 0 -1 4202560 27 0 0 0 14 122 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10253/tid=10258] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10258/stat : 10258 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 10 126 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10253/tid=10259] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10259/stat : 10259 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 12 124 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10253/tid=10260] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10260/stat : 10260 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 10 126 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10253/tid=10261] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10261/stat : 10261 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 12 124 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10253/tid=10262] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10262/stat : 10262 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 14 122 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10253/tid=10263] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10263/stat : 10263 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 10 126 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10253/tid=10264] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10264/stat : 10264 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 14 122 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10253/tid=10265] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10265/stat : 10265 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 12 124 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10253/tid=10266] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10266/stat : 10266 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 12 124 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10253/tid=10267] ppid=10251 vsize=658552 CPUtime=1.34
/proc/10253/task/10267/stat : 10267 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 8 126 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10253/tid=10268] ppid=10251 vsize=658552 CPUtime=1.36
/proc/10253/task/10268/stat : 10268 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 8 128 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10253/tid=10269] ppid=10251 vsize=658552 CPUtime=0.7
/proc/10253/task/10269/stat : 10269 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 4 66 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 20.58
Current children cumulated vsize (KiB) 658552
[startup+3.10552 s]
/proc/loadavg: 14.65 15.41 15.61 17/205 10269
/proc/meminfo: memFree=19205464/36427776 swapFree=6568/94668
[pid=10253] ppid=10251 vsize=658552 CPUtime=45.5
/proc/10253/stat : 10253 (gnovelty+) R 10251 10253 24979 0 -1 4202496 20387 0 0 0 378 4172 0 0 20 0 16 0 562793742 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10253/statm: 164638 20341 103 286 0 164350 0
[pid=10253/tid=10255] ppid=10251 vsize=658552 CPUtime=2.94
/proc/10253/task/10255/stat : 10255 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 30 264 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10253/tid=10256] ppid=10251 vsize=658552 CPUtime=2.94
/proc/10253/task/10256/stat : 10256 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 22 272 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10253/tid=10257] ppid=10251 vsize=658552 CPUtime=2.94
/proc/10253/task/10257/stat : 10257 (gnovelty+) R 10251 10253 24979 0 -1 4202560 27 0 0 0 30 264 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10253/tid=10258] ppid=10251 vsize=658552 CPUtime=2.94
/proc/10253/task/10258/stat : 10258 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 22 272 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10253/tid=10259] ppid=10251 vsize=658552 CPUtime=2.92
/proc/10253/task/10259/stat : 10259 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 26 266 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10253/tid=10260] ppid=10251 vsize=658552 CPUtime=2.94
/proc/10253/task/10260/stat : 10260 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 22 272 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10253/tid=10261] ppid=10251 vsize=658552 CPUtime=2.92
/proc/10253/task/10261/stat : 10261 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 26 266 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10253/tid=10262] ppid=10251 vsize=658552 CPUtime=2.92
/proc/10253/task/10262/stat : 10262 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 22 270 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10253/tid=10263] ppid=10251 vsize=658552 CPUtime=2.92
/proc/10253/task/10263/stat : 10263 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 26 266 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10253/tid=10264] ppid=10251 vsize=658552 CPUtime=2.94
/proc/10253/task/10264/stat : 10264 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 22 272 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10253/tid=10265] ppid=10251 vsize=658552 CPUtime=2.92
/proc/10253/task/10265/stat : 10265 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 22 270 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10253/tid=10266] ppid=10251 vsize=658552 CPUtime=2.94
/proc/10253/task/10266/stat : 10266 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 22 272 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10253/tid=10267] ppid=10251 vsize=658552 CPUtime=2.88
/proc/10253/task/10267/stat : 10267 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 22 266 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10253/tid=10268] ppid=10251 vsize=658552 CPUtime=2.92
/proc/10253/task/10268/stat : 10268 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 20 272 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10253/tid=10269] ppid=10251 vsize=658552 CPUtime=2.18
/proc/10253/task/10269/stat : 10269 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 18 200 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 45.5
Current children cumulated vsize (KiB) 658552
[startup+6.30502 s]
/proc/loadavg: 14.76 15.42 15.61 17/205 10269
/proc/meminfo: memFree=19205232/36427776 swapFree=6568/94900
[pid=10253] ppid=10251 vsize=658552 CPUtime=95.88
/proc/10253/stat : 10253 (gnovelty+) R 10251 10253 24979 0 -1 4202496 20387 0 0 0 766 8822 0 0 20 0 16 0 562793742 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10253/statm: 164638 20341 103 286 0 164350 0
[pid=10253/tid=10255] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10255/stat : 10255 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 54 554 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10253/tid=10256] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10256/stat : 10256 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 48 560 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10253/tid=10257] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10257/stat : 10257 (gnovelty+) R 10251 10253 24979 0 -1 4202560 27 0 0 0 54 554 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10253/tid=10258] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10258/stat : 10258 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 46 562 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10253/tid=10259] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10259/stat : 10259 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 58 550 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10253/tid=10260] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10260/stat : 10260 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 52 556 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10253/tid=10261] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10261/stat : 10261 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 44 564 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10253/tid=10262] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10262/stat : 10262 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 44 564 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10253/tid=10263] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10263/stat : 10263 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 46 562 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10253/tid=10264] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10264/stat : 10264 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 50 558 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10253/tid=10265] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10265/stat : 10265 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 56 552 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10253/tid=10266] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10266/stat : 10266 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 36 572 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10253/tid=10267] ppid=10251 vsize=658552 CPUtime=5.96
/proc/10253/task/10267/stat : 10267 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 42 554 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10253/tid=10268] ppid=10251 vsize=658552 CPUtime=6.08
/proc/10253/task/10268/stat : 10268 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 40 568 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10253/tid=10269] ppid=10251 vsize=658552 CPUtime=5.34
/proc/10253/task/10269/stat : 10269 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 40 494 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 95.88
Current children cumulated vsize (KiB) 658552
[startup+12.7083 s]
/proc/loadavg: 14.86 15.43 15.61 17/205 10269
/proc/meminfo: memFree=19204892/36427776 swapFree=6568/95360
[pid=10253] ppid=10251 vsize=658552 CPUtime=196.69
/proc/10253/stat : 10253 (gnovelty+) R 10251 10253 24979 0 -1 4202496 20387 0 0 0 1503 18166 0 0 20 0 16 0 562793742 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10253/statm: 164638 20341 103 286 0 164350 0
[pid=10253/tid=10255] ppid=10251 vsize=658552 CPUtime=12.4
/proc/10253/task/10255/stat : 10255 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 96 1144 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10253/tid=10256] ppid=10251 vsize=658552 CPUtime=12.38
/proc/10253/task/10256/stat : 10256 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 102 1136 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10253/tid=10257] ppid=10251 vsize=658552 CPUtime=12.4
/proc/10253/task/10257/stat : 10257 (gnovelty+) R 10251 10253 24979 0 -1 4202560 27 0 0 0 96 1144 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10253/tid=10258] ppid=10251 vsize=658552 CPUtime=12.4
/proc/10253/task/10258/stat : 10258 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 86 1154 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10253/tid=10259] ppid=10251 vsize=658552 CPUtime=12.4
/proc/10253/task/10259/stat : 10259 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 100 1140 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10253/tid=10260] ppid=10251 vsize=658552 CPUtime=12.38
/proc/10253/task/10260/stat : 10260 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 104 1134 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10253/tid=10261] ppid=10251 vsize=658552 CPUtime=12.38
/proc/10253/task/10261/stat : 10261 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 92 1146 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10253/tid=10262] ppid=10251 vsize=658552 CPUtime=12.4
/proc/10253/task/10262/stat : 10262 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 86 1154 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10253/tid=10263] ppid=10251 vsize=658552 CPUtime=12.38
/proc/10253/task/10263/stat : 10263 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 98 1140 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10253/tid=10264] ppid=10251 vsize=658552 CPUtime=12.4
/proc/10253/task/10264/stat : 10264 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 102 1138 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10253/tid=10265] ppid=10251 vsize=658552 CPUtime=12.38
/proc/10253/task/10265/stat : 10265 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 104 1134 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
################
# More data... #
################
[pid=10253/tid=10256] ppid=10251 vsize=658552 CPUtime=218.58
/proc/10253/task/10256/stat : 10256 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 1608 20250 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10253/tid=10257] ppid=10251 vsize=658552 CPUtime=218.82
/proc/10253/task/10257/stat : 10257 (gnovelty+) R 10251 10253 24979 0 -1 4202560 27 0 0 0 1658 20224 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10253/tid=10258] ppid=10251 vsize=658552 CPUtime=218.88
/proc/10253/task/10258/stat : 10258 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 1634 20254 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10253/tid=10259] ppid=10251 vsize=658552 CPUtime=218.89
/proc/10253/task/10259/stat : 10259 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 1648 20241 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10253/tid=10260] ppid=10251 vsize=658552 CPUtime=218.87
/proc/10253/task/10260/stat : 10260 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 1652 20235 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10253/tid=10261] ppid=10251 vsize=658552 CPUtime=218.77
/proc/10253/task/10261/stat : 10261 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 1622 20255 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10253/tid=10262] ppid=10251 vsize=658552 CPUtime=218.75
/proc/10253/task/10262/stat : 10262 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 1642 20233 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10253/tid=10263] ppid=10251 vsize=658552 CPUtime=218.77
/proc/10253/task/10263/stat : 10263 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 1706 20171 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10253/tid=10264] ppid=10251 vsize=658552 CPUtime=218.8
/proc/10253/task/10264/stat : 10264 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 1728 20152 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10253/tid=10265] ppid=10251 vsize=658552 CPUtime=218.79
/proc/10253/task/10265/stat : 10265 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 1630 20249 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10253/tid=10266] ppid=10251 vsize=658552 CPUtime=218.68
/proc/10253/task/10266/stat : 10266 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 1648 20220 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10253/tid=10267] ppid=10251 vsize=658552 CPUtime=214.11
/proc/10253/task/10267/stat : 10267 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 1662 19749 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10253/tid=10268] ppid=10251 vsize=658552 CPUtime=218.77
/proc/10253/task/10268/stat : 10268 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 1680 20197 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10253/tid=10269] ppid=10251 vsize=658552 CPUtime=218.21
/proc/10253/task/10269/stat : 10269 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 1680 20141 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 3494.88
Current children cumulated vsize (KiB) 658552
[startup+282.304 s]
/proc/loadavg: 15.93 15.74 15.69 17/205 10277
/proc/meminfo: memFree=19204056/36427776 swapFree=6568/95972
[pid=10253] ppid=10251 vsize=658552 CPUtime=4439.11
/proc/10253/stat : 10253 (gnovelty+) R 10251 10253 24979 0 -1 4202496 20387 0 0 0 33751 410160 0 0 20 0 16 0 562793742 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10253/statm: 164638 20341 103 286 0 164350 0
[pid=10253/tid=10255] ppid=10251 vsize=658552 CPUtime=278.15
/proc/10253/task/10255/stat : 10255 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2132 25683 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10253/tid=10256] ppid=10251 vsize=658552 CPUtime=277.65
/proc/10253/task/10256/stat : 10256 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2042 25723 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10253/tid=10257] ppid=10251 vsize=658552 CPUtime=277.92
/proc/10253/task/10257/stat : 10257 (gnovelty+) R 10251 10253 24979 0 -1 4202560 27 0 0 0 2120 25672 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10253/tid=10258] ppid=10251 vsize=658552 CPUtime=277.94
/proc/10253/task/10258/stat : 10258 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2086 25708 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10253/tid=10259] ppid=10251 vsize=658552 CPUtime=278.01
/proc/10253/task/10259/stat : 10259 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2108 25693 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10253/tid=10260] ppid=10251 vsize=658552 CPUtime=277.98
/proc/10253/task/10260/stat : 10260 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 2124 25674 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10253/tid=10261] ppid=10251 vsize=658552 CPUtime=277.85
/proc/10253/task/10261/stat : 10261 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2066 25719 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10253/tid=10262] ppid=10251 vsize=658552 CPUtime=277.85
/proc/10253/task/10262/stat : 10262 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2108 25677 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10253/tid=10263] ppid=10251 vsize=658552 CPUtime=277.8
/proc/10253/task/10263/stat : 10263 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2168 25612 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10253/tid=10264] ppid=10251 vsize=658552 CPUtime=277.88
/proc/10253/task/10264/stat : 10264 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2192 25596 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10253/tid=10265] ppid=10251 vsize=658552 CPUtime=277.81
/proc/10253/task/10265/stat : 10265 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2104 25677 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10253/tid=10266] ppid=10251 vsize=658552 CPUtime=277.72
/proc/10253/task/10266/stat : 10266 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2074 25698 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10253/tid=10267] ppid=10251 vsize=658552 CPUtime=271.95
/proc/10253/task/10267/stat : 10267 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 2118 25077 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134533664 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10253/tid=10268] ppid=10251 vsize=658552 CPUtime=277.88
/proc/10253/task/10268/stat : 10268 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2130 25658 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10253/tid=10269] ppid=10251 vsize=658552 CPUtime=277.35
/proc/10253/task/10269/stat : 10269 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2130 25605 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 4439.11
Current children cumulated vsize (KiB) 658552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+318.106 s]
/proc/loadavg: 15.96 15.77 15.70 17/200 10280
/proc/meminfo: memFree=19207956/36427776 swapFree=4724/91800
[pid=10253] ppid=10251 vsize=658552 CPUtime=5000.51
/proc/10253/stat : 10253 (gnovelty+) R 10251 10253 24979 0 -1 4202496 20387 0 0 0 37978 462073 0 0 20 0 16 0 562793742 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10253/statm: 164638 20341 103 286 0 164350 0
[pid=10253/tid=10255] ppid=10251 vsize=658552 CPUtime=313.45
/proc/10253/task/10255/stat : 10255 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2382 28963 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10253/tid=10256] ppid=10251 vsize=658552 CPUtime=312.92
/proc/10253/task/10256/stat : 10256 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2278 29014 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10253/tid=10257] ppid=10251 vsize=658552 CPUtime=313.16
/proc/10253/task/10257/stat : 10257 (gnovelty+) R 10251 10253 24979 0 -1 4202560 27 0 0 0 2398 28918 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10253/tid=10258] ppid=10251 vsize=658552 CPUtime=313.21
/proc/10253/task/10258/stat : 10258 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2354 28967 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10253/tid=10259] ppid=10251 vsize=658552 CPUtime=313.3
/proc/10253/task/10259/stat : 10259 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2364 28966 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10253/tid=10260] ppid=10251 vsize=658552 CPUtime=313.25
/proc/10253/task/10260/stat : 10260 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 2402 28923 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10253/tid=10261] ppid=10251 vsize=658552 CPUtime=313.14
/proc/10253/task/10261/stat : 10261 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2324 28990 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10253/tid=10262] ppid=10251 vsize=658552 CPUtime=313.03
/proc/10253/task/10262/stat : 10262 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2388 28915 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10253/tid=10263] ppid=10251 vsize=658552 CPUtime=313.08
/proc/10253/task/10263/stat : 10263 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2432 28876 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10253/tid=10264] ppid=10251 vsize=658552 CPUtime=312.07
/proc/10253/task/10264/stat : 10264 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2478 28729 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10253/tid=10265] ppid=10251 vsize=658552 CPUtime=313.07
/proc/10253/task/10265/stat : 10265 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2382 28925 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10253/tid=10266] ppid=10251 vsize=658552 CPUtime=312.96
/proc/10253/task/10266/stat : 10266 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2340 28956 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10253/tid=10267] ppid=10251 vsize=658552 CPUtime=306.44
/proc/10253/task/10267/stat : 10267 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 2388 28256 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10253/tid=10268] ppid=10251 vsize=658552 CPUtime=312.1
/proc/10253/task/10268/stat : 10268 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2392 28818 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10253/tid=10269] ppid=10251 vsize=658552 CPUtime=312.66
/proc/10253/task/10269/stat : 10269 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2366 28900 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 5000.51
Current children cumulated vsize (KiB) 658552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+318.106 s]
/proc/loadavg: 15.96 15.77 15.70 17/200 10280
/proc/meminfo: memFree=19207956/36427776 swapFree=4724/91800
[pid=10253] ppid=10251 vsize=658552 CPUtime=5000.51
/proc/10253/stat : 10253 (gnovelty+) R 10251 10253 24979 0 -1 4202496 20387 0 0 0 37978 462073 0 0 20 0 16 0 562793742 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10253/statm: 164638 20341 103 286 0 164350 0
[pid=10253/tid=10255] ppid=10251 vsize=658552 CPUtime=313.45
/proc/10253/task/10255/stat : 10255 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2382 28963 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10253/tid=10256] ppid=10251 vsize=658552 CPUtime=312.92
/proc/10253/task/10256/stat : 10256 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2278 29014 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10253/tid=10257] ppid=10251 vsize=658552 CPUtime=313.16
/proc/10253/task/10257/stat : 10257 (gnovelty+) R 10251 10253 24979 0 -1 4202560 27 0 0 0 2398 28918 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10253/tid=10258] ppid=10251 vsize=658552 CPUtime=313.21
/proc/10253/task/10258/stat : 10258 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2354 28967 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10253/tid=10259] ppid=10251 vsize=658552 CPUtime=313.3
/proc/10253/task/10259/stat : 10259 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2364 28966 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10253/tid=10260] ppid=10251 vsize=658552 CPUtime=313.25
/proc/10253/task/10260/stat : 10260 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 2402 28923 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10253/tid=10261] ppid=10251 vsize=658552 CPUtime=313.14
/proc/10253/task/10261/stat : 10261 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2324 28990 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10253/tid=10262] ppid=10251 vsize=658552 CPUtime=313.03
/proc/10253/task/10262/stat : 10262 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2388 28915 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10253/tid=10263] ppid=10251 vsize=658552 CPUtime=313.08
/proc/10253/task/10263/stat : 10263 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2432 28876 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10253/tid=10264] ppid=10251 vsize=658552 CPUtime=312.07
/proc/10253/task/10264/stat : 10264 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2478 28729 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10253/tid=10265] ppid=10251 vsize=658552 CPUtime=313.07
/proc/10253/task/10265/stat : 10265 (gnovelty+) R 10251 10253 24979 0 -1 4202560 26 0 0 0 2382 28925 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10253/tid=10266] ppid=10251 vsize=658552 CPUtime=312.96
/proc/10253/task/10266/stat : 10266 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2340 28956 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10253/tid=10267] ppid=10251 vsize=658552 CPUtime=306.44
/proc/10253/task/10267/stat : 10267 (gnovelty+) R 10251 10253 24979 0 -1 4202560 24 0 0 0 2388 28256 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10253/tid=10268] ppid=10251 vsize=658552 CPUtime=312.1
/proc/10253/task/10268/stat : 10268 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2392 28818 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10253/tid=10269] ppid=10251 vsize=658552 CPUtime=312.66
/proc/10253/task/10269/stat : 10269 (gnovelty+) R 10251 10253 24979 0 -1 4202560 25 0 0 0 2366 28900 0 0 20 0 16 0 562793754 674357248 20341 18446744073709551615 134512640 135680988 4291722176 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 5000.51
Current children cumulated vsize (KiB) 658552
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10253 and gives
# childrusage.ru_utime.tv_sec=369
# childrusage.ru_utime.tv_usec=27062
# childrusage.ru_stime.tv_sec=4485
# childrusage.ru_stime.tv_usec=300313
# CPU time returned by wait4() is 4854.33
# while last known CPU time is 5000.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 318.139
CPU time (s): 5000.51
CPU user time (s): 379.78
CPU system time (s): 4620.73
CPU usage (%): 1571.8
Max. virtual memory (cumulated for all children) (KiB): 658552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 369.027
system time used= 4485.3
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20387
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= 313705
involuntary context switches= 11791
runsolver used 1.6801 second user time and 5.12832 second system time
The end
Begin job on xenhost3-49 at 2009-06-03 15:14:34
IDJOB=1777821
IDBENCH=70455
IDSOLVER=619
FILE ID=xenhost3-49/1777821-1244034874
PBS_JOBID=
Free space on /tmp= 7132 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (16 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/UNKNOWN/60/unif-k7-r89-v60-c5340-S528193823-041.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777821-1244034874/watcher-1777821-1244034874 -o /tmp/evaluation-result-1777821-1244034874/solver-1777821-1244034874 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777821-1244034874.cnf 1201767408 16
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= c154bca4589ab170cd9a9501250bcf71
RANDOM SEED= 1201767408
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: 19286576 kB
Buffers: 395604 kB
Cached: 14007036 kB
SwapCached: 0 kB
Active: 3077052 kB
Inactive: 11338512 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 1348 kB
Writeback: 8 kB
AnonPages: 12876 kB
Mapped: 5508 kB
Slab: 672016 kB
SReclaimable: 645744 kB
SUnreclaim: 26272 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 38144 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7132 MiB
End job on xenhost3-49 at 2009-06-03 15:19:54