runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777551-1244017212/watcher-1777551-1244017212 -o /tmp/evaluation-result-1777551-1244017212/solver-1777551-1244017212 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777551-1244017212.cnf 146019264 16
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.75 15.67 15.76 2/189 5107
/proc/meminfo: memFree=19287528/36427776 swapFree=6232/11996
[pid=5107] ppid=5105 vsize=509232 CPUtime=0
/proc/5107/stat : 5107 (gnovelty+) R 5105 5107 24979 0 -1 4202496 1945 0 0 0 0 0 0 0 20 0 1 0 561027540 521453568 1902 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134537167 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/5107/statm: 127308 1905 99 286 0 127020 0
[startup+0.095284 s]
/proc/loadavg: 14.75 15.67 15.76 2/189 5107
/proc/meminfo: memFree=19287528/36427776 swapFree=6232/11996
[pid=5107] ppid=5105 vsize=517044 CPUtime=0.08
/proc/5107/stat : 5107 (gnovelty+) R 5105 5107 24979 0 -1 4202496 11093 0 0 0 4 4 0 0 20 0 1 0 561027540 529453056 11048 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134537842 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/5107/statm: 129261 11060 99 286 0 128973 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 517044
[startup+0.103278 s]
/proc/loadavg: 14.75 15.67 15.76 2/189 5107
/proc/meminfo: memFree=19287528/36427776 swapFree=6232/11996
[pid=5107] ppid=5105 vsize=517044 CPUtime=0.1
/proc/5107/stat : 5107 (gnovelty+) R 5105 5107 24979 0 -1 4202496 12300 0 0 0 6 4 0 0 20 0 1 0 561027540 529453056 12255 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134537708 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/5107/statm: 129261 12263 99 286 0 128973 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517044
[startup+0.303268 s]
/proc/loadavg: 14.75 15.67 15.76 2/189 5107
/proc/meminfo: memFree=19287528/36427776 swapFree=6232/11996
[pid=5107] ppid=5105 vsize=517044 CPUtime=0.3
/proc/5107/stat : 5107 (gnovelty+) R 5105 5107 24979 0 -1 4202496 20395 0 0 0 22 8 0 0 20 0 1 0 561027540 529453056 20350 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134538748 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/5107/statm: 129261 20350 99 286 0 128973 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 517044
[startup+0.701752 s]
/proc/loadavg: 14.75 15.67 15.76 2/189 5107
/proc/meminfo: memFree=19287528/36427776 swapFree=6232/11996
[pid=5107] ppid=5105 vsize=689632 CPUtime=5.75
/proc/5107/stat : 5107 (gnovelty+) R 5105 5107 24979 0 -1 4202496 26424 0 0 0 99 476 0 0 20 0 16 0 561027540 706183168 26379 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5107/statm: 172408 26379 103 286 0 172120 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 689632
[startup+1.50338 s]
/proc/loadavg: 14.75 15.67 15.76 17/205 5123
/proc/meminfo: memFree=19183624/36427776 swapFree=6568/119768
[pid=5107] ppid=5105 vsize=689632 CPUtime=18.3
/proc/5107/stat : 5107 (gnovelty+) R 5105 5107 24979 0 -1 4202496 27097 0 0 0 204 1626 0 0 20 0 16 0 561027540 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5107/statm: 172408 27052 103 286 0 172120 0
[pid=5107/tid=5109] ppid=5105 vsize=689632 CPUtime=1.14
/proc/5107/task/5109/stat : 5109 (gnovelty+) R 5105 5107 24979 0 -1 4202560 389 0 0 0 12 102 0 0 20 0 16 0 561027571 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5107/tid=5110] ppid=5105 vsize=689632 CPUtime=1.14
/proc/5107/task/5110/stat : 5110 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 14 100 0 0 20 0 16 0 561027571 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5107/tid=5111] ppid=5105 vsize=689632 CPUtime=1.14
/proc/5107/task/5111/stat : 5111 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 14 100 0 0 20 0 16 0 561027571 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5107/tid=5112] ppid=5105 vsize=689632 CPUtime=1.14
/proc/5107/task/5112/stat : 5112 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 6 108 0 0 20 0 16 0 561027571 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5107/tid=5113] ppid=5105 vsize=689632 CPUtime=1.14
/proc/5107/task/5113/stat : 5113 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 2 112 0 0 20 0 16 0 561027571 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5107/tid=5114] ppid=5105 vsize=689632 CPUtime=1.14
/proc/5107/task/5114/stat : 5114 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 10 104 0 0 20 0 16 0 561027572 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5107/tid=5115] ppid=5105 vsize=689632 CPUtime=1.14
/proc/5107/task/5115/stat : 5115 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 12 102 0 0 20 0 16 0 561027572 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5107/tid=5116] ppid=5105 vsize=689632 CPUtime=1.14
/proc/5107/task/5116/stat : 5116 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 10 104 0 0 20 0 16 0 561027573 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5107/tid=5117] ppid=5105 vsize=689632 CPUtime=1.12
/proc/5107/task/5117/stat : 5117 (gnovelty+) R 5105 5107 24979 0 -1 4202560 397 0 0 0 10 102 0 0 20 0 16 0 561027574 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5107/tid=5118] ppid=5105 vsize=689632 CPUtime=1.12
/proc/5107/task/5118/stat : 5118 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 10 102 0 0 20 0 16 0 561027574 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5107/tid=5119] ppid=5105 vsize=689632 CPUtime=1.1
/proc/5107/task/5119/stat : 5119 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 10 100 0 0 20 0 16 0 561027576 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5107/tid=5120] ppid=5105 vsize=689632 CPUtime=1.08
/proc/5107/task/5120/stat : 5120 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 12 96 0 0 20 0 16 0 561027577 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5107/tid=5121] ppid=5105 vsize=689632 CPUtime=1.08
/proc/5107/task/5121/stat : 5121 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 8 100 0 0 20 0 16 0 561027579 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5107/tid=5122] ppid=5105 vsize=689632 CPUtime=1.04
/proc/5107/task/5122/stat : 5122 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 10 94 0 0 20 0 16 0 561027580 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5107/tid=5123] ppid=5105 vsize=689632 CPUtime=1.04
/proc/5107/task/5123/stat : 5123 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 10 94 0 0 20 0 16 0 561027582 706183168 27052 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 18.3
Current children cumulated vsize (KiB) 689632
[startup+3.1033 s]
/proc/loadavg: 14.75 15.67 15.76 17/205 5123
/proc/meminfo: memFree=19181772/36427776 swapFree=6568/121504
[pid=5107] ppid=5105 vsize=689632 CPUtime=43.46
/proc/5107/stat : 5107 (gnovelty+) R 5105 5107 24979 0 -1 4202496 27098 0 0 0 392 3954 0 0 20 0 16 0 561027540 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5107/statm: 172408 27053 103 286 0 172120 0
[pid=5107/tid=5109] ppid=5105 vsize=689632 CPUtime=2.72
/proc/5107/task/5109/stat : 5109 (gnovelty+) R 5105 5107 24979 0 -1 4202560 389 0 0 0 24 248 0 0 20 0 16 0 561027571 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5107/tid=5110] ppid=5105 vsize=689632 CPUtime=2.72
/proc/5107/task/5110/stat : 5110 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 24 248 0 0 20 0 16 0 561027571 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5107/tid=5111] ppid=5105 vsize=689632 CPUtime=2.72
/proc/5107/task/5111/stat : 5111 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 18 254 0 0 20 0 16 0 561027571 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5107/tid=5112] ppid=5105 vsize=689632 CPUtime=2.72
/proc/5107/task/5112/stat : 5112 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 14 258 0 0 20 0 16 0 561027571 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5107/tid=5113] ppid=5105 vsize=689632 CPUtime=2.7
/proc/5107/task/5113/stat : 5113 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 12 258 0 0 20 0 16 0 561027571 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5107/tid=5114] ppid=5105 vsize=689632 CPUtime=2.72
/proc/5107/task/5114/stat : 5114 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 20 252 0 0 20 0 16 0 561027572 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5107/tid=5115] ppid=5105 vsize=689632 CPUtime=2.7
/proc/5107/task/5115/stat : 5115 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 24 246 0 0 20 0 16 0 561027572 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5107/tid=5116] ppid=5105 vsize=689632 CPUtime=2.72
/proc/5107/task/5116/stat : 5116 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 26 246 0 0 20 0 16 0 561027573 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5107/tid=5117] ppid=5105 vsize=689632 CPUtime=2.7
/proc/5107/task/5117/stat : 5117 (gnovelty+) R 5105 5107 24979 0 -1 4202560 397 0 0 0 18 252 0 0 20 0 16 0 561027574 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5107/tid=5118] ppid=5105 vsize=689632 CPUtime=2.68
/proc/5107/task/5118/stat : 5118 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 22 246 0 0 20 0 16 0 561027574 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5107/tid=5119] ppid=5105 vsize=689632 CPUtime=2.68
/proc/5107/task/5119/stat : 5119 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 26 242 0 0 20 0 16 0 561027576 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5107/tid=5120] ppid=5105 vsize=689632 CPUtime=2.66
/proc/5107/task/5120/stat : 5120 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 22 244 0 0 20 0 16 0 561027577 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5107/tid=5121] ppid=5105 vsize=689632 CPUtime=2.66
/proc/5107/task/5121/stat : 5121 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 22 244 0 0 20 0 16 0 561027579 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5107/tid=5122] ppid=5105 vsize=689632 CPUtime=2.6
/proc/5107/task/5122/stat : 5122 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 28 232 0 0 20 0 16 0 561027580 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5107/tid=5123] ppid=5105 vsize=689632 CPUtime=2.62
/proc/5107/task/5123/stat : 5123 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 26 236 0 0 20 0 16 0 561027582 706183168 27053 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 43.46
Current children cumulated vsize (KiB) 689632
[startup+6.30402 s]
/proc/loadavg: 14.85 15.67 15.76 17/205 5123
/proc/meminfo: memFree=19181540/36427776 swapFree=6568/121752
[pid=5107] ppid=5105 vsize=689632 CPUtime=93.87
/proc/5107/stat : 5107 (gnovelty+) R 5105 5107 24979 0 -1 4202496 27100 0 0 0 752 8635 0 0 20 0 16 0 561027540 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5107/statm: 172408 27055 103 286 0 172120 0
[pid=5107/tid=5109] ppid=5105 vsize=689632 CPUtime=5.88
/proc/5107/task/5109/stat : 5109 (gnovelty+) R 5105 5107 24979 0 -1 4202560 389 0 0 0 48 540 0 0 20 0 16 0 561027571 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5107/tid=5110] ppid=5105 vsize=689632 CPUtime=5.88
/proc/5107/task/5110/stat : 5110 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 46 542 0 0 20 0 16 0 561027571 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5107/tid=5111] ppid=5105 vsize=689632 CPUtime=5.88
/proc/5107/task/5111/stat : 5111 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 36 552 0 0 20 0 16 0 561027571 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5107/tid=5112] ppid=5105 vsize=689632 CPUtime=5.86
/proc/5107/task/5112/stat : 5112 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 38 548 0 0 20 0 16 0 561027571 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5107/tid=5113] ppid=5105 vsize=689632 CPUtime=5.86
/proc/5107/task/5113/stat : 5113 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 32 554 0 0 20 0 16 0 561027571 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5107/tid=5114] ppid=5105 vsize=689632 CPUtime=5.88
/proc/5107/task/5114/stat : 5114 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 46 542 0 0 20 0 16 0 561027572 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5107/tid=5115] ppid=5105 vsize=689632 CPUtime=5.86
/proc/5107/task/5115/stat : 5115 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 46 540 0 0 20 0 16 0 561027572 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5107/tid=5116] ppid=5105 vsize=689632 CPUtime=5.88
/proc/5107/task/5116/stat : 5116 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 54 534 0 0 20 0 16 0 561027573 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5107/tid=5117] ppid=5105 vsize=689632 CPUtime=5.86
/proc/5107/task/5117/stat : 5117 (gnovelty+) R 5105 5107 24979 0 -1 4202560 397 0 0 0 46 540 0 0 20 0 16 0 561027574 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5107/tid=5118] ppid=5105 vsize=689632 CPUtime=5.84
/proc/5107/task/5118/stat : 5118 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 48 536 0 0 20 0 16 0 561027574 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5107/tid=5119] ppid=5105 vsize=689632 CPUtime=5.84
/proc/5107/task/5119/stat : 5119 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 46 538 0 0 20 0 16 0 561027576 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5107/tid=5120] ppid=5105 vsize=689632 CPUtime=5.82
/proc/5107/task/5120/stat : 5120 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 42 540 0 0 20 0 16 0 561027577 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5107/tid=5121] ppid=5105 vsize=689632 CPUtime=5.8
/proc/5107/task/5121/stat : 5121 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 36 544 0 0 20 0 16 0 561027579 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5107/tid=5122] ppid=5105 vsize=689632 CPUtime=5.68
/proc/5107/task/5122/stat : 5122 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 50 518 0 0 20 0 16 0 561027580 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5107/tid=5123] ppid=5105 vsize=689632 CPUtime=5.76
/proc/5107/task/5123/stat : 5123 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 48 528 0 0 20 0 16 0 561027582 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 93.87
Current children cumulated vsize (KiB) 689632
[startup+12.704 s]
/proc/loadavg: 14.94 15.68 15.76 17/205 5123
/proc/meminfo: memFree=19181108/36427776 swapFree=6568/122212
[pid=5107] ppid=5105 vsize=689632 CPUtime=194.48
/proc/5107/stat : 5107 (gnovelty+) R 5105 5107 24979 0 -1 4202496 27100 0 0 0 1411 18037 0 0 20 0 16 0 561027540 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5107/statm: 172408 27055 103 286 0 172120 0
[pid=5107/tid=5109] ppid=5105 vsize=689632 CPUtime=12.16
/proc/5107/task/5109/stat : 5109 (gnovelty+) R 5105 5107 24979 0 -1 4202560 389 0 0 0 80 1136 0 0 20 0 16 0 561027571 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5107/tid=5110] ppid=5105 vsize=689632 CPUtime=12.16
/proc/5107/task/5110/stat : 5110 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 82 1134 0 0 20 0 16 0 561027571 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5107/tid=5111] ppid=5105 vsize=689632 CPUtime=12.18
/proc/5107/task/5111/stat : 5111 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 76 1142 0 0 20 0 16 0 561027571 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5107/tid=5112] ppid=5105 vsize=689632 CPUtime=12.18
/proc/5107/task/5112/stat : 5112 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 68 1150 0 0 20 0 16 0 561027571 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5107/tid=5113] ppid=5105 vsize=689632 CPUtime=12.14
/proc/5107/task/5113/stat : 5113 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 72 1142 0 0 20 0 16 0 561027571 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5107/tid=5114] ppid=5105 vsize=689632 CPUtime=12.18
/proc/5107/task/5114/stat : 5114 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 82 1136 0 0 20 0 16 0 561027572 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5107/tid=5115] ppid=5105 vsize=689632 CPUtime=12.14
/proc/5107/task/5115/stat : 5115 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 98 1116 0 0 20 0 16 0 561027572 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5107/tid=5116] ppid=5105 vsize=689632 CPUtime=12.18
/proc/5107/task/5116/stat : 5116 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 94 1124 0 0 20 0 16 0 561027573 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5107/tid=5117] ppid=5105 vsize=689632 CPUtime=12.14
/proc/5107/task/5117/stat : 5117 (gnovelty+) R 5105 5107 24979 0 -1 4202560 397 0 0 0 78 1136 0 0 20 0 16 0 561027574 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5107/tid=5118] ppid=5105 vsize=689632 CPUtime=12.16
/proc/5107/task/5118/stat : 5118 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 96 1120 0 0 20 0 16 0 561027574 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5107/tid=5119] ppid=5105 vsize=689632 CPUtime=12.14
/proc/5107/task/5119/stat : 5119 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 96 1118 0 0 20 0 16 0 561027576 706183168 27055 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
[pid=5107/tid=5110] ppid=5105 vsize=689632 CPUtime=159.36
/proc/5107/task/5110/stat : 5110 (gnovelty+) R 5105 5107 24979 0 -1 4202560 401 0 0 0 980 14956 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5107/tid=5111] ppid=5105 vsize=689632 CPUtime=159.53
/proc/5107/task/5111/stat : 5111 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 990 14963 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5107/tid=5112] ppid=5105 vsize=689632 CPUtime=159.48
/proc/5107/task/5112/stat : 5112 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 940 15008 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5107/tid=5113] ppid=5105 vsize=689632 CPUtime=159.28
/proc/5107/task/5113/stat : 5113 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 948 14980 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5107/tid=5114] ppid=5105 vsize=689632 CPUtime=159.34
/proc/5107/task/5114/stat : 5114 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 918 15016 0 0 20 0 16 0 561027572 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5107/tid=5115] ppid=5105 vsize=689632 CPUtime=159.48
/proc/5107/task/5115/stat : 5115 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 988 14960 0 0 20 0 16 0 561027572 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5107/tid=5116] ppid=5105 vsize=689632 CPUtime=159.53
/proc/5107/task/5116/stat : 5116 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 994 14959 0 0 20 0 16 0 561027573 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5107/tid=5117] ppid=5105 vsize=689632 CPUtime=159.35
/proc/5107/task/5117/stat : 5117 (gnovelty+) R 5105 5107 24979 0 -1 4202560 397 0 0 0 924 15011 0 0 20 0 16 0 561027574 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5107/tid=5118] ppid=5105 vsize=689632 CPUtime=159.4
/proc/5107/task/5118/stat : 5118 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 970 14970 0 0 20 0 16 0 561027574 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5107/tid=5119] ppid=5105 vsize=689632 CPUtime=159.46
/proc/5107/task/5119/stat : 5119 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 988 14958 0 0 20 0 16 0 561027576 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5107/tid=5120] ppid=5105 vsize=689632 CPUtime=159.26
/proc/5107/task/5120/stat : 5120 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 946 14980 0 0 20 0 16 0 561027577 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5107/tid=5121] ppid=5105 vsize=689632 CPUtime=159.3
/proc/5107/task/5121/stat : 5121 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 908 15022 0 0 20 0 16 0 561027579 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=5107/tid=5122] ppid=5105 vsize=689632 CPUtime=155.75
/proc/5107/task/5122/stat : 5122 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 964 14611 0 0 20 0 16 0 561027580 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5107/tid=5123] ppid=5105 vsize=689632 CPUtime=159.17
/proc/5107/task/5123/stat : 5123 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 894 15023 0 0 20 0 16 0 561027582 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2546.63
Current children cumulated vsize (KiB) 689632
[startup+222.305 s]
/proc/loadavg: 15.83 15.76 15.77 17/205 5123
/proc/meminfo: memFree=19180256/36427776 swapFree=6568/122356
[pid=5107] ppid=5105 vsize=689632 CPUtime=3489.77
/proc/5107/stat : 5107 (gnovelty+) R 5105 5107 24979 0 -1 4202496 27102 0 0 0 20458 328519 0 0 20 0 16 0 561027540 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5107/statm: 172408 27057 103 286 0 172120 0
[pid=5107/tid=5109] ppid=5105 vsize=689632 CPUtime=218.19
/proc/5107/task/5109/stat : 5109 (gnovelty+) R 5105 5107 24979 0 -1 4202560 389 0 0 0 1232 20587 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5107/tid=5110] ppid=5105 vsize=689632 CPUtime=218.43
/proc/5107/task/5110/stat : 5110 (gnovelty+) R 5105 5107 24979 0 -1 4202560 401 0 0 0 1336 20507 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5107/tid=5111] ppid=5105 vsize=689632 CPUtime=218.69
/proc/5107/task/5111/stat : 5111 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1342 20527 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5107/tid=5112] ppid=5105 vsize=689632 CPUtime=218.52
/proc/5107/task/5112/stat : 5112 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 1254 20598 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5107/tid=5113] ppid=5105 vsize=689632 CPUtime=218.22
/proc/5107/task/5113/stat : 5113 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1260 20562 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5107/tid=5114] ppid=5105 vsize=689632 CPUtime=218.36
/proc/5107/task/5114/stat : 5114 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 1234 20602 0 0 20 0 16 0 561027572 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5107/tid=5115] ppid=5105 vsize=689632 CPUtime=218.56
/proc/5107/task/5115/stat : 5115 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 1324 20532 0 0 20 0 16 0 561027572 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5107/tid=5116] ppid=5105 vsize=689632 CPUtime=218.6
/proc/5107/task/5116/stat : 5116 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1342 20518 0 0 20 0 16 0 561027573 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5107/tid=5117] ppid=5105 vsize=689632 CPUtime=218.36
/proc/5107/task/5117/stat : 5117 (gnovelty+) R 5105 5107 24979 0 -1 4202560 397 0 0 0 1228 20608 0 0 20 0 16 0 561027574 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5107/tid=5118] ppid=5105 vsize=689632 CPUtime=218.48
/proc/5107/task/5118/stat : 5118 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1284 20564 0 0 20 0 16 0 561027574 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5107/tid=5119] ppid=5105 vsize=689632 CPUtime=218.54
/proc/5107/task/5119/stat : 5119 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1330 20524 0 0 20 0 16 0 561027576 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5107/tid=5120] ppid=5105 vsize=689632 CPUtime=218.25
/proc/5107/task/5120/stat : 5120 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1246 20579 0 0 20 0 16 0 561027577 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5107/tid=5121] ppid=5105 vsize=689632 CPUtime=218.3
/proc/5107/task/5121/stat : 5121 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1252 20578 0 0 20 0 16 0 561027579 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5107/tid=5122] ppid=5105 vsize=689632 CPUtime=213.49
/proc/5107/task/5122/stat : 5122 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1296 20053 0 0 20 0 16 0 561027580 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5107/tid=5123] ppid=5105 vsize=689632 CPUtime=218.16
/proc/5107/task/5123/stat : 5123 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1226 20590 0 0 20 0 16 0 561027582 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3489.77
Current children cumulated vsize (KiB) 689632
[startup+282.305 s]
/proc/loadavg: 15.77 15.76 15.77 17/205 5123
/proc/meminfo: memFree=19180256/36427776 swapFree=6568/122316
[pid=5107] ppid=5105 vsize=689632 CPUtime=4432.97
/proc/5107/stat : 5107 (gnovelty+) R 5105 5107 24979 0 -1 4202496 27102 0 0 0 25587 417710 0 0 20 0 16 0 561027540 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5107/statm: 172408 27057 103 286 0 172120 0
[pid=5107/tid=5109] ppid=5105 vsize=689632 CPUtime=277.12
/proc/5107/task/5109/stat : 5109 (gnovelty+) R 5105 5107 24979 0 -1 4202560 389 0 0 0 1552 26160 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5107/tid=5110] ppid=5105 vsize=689632 CPUtime=277.48
/proc/5107/task/5110/stat : 5110 (gnovelty+) R 5105 5107 24979 0 -1 4202560 401 0 0 0 1644 26104 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5107/tid=5111] ppid=5105 vsize=689632 CPUtime=277.77
/proc/5107/task/5111/stat : 5111 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1680 26097 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5107/tid=5112] ppid=5105 vsize=689632 CPUtime=277.58
/proc/5107/task/5112/stat : 5112 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 1588 26170 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5107/tid=5113] ppid=5105 vsize=689632 CPUtime=277.2
/proc/5107/task/5113/stat : 5113 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1514 26206 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5107/tid=5114] ppid=5105 vsize=689632 CPUtime=277.37
/proc/5107/task/5114/stat : 5114 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 1578 26159 0 0 20 0 16 0 561027572 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5107/tid=5115] ppid=5105 vsize=689632 CPUtime=277.56
/proc/5107/task/5115/stat : 5115 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 1628 26128 0 0 20 0 16 0 561027572 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5107/tid=5116] ppid=5105 vsize=689632 CPUtime=277.65
/proc/5107/task/5116/stat : 5116 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1712 26053 0 0 20 0 16 0 561027573 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5107/tid=5117] ppid=5105 vsize=689632 CPUtime=277.35
/proc/5107/task/5117/stat : 5117 (gnovelty+) R 5105 5107 24979 0 -1 4202560 397 0 0 0 1524 26211 0 0 20 0 16 0 561027574 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5107/tid=5118] ppid=5105 vsize=689632 CPUtime=277.59
/proc/5107/task/5118/stat : 5118 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1618 26141 0 0 20 0 16 0 561027574 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5107/tid=5119] ppid=5105 vsize=689632 CPUtime=277.61
/proc/5107/task/5119/stat : 5119 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1672 26089 0 0 20 0 16 0 561027576 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5107/tid=5120] ppid=5105 vsize=689632 CPUtime=277.21
/proc/5107/task/5120/stat : 5120 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1564 26157 0 0 20 0 16 0 561027577 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5107/tid=5121] ppid=5105 vsize=689632 CPUtime=277.32
/proc/5107/task/5121/stat : 5121 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1554 26178 0 0 20 0 16 0 561027579 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5107/tid=5122] ppid=5105 vsize=689632 CPUtime=271.24
/proc/5107/task/5122/stat : 5122 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1646 25478 0 0 20 0 16 0 561027580 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5107/tid=5123] ppid=5105 vsize=689632 CPUtime=277.18
/proc/5107/task/5123/stat : 5123 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1538 26180 0 0 20 0 16 0 561027582 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 4432.97
Current children cumulated vsize (KiB) 689632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+319.203 s]
/proc/loadavg: 15.82 15.77 15.77 17/205 5128
/proc/meminfo: memFree=19179512/36427776 swapFree=6568/122528
[pid=5107] ppid=5105 vsize=689632 CPUtime=5000.25
/proc/5107/stat : 5107 (gnovelty+) R 5105 5107 24979 0 -1 4202496 27102 0 0 0 28708 471317 0 0 20 0 16 0 561027540 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5107/statm: 172408 27057 103 286 0 172120 0
[pid=5107/tid=5109] ppid=5105 vsize=689632 CPUtime=313.39
/proc/5107/task/5109/stat : 5109 (gnovelty+) R 5105 5107 24979 0 -1 4202560 389 0 0 0 1746 29593 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5107/tid=5110] ppid=5105 vsize=689632 CPUtime=313.81
/proc/5107/task/5110/stat : 5110 (gnovelty+) R 5105 5107 24979 0 -1 4202560 401 0 0 0 1852 29529 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5107/tid=5111] ppid=5105 vsize=689632 CPUtime=314.12
/proc/5107/task/5111/stat : 5111 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1878 29534 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5107/tid=5112] ppid=5105 vsize=689632 CPUtime=313.91
/proc/5107/task/5112/stat : 5112 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 1764 29627 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5107/tid=5113] ppid=5105 vsize=689632 CPUtime=313.44
/proc/5107/task/5113/stat : 5113 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1700 29644 0 0 20 0 16 0 561027571 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5107/tid=5114] ppid=5105 vsize=689632 CPUtime=313.69
/proc/5107/task/5114/stat : 5114 (gnovelty+) R 5105 5107 24979 0 -1 4202560 400 0 0 0 1776 29593 0 0 20 0 16 0 561027572 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5107/tid=5115] ppid=5105 vsize=689632 CPUtime=310.12
/proc/5107/task/5115/stat : 5115 (gnovelty+) R 5105 5107 24979 0 -1 4202560 398 0 0 0 1812 29200 0 0 20 0 16 0 561027572 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5107/tid=5116] ppid=5105 vsize=689632 CPUtime=313.99
/proc/5107/task/5116/stat : 5116 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1946 29453 0 0 20 0 16 0 561027573 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5107/tid=5117] ppid=5105 vsize=689632 CPUtime=307.64
/proc/5107/task/5117/stat : 5117 (gnovelty+) R 5105 5107 24979 0 -1 4202560 397 0 0 0 1686 29078 0 0 20 0 16 0 561027574 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5107/tid=5118] ppid=5105 vsize=689632 CPUtime=313.93
/proc/5107/task/5118/stat : 5118 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1822 29571 0 0 20 0 16 0 561027574 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5107/tid=5119] ppid=5105 vsize=689632 CPUtime=310.83
/proc/5107/task/5119/stat : 5119 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1868 29215 0 0 20 0 16 0 561027576 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5107/tid=5120] ppid=5105 vsize=689632 CPUtime=313.48
/proc/5107/task/5120/stat : 5120 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1768 29580 0 0 20 0 16 0 561027577 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5107/tid=5121] ppid=5105 vsize=689632 CPUtime=313.66
/proc/5107/task/5121/stat : 5121 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1738 29628 0 0 20 0 16 0 561027579 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5107/tid=5122] ppid=5105 vsize=689632 CPUtime=306.74
/proc/5107/task/5122/stat : 5122 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1854 28820 0 0 20 0 16 0 561027580 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957681 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5107/tid=5123] ppid=5105 vsize=689632 CPUtime=313.49
/proc/5107/task/5123/stat : 5123 (gnovelty+) R 5105 5107 24979 0 -1 4202560 399 0 0 0 1744 29605 0 0 20 0 16 0 561027582 706183168 27057 18446744073709551615 134512640 135680988 4292236352 18446744073709551615 134957422 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 5000.25
Current children cumulated vsize (KiB) 689632
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 5107 and gives
# childrusage.ru_utime.tv_sec=278
# childrusage.ru_utime.tv_usec=977435
# childrusage.ru_stime.tv_sec=4575
# childrusage.ru_stime.tv_usec=589956
# CPU time returned by wait4() is 4854.57
# while last known CPU time is 5000.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 319.238
CPU time (s): 5000.25
CPU user time (s): 287.08
CPU system time (s): 4713.17
CPU usage (%): 1566.31
Max. virtual memory (cumulated for all children) (KiB): 689632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 278.977
system time used= 4575.59
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27102
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= 306866
involuntary context switches= 12163
runsolver used 1.84811 second user time and 5.26833 second system time
The end
Begin job on xenhost3-49 at 2009-06-03 10:20:12
IDJOB=1777551
IDBENCH=70365
IDSOLVER=619
FILE ID=xenhost3-49/1777551-1244017212
PBS_JOBID=
Free space on /tmp= 7133 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (16 threads)
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777551-1244017212/watcher-1777551-1244017212 -o /tmp/evaluation-result-1777551-1244017212/solver-1777551-1244017212 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777551-1244017212.cnf 146019264 16
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= ac206d26fdd8779eb6f2b1fce5fa4c62
RANDOM SEED= 146019264
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: 19287528 kB
Buffers: 395152 kB
Cached: 14006148 kB
SwapCached: 0 kB
Active: 3076244 kB
Inactive: 11337752 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 2032 kB
Writeback: 0 kB
AnonPages: 11996 kB
Mapped: 5568 kB
Slab: 671328 kB
SReclaimable: 645132 kB
SUnreclaim: 26196 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= 7133 MiB
End job on xenhost3-49 at 2009-06-03 10:25:33