runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777251-1243990605/watcher-1777251-1243990605 -o /tmp/evaluation-result-1777251-1243990605/solver-1777251-1243990605 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777251-1243990605.cnf 592135445 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.93 15.79 15.79 2/189 31516
/proc/meminfo: memFree=19293328/36427776 swapFree=6568/13056
[pid=31516] ppid=31514 vsize=509232 CPUtime=0
/proc/31516/stat : 31516 (gnovelty+) R 31514 31516 24979 0 -1 4202496 2650 0 0 0 0 0 0 0 20 0 1 0 558366845 521453568 2607 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134537167 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/31516/statm: 127308 2614 99 286 0 127020 0
[startup+0.053414 s]
/proc/loadavg: 15.93 15.79 15.79 2/189 31516
/proc/meminfo: memFree=19293328/36427776 swapFree=6568/13056
[pid=31516] ppid=31514 vsize=517048 CPUtime=0.04
/proc/31516/stat : 31516 (gnovelty+) R 31514 31516 24979 0 -1 4202496 9989 0 0 0 0 4 0 0 20 0 1 0 558366845 529457152 9946 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134537493 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/31516/statm: 129262 9946 99 286 0 128974 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 517048
[startup+0.101411 s]
/proc/loadavg: 15.93 15.79 15.79 2/189 31516
/proc/meminfo: memFree=19293328/36427776 swapFree=6568/13056
[pid=31516] ppid=31514 vsize=517044 CPUtime=0.1
/proc/31516/stat : 31516 (gnovelty+) R 31514 31516 24979 0 -1 4202496 15586 0 0 0 4 6 0 0 20 0 1 0 558366845 529453056 15542 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134537968 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/31516/statm: 129261 15552 99 286 0 128973 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517044
[startup+0.305301 s]
/proc/loadavg: 15.93 15.79 15.79 2/189 31516
/proc/meminfo: memFree=19293328/36427776 swapFree=6568/13056
[pid=31516] ppid=31514 vsize=663328 CPUtime=2.51
/proc/31516/stat : 31516 (gnovelty+) R 31514 31516 24979 0 -1 4202496 21321 0 0 0 15 236 0 0 20 0 16 0 558366845 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/31516/statm: 165832 21277 103 286 0 165544 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 663328
[startup+0.704103 s]
/proc/loadavg: 15.93 15.79 15.79 2/189 31516
/proc/meminfo: memFree=19293328/36427776 swapFree=6568/13056
[pid=31516] ppid=31514 vsize=663328 CPUtime=8.41
/proc/31516/stat : 31516 (gnovelty+) R 31514 31516 24979 0 -1 4202496 21321 0 0 0 81 760 0 0 20 0 16 0 558366845 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/31516/statm: 165832 21277 103 286 0 165544 0
Current children cumulated CPU time (s) 8.41
Current children cumulated vsize (KiB) 663328
[startup+1.50475 s]
/proc/loadavg: 15.93 15.79 15.79 17/205 31532
/proc/meminfo: memFree=19210292/36427776 swapFree=6564/95000
[pid=31516] ppid=31514 vsize=663328 CPUtime=20.18
/proc/31516/stat : 31516 (gnovelty+) R 31514 31516 24979 0 -1 4202496 21321 0 0 0 192 1826 0 0 20 0 16 0 558366845 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/31516/statm: 165832 21277 103 286 0 165544 0
[pid=31516/tid=31518] ppid=31514 vsize=663328 CPUtime=1.32
/proc/31516/task/31518/stat : 31518 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 14 118 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31516/tid=31519] ppid=31514 vsize=663328 CPUtime=1.34
/proc/31516/task/31519/stat : 31519 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 14 120 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31516/tid=31520] ppid=31514 vsize=663328 CPUtime=1.34
/proc/31516/task/31520/stat : 31520 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 14 120 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31516/tid=31521] ppid=31514 vsize=663328 CPUtime=1.34
/proc/31516/task/31521/stat : 31521 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 12 122 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31516/tid=31522] ppid=31514 vsize=663328 CPUtime=1.34
/proc/31516/task/31522/stat : 31522 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 14 120 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31516/tid=31523] ppid=31514 vsize=663328 CPUtime=1.34
/proc/31516/task/31523/stat : 31523 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 8 126 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31516/tid=31524] ppid=31514 vsize=663328 CPUtime=1.34
/proc/31516/task/31524/stat : 31524 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 8 126 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31516/tid=31525] ppid=31514 vsize=663328 CPUtime=1.32
/proc/31516/task/31525/stat : 31525 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 14 118 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31516/tid=31526] ppid=31514 vsize=663328 CPUtime=1.34
/proc/31516/task/31526/stat : 31526 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 12 122 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31516/tid=31527] ppid=31514 vsize=663328 CPUtime=1.32
/proc/31516/task/31527/stat : 31527 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 8 124 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31516/tid=31528] ppid=31514 vsize=663328 CPUtime=1.32
/proc/31516/task/31528/stat : 31528 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 12 120 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31516/tid=31529] ppid=31514 vsize=663328 CPUtime=1.32
/proc/31516/task/31529/stat : 31529 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 18 114 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31516/tid=31530] ppid=31514 vsize=663328 CPUtime=1.3
/proc/31516/task/31530/stat : 31530 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 8 122 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31516/tid=31531] ppid=31514 vsize=663328 CPUtime=1.32
/proc/31516/task/31531/stat : 31531 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 12 120 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31516/tid=31532] ppid=31514 vsize=663328 CPUtime=0.7
/proc/31516/task/31532/stat : 31532 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 6 64 0 0 20 0 16 0 558366861 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 20.18
Current children cumulated vsize (KiB) 663328
[startup+3.1043 s]
/proc/loadavg: 15.93 15.79 15.79 17/205 31532
/proc/meminfo: memFree=19208688/36427776 swapFree=6568/98408
[pid=31516] ppid=31514 vsize=663328 CPUtime=43.81
/proc/31516/stat : 31516 (gnovelty+) R 31514 31516 24979 0 -1 4202496 21321 0 0 0 420 3961 0 0 20 0 16 0 558366845 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/31516/statm: 165832 21277 103 286 0 165544 0
[pid=31516/tid=31518] ppid=31514 vsize=663328 CPUtime=2.9
/proc/31516/task/31518/stat : 31518 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 22 268 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31516/tid=31519] ppid=31514 vsize=663328 CPUtime=2.9
/proc/31516/task/31519/stat : 31519 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 28 262 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31516/tid=31520] ppid=31514 vsize=663328 CPUtime=2.9
/proc/31516/task/31520/stat : 31520 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 26 264 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31516/tid=31521] ppid=31514 vsize=663328 CPUtime=2.9
/proc/31516/task/31521/stat : 31521 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 34 256 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31516/tid=31522] ppid=31514 vsize=663328 CPUtime=2.9
/proc/31516/task/31522/stat : 31522 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 28 262 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31516/tid=31523] ppid=31514 vsize=663328 CPUtime=2.9
/proc/31516/task/31523/stat : 31523 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 24 266 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31516/tid=31524] ppid=31514 vsize=663328 CPUtime=2.92
/proc/31516/task/31524/stat : 31524 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 26 266 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31516/tid=31525] ppid=31514 vsize=663328 CPUtime=2.9
/proc/31516/task/31525/stat : 31525 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 28 262 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31516/tid=31526] ppid=31514 vsize=663328 CPUtime=2.9
/proc/31516/task/31526/stat : 31526 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 26 264 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31516/tid=31527] ppid=31514 vsize=663328 CPUtime=2.9
/proc/31516/task/31527/stat : 31527 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 28 262 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31516/tid=31528] ppid=31514 vsize=663328 CPUtime=2.9
/proc/31516/task/31528/stat : 31528 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 26 264 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31516/tid=31529] ppid=31514 vsize=663328 CPUtime=2.9
/proc/31516/task/31529/stat : 31529 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 28 262 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31516/tid=31530] ppid=31514 vsize=663328 CPUtime=2.84
/proc/31516/task/31530/stat : 31530 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 26 258 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31516/tid=31531] ppid=31514 vsize=663328 CPUtime=2.9
/proc/31516/task/31531/stat : 31531 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 24 266 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31516/tid=31532] ppid=31514 vsize=663328 CPUtime=1.5
/proc/31516/task/31532/stat : 31532 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 14 136 0 0 20 0 16 0 558366861 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 43.81
Current children cumulated vsize (KiB) 663328
[startup+6.30625 s]
/proc/loadavg: 15.94 15.80 15.79 17/205 31532
/proc/meminfo: memFree=19208440/36427776 swapFree=6568/98640
[pid=31516] ppid=31514 vsize=663328 CPUtime=92.36
/proc/31516/stat : 31516 (gnovelty+) R 31514 31516 24979 0 -1 4202496 21321 0 0 0 863 8373 0 0 20 0 16 0 558366845 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31516/statm: 165832 21277 103 286 0 165544 0
[pid=31516/tid=31518] ppid=31514 vsize=663328 CPUtime=6.06
/proc/31516/task/31518/stat : 31518 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 58 548 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31516/tid=31519] ppid=31514 vsize=663328 CPUtime=6.06
/proc/31516/task/31519/stat : 31519 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 64 542 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31516/tid=31520] ppid=31514 vsize=663328 CPUtime=6.06
/proc/31516/task/31520/stat : 31520 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 50 556 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31516/tid=31521] ppid=31514 vsize=663328 CPUtime=6.06
/proc/31516/task/31521/stat : 31521 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 54 552 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31516/tid=31522] ppid=31514 vsize=663328 CPUtime=6.06
/proc/31516/task/31522/stat : 31522 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 54 552 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31516/tid=31523] ppid=31514 vsize=663328 CPUtime=6.06
/proc/31516/task/31523/stat : 31523 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 62 544 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31516/tid=31524] ppid=31514 vsize=663328 CPUtime=6.06
/proc/31516/task/31524/stat : 31524 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 64 542 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31516/tid=31525] ppid=31514 vsize=663328 CPUtime=6.06
/proc/31516/task/31525/stat : 31525 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 52 554 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31516/tid=31526] ppid=31514 vsize=663328 CPUtime=6.06
/proc/31516/task/31526/stat : 31526 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 50 556 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31516/tid=31527] ppid=31514 vsize=663328 CPUtime=6.06
/proc/31516/task/31527/stat : 31527 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 54 552 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31516/tid=31528] ppid=31514 vsize=663328 CPUtime=6.04
/proc/31516/task/31528/stat : 31528 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 52 552 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31516/tid=31529] ppid=31514 vsize=663328 CPUtime=6.06
/proc/31516/task/31529/stat : 31529 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 66 540 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31516/tid=31530] ppid=31514 vsize=663328 CPUtime=5.92
/proc/31516/task/31530/stat : 31530 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 54 538 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134533337 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31516/tid=31531] ppid=31514 vsize=663328 CPUtime=6.04
/proc/31516/task/31531/stat : 31531 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 46 558 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31516/tid=31532] ppid=31514 vsize=663328 CPUtime=3.76
/proc/31516/task/31532/stat : 31532 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 36 340 0 0 20 0 16 0 558366861 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 92.36
Current children cumulated vsize (KiB) 663328
[startup+12.7069 s]
/proc/loadavg: 15.86 15.78 15.79 16/205 31532
/proc/meminfo: memFree=19207968/36427776 swapFree=6568/99100
[pid=31516] ppid=31514 vsize=663328 CPUtime=193.15
/proc/31516/stat : 31516 (gnovelty+) R 31514 31516 24979 0 -1 4202496 21321 0 0 0 1794 17521 0 0 20 0 16 0 558366845 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/31516/statm: 165832 21277 103 286 0 165544 0
[pid=31516/tid=31518] ppid=31514 vsize=663328 CPUtime=12.38
/proc/31516/task/31518/stat : 31518 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 114 1124 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31516/tid=31519] ppid=31514 vsize=663328 CPUtime=12.38
/proc/31516/task/31519/stat : 31519 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 116 1122 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31516/tid=31520] ppid=31514 vsize=663328 CPUtime=12.38
/proc/31516/task/31520/stat : 31520 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 108 1130 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31516/tid=31521] ppid=31514 vsize=663328 CPUtime=12.36
/proc/31516/task/31521/stat : 31521 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 104 1132 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31516/tid=31522] ppid=31514 vsize=663328 CPUtime=12.38
/proc/31516/task/31522/stat : 31522 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 116 1122 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31516/tid=31523] ppid=31514 vsize=663328 CPUtime=12.36
/proc/31516/task/31523/stat : 31523 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 126 1110 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31516/tid=31524] ppid=31514 vsize=663328 CPUtime=12.36
/proc/31516/task/31524/stat : 31524 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 134 1102 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31516/tid=31525] ppid=31514 vsize=663328 CPUtime=12.36
/proc/31516/task/31525/stat : 31525 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 112 1124 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31516/tid=31526] ppid=31514 vsize=663328 CPUtime=12.36
/proc/31516/task/31526/stat : 31526 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 114 1122 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31516/tid=31527] ppid=31514 vsize=663328 CPUtime=12.36
/proc/31516/task/31527/stat : 31527 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 128 1108 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31516/tid=31528] ppid=31514 vsize=663328 CPUtime=12.36
/proc/31516/task/31528/stat : 31528 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 114 1122 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=31516/tid=31519] ppid=31514 vsize=663328 CPUtime=213.51
/proc/31516/task/31519/stat : 31519 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 3124 18227 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31516/tid=31520] ppid=31514 vsize=663328 CPUtime=211.51
/proc/31516/task/31520/stat : 31520 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 3160 17991 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31516/tid=31521] ppid=31514 vsize=663328 CPUtime=229.89
/proc/31516/task/31521/stat : 31521 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 3272 19717 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31516/tid=31522] ppid=31514 vsize=663328 CPUtime=213.93
/proc/31516/task/31522/stat : 31522 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 3092 18301 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31516/tid=31523] ppid=31514 vsize=663328 CPUtime=219.75
/proc/31516/task/31523/stat : 31523 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 3188 18787 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31516/tid=31524] ppid=31514 vsize=663328 CPUtime=221.4
/proc/31516/task/31524/stat : 31524 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 3401 18739 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31516/tid=31525] ppid=31514 vsize=663328 CPUtime=218.95
/proc/31516/task/31525/stat : 31525 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 3280 18615 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31516/tid=31526] ppid=31514 vsize=663328 CPUtime=213.58
/proc/31516/task/31526/stat : 31526 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 3241 18117 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31516/tid=31527] ppid=31514 vsize=663328 CPUtime=230.85
/proc/31516/task/31527/stat : 31527 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 3485 19600 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134532944 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31516/tid=31528] ppid=31514 vsize=663328 CPUtime=228.58
/proc/31516/task/31528/stat : 31528 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 3465 19393 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31516/tid=31529] ppid=31514 vsize=663328 CPUtime=235.45
/proc/31516/task/31529/stat : 31529 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 3543 20002 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31516/tid=31530] ppid=31514 vsize=663328 CPUtime=214.95
/proc/31516/task/31530/stat : 31530 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 3072 18423 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31516/tid=31531] ppid=31514 vsize=663328 CPUtime=222.21
/proc/31516/task/31531/stat : 31531 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 3326 18895 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31516/tid=31532] ppid=31514 vsize=663328 CPUtime=220.71
/proc/31516/task/31532/stat : 31532 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 3348 18723 0 0 20 0 16 0 558366861 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3537.7
Current children cumulated vsize (KiB) 663328
[startup+342.303 s]
/proc/loadavg: 15.93 15.88 15.82 17/205 31537
/proc/meminfo: memFree=19206024/36427776 swapFree=6568/99356
[pid=31516] ppid=31514 vsize=663328 CPUtime=4046.54
/proc/31516/stat : 31516 (gnovelty+) R 31514 31516 24979 0 -1 4202496 21321 0 0 0 69554 335100 0 0 20 0 16 0 558366845 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31516/statm: 165832 21277 103 286 0 165544 0
[pid=31516/tid=31518] ppid=31514 vsize=663328 CPUtime=247.94
/proc/31516/task/31518/stat : 31518 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 4247 20547 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31516/tid=31519] ppid=31514 vsize=663328 CPUtime=243.65
/proc/31516/task/31519/stat : 31519 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 4145 20220 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31516/tid=31520] ppid=31514 vsize=663328 CPUtime=241.49
/proc/31516/task/31520/stat : 31520 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 4159 19990 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31516/tid=31521] ppid=31514 vsize=663328 CPUtime=263.86
/proc/31516/task/31521/stat : 31521 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 4323 22063 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31516/tid=31522] ppid=31514 vsize=663328 CPUtime=244.02
/proc/31516/task/31522/stat : 31522 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 4075 20327 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31516/tid=31523] ppid=31514 vsize=663328 CPUtime=256.51
/proc/31516/task/31523/stat : 31523 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 4405 21246 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31516/tid=31524] ppid=31514 vsize=663328 CPUtime=252.51
/proc/31516/task/31524/stat : 31524 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 4436 20815 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31516/tid=31525] ppid=31514 vsize=663328 CPUtime=254.69
/proc/31516/task/31525/stat : 31525 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 4447 21022 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134533428 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31516/tid=31526] ppid=31514 vsize=663328 CPUtime=247.19
/proc/31516/task/31526/stat : 31526 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 4343 20376 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31516/tid=31527] ppid=31514 vsize=663328 CPUtime=261.84
/proc/31516/task/31527/stat : 31527 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 4505 21679 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31516/tid=31528] ppid=31514 vsize=663328 CPUtime=258.49
/proc/31516/task/31528/stat : 31528 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 4463 21386 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31516/tid=31529] ppid=31514 vsize=663328 CPUtime=265.48
/proc/31516/task/31529/stat : 31529 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 4567 21981 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31516/tid=31530] ppid=31514 vsize=663328 CPUtime=246.11
/proc/31516/task/31530/stat : 31530 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 4072 20539 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31516/tid=31531] ppid=31514 vsize=663328 CPUtime=255.95
/proc/31516/task/31531/stat : 31531 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 4448 21147 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31516/tid=31532] ppid=31514 vsize=663328 CPUtime=252.34
/proc/31516/task/31532/stat : 31532 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 4461 20773 0 0 20 0 16 0 558366861 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4046.54
Current children cumulated vsize (KiB) 663328
[startup+402.304 s]
/proc/loadavg: 15.98 15.90 15.83 17/205 31537
/proc/meminfo: memFree=19206024/36427776 swapFree=6568/99368
[pid=31516] ppid=31514 vsize=663328 CPUtime=4564.92
/proc/31516/stat : 31516 (gnovelty+) R 31514 31516 24979 0 -1 4202496 21321 0 0 0 84397 372095 0 0 20 0 16 0 558366845 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/31516/statm: 165832 21277 103 286 0 165544 0
[pid=31516/tid=31518] ppid=31514 vsize=663328 CPUtime=277.86
/proc/31516/task/31518/stat : 31518 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 5106 22680 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31516/tid=31519] ppid=31514 vsize=663328 CPUtime=275.02
/proc/31516/task/31519/stat : 31519 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 5059 22443 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31516/tid=31520] ppid=31514 vsize=663328 CPUtime=274.95
/proc/31516/task/31520/stat : 31520 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 5047 22448 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31516/tid=31521] ppid=31514 vsize=663328 CPUtime=297.99
/proc/31516/task/31521/stat : 31521 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 5298 24501 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31516/tid=31522] ppid=31514 vsize=663328 CPUtime=273.98
/proc/31516/task/31522/stat : 31522 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 4948 22450 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31516/tid=31523] ppid=31514 vsize=663328 CPUtime=286.54
/proc/31516/task/31523/stat : 31523 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 5295 23359 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31516/tid=31524] ppid=31514 vsize=663328 CPUtime=283.52
/proc/31516/task/31524/stat : 31524 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 5365 22987 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31516/tid=31525] ppid=31514 vsize=663328 CPUtime=289.54
/proc/31516/task/31525/stat : 31525 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 5427 23527 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31516/tid=31526] ppid=31514 vsize=663328 CPUtime=277.81
/proc/31516/task/31526/stat : 31526 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 5227 22554 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31516/tid=31527] ppid=31514 vsize=663328 CPUtime=294.92
/proc/31516/task/31527/stat : 31527 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 5481 24011 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31516/tid=31528] ppid=31514 vsize=663328 CPUtime=293.37
/proc/31516/task/31528/stat : 31528 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 5460 23877 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31516/tid=31529] ppid=31514 vsize=663328 CPUtime=300.57
/proc/31516/task/31529/stat : 31529 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 5564 24493 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31516/tid=31530] ppid=31514 vsize=663328 CPUtime=276.04
/proc/31516/task/31530/stat : 31530 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 4952 22652 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31516/tid=31531] ppid=31514 vsize=663328 CPUtime=289.65
/proc/31516/task/31531/stat : 31531 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 5376 23589 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31516/tid=31532] ppid=31514 vsize=663328 CPUtime=284.92
/proc/31516/task/31532/stat : 31532 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 5360 23132 0 0 20 0 16 0 558366861 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4564.92
Current children cumulated vsize (KiB) 663328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+456.404 s]
/proc/loadavg: 15.96 15.90 15.83 17/205 31537
/proc/meminfo: memFree=19206024/36427776 swapFree=6568/99368
[pid=31516] ppid=31514 vsize=663328 CPUtime=5000.68
/proc/31516/stat : 31516 (gnovelty+) R 31514 31516 24979 0 -1 4202496 21321 0 0 0 99930 400138 0 0 20 0 16 0 558366845 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31516/statm: 165832 21277 103 286 0 165544 0
[pid=31516/tid=31518] ppid=31514 vsize=663328 CPUtime=304.92
/proc/31516/task/31518/stat : 31518 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 6048 24444 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31516/tid=31519] ppid=31514 vsize=663328 CPUtime=302.41
/proc/31516/task/31519/stat : 31519 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 6117 24124 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31516/tid=31520] ppid=31514 vsize=663328 CPUtime=302.04
/proc/31516/task/31520/stat : 31520 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 6049 24155 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31516/tid=31521] ppid=31514 vsize=663328 CPUtime=325.02
/proc/31516/task/31521/stat : 31521 (gnovelty+) S 31514 31516 24979 0 -1 4202560 73 0 0 0 6265 26237 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=31516/tid=31522] ppid=31514 vsize=663328 CPUtime=300.99
/proc/31516/task/31522/stat : 31522 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 5858 24241 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31516/tid=31523] ppid=31514 vsize=663328 CPUtime=313.54
/proc/31516/task/31523/stat : 31523 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 6224 25130 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31516/tid=31524] ppid=31514 vsize=663328 CPUtime=312.19
/proc/31516/task/31524/stat : 31524 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 6357 24862 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31516/tid=31525] ppid=31514 vsize=663328 CPUtime=317.64
/proc/31516/task/31525/stat : 31525 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 6409 25355 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31516/tid=31526] ppid=31514 vsize=663328 CPUtime=304.87
/proc/31516/task/31526/stat : 31526 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 6188 24299 0 0 20 0 16 0 558366859 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31516/tid=31527] ppid=31514 vsize=663328 CPUtime=321.93
/proc/31516/task/31527/stat : 31527 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 6517 25676 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31516/tid=31528] ppid=31514 vsize=663328 CPUtime=320.42
/proc/31516/task/31528/stat : 31528 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 6429 25613 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=31516/tid=31529] ppid=31514 vsize=663328 CPUtime=327.99
/proc/31516/task/31529/stat : 31529 (gnovelty+) R 31514 31516 24979 0 -1 4202560 75 0 0 0 6600 26199 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31516/tid=31530] ppid=31514 vsize=663328 CPUtime=303.19
/proc/31516/task/31530/stat : 31530 (gnovelty+) R 31514 31516 24979 0 -1 4202560 74 0 0 0 5885 24434 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31516/tid=31531] ppid=31514 vsize=663328 CPUtime=316.65
/proc/31516/task/31531/stat : 31531 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 6317 25348 0 0 20 0 16 0 558366860 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31516/tid=31532] ppid=31514 vsize=663328 CPUtime=311.56
/proc/31516/task/31532/stat : 31532 (gnovelty+) R 31514 31516 24979 0 -1 4202560 73 0 0 0 6295 24861 0 0 20 0 16 0 558366861 679247872 21277 18446744073709551615 134512640 135680988 4287813648 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 5000.68
Current children cumulated vsize (KiB) 663328
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 31516 and gives
# childrusage.ru_utime.tv_sec=977
# childrusage.ru_utime.tv_usec=189070
# childrusage.ru_stime.tv_sec=3913
# childrusage.ru_stime.tv_usec=904603
# CPU time returned by wait4() is 4891.09
# while last known CPU time is 5000.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 456.442
CPU time (s): 5000.68
CPU user time (s): 999.3
CPU system time (s): 4001.38
CPU usage (%): 1095.58
Max. virtual memory (cumulated for all children) (KiB): 663328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 977.189
system time used= 3913.9
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21321
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= 1823986
involuntary context switches= 65899
runsolver used 2.18014 second user time and 6.70042 second system time
The end
Begin job on xenhost3-49 at 2009-06-03 02:56:45
IDJOB=1777251
IDBENCH=70265
IDSOLVER=619
FILE ID=xenhost3-49/1777251-1243990605
PBS_JOBID=
Free space on /tmp= 7136 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (16 threads)
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S592525179-032.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777251-1243990605/watcher-1777251-1243990605 -o /tmp/evaluation-result-1777251-1243990605/solver-1777251-1243990605 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777251-1243990605.cnf 592135445 16
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 7460bd7d43551ea81285a6734d727c9e
RANDOM SEED= 592135445
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: 19292972 kB
Buffers: 394648 kB
Cached: 14002712 kB
SwapCached: 0 kB
Active: 3078096 kB
Inactive: 11332728 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 1312 kB
Writeback: 0 kB
AnonPages: 13088 kB
Mapped: 5240 kB
Slab: 670596 kB
SReclaimable: 644528 kB
SUnreclaim: 26068 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 38024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7136 MiB
End job on xenhost3-49 at 2009-06-03 03:04:23