349.97/292.75 c Benchmark name : HOME/instance-1776732-1244755083.cnf
349.97/292.75 c Thread Num : 16
349.97/292.75 c restarts : 11
349.97/292.75 c conflicts : 13052
349.97/292.75 c decisions : 20710 ( 71 / sec )
349.97/292.75 c propagations : 10498177 ( 35876 / sec )
349.97/292.75 c inspects : 39846821 ( 136172 / sec )
349.97/292.75 c conflict literals : 201250 ( 55.99 % deleted )
349.97/292.75 c cpu time : 292.62
349.97/292.75 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776732-1244755083/watcher-1776732-1244755083 -o /tmp/evaluation-result-1776732-1244755083/solver-1776732-1244755083 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776732-1244755083.cnf 16 10000
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 3.52 4.08 3.61 2/184 834
/proc/meminfo: memFree=19142524/36427776 swapFree=3684/7044
[pid=834] ppid=832 vsize=5452 CPUtime=0
/proc/834/stat : 834 (satake) R 832 834 27791 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 13 0 634814654 5582848 280 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/834/statm: 1363 280 63 164 0 1198 0
[pid=834/tid=835] ppid=832 vsize=7212 CPUtime=0
/proc/834/task/835/stat : 835 (satake) S 832 834 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634814654 7385088 412 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=834/tid=836] ppid=832 vsize=7212 CPUtime=0
/proc/834/task/836/stat : 836 (satake) R 832 834 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 634814654 7385088 412 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=834/tid=837] ppid=832 vsize=7212 CPUtime=0
/proc/834/task/837/stat : 837 (satake) S 832 834 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 17 0 634814654 7385088 414 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=834/tid=838] ppid=832 vsize=7212 CPUtime=0
/proc/834/task/838/stat : 838 (satake) R 832 834 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 634814654 7385088 417 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=834/tid=839] ppid=832 vsize=7212 CPUtime=0
/proc/834/task/839/stat : 839 (satake) R 832 834 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634814654 7385088 419 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=834/tid=840] ppid=832 vsize=7212 CPUtime=0
/proc/834/task/840/stat : 840 (satake) S 832 834 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634814654 7385088 425 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=834/tid=841] ppid=832 vsize=7212 CPUtime=0
/proc/834/task/841/stat : 841 (satake) D 832 834 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 634814654 7385088 428 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=834/tid=842] ppid=832 vsize=7216 CPUtime=0
/proc/834/task/842/stat : 842 (satake) S 832 834 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634814654 7389184 432 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=834/tid=843] ppid=832 vsize=7216 CPUtime=0
/proc/834/task/843/stat : 843 (satake) R 832 834 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 634814654 7389184 434 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=834/tid=844] ppid=832 vsize=7216 CPUtime=0
/proc/834/task/844/stat : 844 (satake) S 832 834 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634814655 7389184 437 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=834/tid=845] ppid=832 vsize=7348 CPUtime=0
/proc/834/task/845/stat : 845 (satake) D 832 834 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 634814655 7524352 440 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=834/tid=846] ppid=832 vsize=7348 CPUtime=0
/proc/834/task/846/stat : 846 (satake) S 832 834 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634814655 7524352 445 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=834/tid=847] ppid=832 vsize=7348 CPUtime=0
/proc/834/task/847/stat : 847 (satake) R 832 834 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 634814655 7524352 446 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=834/tid=848] ppid=832 vsize=7348 CPUtime=0
/proc/834/task/848/stat : 848 (satake) R 832 834 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 634814655 7524352 449 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=834/tid=849] ppid=832 vsize=7348 CPUtime=0
/proc/834/task/849/stat : 849 (satake) R 832 834 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 634814655 7524352 452 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=834/tid=850] ppid=832 vsize=7348 CPUtime=0
/proc/834/task/850/stat : 850 (satake) R 832 834 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 634814655 7524352 478 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[startup+0.070946 s]
/proc/loadavg: 3.52 4.08 3.61 2/184 834
/proc/meminfo: memFree=19142524/36427776 swapFree=3684/7044
[pid=834] ppid=832 vsize=25424 CPUtime=0.22
/proc/834/stat : 834 (satake) S 832 834 27791 0 -1 4202496 3213 0 0 0 9 13 0 0 20 0 17 0 634814654 26034176 3152 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/834/statm: 6356 3152 63 164 0 6191 0
[pid=834/tid=835] ppid=832 vsize=25424 CPUtime=0
/proc/834/task/835/stat : 835 (satake) S 832 834 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634814654 26034176 3156 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=834/tid=836] ppid=832 vsize=25424 CPUtime=0
/proc/834/task/836/stat : 836 (satake) S 832 834 27791 0 -1 4202560 184 0 0 0 0 0 0 0 20 0 17 0 634814654 26034176 3156 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=834/tid=837] ppid=832 vsize=25424 CPUtime=0.02
/proc/834/task/837/stat : 837 (satake) D 832 834 27791 0 -1 4202560 258 0 0 0 2 0 0 0 20 0 17 0 634814654 26034176 3157 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=834/tid=838] ppid=832 vsize=25424 CPUtime=0.02
/proc/834/task/838/stat : 838 (satake) R 832 834 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 634814654 26034176 3157 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=834/tid=839] ppid=832 vsize=25424 CPUtime=0.02
/proc/834/task/839/stat : 839 (satake) R 832 834 27791 0 -1 4202560 258 0 0 0 2 0 0 0 20 0 17 0 634814654 26034176 3157 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=834/tid=840] ppid=832 vsize=25424 CPUtime=0.02
/proc/834/task/840/stat : 840 (satake) S 832 834 27791 0 -1 4202560 263 0 0 0 0 2 0 0 20 0 17 0 634814654 26034176 3157 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=834/tid=841] ppid=832 vsize=25424 CPUtime=0
/proc/834/task/841/stat : 841 (satake) R 832 834 27791 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 17 0 634814654 26034176 3157 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=834/tid=842] ppid=832 vsize=25424 CPUtime=0.02
/proc/834/task/842/stat : 842 (satake) R 832 834 27791 0 -1 4202560 230 0 0 0 2 0 0 0 20 0 17 0 634814654 26034176 3157 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=834/tid=843] ppid=832 vsize=25424 CPUtime=0
/proc/834/task/843/stat : 843 (satake) S 832 834 27791 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 17 0 634814654 26034176 3157 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=834/tid=844] ppid=832 vsize=25424 CPUtime=0.02
/proc/834/task/844/stat : 844 (satake) D 832 834 27791 0 -1 4202560 294 0 0 0 0 2 0 0 20 0 17 0 634814655 26034176 3161 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=834/tid=845] ppid=832 vsize=25424 CPUtime=0
/proc/834/task/845/stat : 845 (satake) S 832 834 27791 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 17 0 634814655 26034176 3164 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=834/tid=846] ppid=832 vsize=25424 CPUtime=0
/proc/834/task/846/stat : 846 (satake) S 832 834 27791 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 17 0 634814655 26034176 3166 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=834/tid=847] ppid=832 vsize=25424 CPUtime=0.02
/proc/834/task/847/stat : 847 (satake) R 832 834 27791 0 -1 4202560 316 0 0 0 0 2 0 0 20 0 17 0 634814655 26034176 3167 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=834/tid=848] ppid=832 vsize=25424 CPUtime=0
/proc/834/task/848/stat : 848 (satake) R 832 834 27791 0 -1 4202560 166 0 0 0 0 0 0 0 20 0 17 0 634814655 26034176 3167 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=834/tid=849] ppid=832 vsize=25424 CPUtime=0
/proc/834/task/849/stat : 849 (satake) S 832 834 27791 0 -1 4202560 182 0 0 0 0 0 0 0 20 0 17 0 634814655 26034176 3167 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=834/tid=850] ppid=832 vsize=25424 CPUtime=0
/proc/834/task/850/stat : 850 (satake) S 832 834 27791 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 17 0 634814655 26034176 3167 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 25424
[startup+0.106929 s]
/proc/loadavg: 3.52 4.08 3.61 2/184 834
/proc/meminfo: memFree=19142524/36427776 swapFree=3684/7044
[pid=834] ppid=832 vsize=27820 CPUtime=0.39
/proc/834/stat : 834 (satake) S 832 834 27791 0 -1 4202496 4338 0 0 0 11 28 0 0 20 0 17 0 634814654 28487680 4277 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/834/statm: 6955 4278 63 164 0 6790 0
[pid=834/tid=835] ppid=832 vsize=27820 CPUtime=0
/proc/834/task/835/stat : 835 (satake) S 832 834 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634814654 28487680 4279 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=834/tid=836] ppid=832 vsize=27820 CPUtime=0.02
/proc/834/task/836/stat : 836 (satake) D 832 834 27791 0 -1 4202560 298 0 0 0 0 2 0 0 20 0 17 0 634814654 28487680 4279 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=834/tid=837] ppid=832 vsize=27820 CPUtime=0.02
/proc/834/task/837/stat : 837 (satake) D 832 834 27791 0 -1 4202560 376 0 0 0 2 0 0 0 20 0 17 0 634814654 28487680 4280 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=834/tid=838] ppid=832 vsize=27820 CPUtime=0.02
/proc/834/task/838/stat : 838 (satake) D 832 834 27791 0 -1 4202560 332 0 0 0 0 2 0 0 20 0 17 0 634814654 28487680 4280 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=834/tid=839] ppid=832 vsize=27820 CPUtime=0.02
/proc/834/task/839/stat : 839 (satake) R 832 834 27791 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 17 0 634814654 28487680 4281 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=834/tid=840] ppid=832 vsize=27820 CPUtime=0.02
/proc/834/task/840/stat : 840 (satake) D 832 834 27791 0 -1 4202560 314 0 0 0 0 2 0 0 20 0 17 0 634814654 28487680 4285 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=834/tid=841] ppid=832 vsize=27820 CPUtime=0.02
/proc/834/task/841/stat : 841 (satake) R 832 834 27791 0 -1 4202560 216 0 0 0 0 2 0 0 20 0 17 0 634814654 28487680 4285 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=834/tid=842] ppid=832 vsize=27820 CPUtime=0.02
/proc/834/task/842/stat : 842 (satake) R 832 834 27791 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 17 0 634814654 28487680 4288 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=834/tid=843] ppid=832 vsize=27820 CPUtime=0
/proc/834/task/843/stat : 843 (satake) S 832 834 27791 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 17 0 634814654 28487680 4288 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=834/tid=844] ppid=832 vsize=27820 CPUtime=0.04
/proc/834/task/844/stat : 844 (satake) S 832 834 27791 0 -1 4202560 396 0 0 0 0 4 0 0 20 0 17 0 634814655 28487680 4290 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=834/tid=845] ppid=832 vsize=27820 CPUtime=0.02
/proc/834/task/845/stat : 845 (satake) D 832 834 27791 0 -1 4202560 235 0 0 0 0 2 0 0 20 0 17 0 634814655 28487680 4292 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=834/tid=846] ppid=832 vsize=27820 CPUtime=0
/proc/834/task/846/stat : 846 (satake) S 832 834 27791 0 -1 4202560 138 0 0 0 0 0 0 0 20 0 17 0 634814655 28487680 4292 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=834/tid=847] ppid=832 vsize=27820 CPUtime=0.04
/proc/834/task/847/stat : 847 (satake) S 832 834 27791 0 -1 4202560 425 0 0 0 0 4 0 0 20 0 17 0 634814655 28487680 4294 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=834/tid=848] ppid=832 vsize=27820 CPUtime=0.02
/proc/834/task/848/stat : 848 (satake) D 832 834 27791 0 -1 4202560 245 0 0 0 0 2 0 0 20 0 17 0 634814655 28487680 4295 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=834/tid=849] ppid=832 vsize=27820 CPUtime=0.02
/proc/834/task/849/stat : 849 (satake) R 832 834 27791 0 -1 4202560 229 0 0 0 2 0 0 0 20 0 17 0 634814655 28487680 4297 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=834/tid=850] ppid=832 vsize=27820 CPUtime=0
/proc/834/task/850/stat : 850 (satake) D 832 834 27791 0 -1 4202560 176 0 0 0 0 0 0 0 20 0 17 0 634814655 28487680 4300 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 27820
[startup+0.302917 s]
/proc/loadavg: 3.52 4.08 3.61 2/184 834
/proc/meminfo: memFree=19142524/36427776 swapFree=3684/7044
[pid=834] ppid=832 vsize=45856 CPUtime=1.25
/proc/834/stat : 834 (satake) S 832 834 27791 0 -1 4202496 8622 0 0 0 58 67 0 0 20 0 17 0 634814654 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/834/statm: 11464 7211 68 164 0 11299 0
[pid=834/tid=835] ppid=832 vsize=45856 CPUtime=0
/proc/834/task/835/stat : 835 (satake) R 832 834 27791 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 17 0 634814654 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=834/tid=836] ppid=832 vsize=45856 CPUtime=0.08
/proc/834/task/836/stat : 836 (satake) S 832 834 27791 0 -1 4202560 590 0 0 0 4 4 0 0 20 0 17 0 634814654 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=834/tid=837] ppid=832 vsize=45856 CPUtime=0.1
/proc/834/task/837/stat : 837 (satake) S 832 834 27791 0 -1 4202560 627 0 0 0 6 4 0 0 20 0 17 0 634814654 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=834/tid=838] ppid=832 vsize=45856 CPUtime=0.1
/proc/834/task/838/stat : 838 (satake) R 832 834 27791 0 -1 4202560 566 0 0 0 4 6 0 0 20 0 17 0 634814654 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134526456 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=834/tid=839] ppid=832 vsize=45856 CPUtime=0.06
/proc/834/task/839/stat : 839 (satake) S 832 834 27791 0 -1 4202560 560 0 0 0 4 2 0 0 20 0 17 0 634814654 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=834/tid=840] ppid=832 vsize=45856 CPUtime=0.06
/proc/834/task/840/stat : 840 (satake) S 832 834 27791 0 -1 4202560 573 0 0 0 0 6 0 0 20 0 17 0 634814654 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=834/tid=841] ppid=832 vsize=45856 CPUtime=0.06
/proc/834/task/841/stat : 841 (satake) S 832 834 27791 0 -1 4202560 608 0 0 0 2 4 0 0 20 0 17 0 634814654 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=834/tid=842] ppid=832 vsize=45856 CPUtime=0.08
/proc/834/task/842/stat : 842 (satake) S 832 834 27791 0 -1 4202560 543 0 0 0 4 4 0 0 20 0 17 0 634814654 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=834/tid=843] ppid=832 vsize=45856 CPUtime=0.06
/proc/834/task/843/stat : 843 (satake) S 832 834 27791 0 -1 4202560 538 0 0 0 2 4 0 0 20 0 17 0 634814654 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=834/tid=844] ppid=832 vsize=45856 CPUtime=0.08
/proc/834/task/844/stat : 844 (satake) R 832 834 27791 0 -1 4202560 498 0 0 0 2 6 0 0 20 0 17 0 634814655 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=834/tid=845] ppid=832 vsize=45856 CPUtime=0.06
/proc/834/task/845/stat : 845 (satake) S 832 834 27791 0 -1 4202560 579 0 0 0 2 4 0 0 20 0 17 0 634814655 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=834/tid=846] ppid=832 vsize=45856 CPUtime=0.06
/proc/834/task/846/stat : 846 (satake) S 832 834 27791 0 -1 4202560 450 0 0 0 6 0 0 0 20 0 17 0 634814655 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=834/tid=847] ppid=832 vsize=45856 CPUtime=0.08
/proc/834/task/847/stat : 847 (satake) R 832 834 27791 0 -1 4202560 540 0 0 0 2 6 0 0 20 0 17 0 634814655 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=834/tid=848] ppid=832 vsize=45856 CPUtime=0.1
/proc/834/task/848/stat : 848 (satake) S 832 834 27791 0 -1 4202560 562 0 0 0 4 6 0 0 20 0 17 0 634814655 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=834/tid=849] ppid=832 vsize=45856 CPUtime=0.1
/proc/834/task/849/stat : 849 (satake) S 832 834 27791 0 -1 4202560 621 0 0 0 6 4 0 0 20 0 17 0 634814655 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=834/tid=850] ppid=832 vsize=45856 CPUtime=0.06
/proc/834/task/850/stat : 850 (satake) S 832 834 27791 0 -1 4202560 498 0 0 0 6 0 0 0 20 0 17 0 634814655 46956544 7211 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 45856
[startup+0.702939 s]
/proc/loadavg: 3.52 4.08 3.61 2/184 834
/proc/meminfo: memFree=19142524/36427776 swapFree=3684/7044
[pid=834] ppid=832 vsize=45856 CPUtime=1.79
/proc/834/stat : 834 (satake) S 832 834 27791 0 -1 4202496 8665 0 0 0 77 102 0 0 20 0 17 0 634814654 46956544 7254 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/834/statm: 11464 7254 68 164 0 11299 0
[pid=834/tid=835] ppid=832 vsize=45856 CPUtime=0.2
/proc/834/task/835/stat : 835 (satake) R 832 834 27791 0 -1 4202560 149 0 0 0 2 18 0 0 20 0 17 0 634814654 46956544 7254 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=834/tid=836] ppid=832 vsize=45856 CPUtime=0.12
/proc/834/task/836/stat : 836 (satake) S 832 834 27791 0 -1 4202560 595 0 0 0 6 6 0 0 20 0 17 0 634814654 46956544 7254 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=834/tid=837] ppid=832 vsize=45856 CPUtime=0.1
/proc/834/task/837/stat : 837 (satake) S 832 834 27791 0 -1 4202560 627 0 0 0 6 4 0 0 20 0 17 0 634814654 46956544 7254 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=834/tid=838] ppid=832 vsize=45856 CPUtime=0.1
/proc/834/task/838/stat : 838 (satake) S 832 834 27791 0 -1 4202560 566 0 0 0 4 6 0 0 20 0 17 0 634814654 46956544 7254 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=834/tid=839] ppid=832 vsize=45856 CPUtime=0.1
/proc/834/task/839/stat : 839 (satake) S 832 834 27791 0 -1 4202560 565 0 0 0 6 4 0 0 20 0 17 0 634814654 46956544 7254 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=834/tid=840] ppid=832 vsize=45856 CPUtime=0.1
/proc/834/task/840/stat : 840 (satake) S 832 834 27791 0 -1 4202560 578 0 0 0 4 6 0 0 20 0 17 0 634814654 46956544 7254 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=834/tid=841] ppid=832 vsize=45856 CPUtime=0.06
/proc/834/task/841/stat : 841 (satake) S 832 834 27791 0 -1 4202560 608 0 0 0 2 4 0 0 20 0 17 0 634814654 46956544 7254 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=834/tid=842] ppid=832 vsize=45856 CPUtime=0.12
/proc/834/task/842/stat : 842 (satake) S 832 834 27791 0 -1 4202560 545 0 0 0 4 8 0 0 20 0 17 0 634814654 46956544 7254 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=834/tid=843] ppid=832 vsize=45856 CPUtime=0.08
/proc/834/task/843/stat : 843 (satake) R 832 834 27791 0 -1 4202560 541 0 0 0 2 6 0 0 20 0 17 0 634814654 46956544 7254 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=834/tid=844] ppid=832 vsize=45856 CPUtime=0.1
################
# More data... #
################
/proc/834/task/841/stat : 841 (satake) S 832 834 27791 0 -1 4202560 1110 0 0 0 710 696 0 0 20 0 17 0 634814654 88834048 16821 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=834/tid=842] ppid=832 vsize=86752 CPUtime=14.62
/proc/834/task/842/stat : 842 (satake) S 832 834 27791 0 -1 4202560 989 0 0 0 778 684 0 0 20 0 17 0 634814654 88834048 16821 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=834/tid=843] ppid=832 vsize=86752 CPUtime=15.66
/proc/834/task/843/stat : 843 (satake) S 832 834 27791 0 -1 4202560 1015 0 0 0 856 710 0 0 20 0 17 0 634814654 88834048 16821 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=834/tid=844] ppid=832 vsize=86752 CPUtime=15.96
/proc/834/task/844/stat : 844 (satake) S 832 834 27791 0 -1 4202560 1026 0 0 0 880 716 0 0 20 0 17 0 634814655 88834048 16821 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=834/tid=845] ppid=832 vsize=86752 CPUtime=15.5
/proc/834/task/845/stat : 845 (satake) S 832 834 27791 0 -1 4202560 1034 0 0 0 780 770 0 0 20 0 17 0 634814655 88834048 16821 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=834/tid=846] ppid=832 vsize=86752 CPUtime=15.88
/proc/834/task/846/stat : 846 (satake) R 832 834 27791 0 -1 4202560 925 0 0 0 854 734 0 0 20 0 17 0 634814655 88834048 16821 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134518255 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=834/tid=847] ppid=832 vsize=86752 CPUtime=11.02
/proc/834/task/847/stat : 847 (satake) S 832 834 27791 0 -1 4202560 1036 0 0 0 660 442 0 0 20 0 17 0 634814655 88834048 16821 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=834/tid=848] ppid=832 vsize=86752 CPUtime=14.6
/proc/834/task/848/stat : 848 (satake) S 832 834 27791 0 -1 4202560 1061 0 0 0 738 722 0 0 20 0 17 0 634814655 88834048 16821 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=834/tid=849] ppid=832 vsize=86752 CPUtime=14.82
/proc/834/task/849/stat : 849 (satake) S 832 834 27791 0 -1 4202560 1211 0 0 0 742 740 0 0 20 0 17 0 634814655 88834048 16821 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=834/tid=850] ppid=832 vsize=86752 CPUtime=15.48
/proc/834/task/850/stat : 850 (satake) S 832 834 27791 0 -1 4202560 1002 0 0 0 836 712 0 0 20 0 17 0 634814655 88834048 16821 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 343
Current children cumulated vsize (KiB) 86752
[startup+291.103 s]
/proc/loadavg: 2.19 2.93 3.24 3/201 856
/proc/meminfo: memFree=19074864/36427776 swapFree=4588/77452
[pid=834] ppid=832 vsize=87776 CPUtime=347.09
/proc/834/stat : 834 (satake) S 832 834 27791 0 -1 4202496 18264 0 0 0 13009 21700 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/834/statm: 21944 16853 68 164 0 21779 0
[pid=834/tid=835] ppid=832 vsize=87776 CPUtime=137.85
/proc/834/task/835/stat : 835 (satake) D 832 834 27791 0 -1 4202560 2382 0 0 0 1806 11979 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=834/tid=836] ppid=832 vsize=87776 CPUtime=11.46
/proc/834/task/836/stat : 836 (satake) S 832 834 27791 0 -1 4202560 1099 0 0 0 662 484 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=834/tid=837] ppid=832 vsize=87776 CPUtime=12.62
/proc/834/task/837/stat : 837 (satake) S 832 834 27791 0 -1 4202560 1105 0 0 0 678 584 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=834/tid=838] ppid=832 vsize=87776 CPUtime=11.54
/proc/834/task/838/stat : 838 (satake) S 832 834 27791 0 -1 4202560 1062 0 0 0 624 530 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=834/tid=839] ppid=832 vsize=87776 CPUtime=9.96
/proc/834/task/839/stat : 839 (satake) S 832 834 27791 0 -1 4202560 1061 0 0 0 602 394 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=834/tid=840] ppid=832 vsize=87776 CPUtime=14.22
/proc/834/task/840/stat : 840 (satake) R 832 834 27791 0 -1 4202560 1019 0 0 0 700 722 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134523667 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=834/tid=841] ppid=832 vsize=87776 CPUtime=14.2
/proc/834/task/841/stat : 841 (satake) S 832 834 27791 0 -1 4202560 1110 0 0 0 716 704 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=834/tid=842] ppid=832 vsize=87776 CPUtime=14.7
/proc/834/task/842/stat : 842 (satake) S 832 834 27791 0 -1 4202560 989 0 0 0 782 688 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=834/tid=843] ppid=832 vsize=87776 CPUtime=15.8
/proc/834/task/843/stat : 843 (satake) S 832 834 27791 0 -1 4202560 1015 0 0 0 864 716 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=834/tid=844] ppid=832 vsize=87776 CPUtime=16.22
/proc/834/task/844/stat : 844 (satake) S 832 834 27791 0 -1 4202560 1026 0 0 0 896 726 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=834/tid=845] ppid=832 vsize=87776 CPUtime=15.64
/proc/834/task/845/stat : 845 (satake) S 832 834 27791 0 -1 4202560 1034 0 0 0 788 776 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=834/tid=846] ppid=832 vsize=87776 CPUtime=16.02
/proc/834/task/846/stat : 846 (satake) S 832 834 27791 0 -1 4202560 925 0 0 0 864 738 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=834/tid=847] ppid=832 vsize=87776 CPUtime=11.28
/proc/834/task/847/stat : 847 (satake) S 832 834 27791 0 -1 4202560 1036 0 0 0 676 452 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=834/tid=848] ppid=832 vsize=87776 CPUtime=14.86
/proc/834/task/848/stat : 848 (satake) S 832 834 27791 0 -1 4202560 1061 0 0 0 754 732 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=834/tid=849] ppid=832 vsize=87776 CPUtime=14.98
/proc/834/task/849/stat : 849 (satake) D 832 834 27791 0 -1 4202560 1211 0 0 0 750 748 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=834/tid=850] ppid=832 vsize=87776 CPUtime=15.6
/proc/834/task/850/stat : 850 (satake) S 832 834 27791 0 -1 4202560 1002 0 0 0 842 718 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 347.09
Current children cumulated vsize (KiB) 87776
[startup+291.903 s]
/proc/loadavg: 2.18 2.91 3.23 3/201 856
/proc/meminfo: memFree=19074864/36427776 swapFree=4588/77464
[pid=834] ppid=832 vsize=87776 CPUtime=348.34
/proc/834/stat : 834 (satake) S 832 834 27791 0 -1 4202496 18264 0 0 0 13068 21766 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/834/statm: 21944 16853 68 164 0 21779 0
[pid=834/tid=835] ppid=832 vsize=87776 CPUtime=138.25
/proc/834/task/835/stat : 835 (satake) D 832 834 27791 0 -1 4202560 2382 0 0 0 1810 12015 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=834/tid=836] ppid=832 vsize=87776 CPUtime=11.46
/proc/834/task/836/stat : 836 (satake) S 832 834 27791 0 -1 4202560 1099 0 0 0 662 484 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=834/tid=837] ppid=832 vsize=87776 CPUtime=12.62
/proc/834/task/837/stat : 837 (satake) S 832 834 27791 0 -1 4202560 1105 0 0 0 678 584 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=834/tid=838] ppid=832 vsize=87776 CPUtime=11.54
/proc/834/task/838/stat : 838 (satake) S 832 834 27791 0 -1 4202560 1062 0 0 0 624 530 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=834/tid=839] ppid=832 vsize=87776 CPUtime=9.98
/proc/834/task/839/stat : 839 (satake) R 832 834 27791 0 -1 4202560 1061 0 0 0 602 396 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=834/tid=840] ppid=832 vsize=87776 CPUtime=14.26
/proc/834/task/840/stat : 840 (satake) S 832 834 27791 0 -1 4202560 1019 0 0 0 704 722 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=834/tid=841] ppid=832 vsize=87776 CPUtime=14.3
/proc/834/task/841/stat : 841 (satake) S 832 834 27791 0 -1 4202560 1110 0 0 0 722 708 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=834/tid=842] ppid=832 vsize=87776 CPUtime=14.86
/proc/834/task/842/stat : 842 (satake) S 832 834 27791 0 -1 4202560 989 0 0 0 792 694 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=834/tid=843] ppid=832 vsize=87776 CPUtime=15.94
/proc/834/task/843/stat : 843 (satake) S 832 834 27791 0 -1 4202560 1015 0 0 0 872 722 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=834/tid=844] ppid=832 vsize=87776 CPUtime=16.22
/proc/834/task/844/stat : 844 (satake) S 832 834 27791 0 -1 4202560 1026 0 0 0 896 726 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=834/tid=845] ppid=832 vsize=87776 CPUtime=15.72
/proc/834/task/845/stat : 845 (satake) S 832 834 27791 0 -1 4202560 1034 0 0 0 792 780 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=834/tid=846] ppid=832 vsize=87776 CPUtime=16.02
/proc/834/task/846/stat : 846 (satake) S 832 834 27791 0 -1 4202560 925 0 0 0 864 738 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=834/tid=847] ppid=832 vsize=87776 CPUtime=11.28
/proc/834/task/847/stat : 847 (satake) S 832 834 27791 0 -1 4202560 1036 0 0 0 676 452 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=834/tid=848] ppid=832 vsize=87776 CPUtime=14.86
/proc/834/task/848/stat : 848 (satake) S 832 834 27791 0 -1 4202560 1061 0 0 0 754 732 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=834/tid=849] ppid=832 vsize=87776 CPUtime=15.12
/proc/834/task/849/stat : 849 (satake) S 832 834 27791 0 -1 4202560 1211 0 0 0 762 750 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=834/tid=850] ppid=832 vsize=87776 CPUtime=15.76
/proc/834/task/850/stat : 850 (satake) S 832 834 27791 0 -1 4202560 1002 0 0 0 852 724 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 348.34
Current children cumulated vsize (KiB) 87776
[startup+292.303 s]
/proc/loadavg: 2.18 2.91 3.23 3/201 856
/proc/meminfo: memFree=19074864/36427776 swapFree=4588/77464
[pid=834] ppid=832 vsize=87776 CPUtime=348.85
/proc/834/stat : 834 (satake) S 832 834 27791 0 -1 4202496 18264 0 0 0 13094 21791 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/834/statm: 21944 16853 68 164 0 21779 0
[pid=834/tid=835] ppid=832 vsize=87776 CPUtime=138.42
/proc/834/task/835/stat : 835 (satake) D 832 834 27791 0 -1 4202560 2382 0 0 0 1812 12030 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=834/tid=836] ppid=832 vsize=87776 CPUtime=11.52
/proc/834/task/836/stat : 836 (satake) S 832 834 27791 0 -1 4202560 1099 0 0 0 666 486 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=834/tid=837] ppid=832 vsize=87776 CPUtime=12.64
/proc/834/task/837/stat : 837 (satake) S 832 834 27791 0 -1 4202560 1105 0 0 0 680 584 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=834/tid=838] ppid=832 vsize=87776 CPUtime=11.58
/proc/834/task/838/stat : 838 (satake) S 832 834 27791 0 -1 4202560 1062 0 0 0 628 530 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=834/tid=839] ppid=832 vsize=87776 CPUtime=10.02
/proc/834/task/839/stat : 839 (satake) S 832 834 27791 0 -1 4202560 1061 0 0 0 606 396 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=834/tid=840] ppid=832 vsize=87776 CPUtime=14.26
/proc/834/task/840/stat : 840 (satake) S 832 834 27791 0 -1 4202560 1019 0 0 0 704 722 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=834/tid=841] ppid=832 vsize=87776 CPUtime=14.3
/proc/834/task/841/stat : 841 (satake) S 832 834 27791 0 -1 4202560 1110 0 0 0 722 708 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=834/tid=842] ppid=832 vsize=87776 CPUtime=14.86
/proc/834/task/842/stat : 842 (satake) S 832 834 27791 0 -1 4202560 989 0 0 0 792 694 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=834/tid=843] ppid=832 vsize=87776 CPUtime=15.94
/proc/834/task/843/stat : 843 (satake) S 832 834 27791 0 -1 4202560 1015 0 0 0 872 722 0 0 20 0 17 0 634814654 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=834/tid=844] ppid=832 vsize=87776 CPUtime=16.22
/proc/834/task/844/stat : 844 (satake) R 832 834 27791 0 -1 4202560 1026 0 0 0 896 726 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=834/tid=845] ppid=832 vsize=87776 CPUtime=15.72
/proc/834/task/845/stat : 845 (satake) S 832 834 27791 0 -1 4202560 1034 0 0 0 792 780 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=834/tid=846] ppid=832 vsize=87776 CPUtime=16.12
/proc/834/task/846/stat : 846 (satake) S 832 834 27791 0 -1 4202560 925 0 0 0 870 742 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=834/tid=847] ppid=832 vsize=87776 CPUtime=11.34
/proc/834/task/847/stat : 847 (satake) R 832 834 27791 0 -1 4202560 1036 0 0 0 678 456 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134528462 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=834/tid=848] ppid=832 vsize=87776 CPUtime=14.86
/proc/834/task/848/stat : 848 (satake) S 832 834 27791 0 -1 4202560 1061 0 0 0 754 732 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=834/tid=849] ppid=832 vsize=87776 CPUtime=15.12
/proc/834/task/849/stat : 849 (satake) S 832 834 27791 0 -1 4202560 1211 0 0 0 762 750 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=834/tid=850] ppid=832 vsize=87776 CPUtime=15.76
/proc/834/task/850/stat : 850 (satake) S 832 834 27791 0 -1 4202560 1002 0 0 0 852 724 0 0 20 0 17 0 634814655 89882624 16853 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 348.85
Current children cumulated vsize (KiB) 87776
[startup+292.702 s]
/proc/loadavg: 2.18 2.91 3.23 2/201 856
/proc/meminfo: memFree=19074864/36427776 swapFree=4588/77464
[pid=834] ppid=832 vsize=79920 CPUtime=349.97
/proc/834/stat : 834 (satake) S 832 834 27791 0 -1 4202496 18273 0 0 0 13165 21832 0 0 20 0 9 0 634814654 81838080 15927 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/834/statm: 19980 15927 77 164 0 19815 0
[pid=834/tid=835] ppid=832 vsize=79920 CPUtime=138.6
/proc/834/task/835/stat : 835 (satake) S 832 834 27791 0 -1 4202560 2382 0 0 0 1816 12044 0 0 20 0 9 0 634814654 81838080 15927 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=834/tid=839] ppid=832 vsize=79920 CPUtime=10.08
/proc/834/task/839/stat : 839 (satake) R 832 834 27791 0 -1 4202560 1061 0 0 0 608 400 0 0 20 0 9 0 634814654 81838080 15927 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134666571 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=834/tid=842] ppid=832 vsize=79920 CPUtime=14.94
/proc/834/task/842/stat : 842 (satake) S 832 834 27791 0 -1 4202560 989 0 0 0 800 694 0 0 20 0 9 0 634814654 81838080 15927 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=834/tid=843] ppid=832 vsize=79920 CPUtime=16.02
/proc/834/task/843/stat : 843 (satake) R 832 834 27791 0 -1 4202560 1015 0 0 0 880 722 0 0 20 0 9 0 634814654 81838080 15927 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=834/tid=844] ppid=832 vsize=79920 CPUtime=16.32
/proc/834/task/844/stat : 844 (satake) R 832 834 27791 0 -1 4202560 1026 0 0 0 904 728 0 0 20 0 9 0 634814655 81838080 15927 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=834/tid=846] ppid=832 vsize=79920 CPUtime=16.14
/proc/834/task/846/stat : 846 (satake) S 832 834 27791 0 -1 4202560 925 0 0 0 870 744 0 0 20 0 9 0 634814655 81838080 15927 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=834/tid=847] ppid=832 vsize=79920 CPUtime=11.38
/proc/834/task/847/stat : 847 (satake) S 832 834 27791 0 -1 4202560 1036 0 0 0 682 456 0 0 20 0 9 0 634814655 81838080 15927 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=834/tid=848] ppid=832 vsize=79920 CPUtime=14.94
/proc/834/task/848/stat : 848 (satake) R 832 834 27791 0 -1 4202560 1061 0 0 0 758 736 0 0 20 0 9 0 634814655 81838080 15927 18446744073709551615 134512640 135180984 4293260608 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 349.97
Current children cumulated vsize (KiB) 79920
Child status: 16
Real time (s): 292.764
CPU time (s): 350.118
CPU user time (s): 131.76
CPU system time (s): 218.358
CPU usage (%): 119.591
Max. virtual memory (cumulated for all children) (KiB): 87776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.76
system time used= 218.358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18274
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= 18333262
involuntary context switches= 1991642
runsolver used 1.22808 second user time and 3.1722 second system time
The end
Begin job on xenhost3-49 at 2009-06-11 23:18:03
IDJOB=1776732
IDBENCH=69576
IDSOLVER=631
FILE ID=xenhost3-49/1776732-1244755083
PBS_JOBID=
Free space on /tmp= 7038 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE08/cnf/hoons-vbmc-lucky7.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776732-1244755083/watcher-1776732-1244755083 -o /tmp/evaluation-result-1776732-1244755083/solver-1776732-1244755083 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776732-1244755083.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= e05028f569e580a3335aeab2d092cf1f
RANDOM SEED= 194996239
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: 19142524 kB
Buffers: 433468 kB
Cached: 14102340 kB
SwapCached: 0 kB
Active: 4078360 kB
Inactive: 10465124 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 688 kB
Writeback: 0 kB
AnonPages: 7044 kB
Mapped: 3020 kB
Slab: 687996 kB
SReclaimable: 661208 kB
SUnreclaim: 26788 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7038 MiB
End job on xenhost3-49 at 2009-06-11 23:22:56