runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777533-1244015248/watcher-1777533-1244015248 -o /tmp/evaluation-result-1777533-1244015248/solver-1777533-1244015248 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777533-1244015248.cnf 1667900189 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: 15.87 15.75 15.74 2/189 4745
/proc/meminfo: memFree=19289712/36427776 swapFree=5928/10984
[pid=4745] ppid=4743 vsize=509232 CPUtime=0
/proc/4745/stat : 4745 (gnovelty+) R 4743 4745 24979 0 -1 4202496 2016 0 0 0 0 0 0 0 20 0 1 0 560831164 521453568 1972 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134537167 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/4745/statm: 127308 1979 99 286 0 127020 0
[startup+0.039765 s]
/proc/loadavg: 15.87 15.75 15.74 2/189 4745
/proc/meminfo: memFree=19289712/36427776 swapFree=5928/10984
[pid=4745] ppid=4743 vsize=509232 CPUtime=0.02
/proc/4745/stat : 4745 (gnovelty+) R 4743 4745 24979 0 -1 4202496 9863 0 0 0 0 2 0 0 20 0 1 0 560831164 521453568 9820 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134537167 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/4745/statm: 127308 9839 99 286 0 127020 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 509232
[startup+0.103724 s]
/proc/loadavg: 15.87 15.75 15.74 2/189 4745
/proc/meminfo: memFree=19289712/36427776 swapFree=5928/10984
[pid=4745] ppid=4743 vsize=517048 CPUtime=0.1
/proc/4745/stat : 4745 (gnovelty+) R 4743 4745 24979 0 -1 4202496 10235 0 0 0 6 4 0 0 20 0 1 0 560831164 529457152 10191 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134958286 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/4745/statm: 129262 10192 99 286 0 128974 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517048
[startup+0.303741 s]
/proc/loadavg: 15.87 15.75 15.74 2/189 4745
/proc/meminfo: memFree=19289712/36427776 swapFree=5928/10984
[pid=4745] ppid=4743 vsize=517044 CPUtime=0.3
/proc/4745/stat : 4745 (gnovelty+) R 4743 4745 24979 0 -1 4202496 20464 0 0 0 22 8 0 0 20 0 1 0 560831164 529453056 20419 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134538748 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/4745/statm: 129261 20419 99 286 0 128973 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 517044
[startup+0.702934 s]
/proc/loadavg: 15.87 15.75 15.74 2/189 4745
/proc/meminfo: memFree=19289712/36427776 swapFree=5928/10984
[pid=4745] ppid=4743 vsize=706140 CPUtime=2.42
/proc/4745/stat : 4745 (gnovelty+) R 4743 4745 24979 0 -1 4202496 27795 0 0 0 54 188 0 0 20 0 16 0 560831164 723087360 27750 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4745/statm: 176535 27750 103 286 0 176247 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 706140
[startup+1.50259 s]
/proc/loadavg: 15.87 15.75 15.74 16/205 4761
/proc/meminfo: memFree=19173596/36427776 swapFree=6568/130180
[pid=4745] ppid=4743 vsize=706140 CPUtime=14.95
/proc/4745/stat : 4745 (gnovelty+) R 4743 4745 24979 0 -1 4202496 30602 0 0 0 295 1200 0 0 20 0 16 0 560831164 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4745/statm: 176535 30557 103 286 0 176247 0
[pid=4745/tid=4747] ppid=4743 vsize=706140 CPUtime=0.92
/proc/4745/task/4747/stat : 4747 (gnovelty+) R 4743 4745 24979 0 -1 4202560 580 0 0 0 18 74 0 0 20 0 16 0 560831218 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4745/tid=4748] ppid=4743 vsize=706140 CPUtime=0.92
/proc/4745/task/4748/stat : 4748 (gnovelty+) R 4743 4745 24979 0 -1 4202560 595 0 0 0 16 76 0 0 20 0 16 0 560831218 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4745/tid=4749] ppid=4743 vsize=706140 CPUtime=0.92
/proc/4745/task/4749/stat : 4749 (gnovelty+) R 4743 4745 24979 0 -1 4202560 595 0 0 0 16 76 0 0 20 0 16 0 560831218 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4745/tid=4750] ppid=4743 vsize=706140 CPUtime=0.92
/proc/4745/task/4750/stat : 4750 (gnovelty+) R 4743 4745 24979 0 -1 4202560 595 0 0 0 14 78 0 0 20 0 16 0 560831218 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4745/tid=4751] ppid=4743 vsize=706140 CPUtime=0.92
/proc/4745/task/4751/stat : 4751 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 14 78 0 0 20 0 16 0 560831218 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4745/tid=4752] ppid=4743 vsize=706140 CPUtime=0.92
/proc/4745/task/4752/stat : 4752 (gnovelty+) R 4743 4745 24979 0 -1 4202560 595 0 0 0 14 78 0 0 20 0 16 0 560831218 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4745/tid=4753] ppid=4743 vsize=706140 CPUtime=0.92
/proc/4745/task/4753/stat : 4753 (gnovelty+) R 4743 4745 24979 0 -1 4202560 595 0 0 0 12 80 0 0 20 0 16 0 560831218 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4745/tid=4754] ppid=4743 vsize=706140 CPUtime=0.9
/proc/4745/task/4754/stat : 4754 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 14 76 0 0 20 0 16 0 560831219 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4745/tid=4755] ppid=4743 vsize=706140 CPUtime=0.9
/proc/4745/task/4755/stat : 4755 (gnovelty+) R 4743 4745 24979 0 -1 4202560 595 0 0 0 14 76 0 0 20 0 16 0 560831220 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4745/tid=4756] ppid=4743 vsize=706140 CPUtime=0.9
/proc/4745/task/4756/stat : 4756 (gnovelty+) R 4743 4745 24979 0 -1 4202560 595 0 0 0 18 72 0 0 20 0 16 0 560831221 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4745/tid=4757] ppid=4743 vsize=706140 CPUtime=0.88
/proc/4745/task/4757/stat : 4757 (gnovelty+) R 4743 4745 24979 0 -1 4202560 595 0 0 0 16 72 0 0 20 0 16 0 560831222 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4745/tid=4758] ppid=4743 vsize=706140 CPUtime=0.88
/proc/4745/task/4758/stat : 4758 (gnovelty+) R 4743 4745 24979 0 -1 4202560 595 0 0 0 14 74 0 0 20 0 16 0 560831223 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4745/tid=4759] ppid=4743 vsize=706140 CPUtime=0.86
/proc/4745/task/4759/stat : 4759 (gnovelty+) R 4743 4745 24979 0 -1 4202560 595 0 0 0 14 72 0 0 20 0 16 0 560831225 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4745/tid=4760] ppid=4743 vsize=706140 CPUtime=0.82
/proc/4745/task/4760/stat : 4760 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 16 66 0 0 20 0 16 0 560831227 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4745/tid=4761] ppid=4743 vsize=706140 CPUtime=0.82
/proc/4745/task/4761/stat : 4761 (gnovelty+) R 4743 4745 24979 0 -1 4202560 595 0 0 0 14 68 0 0 20 0 16 0 560831229 723087360 30557 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 14.95
Current children cumulated vsize (KiB) 706140
[startup+3.10351 s]
/proc/loadavg: 15.80 15.74 15.73 17/205 4761
/proc/meminfo: memFree=19167808/36427776 swapFree=6568/135596
[pid=4745] ppid=4743 vsize=706140 CPUtime=40.24
/proc/4745/stat : 4745 (gnovelty+) R 4743 4745 24979 0 -1 4202496 30636 0 0 0 522 3502 0 0 20 0 16 0 560831164 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4745/statm: 176535 30591 103 286 0 176247 0
[pid=4745/tid=4747] ppid=4743 vsize=706140 CPUtime=2.5
/proc/4745/task/4747/stat : 4747 (gnovelty+) R 4743 4745 24979 0 -1 4202560 582 0 0 0 30 220 0 0 20 0 16 0 560831218 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4745/tid=4748] ppid=4743 vsize=706140 CPUtime=2.5
/proc/4745/task/4748/stat : 4748 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 28 222 0 0 20 0 16 0 560831218 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4745/tid=4749] ppid=4743 vsize=706140 CPUtime=2.5
/proc/4745/task/4749/stat : 4749 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 24 226 0 0 20 0 16 0 560831218 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4745/tid=4750] ppid=4743 vsize=706140 CPUtime=2.5
/proc/4745/task/4750/stat : 4750 (gnovelty+) R 4743 4745 24979 0 -1 4202560 601 0 0 0 24 226 0 0 20 0 16 0 560831218 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4745/tid=4751] ppid=4743 vsize=706140 CPUtime=2.5
/proc/4745/task/4751/stat : 4751 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 24 226 0 0 20 0 16 0 560831218 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4745/tid=4752] ppid=4743 vsize=706140 CPUtime=2.5
/proc/4745/task/4752/stat : 4752 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 26 224 0 0 20 0 16 0 560831218 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4745/tid=4753] ppid=4743 vsize=706140 CPUtime=2.5
/proc/4745/task/4753/stat : 4753 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 26 224 0 0 20 0 16 0 560831218 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4745/tid=4754] ppid=4743 vsize=706140 CPUtime=2.48
/proc/4745/task/4754/stat : 4754 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 32 216 0 0 20 0 16 0 560831219 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4745/tid=4755] ppid=4743 vsize=706140 CPUtime=2.48
/proc/4745/task/4755/stat : 4755 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 30 218 0 0 20 0 16 0 560831220 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4745/tid=4756] ppid=4743 vsize=706140 CPUtime=2.48
/proc/4745/task/4756/stat : 4756 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 32 216 0 0 20 0 16 0 560831221 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4745/tid=4757] ppid=4743 vsize=706140 CPUtime=2.46
/proc/4745/task/4757/stat : 4757 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 30 216 0 0 20 0 16 0 560831222 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4745/tid=4758] ppid=4743 vsize=706140 CPUtime=2.46
/proc/4745/task/4758/stat : 4758 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 26 220 0 0 20 0 16 0 560831223 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4745/tid=4759] ppid=4743 vsize=706140 CPUtime=2.44
/proc/4745/task/4759/stat : 4759 (gnovelty+) R 4743 4745 24979 0 -1 4202560 598 0 0 0 26 218 0 0 20 0 16 0 560831225 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4745/tid=4760] ppid=4743 vsize=706140 CPUtime=2.36
/proc/4745/task/4760/stat : 4760 (gnovelty+) R 4743 4745 24979 0 -1 4202560 598 0 0 0 28 208 0 0 20 0 16 0 560831227 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4745/tid=4761] ppid=4743 vsize=706140 CPUtime=2.4
/proc/4745/task/4761/stat : 4761 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 30 210 0 0 20 0 16 0 560831229 723087360 30591 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 40.24
Current children cumulated vsize (KiB) 706140
[startup+6.30304 s]
/proc/loadavg: 15.80 15.74 15.73 16/205 4761
/proc/meminfo: memFree=19167560/36427776 swapFree=6568/135920
[pid=4745] ppid=4743 vsize=706140 CPUtime=90.62
/proc/4745/stat : 4745 (gnovelty+) R 4743 4745 24979 0 -1 4202496 30642 0 0 0 971 8091 0 0 20 0 16 0 560831164 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4745/statm: 176535 30597 103 286 0 176247 0
[pid=4745/tid=4747] ppid=4743 vsize=706140 CPUtime=5.66
/proc/4745/task/4747/stat : 4747 (gnovelty+) R 4743 4745 24979 0 -1 4202560 582 0 0 0 60 506 0 0 20 0 16 0 560831218 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4745/tid=4748] ppid=4743 vsize=706140 CPUtime=5.66
/proc/4745/task/4748/stat : 4748 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 60 506 0 0 20 0 16 0 560831218 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4745/tid=4749] ppid=4743 vsize=706140 CPUtime=5.66
/proc/4745/task/4749/stat : 4749 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 54 512 0 0 20 0 16 0 560831218 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4745/tid=4750] ppid=4743 vsize=706140 CPUtime=5.66
/proc/4745/task/4750/stat : 4750 (gnovelty+) R 4743 4745 24979 0 -1 4202560 601 0 0 0 62 504 0 0 20 0 16 0 560831218 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4745/tid=4751] ppid=4743 vsize=706140 CPUtime=5.64
/proc/4745/task/4751/stat : 4751 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 48 516 0 0 20 0 16 0 560831218 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4745/tid=4752] ppid=4743 vsize=706140 CPUtime=5.66
/proc/4745/task/4752/stat : 4752 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 56 510 0 0 20 0 16 0 560831218 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4745/tid=4753] ppid=4743 vsize=706140 CPUtime=5.66
/proc/4745/task/4753/stat : 4753 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 56 510 0 0 20 0 16 0 560831218 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4745/tid=4754] ppid=4743 vsize=706140 CPUtime=5.64
/proc/4745/task/4754/stat : 4754 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 60 504 0 0 20 0 16 0 560831219 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4745/tid=4755] ppid=4743 vsize=706140 CPUtime=5.64
/proc/4745/task/4755/stat : 4755 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 56 508 0 0 20 0 16 0 560831220 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4745/tid=4756] ppid=4743 vsize=706140 CPUtime=5.62
/proc/4745/task/4756/stat : 4756 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 56 506 0 0 20 0 16 0 560831221 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4745/tid=4757] ppid=4743 vsize=706140 CPUtime=5.62
/proc/4745/task/4757/stat : 4757 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 48 514 0 0 20 0 16 0 560831222 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4745/tid=4758] ppid=4743 vsize=706140 CPUtime=5.6
/proc/4745/task/4758/stat : 4758 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 54 506 0 0 20 0 16 0 560831223 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4745/tid=4759] ppid=4743 vsize=706140 CPUtime=5.58
/proc/4745/task/4759/stat : 4759 (gnovelty+) R 4743 4745 24979 0 -1 4202560 598 0 0 0 52 506 0 0 20 0 16 0 560831225 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4745/tid=4760] ppid=4743 vsize=706140 CPUtime=5.46
/proc/4745/task/4760/stat : 4760 (gnovelty+) R 4743 4745 24979 0 -1 4202560 600 0 0 0 56 490 0 0 20 0 16 0 560831227 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4745/tid=4761] ppid=4743 vsize=706140 CPUtime=5.56
/proc/4745/task/4761/stat : 4761 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 54 502 0 0 20 0 16 0 560831229 723087360 30597 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 90.62
Current children cumulated vsize (KiB) 706140
[startup+12.7037 s]
/proc/loadavg: 15.76 15.73 15.73 17/205 4761
/proc/meminfo: memFree=19167112/36427776 swapFree=6568/136388
[pid=4745] ppid=4743 vsize=706140 CPUtime=191.46
/proc/4745/stat : 4745 (gnovelty+) R 4743 4745 24979 0 -1 4202496 30643 0 0 0 1812 17334 0 0 20 0 16 0 560831164 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4745/statm: 176535 30598 103 286 0 176247 0
[pid=4745/tid=4747] ppid=4743 vsize=706140 CPUtime=11.96
/proc/4745/task/4747/stat : 4747 (gnovelty+) R 4743 4745 24979 0 -1 4202560 582 0 0 0 112 1084 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4745/tid=4748] ppid=4743 vsize=706140 CPUtime=11.96
/proc/4745/task/4748/stat : 4748 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 128 1068 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4745/tid=4749] ppid=4743 vsize=706140 CPUtime=11.96
/proc/4745/task/4749/stat : 4749 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 102 1094 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4745/tid=4750] ppid=4743 vsize=706140 CPUtime=11.96
/proc/4745/task/4750/stat : 4750 (gnovelty+) R 4743 4745 24979 0 -1 4202560 601 0 0 0 108 1088 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4745/tid=4751] ppid=4743 vsize=706140 CPUtime=11.96
/proc/4745/task/4751/stat : 4751 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 90 1106 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4745/tid=4752] ppid=4743 vsize=706140 CPUtime=11.98
/proc/4745/task/4752/stat : 4752 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 112 1086 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4745/tid=4753] ppid=4743 vsize=706140 CPUtime=11.98
/proc/4745/task/4753/stat : 4753 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 114 1084 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4745/tid=4754] ppid=4743 vsize=706140 CPUtime=11.94
/proc/4745/task/4754/stat : 4754 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 114 1080 0 0 20 0 16 0 560831219 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4745/tid=4755] ppid=4743 vsize=706140 CPUtime=11.94
/proc/4745/task/4755/stat : 4755 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 104 1090 0 0 20 0 16 0 560831220 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4745/tid=4756] ppid=4743 vsize=706140 CPUtime=11.94
/proc/4745/task/4756/stat : 4756 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 102 1092 0 0 20 0 16 0 560831221 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4745/tid=4757] ppid=4743 vsize=706140 CPUtime=11.92
/proc/4745/task/4757/stat : 4757 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 102 1090 0 0 20 0 16 0 560831222 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=4745/tid=4748] ppid=4743 vsize=706140 CPUtime=159.33
/proc/4745/task/4748/stat : 4748 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 1184 14749 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4745/tid=4749] ppid=4743 vsize=706140 CPUtime=159.36
/proc/4745/task/4749/stat : 4749 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 1190 14746 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4745/tid=4750] ppid=4743 vsize=706140 CPUtime=159.29
/proc/4745/task/4750/stat : 4750 (gnovelty+) R 4743 4745 24979 0 -1 4202560 601 0 0 0 1146 14783 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4745/tid=4751] ppid=4743 vsize=706140 CPUtime=159.28
/proc/4745/task/4751/stat : 4751 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1120 14808 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4745/tid=4752] ppid=4743 vsize=706140 CPUtime=159.49
/proc/4745/task/4752/stat : 4752 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1180 14769 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4745/tid=4753] ppid=4743 vsize=706140 CPUtime=159.48
/proc/4745/task/4753/stat : 4753 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1156 14792 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4745/tid=4754] ppid=4743 vsize=706140 CPUtime=159.27
/proc/4745/task/4754/stat : 4754 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1210 14717 0 0 20 0 16 0 560831219 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4745/tid=4755] ppid=4743 vsize=706140 CPUtime=159.36
/proc/4745/task/4755/stat : 4755 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1172 14764 0 0 20 0 16 0 560831220 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4745/tid=4756] ppid=4743 vsize=706140 CPUtime=159.29
/proc/4745/task/4756/stat : 4756 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 1148 14781 0 0 20 0 16 0 560831221 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4745/tid=4757] ppid=4743 vsize=706140 CPUtime=159.38
/proc/4745/task/4757/stat : 4757 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1152 14786 0 0 20 0 16 0 560831222 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4745/tid=4758] ppid=4743 vsize=706140 CPUtime=159.27
/proc/4745/task/4758/stat : 4758 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1162 14765 0 0 20 0 16 0 560831223 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4745/tid=4759] ppid=4743 vsize=706140 CPUtime=159.32
/proc/4745/task/4759/stat : 4759 (gnovelty+) R 4743 4745 24979 0 -1 4202560 598 0 0 0 1128 14804 0 0 20 0 16 0 560831225 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4745/tid=4760] ppid=4743 vsize=706140 CPUtime=155.88
/proc/4745/task/4760/stat : 4760 (gnovelty+) R 4743 4745 24979 0 -1 4202560 600 0 0 0 1172 14416 0 0 20 0 16 0 560831227 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4745/tid=4761] ppid=4743 vsize=706140 CPUtime=159.26
/proc/4745/task/4761/stat : 4761 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1144 14782 0 0 20 0 16 0 560831229 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2546.66
Current children cumulated vsize (KiB) 706140
[startup+222.307 s]
/proc/loadavg: 15.88 15.82 15.75 16/205 4766
/proc/meminfo: memFree=19165872/36427776 swapFree=6568/136524
[pid=4745] ppid=4743 vsize=706140 CPUtime=3491.14
/proc/4745/stat : 4745 (gnovelty+) S 4743 4745 24979 0 -1 4202496 30643 0 0 0 24821 324293 0 0 20 0 16 0 560831164 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4745/statm: 176535 30598 103 286 0 176247 0
[pid=4745/tid=4747] ppid=4743 vsize=706140 CPUtime=218.51
/proc/4745/task/4747/stat : 4747 (gnovelty+) R 4743 4745 24979 0 -1 4202560 582 0 0 0 1534 20317 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4745/tid=4748] ppid=4743 vsize=706140 CPUtime=218.42
/proc/4745/task/4748/stat : 4748 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 1552 20290 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4745/tid=4749] ppid=4743 vsize=706140 CPUtime=218.45
/proc/4745/task/4749/stat : 4749 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 1552 20293 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4745/tid=4750] ppid=4743 vsize=706140 CPUtime=218.36
/proc/4745/task/4750/stat : 4750 (gnovelty+) R 4743 4745 24979 0 -1 4202560 601 0 0 0 1498 20338 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4745/tid=4751] ppid=4743 vsize=706140 CPUtime=218.34
/proc/4745/task/4751/stat : 4751 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1460 20374 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4745/tid=4752] ppid=4743 vsize=706140 CPUtime=218.67
/proc/4745/task/4752/stat : 4752 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1612 20255 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4745/tid=4753] ppid=4743 vsize=706140 CPUtime=218.62
/proc/4745/task/4753/stat : 4753 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1550 20312 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4745/tid=4754] ppid=4743 vsize=706140 CPUtime=218.38
/proc/4745/task/4754/stat : 4754 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1632 20206 0 0 20 0 16 0 560831219 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4745/tid=4755] ppid=4743 vsize=706140 CPUtime=218.46
/proc/4745/task/4755/stat : 4755 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1580 20266 0 0 20 0 16 0 560831220 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4745/tid=4756] ppid=4743 vsize=706140 CPUtime=218.36
/proc/4745/task/4756/stat : 4756 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 1532 20304 0 0 20 0 16 0 560831221 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4745/tid=4757] ppid=4743 vsize=706140 CPUtime=218.57
/proc/4745/task/4757/stat : 4757 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1558 20299 0 0 20 0 16 0 560831222 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4745/tid=4758] ppid=4743 vsize=706140 CPUtime=218.37
/proc/4745/task/4758/stat : 4758 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1546 20291 0 0 20 0 16 0 560831223 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4745/tid=4759] ppid=4743 vsize=706140 CPUtime=218.47
/proc/4745/task/4759/stat : 4759 (gnovelty+) R 4743 4745 24979 0 -1 4202560 598 0 0 0 1514 20333 0 0 20 0 16 0 560831225 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4745/tid=4760] ppid=4743 vsize=706140 CPUtime=213.69
/proc/4745/task/4760/stat : 4760 (gnovelty+) R 4743 4745 24979 0 -1 4202560 600 0 0 0 1542 19827 0 0 20 0 16 0 560831227 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4745/tid=4761] ppid=4743 vsize=706140 CPUtime=218.39
/proc/4745/task/4761/stat : 4761 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1528 20311 0 0 20 0 16 0 560831229 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3491.14
Current children cumulated vsize (KiB) 706140
[startup+282.307 s]
/proc/loadavg: 15.88 15.82 15.75 16/205 4766
/proc/meminfo: memFree=19165748/36427776 swapFree=6568/136484
[pid=4745] ppid=4743 vsize=706140 CPUtime=4435.89
/proc/4745/stat : 4745 (gnovelty+) R 4743 4745 24979 0 -1 4202496 30643 0 0 0 30989 412600 0 0 20 0 16 0 560831164 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4745/statm: 176535 30598 103 286 0 176247 0
[pid=4745/tid=4747] ppid=4743 vsize=706140 CPUtime=277.66
/proc/4745/task/4747/stat : 4747 (gnovelty+) R 4743 4745 24979 0 -1 4202560 582 0 0 0 1942 25824 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4745/tid=4748] ppid=4743 vsize=706140 CPUtime=277.48
/proc/4745/task/4748/stat : 4748 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 1890 25858 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4745/tid=4749] ppid=4743 vsize=706140 CPUtime=277.56
/proc/4745/task/4749/stat : 4749 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 1930 25826 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4745/tid=4750] ppid=4743 vsize=706140 CPUtime=277.48
/proc/4745/task/4750/stat : 4750 (gnovelty+) R 4743 4745 24979 0 -1 4202560 601 0 0 0 1872 25876 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4745/tid=4751] ppid=4743 vsize=706140 CPUtime=277.35
/proc/4745/task/4751/stat : 4751 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1816 25919 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4745/tid=4752] ppid=4743 vsize=706140 CPUtime=277.86
/proc/4745/task/4752/stat : 4752 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 2038 25748 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4745/tid=4753] ppid=4743 vsize=706140 CPUtime=277.77
/proc/4745/task/4753/stat : 4753 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1954 25823 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4745/tid=4754] ppid=4743 vsize=706140 CPUtime=277.46
/proc/4745/task/4754/stat : 4754 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 2020 25726 0 0 20 0 16 0 560831219 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4745/tid=4755] ppid=4743 vsize=706140 CPUtime=277.59
/proc/4745/task/4755/stat : 4755 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1956 25803 0 0 20 0 16 0 560831220 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4745/tid=4756] ppid=4743 vsize=706140 CPUtime=277.46
/proc/4745/task/4756/stat : 4756 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 1892 25854 0 0 20 0 16 0 560831221 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4745/tid=4757] ppid=4743 vsize=706140 CPUtime=277.76
/proc/4745/task/4757/stat : 4757 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1994 25782 0 0 20 0 16 0 560831222 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4745/tid=4758] ppid=4743 vsize=706140 CPUtime=277.49
/proc/4745/task/4758/stat : 4758 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1922 25827 0 0 20 0 16 0 560831223 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4745/tid=4759] ppid=4743 vsize=706140 CPUtime=277.63
/proc/4745/task/4759/stat : 4759 (gnovelty+) R 4743 4745 24979 0 -1 4202560 598 0 0 0 1884 25879 0 0 20 0 16 0 560831225 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4745/tid=4760] ppid=4743 vsize=706140 CPUtime=271.56
/proc/4745/task/4760/stat : 4760 (gnovelty+) R 4743 4745 24979 0 -1 4202560 600 0 0 0 1954 25202 0 0 20 0 16 0 560831227 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4745/tid=4761] ppid=4743 vsize=706140 CPUtime=277.52
/proc/4745/task/4761/stat : 4761 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 1912 25840 0 0 20 0 16 0 560831229 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4435.89
Current children cumulated vsize (KiB) 706140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+318.204 s]
/proc/loadavg: 15.94 15.84 15.76 17/205 4766
/proc/meminfo: memFree=19165748/36427776 swapFree=6568/136696
[pid=4745] ppid=4743 vsize=706140 CPUtime=5001.14
/proc/4745/stat : 4745 (gnovelty+) R 4743 4745 24979 0 -1 4202496 30643 0 0 0 34642 465472 0 0 20 0 16 0 560831164 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4745/statm: 176535 30598 103 286 0 176247 0
[pid=4745/tid=4747] ppid=4743 vsize=706140 CPUtime=313.07
/proc/4745/task/4747/stat : 4747 (gnovelty+) R 4743 4745 24979 0 -1 4202560 582 0 0 0 2208 29099 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4745/tid=4748] ppid=4743 vsize=706140 CPUtime=312.79
/proc/4745/task/4748/stat : 4748 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 2106 29173 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4745/tid=4749] ppid=4743 vsize=706140 CPUtime=312.92
/proc/4745/task/4749/stat : 4749 (gnovelty+) R 4743 4745 24979 0 -1 4202560 599 0 0 0 2158 29134 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4745/tid=4750] ppid=4743 vsize=706140 CPUtime=312.82
/proc/4745/task/4750/stat : 4750 (gnovelty+) R 4743 4745 24979 0 -1 4202560 601 0 0 0 2104 29178 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4745/tid=4751] ppid=4743 vsize=706140 CPUtime=312.68
/proc/4745/task/4751/stat : 4751 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 2018 29250 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4745/tid=4752] ppid=4743 vsize=706140 CPUtime=313.26
/proc/4745/task/4752/stat : 4752 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 2256 29070 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4745/tid=4753] ppid=4743 vsize=706140 CPUtime=313.18
/proc/4745/task/4753/stat : 4753 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 2170 29148 0 0 20 0 16 0 560831218 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4745/tid=4754] ppid=4743 vsize=706140 CPUtime=312.82
/proc/4745/task/4754/stat : 4754 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 2242 29040 0 0 20 0 16 0 560831219 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4745/tid=4755] ppid=4743 vsize=706140 CPUtime=312.99
/proc/4745/task/4755/stat : 4755 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 2180 29119 0 0 20 0 16 0 560831220 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4745/tid=4756] ppid=4743 vsize=706140 CPUtime=312.84
/proc/4745/task/4756/stat : 4756 (gnovelty+) R 4743 4745 24979 0 -1 4202560 596 0 0 0 2118 29166 0 0 20 0 16 0 560831221 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4745/tid=4757] ppid=4743 vsize=706140 CPUtime=313.15
/proc/4745/task/4757/stat : 4757 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 2230 29085 0 0 20 0 16 0 560831222 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4745/tid=4758] ppid=4743 vsize=706140 CPUtime=312.9
/proc/4745/task/4758/stat : 4758 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 2154 29136 0 0 20 0 16 0 560831223 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4745/tid=4759] ppid=4743 vsize=706140 CPUtime=313.01
/proc/4745/task/4759/stat : 4759 (gnovelty+) R 4743 4745 24979 0 -1 4202560 598 0 0 0 2140 29161 0 0 20 0 16 0 560831225 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4745/tid=4760] ppid=4743 vsize=706140 CPUtime=306.17
/proc/4745/task/4760/stat : 4760 (gnovelty+) R 4743 4745 24979 0 -1 4202560 600 0 0 0 2180 28437 0 0 20 0 16 0 560831227 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4745/tid=4761] ppid=4743 vsize=706140 CPUtime=312.9
/proc/4745/task/4761/stat : 4761 (gnovelty+) R 4743 4745 24979 0 -1 4202560 597 0 0 0 2128 29162 0 0 20 0 16 0 560831229 723087360 30598 18446744073709551615 134512640 135680988 4289298800 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5001.14
Current children cumulated vsize (KiB) 706140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4745 and gives
# childrusage.ru_utime.tv_sec=335
# childrusage.ru_utime.tv_usec=892992
# childrusage.ru_stime.tv_sec=4518
# childrusage.ru_stime.tv_usec=90363
# CPU time returned by wait4() is 4853.98
# while last known CPU time is 5001.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 318.241
CPU time (s): 5001.14
CPU user time (s): 346.42
CPU system time (s): 4654.72
CPU usage (%): 1571.5
Max. virtual memory (cumulated for all children) (KiB): 706140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 335.893
system time used= 4518.09
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30643
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= 287569
involuntary context switches= 11916
runsolver used 1.6721 second user time and 5.41634 second system time
The end
Begin job on xenhost3-49 at 2009-06-03 09:47:28
IDJOB=1777533
IDBENCH=70359
IDSOLVER=619
FILE ID=xenhost3-49/1777533-1244015248
PBS_JOBID=
Free space on /tmp= 7133 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (16 threads)
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777533-1244015248/watcher-1777533-1244015248 -o /tmp/evaluation-result-1777533-1244015248/solver-1777533-1244015248 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777533-1244015248.cnf 1667900189 16
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= eb6bf34a1ded0d6ac9d6c9b7ba628c09
RANDOM SEED= 1667900189
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: 19289712 kB
Buffers: 395132 kB
Cached: 14006364 kB
SwapCached: 0 kB
Active: 3075876 kB
Inactive: 11337988 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 2652 kB
Writeback: 0 kB
AnonPages: 10984 kB
Mapped: 5264 kB
Slab: 671256 kB
SReclaimable: 645120 kB
SUnreclaim: 26136 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= 7133 MiB
End job on xenhost3-49 at 2009-06-03 09:52:48