runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777848-1244037938/watcher-1777848-1244037938 -o /tmp/evaluation-result-1777848-1244037938/solver-1777848-1244037938 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777848-1244037938.cnf 1555058348 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.89 15.89 15.77 2/184 10800
/proc/meminfo: memFree=19290604/36427776 swapFree=3648/8100
[pid=10800] ppid=10798 vsize=509232 CPUtime=0
/proc/10800/stat : 10800 (gnovelty+) R 10798 10800 24979 0 -1 4202496 2283 0 0 0 0 0 0 0 20 0 1 0 563100192 521453568 2240 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134537167 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/10800/statm: 127308 2248 99 286 0 127020 0
[startup+0.014504 s]
/proc/loadavg: 15.89 15.89 15.77 2/184 10800
/proc/meminfo: memFree=19290604/36427776 swapFree=3648/8100
[pid=10800] ppid=10798 vsize=509232 CPUtime=0
/proc/10800/stat : 10800 (gnovelty+) R 10798 10800 24979 0 -1 4202496 3485 0 0 0 0 0 0 0 20 0 1 0 563100192 521453568 3443 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134537167 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/10800/statm: 127308 3465 99 286 0 127020 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 509232
[startup+0.102516 s]
/proc/loadavg: 15.89 15.89 15.77 2/184 10800
/proc/meminfo: memFree=19290604/36427776 swapFree=3648/8100
[pid=10800] ppid=10798 vsize=517044 CPUtime=0.1
/proc/10800/stat : 10800 (gnovelty+) R 10798 10800 24979 0 -1 4202496 17667 0 0 0 4 6 0 0 20 0 1 0 563100192 529453056 17623 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134537968 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/10800/statm: 129261 17633 99 286 0 128973 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517044
[startup+0.302262 s]
/proc/loadavg: 15.89 15.89 15.77 2/184 10800
/proc/meminfo: memFree=19290604/36427776 swapFree=3648/8100
[pid=10800] ppid=10798 vsize=659144 CPUtime=2.66
/proc/10800/stat : 10800 (gnovelty+) R 10798 10800 24979 0 -1 4202496 20482 0 0 0 12 254 0 0 20 0 16 0 563100192 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10800/statm: 164786 20438 103 286 0 164498 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 659144
[startup+0.702809 s]
/proc/loadavg: 15.89 15.89 15.77 2/184 10800
/proc/meminfo: memFree=19290604/36427776 swapFree=3648/8100
[pid=10800] ppid=10798 vsize=659144 CPUtime=8.71
/proc/10800/stat : 10800 (gnovelty+) R 10798 10800 24979 0 -1 4202496 20482 0 0 0 64 807 0 0 20 0 16 0 563100192 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10800/statm: 164786 20438 103 286 0 164498 0
Current children cumulated CPU time (s) 8.71
Current children cumulated vsize (KiB) 659144
[startup+1.50257 s]
/proc/loadavg: 15.89 15.89 15.77 17/200 10816
/proc/meminfo: memFree=19210224/36427776 swapFree=4716/90160
[pid=10800] ppid=10798 vsize=659144 CPUtime=20.44
/proc/10800/stat : 10800 (gnovelty+) R 10798 10800 24979 0 -1 4202496 20482 0 0 0 168 1876 0 0 20 0 16 0 563100192 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10800/statm: 164786 20438 103 286 0 164498 0
[pid=10800/tid=10802] ppid=10798 vsize=659144 CPUtime=1.34
/proc/10800/task/10802/stat : 10802 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 8 126 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10800/tid=10803] ppid=10798 vsize=659144 CPUtime=1.34
/proc/10800/task/10803/stat : 10803 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 12 122 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10800/tid=10804] ppid=10798 vsize=659144 CPUtime=1.36
/proc/10800/task/10804/stat : 10804 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 14 122 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10800/tid=10805] ppid=10798 vsize=659144 CPUtime=1.36
/proc/10800/task/10805/stat : 10805 (gnovelty+) R 10798 10800 24979 0 -1 4202560 32 0 0 0 12 124 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10800/tid=10806] ppid=10798 vsize=659144 CPUtime=1.34
/proc/10800/task/10806/stat : 10806 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 6 128 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10800/tid=10807] ppid=10798 vsize=659144 CPUtime=1.34
/proc/10800/task/10807/stat : 10807 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 10 124 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10800/tid=10808] ppid=10798 vsize=659144 CPUtime=1.36
/proc/10800/task/10808/stat : 10808 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 12 124 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10800/tid=10809] ppid=10798 vsize=659144 CPUtime=1.34
/proc/10800/task/10809/stat : 10809 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 10 124 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10800/tid=10810] ppid=10798 vsize=659144 CPUtime=1.34
/proc/10800/task/10810/stat : 10810 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 14 120 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10800/tid=10811] ppid=10798 vsize=659144 CPUtime=1.34
/proc/10800/task/10811/stat : 10811 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 12 122 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10800/tid=10812] ppid=10798 vsize=659144 CPUtime=1.34
/proc/10800/task/10812/stat : 10812 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 10 124 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10800/tid=10813] ppid=10798 vsize=659144 CPUtime=1.34
/proc/10800/task/10813/stat : 10813 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6 128 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10800/tid=10814] ppid=10798 vsize=659144 CPUtime=1.32
/proc/10800/task/10814/stat : 10814 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 6 126 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10800/tid=10815] ppid=10798 vsize=659144 CPUtime=1.34
/proc/10800/task/10815/stat : 10815 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 12 122 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10800/tid=10816] ppid=10798 vsize=659144 CPUtime=0.7
/proc/10800/task/10816/stat : 10816 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 4 66 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 20.44
Current children cumulated vsize (KiB) 659144
[startup+3.10275 s]
/proc/loadavg: 15.90 15.89 15.77 17/200 10816
/proc/meminfo: memFree=19209852/36427776 swapFree=4724/90856
[pid=10800] ppid=10798 vsize=659144 CPUtime=44.08
/proc/10800/stat : 10800 (gnovelty+) R 10798 10800 24979 0 -1 4202496 20482 0 0 0 383 4025 0 0 20 0 16 0 563100192 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10800/statm: 164786 20438 103 286 0 164498 0
[pid=10800/tid=10802] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10802/stat : 10802 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 22 270 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10800/tid=10803] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10803/stat : 10803 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 28 264 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10800/tid=10804] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10804/stat : 10804 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 28 264 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10800/tid=10805] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10805/stat : 10805 (gnovelty+) R 10798 10800 24979 0 -1 4202560 32 0 0 0 24 268 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10800/tid=10806] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10806/stat : 10806 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 24 268 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10800/tid=10807] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10807/stat : 10807 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 28 264 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10800/tid=10808] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10808/stat : 10808 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 28 264 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10800/tid=10809] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10809/stat : 10809 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 20 272 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10800/tid=10810] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10810/stat : 10810 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 32 260 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10800/tid=10811] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10811/stat : 10811 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 24 268 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10800/tid=10812] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10812/stat : 10812 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 20 272 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10800/tid=10813] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10813/stat : 10813 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 20 272 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10800/tid=10814] ppid=10798 vsize=659144 CPUtime=2.86
/proc/10800/task/10814/stat : 10814 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 18 268 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10800/tid=10815] ppid=10798 vsize=659144 CPUtime=2.92
/proc/10800/task/10815/stat : 10815 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 26 266 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10800/tid=10816] ppid=10798 vsize=659144 CPUtime=1.5
/proc/10800/task/10816/stat : 10816 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 10 140 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 44.08
Current children cumulated vsize (KiB) 659144
[startup+6.30261 s]
/proc/loadavg: 15.90 15.89 15.77 17/200 10816
/proc/meminfo: memFree=19209604/36427776 swapFree=4724/91092
[pid=10800] ppid=10798 vsize=659144 CPUtime=91.33
/proc/10800/stat : 10800 (gnovelty+) R 10798 10800 24979 0 -1 4202496 20482 0 0 0 825 8308 0 0 20 0 16 0 563100192 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10800/statm: 164786 20438 103 286 0 164498 0
[pid=10800/tid=10802] ppid=10798 vsize=659144 CPUtime=6.08
/proc/10800/task/10802/stat : 10802 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 54 554 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10800/tid=10803] ppid=10798 vsize=659144 CPUtime=6.08
/proc/10800/task/10803/stat : 10803 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 62 546 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10800/tid=10804] ppid=10798 vsize=659144 CPUtime=6.08
/proc/10800/task/10804/stat : 10804 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 52 556 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10800/tid=10805] ppid=10798 vsize=659144 CPUtime=6.08
/proc/10800/task/10805/stat : 10805 (gnovelty+) R 10798 10800 24979 0 -1 4202560 32 0 0 0 54 554 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10800/tid=10806] ppid=10798 vsize=659144 CPUtime=6.06
/proc/10800/task/10806/stat : 10806 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 50 556 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10800/tid=10807] ppid=10798 vsize=659144 CPUtime=6.08
/proc/10800/task/10807/stat : 10807 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 48 560 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10800/tid=10808] ppid=10798 vsize=659144 CPUtime=6.08
/proc/10800/task/10808/stat : 10808 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 64 544 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10800/tid=10809] ppid=10798 vsize=659144 CPUtime=6.08
/proc/10800/task/10809/stat : 10809 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 60 548 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10800/tid=10810] ppid=10798 vsize=659144 CPUtime=6.08
/proc/10800/task/10810/stat : 10810 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 56 552 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10800/tid=10811] ppid=10798 vsize=659144 CPUtime=6.06
/proc/10800/task/10811/stat : 10811 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 56 550 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10800/tid=10812] ppid=10798 vsize=659144 CPUtime=6.06
/proc/10800/task/10812/stat : 10812 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 64 542 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10800/tid=10813] ppid=10798 vsize=659144 CPUtime=6.08
/proc/10800/task/10813/stat : 10813 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 42 566 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10800/tid=10814] ppid=10798 vsize=659144 CPUtime=5.94
/proc/10800/task/10814/stat : 10814 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 38 556 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10800/tid=10815] ppid=10798 vsize=659144 CPUtime=6.08
/proc/10800/task/10815/stat : 10815 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 54 554 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10800/tid=10816] ppid=10798 vsize=659144 CPUtime=3.1
/proc/10800/task/10816/stat : 10816 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 24 286 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 91.33
Current children cumulated vsize (KiB) 659144
[startup+12.7025 s]
/proc/loadavg: 15.92 15.89 15.77 16/200 10816
/proc/meminfo: memFree=19209164/36427776 swapFree=4724/91540
[pid=10800] ppid=10798 vsize=659144 CPUtime=185.87
/proc/10800/stat : 10800 (gnovelty+) R 10798 10800 24979 0 -1 4202496 20482 0 0 0 1685 16902 0 0 20 0 16 0 563100192 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10800/statm: 164786 20438 103 286 0 164498 0
[pid=10800/tid=10802] ppid=10798 vsize=659144 CPUtime=12.4
/proc/10800/task/10802/stat : 10802 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 114 1126 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10800/tid=10803] ppid=10798 vsize=659144 CPUtime=12.38
/proc/10800/task/10803/stat : 10803 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 126 1112 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10800/tid=10804] ppid=10798 vsize=659144 CPUtime=11.9
/proc/10800/task/10804/stat : 10804 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 104 1086 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10800/tid=10805] ppid=10798 vsize=659144 CPUtime=12.38
/proc/10800/task/10805/stat : 10805 (gnovelty+) R 10798 10800 24979 0 -1 4202560 32 0 0 0 114 1124 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10800/tid=10806] ppid=10798 vsize=659144 CPUtime=12.38
/proc/10800/task/10806/stat : 10806 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 110 1128 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10800/tid=10807] ppid=10798 vsize=659144 CPUtime=12.38
/proc/10800/task/10807/stat : 10807 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 96 1142 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10800/tid=10808] ppid=10798 vsize=659144 CPUtime=12.3
/proc/10800/task/10808/stat : 10808 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 124 1106 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10800/tid=10809] ppid=10798 vsize=659144 CPUtime=12.38
/proc/10800/task/10809/stat : 10809 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 118 1120 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10800/tid=10810] ppid=10798 vsize=659144 CPUtime=12.4
/proc/10800/task/10810/stat : 10810 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 122 1118 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10800/tid=10811] ppid=10798 vsize=659144 CPUtime=12.36
/proc/10800/task/10811/stat : 10811 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 114 1122 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10800/tid=10812] ppid=10798 vsize=659144 CPUtime=12.38
/proc/10800/task/10812/stat : 10812 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 120 1118 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=10800/tid=10803] ppid=10798 vsize=659144 CPUtime=267.32
/proc/10800/task/10803/stat : 10803 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 4991 21741 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10800/tid=10804] ppid=10798 vsize=659144 CPUtime=253.41
/proc/10800/task/10804/stat : 10804 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 4766 20575 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10800/tid=10805] ppid=10798 vsize=659144 CPUtime=280.96
/proc/10800/task/10805/stat : 10805 (gnovelty+) R 10798 10800 24979 0 -1 4202560 32 0 0 0 5123 22973 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10800/tid=10806] ppid=10798 vsize=659144 CPUtime=255.13
/proc/10800/task/10806/stat : 10806 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 4820 20693 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10800/tid=10807] ppid=10798 vsize=659144 CPUtime=261.75
/proc/10800/task/10807/stat : 10807 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 4849 21326 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10800/tid=10808] ppid=10798 vsize=659144 CPUtime=242.66
/proc/10800/task/10808/stat : 10808 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 4645 19621 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10800/tid=10809] ppid=10798 vsize=659144 CPUtime=281.89
/proc/10800/task/10809/stat : 10809 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 5230 22959 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10800/tid=10810] ppid=10798 vsize=659144 CPUtime=259.95
/proc/10800/task/10810/stat : 10810 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 4832 21163 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10800/tid=10811] ppid=10798 vsize=659144 CPUtime=254.93
/proc/10800/task/10811/stat : 10811 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 4593 20900 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10800/tid=10812] ppid=10798 vsize=659144 CPUtime=258.27
/proc/10800/task/10812/stat : 10812 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 4938 20889 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10800/tid=10813] ppid=10798 vsize=659144 CPUtime=262.58
/proc/10800/task/10813/stat : 10813 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 4746 21512 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10800/tid=10814] ppid=10798 vsize=659144 CPUtime=263.23
/proc/10800/task/10814/stat : 10814 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 4853 21470 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10800/tid=10815] ppid=10798 vsize=659144 CPUtime=257.09
/proc/10800/task/10815/stat : 10815 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 4914 20795 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10800/tid=10816] ppid=10798 vsize=659144 CPUtime=241.56
/proc/10800/task/10816/stat : 10816 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 4537 19619 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 4183.65
Current children cumulated vsize (KiB) 659144
[startup+462.305 s]
/proc/loadavg: 15.95 15.90 15.82 17/200 10821
/proc/meminfo: memFree=19208420/36427776 swapFree=4724/91816
[pid=10800] ppid=10798 vsize=659144 CPUtime=4679.97
/proc/10800/stat : 10800 (gnovelty+) R 10798 10800 24979 0 -1 4202496 20482 0 0 0 92532 375465 0 0 20 0 16 0 563100192 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10800/statm: 164786 20438 103 286 0 164498 0
[pid=10800/tid=10802] ppid=10798 vsize=659144 CPUtime=314.55
/proc/10800/task/10802/stat : 10802 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6053 25402 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10800/tid=10803] ppid=10798 vsize=659144 CPUtime=300.15
/proc/10800/task/10803/stat : 10803 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 5979 24036 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10800/tid=10804] ppid=10798 vsize=659144 CPUtime=283.38
/proc/10800/task/10804/stat : 10804 (gnovelty+) S 10798 10800 24979 0 -1 4202560 30 0 0 0 5665 22673 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10800/tid=10805] ppid=10798 vsize=659144 CPUtime=310.94
/proc/10800/task/10805/stat : 10805 (gnovelty+) R 10798 10800 24979 0 -1 4202560 32 0 0 0 6061 25033 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10800/tid=10806] ppid=10798 vsize=659144 CPUtime=285.08
/proc/10800/task/10806/stat : 10806 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 5689 22819 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10800/tid=10807] ppid=10798 vsize=659144 CPUtime=296.15
/proc/10800/task/10807/stat : 10807 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 5867 23748 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10800/tid=10808] ppid=10798 vsize=659144 CPUtime=275.1
/proc/10800/task/10808/stat : 10808 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 5643 21867 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10800/tid=10809] ppid=10798 vsize=659144 CPUtime=311.87
/proc/10800/task/10809/stat : 10809 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6104 25083 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10800/tid=10810] ppid=10798 vsize=659144 CPUtime=291.33
/proc/10800/task/10810/stat : 10810 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 5753 23380 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10800/tid=10811] ppid=10798 vsize=659144 CPUtime=286.39
/proc/10800/task/10811/stat : 10811 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 5513 23126 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10800/tid=10812] ppid=10798 vsize=659144 CPUtime=288.3
/proc/10800/task/10812/stat : 10812 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 5851 22979 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10800/tid=10813] ppid=10798 vsize=659144 CPUtime=293.16
/proc/10800/task/10813/stat : 10813 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 5692 23624 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10800/tid=10814] ppid=10798 vsize=659144 CPUtime=293.19
/proc/10800/task/10814/stat : 10814 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 5736 23583 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10800/tid=10815] ppid=10798 vsize=659144 CPUtime=286.99
/proc/10800/task/10815/stat : 10815 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 5771 22928 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10800/tid=10816] ppid=10798 vsize=659144 CPUtime=275.04
/proc/10800/task/10816/stat : 10816 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 5529 21975 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4679.97
Current children cumulated vsize (KiB) 659144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+502.508 s]
/proc/loadavg: 16.05 15.93 15.83 17/200 10821
/proc/meminfo: memFree=19208544/36427776 swapFree=4724/91496
[pid=10800] ppid=10798 vsize=659144 CPUtime=5000.72
/proc/10800/stat : 10800 (gnovelty+) R 10798 10800 24979 0 -1 4202496 20482 0 0 0 103006 397066 0 0 20 0 16 0 563100192 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10800/statm: 164786 20438 103 286 0 164498 0
[pid=10800/tid=10802] ppid=10798 vsize=659144 CPUtime=334.68
/proc/10800/task/10802/stat : 10802 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6697 26771 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10800/tid=10803] ppid=10798 vsize=659144 CPUtime=320.21
/proc/10800/task/10803/stat : 10803 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6600 25421 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10800/tid=10804] ppid=10798 vsize=659144 CPUtime=303.35
/proc/10800/task/10804/stat : 10804 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6334 24001 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10800/tid=10805] ppid=10798 vsize=659144 CPUtime=331.01
/proc/10800/task/10805/stat : 10805 (gnovelty+) R 10798 10800 24979 0 -1 4202560 32 0 0 0 6705 26396 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10800/tid=10806] ppid=10798 vsize=659144 CPUtime=305.17
/proc/10800/task/10806/stat : 10806 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 6303 24214 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10800/tid=10807] ppid=10798 vsize=659144 CPUtime=316.21
/proc/10800/task/10807/stat : 10807 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6582 25039 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10800/tid=10808] ppid=10798 vsize=659144 CPUtime=294.84
/proc/10800/task/10808/stat : 10808 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 6355 23129 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10800/tid=10809] ppid=10798 vsize=659144 CPUtime=331.96
/proc/10800/task/10809/stat : 10809 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6802 26394 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10800/tid=10810] ppid=10798 vsize=659144 CPUtime=311.44
/proc/10800/task/10810/stat : 10810 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6400 24744 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10800/tid=10811] ppid=10798 vsize=659144 CPUtime=306.52
/proc/10800/task/10811/stat : 10811 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 6134 24518 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10800/tid=10812] ppid=10798 vsize=659144 CPUtime=308.38
/proc/10800/task/10812/stat : 10812 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6518 24320 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10800/tid=10813] ppid=10798 vsize=659144 CPUtime=313.2
/proc/10800/task/10813/stat : 10813 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6312 25008 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10800/tid=10814] ppid=10798 vsize=659144 CPUtime=313.27
/proc/10800/task/10814/stat : 10814 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 6342 24985 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10800/tid=10815] ppid=10798 vsize=659144 CPUtime=307.09
/proc/10800/task/10815/stat : 10815 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 6425 24284 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10800/tid=10816] ppid=10798 vsize=659144 CPUtime=294.93
/proc/10800/task/10816/stat : 10816 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6187 23306 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5000.72
Current children cumulated vsize (KiB) 659144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+502.508 s]
/proc/loadavg: 16.05 15.93 15.83 17/200 10821
/proc/meminfo: memFree=19208544/36427776 swapFree=4724/91496
[pid=10800] ppid=10798 vsize=659144 CPUtime=5000.72
/proc/10800/stat : 10800 (gnovelty+) R 10798 10800 24979 0 -1 4202496 20482 0 0 0 103006 397066 0 0 20 0 16 0 563100192 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10800/statm: 164786 20438 103 286 0 164498 0
[pid=10800/tid=10802] ppid=10798 vsize=659144 CPUtime=334.68
/proc/10800/task/10802/stat : 10802 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6697 26771 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10800/tid=10803] ppid=10798 vsize=659144 CPUtime=320.21
/proc/10800/task/10803/stat : 10803 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6600 25421 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10800/tid=10804] ppid=10798 vsize=659144 CPUtime=303.35
/proc/10800/task/10804/stat : 10804 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6334 24001 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10800/tid=10805] ppid=10798 vsize=659144 CPUtime=331.01
/proc/10800/task/10805/stat : 10805 (gnovelty+) R 10798 10800 24979 0 -1 4202560 32 0 0 0 6705 26396 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10800/tid=10806] ppid=10798 vsize=659144 CPUtime=305.17
/proc/10800/task/10806/stat : 10806 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 6303 24214 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10800/tid=10807] ppid=10798 vsize=659144 CPUtime=316.21
/proc/10800/task/10807/stat : 10807 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6582 25039 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10800/tid=10808] ppid=10798 vsize=659144 CPUtime=294.84
/proc/10800/task/10808/stat : 10808 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 6355 23129 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10800/tid=10809] ppid=10798 vsize=659144 CPUtime=331.96
/proc/10800/task/10809/stat : 10809 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6802 26394 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10800/tid=10810] ppid=10798 vsize=659144 CPUtime=311.44
/proc/10800/task/10810/stat : 10810 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6400 24744 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10800/tid=10811] ppid=10798 vsize=659144 CPUtime=306.52
/proc/10800/task/10811/stat : 10811 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 6134 24518 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10800/tid=10812] ppid=10798 vsize=659144 CPUtime=308.38
/proc/10800/task/10812/stat : 10812 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6518 24320 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10800/tid=10813] ppid=10798 vsize=659144 CPUtime=313.2
/proc/10800/task/10813/stat : 10813 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6312 25008 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10800/tid=10814] ppid=10798 vsize=659144 CPUtime=313.27
/proc/10800/task/10814/stat : 10814 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 6342 24985 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10800/tid=10815] ppid=10798 vsize=659144 CPUtime=307.09
/proc/10800/task/10815/stat : 10815 (gnovelty+) R 10798 10800 24979 0 -1 4202560 31 0 0 0 6425 24284 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10800/tid=10816] ppid=10798 vsize=659144 CPUtime=294.93
/proc/10800/task/10816/stat : 10816 (gnovelty+) R 10798 10800 24979 0 -1 4202560 30 0 0 0 6187 23306 0 0 20 0 16 0 563100204 674963456 20438 18446744073709551615 134512640 135680988 4287750144 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5000.72
Current children cumulated vsize (KiB) 659144
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10800 and gives
# childrusage.ru_utime.tv_sec=1009
# childrusage.ru_utime.tv_usec=487089
# childrusage.ru_stime.tv_sec=3890
# childrusage.ru_stime.tv_usec=659151
# CPU time returned by wait4() is 4900.15
# while last known CPU time is 5000.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 502.536
CPU time (s): 5000.72
CPU user time (s): 1030.06
CPU system time (s): 3970.66
CPU usage (%): 995.097
Max. virtual memory (cumulated for all children) (KiB): 659144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1009.49
system time used= 3890.66
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20482
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= 2162315
involuntary context switches= 82022
runsolver used 2.18414 second user time and 7.17645 second system time
The end
Begin job on xenhost3-49 at 2009-06-03 16:05:38
IDJOB=1777848
IDBENCH=70464
IDSOLVER=619
FILE ID=xenhost3-49/1777848-1244037938
PBS_JOBID=
Free space on /tmp= 7132 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (16 threads)
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/UNKNOWN/70/unif-k7-r89-v70-c6230-S184801254-020.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777848-1244037938/watcher-1777848-1244037938 -o /tmp/evaluation-result-1777848-1244037938/solver-1777848-1244037938 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777848-1244037938.cnf 1555058348 16
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= c42b25ec5d03f5e4d5a2a3426147c1d0
RANDOM SEED= 1555058348
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: 19290604 kB
Buffers: 395648 kB
Cached: 14007220 kB
SwapCached: 0 kB
Active: 3072976 kB
Inactive: 11338656 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 1356 kB
Writeback: 0 kB
AnonPages: 8100 kB
Mapped: 3648 kB
Slab: 671876 kB
SReclaimable: 645700 kB
SUnreclaim: 26176 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29912 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 16:14:03