891.72/217.44 c Benchmark name : HOME/instance-1780647-1244835742.cnf
891.72/217.44 c Thread Num : 16
891.72/217.44 c restarts : 12
891.72/217.44 c conflicts : 24644
891.72/217.44 c decisions : 140869 ( 654 / sec )
891.72/217.44 c propagations : 50433634 ( 233983 / sec )
891.72/217.44 c inspects : 155698866 ( 722353 / sec )
891.72/217.44 c conflict literals : 4761705 ( 24.90 % deleted )
891.72/217.44 c cpu time : 215.54
891.72/217.44 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780647-1244835742/watcher-1780647-1244835742 -o /tmp/evaluation-result-1780647-1244835742/solver-1780647-1244835742 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780647-1244835742.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: 9.10 9.91 9.39 2/184 10581
/proc/meminfo: memFree=19116312/36427776 swapFree=4420/7504
[pid=10581] ppid=10579 vsize=8432 CPUtime=0
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 480 0 0 0 0 0 0 0 20 0 17 0 642880576 8634368 432 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 2108 432 64 164 0 1943 0
[pid=10581/tid=10582] ppid=10579 vsize=8568 CPUtime=0
/proc/10581/task/10582/stat : 10582 (satake) S 10579 10581 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 642880576 8773632 510 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=8568 CPUtime=0
/proc/10581/task/10583/stat : 10583 (satake) R 10579 10581 27791 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 17 0 642880576 8773632 539 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=8568 CPUtime=0
/proc/10581/task/10584/stat : 10584 (satake) S 10579 10581 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 642880576 8773632 550 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=8568 CPUtime=0
/proc/10581/task/10585/stat : 10585 (satake) D 10579 10581 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 642880576 8773632 553 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10586/stat : 10586 (satake) D 10579 10581 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 642880576 8908800 553 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10587/stat : 10587 (satake) D 10579 10581 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 642880576 8908800 557 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10588/stat : 10588 (satake) R 10579 10581 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 642880576 8908800 560 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10589/stat : 10589 (satake) S 10579 10581 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642880576 8908800 560 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10590/stat : 10590 (satake) R 10579 10581 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 642880576 8908800 560 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10591/stat : 10591 (satake) R 10579 10581 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 563 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10592] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10592/stat : 10592 (satake) R 10579 10581 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 567 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10593/stat : 10593 (satake) R 10579 10581 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 568 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10594/stat : 10594 (satake) S 10579 10581 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 569 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10595/stat : 10595 (satake) R 10579 10581 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 573 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10596/stat : 10596 (satake) S 10579 10581 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 575 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=8700 CPUtime=0
/proc/10581/task/10597/stat : 10597 (satake) D 10579 10581 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642880577 8908800 576 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[startup+0.062569 s]
/proc/loadavg: 9.10 9.91 9.39 2/184 10581
/proc/meminfo: memFree=19116312/36427776 swapFree=4420/7504
[pid=10581] ppid=10579 vsize=50904 CPUtime=0.27
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 8740 0 0 0 7 20 0 0 20 0 17 0 642880576 52125696 8676 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 12726 8678 64 164 0 12561 0
[pid=10581/tid=10582] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10582/stat : 10582 (satake) S 10579 10581 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 642880576 52125696 8678 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10583/stat : 10583 (satake) R 10579 10581 27791 0 -1 4202560 535 0 0 0 2 0 0 0 20 0 17 0 642880576 52125696 8678 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10584/stat : 10584 (satake) R 10579 10581 27791 0 -1 4202560 952 0 0 0 2 0 0 0 20 0 17 0 642880576 52125696 8678 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10585/stat : 10585 (satake) R 10579 10581 27791 0 -1 4202560 925 0 0 0 0 2 0 0 20 0 17 0 642880576 52125696 8678 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10586/stat : 10586 (satake) R 10579 10581 27791 0 -1 4202560 235 0 0 0 0 0 0 0 20 0 17 0 642880576 52125696 8679 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10587/stat : 10587 (satake) R 10579 10581 27791 0 -1 4202560 997 0 0 0 0 2 0 0 20 0 17 0 642880576 52125696 8682 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10588/stat : 10588 (satake) R 10579 10581 27791 0 -1 4202560 184 0 0 0 0 0 0 0 20 0 17 0 642880576 52125696 8684 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10589/stat : 10589 (satake) R 10579 10581 27791 0 -1 4202560 567 0 0 0 0 2 0 0 20 0 17 0 642880576 52125696 8685 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10590/stat : 10590 (satake) R 10579 10581 27791 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 17 0 642880576 52125696 8685 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10591/stat : 10591 (satake) R 10579 10581 27791 0 -1 4202560 817 0 0 0 0 2 0 0 20 0 17 0 642880577 52125696 8686 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10592] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10592/stat : 10592 (satake) R 10579 10581 27791 0 -1 4202560 1020 0 0 0 0 2 0 0 20 0 17 0 642880577 52125696 8689 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10593/stat : 10593 (satake) R 10579 10581 27791 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 17 0 642880577 52125696 8690 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10594/stat : 10594 (satake) R 10579 10581 27791 0 -1 4202560 684 0 0 0 0 2 0 0 20 0 17 0 642880577 52125696 8692 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10595/stat : 10595 (satake) R 10579 10581 27791 0 -1 4202560 386 0 0 0 0 0 0 0 20 0 17 0 642880577 52125696 8693 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=50904 CPUtime=0.02
/proc/10581/task/10596/stat : 10596 (satake) R 10579 10581 27791 0 -1 4202560 857 0 0 0 0 2 0 0 20 0 17 0 642880577 52125696 8693 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=50904 CPUtime=0
/proc/10581/task/10597/stat : 10597 (satake) R 10579 10581 27791 0 -1 4202560 205 0 0 0 0 0 0 0 20 0 17 0 642880577 52125696 8699 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 50904
[startup+0.102456 s]
/proc/loadavg: 9.10 9.91 9.39 2/184 10581
/proc/meminfo: memFree=19116312/36427776 swapFree=4420/7504
[pid=10581] ppid=10579 vsize=121560 CPUtime=0.51
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 19943 0 0 0 9 42 0 0 20 0 17 0 642880576 124477440 19888 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 30390 19940 64 164 0 30225 0
[pid=10581/tid=10582] ppid=10579 vsize=121560 CPUtime=0
/proc/10581/task/10582/stat : 10582 (satake) S 10579 10581 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 642880576 124477440 19968 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=121560 CPUtime=0.04
/proc/10581/task/10583/stat : 10583 (satake) R 10579 10581 27791 0 -1 4202560 1914 0 0 0 2 2 0 0 20 0 17 0 642880576 124477440 19994 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=121560 CPUtime=0.04
/proc/10581/task/10584/stat : 10584 (satake) R 10579 10581 27791 0 -1 4202560 2375 0 0 0 2 2 0 0 20 0 17 0 642880576 124477440 20028 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=121560 CPUtime=0.04
/proc/10581/task/10585/stat : 10585 (satake) R 10579 10581 27791 0 -1 4202560 2029 0 0 0 0 4 0 0 20 0 17 0 642880576 124477440 20051 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=121560 CPUtime=0.02
/proc/10581/task/10586/stat : 10586 (satake) R 10579 10581 27791 0 -1 4202560 1693 0 0 0 0 2 0 0 20 0 17 0 642880576 124477440 20073 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=121560 CPUtime=0.06
/proc/10581/task/10587/stat : 10587 (satake) R 10579 10581 27791 0 -1 4202560 2382 0 0 0 0 6 0 0 20 0 17 0 642880576 124477440 20094 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=121560 CPUtime=0
/proc/10581/task/10588/stat : 10588 (satake) R 10579 10581 27791 0 -1 4202560 202 0 0 0 0 0 0 0 20 0 17 0 642880576 124477440 20116 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=121560 CPUtime=0.02
/proc/10581/task/10589/stat : 10589 (satake) R 10579 10581 27791 0 -1 4202560 585 0 0 0 0 2 0 0 20 0 17 0 642880576 124477440 20135 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=121560 CPUtime=0
/proc/10581/task/10590/stat : 10590 (satake) R 10579 10581 27791 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 17 0 642880576 124477440 20162 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=121560 CPUtime=0.02
/proc/10581/task/10591/stat : 10591 (satake) R 10579 10581 27791 0 -1 4202560 835 0 0 0 0 2 0 0 20 0 17 0 642880577 124477440 20188 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10592] ppid=10579 vsize=121560 CPUtime=0.06
/proc/10581/task/10592/stat : 10592 (satake) R 10579 10581 27791 0 -1 4202560 2447 0 0 0 0 6 0 0 20 0 17 0 642880577 124477440 20217 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=121560 CPUtime=0
/proc/10581/task/10593/stat : 10593 (satake) R 10579 10581 27791 0 -1 4202560 462 0 0 0 0 0 0 0 20 0 17 0 642880577 124477440 20246 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=121560 CPUtime=0.04
/proc/10581/task/10594/stat : 10594 (satake) R 10579 10581 27791 0 -1 4202560 1691 0 0 0 0 4 0 0 20 0 17 0 642880577 124477440 20266 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=121560 CPUtime=0.02
/proc/10581/task/10595/stat : 10595 (satake) R 10579 10581 27791 0 -1 4202560 801 0 0 0 2 0 0 0 20 0 17 0 642880577 124477440 20283 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=121560 CPUtime=0.02
/proc/10581/task/10596/stat : 10596 (satake) R 10579 10581 27791 0 -1 4202560 1278 0 0 0 0 2 0 0 20 0 17 0 642880577 124477440 20313 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=121560 CPUtime=0.02
/proc/10581/task/10597/stat : 10597 (satake) R 10579 10581 27791 0 -1 4202560 1271 0 0 0 0 2 0 0 20 0 17 0 642880577 124477440 20344 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 121560
[startup+0.30482 s]
/proc/loadavg: 9.10 9.91 9.39 2/184 10581
/proc/meminfo: memFree=19116312/36427776 swapFree=4420/7504
[pid=10581] ppid=10579 vsize=192576 CPUtime=1.73
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 35828 0 0 0 9 164 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 48144 35764 64 164 0 47979 0
[pid=10581/tid=10582] ppid=10579 vsize=192576 CPUtime=0
/proc/10581/task/10582/stat : 10582 (satake) S 10579 10581 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=192576 CPUtime=0.12
/proc/10581/task/10583/stat : 10583 (satake) D 10579 10581 27791 0 -1 4202560 2800 0 0 0 2 10 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=192576 CPUtime=0.12
/proc/10581/task/10584/stat : 10584 (satake) D 10579 10581 27791 0 -1 4202560 3179 0 0 0 2 10 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=192576 CPUtime=0.16
/proc/10581/task/10585/stat : 10585 (satake) R 10579 10581 27791 0 -1 4202560 2956 0 0 0 0 16 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=192576 CPUtime=0.1
/proc/10581/task/10586/stat : 10586 (satake) D 10579 10581 27791 0 -1 4202560 2507 0 0 0 0 10 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=192576 CPUtime=0.12
/proc/10581/task/10587/stat : 10587 (satake) D 10579 10581 27791 0 -1 4202560 3050 0 0 0 0 12 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=192576 CPUtime=0.08
/proc/10581/task/10588/stat : 10588 (satake) D 10579 10581 27791 0 -1 4202560 1306 0 0 0 0 8 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=192576 CPUtime=0.08
/proc/10581/task/10589/stat : 10589 (satake) D 10579 10581 27791 0 -1 4202560 1734 0 0 0 0 8 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=192576 CPUtime=0.08
/proc/10581/task/10590/stat : 10590 (satake) D 10579 10581 27791 0 -1 4202560 1293 0 0 0 0 8 0 0 20 0 17 0 642880576 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=192576 CPUtime=0.1
/proc/10581/task/10591/stat : 10591 (satake) D 10579 10581 27791 0 -1 4202560 2045 0 0 0 0 10 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10592] ppid=10579 vsize=192576 CPUtime=0.2
/proc/10581/task/10592/stat : 10592 (satake) D 10579 10581 27791 0 -1 4202560 3733 0 0 0 0 20 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=192576 CPUtime=0.12
/proc/10581/task/10593/stat : 10593 (satake) D 10579 10581 27791 0 -1 4202560 2163 0 0 0 0 12 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=192576 CPUtime=0.1
/proc/10581/task/10594/stat : 10594 (satake) D 10579 10581 27791 0 -1 4202560 2575 0 0 0 0 10 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=192576 CPUtime=0.1
/proc/10581/task/10595/stat : 10595 (satake) D 10579 10581 27791 0 -1 4202560 1874 0 0 0 2 8 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=192576 CPUtime=0.08
/proc/10581/task/10596/stat : 10596 (satake) D 10579 10581 27791 0 -1 4202560 2144 0 0 0 0 8 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=192576 CPUtime=0.1
/proc/10581/task/10597/stat : 10597 (satake) D 10579 10581 27791 0 -1 4202560 2335 0 0 0 0 10 0 0 20 0 17 0 642880577 197197824 35764 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 192576
[startup+0.702645 s]
/proc/loadavg: 9.10 9.91 9.39 2/184 10581
/proc/meminfo: memFree=19116312/36427776 swapFree=4420/7504
[pid=10581] ppid=10579 vsize=236908 CPUtime=3.68
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 50935 0 0 0 9 359 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 59227 50871 64 164 0 59062 0
[pid=10581/tid=10582] ppid=10579 vsize=236908 CPUtime=0
/proc/10581/task/10582/stat : 10582 (satake) S 10579 10581 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=236908 CPUtime=0.24
/proc/10581/task/10583/stat : 10583 (satake) D 10579 10581 27791 0 -1 4202560 3677 0 0 0 2 22 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=236908 CPUtime=0.24
/proc/10581/task/10584/stat : 10584 (satake) D 10579 10581 27791 0 -1 4202560 3962 0 0 0 2 22 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=236908 CPUtime=0.34
/proc/10581/task/10585/stat : 10585 (satake) R 10579 10581 27791 0 -1 4202560 4049 0 0 0 0 34 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=236908 CPUtime=0.2
/proc/10581/task/10586/stat : 10586 (satake) D 10579 10581 27791 0 -1 4202560 3385 0 0 0 0 20 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=236908 CPUtime=0.24
/proc/10581/task/10587/stat : 10587 (satake) D 10579 10581 27791 0 -1 4202560 3867 0 0 0 0 24 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=236908 CPUtime=0.2
/proc/10581/task/10588/stat : 10588 (satake) D 10579 10581 27791 0 -1 4202560 2501 0 0 0 0 20 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=236908 CPUtime=0.2
/proc/10581/task/10589/stat : 10589 (satake) D 10579 10581 27791 0 -1 4202560 2861 0 0 0 0 20 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=236908 CPUtime=0.2
/proc/10581/task/10590/stat : 10590 (satake) D 10579 10581 27791 0 -1 4202560 2462 0 0 0 0 20 0 0 20 0 17 0 642880576 242593792 50871 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=236908 CPUtime=0.22
################
# More data... #
################
[pid=10581/tid=10583] ppid=10579 vsize=819956 CPUtime=52.21
/proc/10581/task/10583/stat : 10583 (satake) R 10579 10581 27791 0 -1 4202560 16104 0 0 0 4915 306 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134519890 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=819956 CPUtime=52.23
/proc/10581/task/10584/stat : 10584 (satake) R 10579 10581 27791 0 -1 4202560 15693 0 0 0 4917 306 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=819956 CPUtime=51.34
/proc/10581/task/10585/stat : 10585 (satake) S 10579 10581 27791 0 -1 4202560 16130 0 0 0 4866 268 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=819956 CPUtime=50.03
/proc/10581/task/10586/stat : 10586 (satake) S 10579 10581 27791 0 -1 4202560 16169 0 0 0 4679 324 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=819956 CPUtime=52.69
/proc/10581/task/10587/stat : 10587 (satake) S 10579 10581 27791 0 -1 4202560 16263 0 0 0 4989 280 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=819956 CPUtime=52.76
/proc/10581/task/10588/stat : 10588 (satake) S 10579 10581 27791 0 -1 4202560 15662 0 0 0 4974 302 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=819956 CPUtime=54.15
/proc/10581/task/10589/stat : 10589 (satake) S 10579 10581 27791 0 -1 4202560 16400 0 0 0 5063 352 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=819956 CPUtime=51.97
/proc/10581/task/10590/stat : 10590 (satake) S 10579 10581 27791 0 -1 4202560 15668 0 0 0 4917 280 0 0 20 0 17 0 642880576 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=819956 CPUtime=54.07
/proc/10581/task/10591/stat : 10591 (satake) D 10579 10581 27791 0 -1 4202560 15699 0 0 0 5087 320 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10592] ppid=10579 vsize=819956 CPUtime=51.8
/proc/10581/task/10592/stat : 10592 (satake) S 10579 10581 27791 0 -1 4202560 16057 0 0 0 4832 348 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=819956 CPUtime=53.35
/proc/10581/task/10593/stat : 10593 (satake) S 10579 10581 27791 0 -1 4202560 16494 0 0 0 5011 324 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=819956 CPUtime=53.87
/proc/10581/task/10594/stat : 10594 (satake) R 10579 10581 27791 0 -1 4202560 16086 0 0 0 5075 312 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134526240 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=819956 CPUtime=51.65
/proc/10581/task/10595/stat : 10595 (satake) S 10579 10581 27791 0 -1 4202560 15959 0 0 0 4829 336 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=819956 CPUtime=54.93
/proc/10581/task/10596/stat : 10596 (satake) S 10579 10581 27791 0 -1 4202560 15396 0 0 0 5207 286 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=819956 CPUtime=55.58
/proc/10581/task/10597/stat : 10597 (satake) R 10579 10581 27791 0 -1 4202560 16978 0 0 0 5244 314 0 0 20 0 17 0 642880577 839634944 201290 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134520671 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 874.01
Current children cumulated vsize (KiB) 819956
[startup+215.901 s]
/proc/loadavg: 5.97 7.76 8.61 4/201 10603
/proc/meminfo: memFree=18312520/36427776 swapFree=4588/815576
[pid=10581] ppid=10579 vsize=820980 CPUtime=882.29
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 242623 0 0 0 76111 12118 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 205245 201414 77 164 0 205080 0
[pid=10581/tid=10582] ppid=10579 vsize=820980 CPUtime=81.98
/proc/10581/task/10582/stat : 10582 (satake) R 10579 10581 27791 0 -1 4202560 1616 0 0 0 932 7266 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=820980 CPUtime=52.92
/proc/10581/task/10583/stat : 10583 (satake) S 10579 10581 27791 0 -1 4202560 16116 0 0 0 4970 322 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=820980 CPUtime=53.06
/proc/10581/task/10584/stat : 10584 (satake) R 10579 10581 27791 0 -1 4202560 15707 0 0 0 4996 310 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=820980 CPUtime=51.78
/proc/10581/task/10585/stat : 10585 (satake) R 10579 10581 27791 0 -1 4202560 16135 0 0 0 4896 282 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=820980 CPUtime=50.27
/proc/10581/task/10586/stat : 10586 (satake) R 10579 10581 27791 0 -1 4202560 16178 0 0 0 4693 334 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=820980 CPUtime=53.13
/proc/10581/task/10587/stat : 10587 (satake) R 10579 10581 27791 0 -1 4202560 16268 0 0 0 5019 294 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=820980 CPUtime=53.19
/proc/10581/task/10588/stat : 10588 (satake) R 10579 10581 27791 0 -1 4202560 15671 0 0 0 5005 314 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=820980 CPUtime=54.58
/proc/10581/task/10589/stat : 10589 (satake) R 10579 10581 27791 0 -1 4202560 16400 0 0 0 5094 364 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=820980 CPUtime=52.5
/proc/10581/task/10590/stat : 10590 (satake) S 10579 10581 27791 0 -1 4202560 15679 0 0 0 4960 290 0 0 20 0 17 0 642880576 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=820980 CPUtime=54.71
/proc/10581/task/10591/stat : 10591 (satake) R 10579 10581 27791 0 -1 4202560 15719 0 0 0 5137 334 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10592] ppid=10579 vsize=820980 CPUtime=52.13
/proc/10581/task/10592/stat : 10592 (satake) R 10579 10581 27791 0 -1 4202560 16057 0 0 0 4851 362 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=820980 CPUtime=53.89
/proc/10581/task/10593/stat : 10593 (satake) R 10579 10581 27791 0 -1 4202560 16506 0 0 0 5057 332 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=820980 CPUtime=54.33
/proc/10581/task/10594/stat : 10594 (satake) R 10579 10581 27791 0 -1 4202560 16102 0 0 0 5105 328 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=820980 CPUtime=52.23
/proc/10581/task/10595/stat : 10595 (satake) R 10579 10581 27791 0 -1 4202560 15964 0 0 0 4875 348 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=820980 CPUtime=55.42
/proc/10581/task/10596/stat : 10596 (satake) R 10579 10581 27791 0 -1 4202560 15397 0 0 0 5242 300 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=820980 CPUtime=56.06
/proc/10581/task/10597/stat : 10597 (satake) R 10579 10581 27791 0 -1 4202560 16982 0 0 0 5276 330 0 0 20 0 17 0 642880577 840683520 201414 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 820980
[startup+216.721 s]
/proc/loadavg: 5.97 7.76 8.61 9/201 10603
/proc/meminfo: memFree=18326600/36427776 swapFree=4624/799268
[pid=10581] ppid=10579 vsize=783924 CPUtime=888.33
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 242623 0 0 0 76373 12460 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 195981 192850 77 164 0 195816 0
[pid=10581/tid=10582] ppid=10579 vsize=783924 CPUtime=82.26
/proc/10581/task/10582/stat : 10582 (satake) S 10579 10581 27791 0 -1 4202560 1616 0 0 0 940 7286 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=10581/tid=10583] ppid=10579 vsize=783924 CPUtime=53.32
/proc/10581/task/10583/stat : 10583 (satake) S 10579 10581 27791 0 -1 4202560 16116 0 0 0 4990 342 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10581/tid=10584] ppid=10579 vsize=783924 CPUtime=53.45
/proc/10581/task/10584/stat : 10584 (satake) S 10579 10581 27791 0 -1 4202560 15707 0 0 0 5011 334 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=10581/tid=10585] ppid=10579 vsize=783924 CPUtime=52.19
/proc/10581/task/10585/stat : 10585 (satake) S 10579 10581 27791 0 -1 4202560 16135 0 0 0 4913 306 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=783924 CPUtime=50.55
/proc/10581/task/10586/stat : 10586 (satake) S 10579 10581 27791 0 -1 4202560 16178 0 0 0 4707 348 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=783924 CPUtime=53.51
/proc/10581/task/10587/stat : 10587 (satake) R 10579 10581 27791 0 -1 4202560 16268 0 0 0 5031 320 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=783924 CPUtime=53.61
/proc/10581/task/10588/stat : 10588 (satake) S 10579 10581 27791 0 -1 4202560 15671 0 0 0 5025 336 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=783924 CPUtime=54.94
/proc/10581/task/10589/stat : 10589 (satake) R 10579 10581 27791 0 -1 4202560 16400 0 0 0 5106 388 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134666571 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=783924 CPUtime=52.88
/proc/10581/task/10590/stat : 10590 (satake) S 10579 10581 27791 0 -1 4202560 15679 0 0 0 4978 310 0 0 20 0 16 0 642880576 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10591] ppid=10579 vsize=783924 CPUtime=55.16
/proc/10581/task/10591/stat : 10591 (satake) S 10579 10581 27791 0 -1 4202560 15719 0 0 0 5160 356 0 0 20 0 16 0 642880577 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=783924 CPUtime=54.26
/proc/10581/task/10593/stat : 10593 (satake) S 10579 10581 27791 0 -1 4202560 16506 0 0 0 5072 354 0 0 20 0 16 0 642880577 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=783924 CPUtime=54.75
/proc/10581/task/10594/stat : 10594 (satake) R 10579 10581 27791 0 -1 4202560 16102 0 0 0 5127 348 0 0 20 0 16 0 642880577 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=783924 CPUtime=52.58
/proc/10581/task/10595/stat : 10595 (satake) S 10579 10581 27791 0 -1 4202560 15964 0 0 0 4888 370 0 0 20 0 16 0 642880577 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=783924 CPUtime=55.83
/proc/10581/task/10596/stat : 10596 (satake) R 10579 10581 27791 0 -1 4202560 15397 0 0 0 5263 320 0 0 20 0 16 0 642880577 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134666416 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=783924 CPUtime=56.43
/proc/10581/task/10597/stat : 10597 (satake) S 10579 10581 27791 0 -1 4202560 16982 0 0 0 5291 352 0 0 20 0 16 0 642880577 802738176 192850 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 888.33
Current children cumulated vsize (KiB) 783924
[startup+217.105 s]
/proc/loadavg: 5.97 7.76 8.61 9/201 10603
/proc/meminfo: memFree=18326600/36427776 swapFree=4624/799268
[pid=10581] ppid=10579 vsize=741300 CPUtime=890.66
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 242623 0 0 0 76503 12563 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 185325 182585 77 164 0 185160 0
[pid=10581/tid=10584] ppid=10579 vsize=741300 CPUtime=53.63
/proc/10581/task/10584/stat : 10584 (satake) R 10579 10581 27791 0 -1 4202560 15707 0 0 0 5019 344 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10581/tid=10586] ppid=10579 vsize=741300 CPUtime=50.66
/proc/10581/task/10586/stat : 10586 (satake) R 10579 10581 27791 0 -1 4202560 16178 0 0 0 4712 354 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10587] ppid=10579 vsize=741300 CPUtime=53.71
/proc/10581/task/10587/stat : 10587 (satake) S 10579 10581 27791 0 -1 4202560 16268 0 0 0 5039 332 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=10581/tid=10588] ppid=10579 vsize=741300 CPUtime=53.82
/proc/10581/task/10588/stat : 10588 (satake) R 10579 10581 27791 0 -1 4202560 15671 0 0 0 5036 346 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10581/tid=10589] ppid=10579 vsize=741300 CPUtime=55.09
/proc/10581/task/10589/stat : 10589 (satake) R 10579 10581 27791 0 -1 4202560 16400 0 0 0 5117 392 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=741300 CPUtime=53.02
/proc/10581/task/10590/stat : 10590 (satake) R 10579 10581 27791 0 -1 4202560 15679 0 0 0 4988 314 0 0 20 0 12 0 642880576 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=741300 CPUtime=54.4
/proc/10581/task/10593/stat : 10593 (satake) S 10579 10581 27791 0 -1 4202560 16506 0 0 0 5080 360 0 0 20 0 12 0 642880577 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=10581/tid=10594] ppid=10579 vsize=741300 CPUtime=55.02
/proc/10581/task/10594/stat : 10594 (satake) S 10579 10581 27791 0 -1 4202560 16102 0 0 0 5142 360 0 0 20 0 12 0 642880577 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=10581/tid=10595] ppid=10579 vsize=741300 CPUtime=52.79
/proc/10581/task/10595/stat : 10595 (satake) R 10579 10581 27791 0 -1 4202560 15964 0 0 0 4899 380 0 0 20 0 12 0 642880577 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134666377 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10581/tid=10596] ppid=10579 vsize=741300 CPUtime=56.02
/proc/10581/task/10596/stat : 10596 (satake) S 10579 10581 27791 0 -1 4202560 15397 0 0 0 5276 326 0 0 20 0 12 0 642880577 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=10581/tid=10597] ppid=10579 vsize=741300 CPUtime=56.61
/proc/10581/task/10597/stat : 10597 (satake) S 10579 10581 27791 0 -1 4202560 16982 0 0 0 5301 360 0 0 20 0 12 0 642880577 759091200 182585 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 890.66
Current children cumulated vsize (KiB) 741300
[startup+217.301 s]
/proc/loadavg: 5.97 7.76 8.61 9/201 10603
/proc/meminfo: memFree=18326600/36427776 swapFree=4624/799268
[pid=10581] ppid=10579 vsize=662896 CPUtime=891.55
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 242623 0 0 0 76563 12592 0 0 20 0 4 0 642880576 678805504 163371 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 165724 163371 77 164 0 165559 0
[pid=10581/tid=10586] ppid=10579 vsize=662896 CPUtime=50.78
/proc/10581/task/10586/stat : 10586 (satake) R 10579 10581 27791 0 -1 4202560 16178 0 0 0 4722 356 0 0 20 0 4 0 642880576 678805504 163361 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134702308 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10581/tid=10590] ppid=10579 vsize=662896 CPUtime=53.17
/proc/10581/task/10590/stat : 10590 (satake) R 10579 10581 27791 0 -1 4202560 15679 0 0 0 4999 318 0 0 20 0 4 0 642880576 678805504 163361 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10581/tid=10593] ppid=10579 vsize=662896 CPUtime=54.53
/proc/10581/task/10593/stat : 10593 (satake) R 10579 10581 27791 0 -1 4202560 16506 0 0 0 5089 364 0 0 20 0 4 0 642880577 678805504 163361 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 891.55
Current children cumulated vsize (KiB) 662896
[startup+217.401 s]
/proc/loadavg: 5.97 7.76 8.61 9/201 10603
/proc/meminfo: memFree=18326600/36427776 swapFree=4624/799268
[pid=10581] ppid=10579 vsize=547868 CPUtime=891.72
/proc/10581/stat : 10581 (satake) S 10579 10581 27791 0 -1 4202496 242623 0 0 0 76573 12599 0 0 20 0 2 0 642880576 561016832 134549 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10581/statm: 136967 134549 77 164 0 136802 0
[pid=10581/tid=10590] ppid=10579 vsize=547868 CPUtime=53.25
/proc/10581/task/10590/stat : 10590 (satake) R 10579 10581 27791 0 -1 4202560 15679 0 0 0 5003 322 0 0 20 0 2 0 642880576 561016832 134549 18446744073709551615 134512640 135180984 4289714656 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 891.72
Current children cumulated vsize (KiB) 547868
Child status: 16
Real time (s): 217.501
CPU time (s): 891.84
CPU user time (s): 765.732
CPU system time (s): 126.108
CPU usage (%): 410.04
Max. virtual memory (cumulated for all children) (KiB): 820980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 765.732
system time used= 126.108
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242624
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= 10177085
involuntary context switches= 2358130
runsolver used 0.944059 second user time and 2.67217 second system time
The end
Begin job on xenhost3-49 at 2009-06-12 21:42:22
IDJOB=1780647
IDBENCH=71042
IDSOLVER=631
FILE ID=xenhost3-49/1780647-1244835742
PBS_JOBID=
Free space on /tmp= 7018 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-10-10p0.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780647-1244835742/watcher-1780647-1244835742 -o /tmp/evaluation-result-1780647-1244835742/solver-1780647-1244835742 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780647-1244835742.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 76f64a29755badc2dae8f70e8e96bc3e
RANDOM SEED= 1756949594
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: 19116312 kB
Buffers: 435456 kB
Cached: 14122312 kB
SwapCached: 0 kB
Active: 4080232 kB
Inactive: 10485092 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 11332 kB
Writeback: 0 kB
AnonPages: 7504 kB
Mapped: 3756 kB
Slab: 689396 kB
SReclaimable: 662588 kB
SUnreclaim: 26808 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7018 MiB
End job on xenhost3-49 at 2009-06-12 21:46:00