63.84/9.05 c Benchmark name : HOME/instance-1779282-1244790193.cnf
63.84/9.05 c Thread Num : 16
63.84/9.05 c restarts : 3
63.84/9.05 c conflicts : 324
63.84/9.05 c decisions : 2126 ( 261 / sec )
63.84/9.05 c propagations : 5384381 ( 660978 / sec )
63.84/9.05 c inspects : 13809294 ( 1695206 / sec )
63.84/9.05 c conflict literals : 17781 ( 52.27 % deleted )
63.84/9.05 c cpu time : 8.15
63.84/9.05 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1779282-1244790193/watcher-1779282-1244790193 -o /tmp/evaluation-result-1779282-1244790193/solver-1779282-1244790193 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779282-1244790193.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.24 8.76 8.08 2/184 4656
/proc/meminfo: memFree=19133860/36427776 swapFree=4048/7304
[pid=4656] ppid=4654 vsize=8176 CPUtime=0
/proc/4656/stat : 4656 (satake) D 4654 4656 27791 0 -1 4202496 414 0 0 0 0 0 0 0 20 0 17 0 638325697 8372224 370 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 2044 370 64 164 0 1879 0
[pid=4656/tid=4657] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4657/stat : 4657 (satake) S 4654 4656 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 596 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4658/stat : 4658 (satake) R 4654 4656 27791 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 598 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4659/stat : 4659 (satake) R 4654 4656 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 601 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4660/stat : 4660 (satake) R 4654 4656 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 602 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4661/stat : 4661 (satake) R 4654 4656 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 606 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4662/stat : 4662 (satake) R 4654 4656 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 606 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4663/stat : 4663 (satake) R 4654 4656 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 610 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 625 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 644 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4666/stat : 4666 (satake) S 4654 4656 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 653 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4667/stat : 4667 (satake) S 4654 4656 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 653 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=9476 CPUtime=0
/proc/4656/task/4668/stat : 4668 (satake) S 4654 4656 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 638325697 9703424 653 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=9732 CPUtime=0
/proc/4656/task/4669/stat : 4669 (satake) D 4654 4656 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 638325697 9965568 653 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=9732 CPUtime=0
/proc/4656/task/4670/stat : 4670 (satake) D 4654 4656 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 638325697 9965568 656 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=9732 CPUtime=0
/proc/4656/task/4671/stat : 4671 (satake) D 4654 4656 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 638325698 9965568 656 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=9732 CPUtime=0
/proc/4656/task/4672/stat : 4672 (satake) D 4654 4656 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 638325698 9965568 656 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.070046 s]
/proc/loadavg: 9.24 8.76 8.08 2/184 4656
/proc/meminfo: memFree=19133860/36427776 swapFree=4048/7304
[pid=4656] ppid=4654 vsize=51116 CPUtime=0.27
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 9470 0 0 0 0 27 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 12779 9426 64 164 0 12614 0
[pid=4656/tid=4657] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4657/stat : 4657 (satake) S 4654 4656 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4658/stat : 4658 (satake) D 4654 4656 27791 0 -1 4202560 650 0 0 0 0 2 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4659/stat : 4659 (satake) D 4654 4656 27791 0 -1 4202560 355 0 0 0 0 0 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=51116 CPUtime=0.04
/proc/4656/task/4660/stat : 4660 (satake) D 4654 4656 27791 0 -1 4202560 1068 0 0 0 0 4 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4661/stat : 4661 (satake) D 4654 4656 27791 0 -1 4202560 871 0 0 0 0 2 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4662/stat : 4662 (satake) D 4654 4656 27791 0 -1 4202560 382 0 0 0 0 0 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4663/stat : 4663 (satake) D 4654 4656 27791 0 -1 4202560 587 0 0 0 0 2 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=51116 CPUtime=0.04
/proc/4656/task/4664/stat : 4664 (satake) D 4654 4656 27791 0 -1 4202560 1083 0 0 0 0 4 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4666/stat : 4666 (satake) D 4654 4656 27791 0 -1 4202560 274 0 0 0 0 0 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4667/stat : 4667 (satake) D 4654 4656 27791 0 -1 4202560 776 0 0 0 0 2 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4668/stat : 4668 (satake) D 4654 4656 27791 0 -1 4202560 848 0 0 0 0 2 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4669/stat : 4669 (satake) D 4654 4656 27791 0 -1 4202560 1028 0 0 0 0 2 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4670/stat : 4670 (satake) D 4654 4656 27791 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 17 0 638325697 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=51116 CPUtime=0.02
/proc/4656/task/4671/stat : 4671 (satake) D 4654 4656 27791 0 -1 4202560 1031 0 0 0 0 2 0 0 20 0 17 0 638325698 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=51116 CPUtime=0
/proc/4656/task/4672/stat : 4672 (satake) D 4654 4656 27791 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 17 0 638325698 52342784 9426 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 51116
[startup+0.101969 s]
/proc/loadavg: 9.24 8.76 8.08 2/184 4656
/proc/meminfo: memFree=19133860/36427776 swapFree=4048/7304
[pid=4656] ppid=4654 vsize=72628 CPUtime=0.47
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 10674 0 0 0 2 45 0 0 20 0 17 0 638325697 74371072 10630 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 18157 10633 64 164 0 17992 0
[pid=4656/tid=4657] ppid=4654 vsize=72628 CPUtime=0
/proc/4656/task/4657/stat : 4657 (satake) S 4654 4656 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638325697 74371072 10643 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=72628 CPUtime=0.02
/proc/4656/task/4658/stat : 4658 (satake) D 4654 4656 27791 0 -1 4202560 743 0 0 0 0 2 0 0 20 0 17 0 638325697 74371072 10648 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=72628 CPUtime=0.02
/proc/4656/task/4659/stat : 4659 (satake) D 4654 4656 27791 0 -1 4202560 437 0 0 0 0 2 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=72628 CPUtime=0.04
/proc/4656/task/4660/stat : 4660 (satake) D 4654 4656 27791 0 -1 4202560 1163 0 0 0 0 4 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=72628 CPUtime=0.04
/proc/4656/task/4661/stat : 4661 (satake) D 4654 4656 27791 0 -1 4202560 964 0 0 0 0 4 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=72628 CPUtime=0.02
/proc/4656/task/4662/stat : 4662 (satake) D 4654 4656 27791 0 -1 4202560 468 0 0 0 0 2 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=72628 CPUtime=0.02
/proc/4656/task/4663/stat : 4663 (satake) D 4654 4656 27791 0 -1 4202560 667 0 0 0 0 2 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=72628 CPUtime=0.06
/proc/4656/task/4664/stat : 4664 (satake) D 4654 4656 27791 0 -1 4202560 1188 0 0 0 0 6 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=72628 CPUtime=0
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 209 0 0 0 0 0 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=72628 CPUtime=0.02
/proc/4656/task/4666/stat : 4666 (satake) D 4654 4656 27791 0 -1 4202560 355 0 0 0 0 2 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=72628 CPUtime=0.02
/proc/4656/task/4667/stat : 4667 (satake) D 4654 4656 27791 0 -1 4202560 859 0 0 0 0 2 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=72628 CPUtime=0.04
/proc/4656/task/4668/stat : 4668 (satake) D 4654 4656 27791 0 -1 4202560 937 0 0 0 0 4 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=72628 CPUtime=0.04
/proc/4656/task/4669/stat : 4669 (satake) R 4654 4656 27791 0 -1 4202560 1085 0 0 0 0 4 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=72628 CPUtime=0
/proc/4656/task/4670/stat : 4670 (satake) D 4654 4656 27791 0 -1 4202560 191 0 0 0 0 0 0 0 20 0 17 0 638325697 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=72628 CPUtime=0.04
/proc/4656/task/4671/stat : 4671 (satake) D 4654 4656 27791 0 -1 4202560 1087 0 0 0 0 4 0 0 20 0 17 0 638325698 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=72628 CPUtime=0
/proc/4656/task/4672/stat : 4672 (satake) D 4654 4656 27791 0 -1 4202560 209 0 0 0 0 0 0 0 20 0 17 0 638325698 74371072 10649 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 72628
[startup+0.306674 s]
/proc/loadavg: 9.24 8.76 8.08 2/184 4656
/proc/meminfo: memFree=19133860/36427776 swapFree=4048/7304
[pid=4656] ppid=4654 vsize=162768 CPUtime=1.42
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 19069 0 0 0 2 140 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 40692 19009 64 164 0 40527 0
[pid=4656/tid=4657] ppid=4654 vsize=162768 CPUtime=0
/proc/4656/task/4657/stat : 4657 (satake) S 4654 4656 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=162768 CPUtime=0.08
/proc/4656/task/4658/stat : 4658 (satake) D 4654 4656 27791 0 -1 4202560 1315 0 0 0 0 8 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=162768 CPUtime=0.08
/proc/4656/task/4659/stat : 4659 (satake) D 4654 4656 27791 0 -1 4202560 1030 0 0 0 0 8 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=162768 CPUtime=0.12
/proc/4656/task/4660/stat : 4660 (satake) D 4654 4656 27791 0 -1 4202560 1702 0 0 0 0 12 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=162768 CPUtime=0.1
/proc/4656/task/4661/stat : 4661 (satake) D 4654 4656 27791 0 -1 4202560 1468 0 0 0 0 10 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=162768 CPUtime=0.08
/proc/4656/task/4662/stat : 4662 (satake) D 4654 4656 27791 0 -1 4202560 1047 0 0 0 0 8 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=162768 CPUtime=0.08
/proc/4656/task/4663/stat : 4663 (satake) D 4654 4656 27791 0 -1 4202560 1223 0 0 0 0 8 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=162768 CPUtime=0.14
/proc/4656/task/4664/stat : 4664 (satake) D 4654 4656 27791 0 -1 4202560 1802 0 0 0 0 14 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=162768 CPUtime=0.06
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 814 0 0 0 0 6 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=162768 CPUtime=0.08
/proc/4656/task/4666/stat : 4666 (satake) D 4654 4656 27791 0 -1 4202560 985 0 0 0 0 8 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=162768 CPUtime=0.1
/proc/4656/task/4667/stat : 4667 (satake) D 4654 4656 27791 0 -1 4202560 1377 0 0 0 0 10 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=162768 CPUtime=0.08
/proc/4656/task/4668/stat : 4668 (satake) D 4654 4656 27791 0 -1 4202560 1429 0 0 0 0 8 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=162768 CPUtime=0.1
/proc/4656/task/4669/stat : 4669 (satake) R 4654 4656 27791 0 -1 4202560 1589 0 0 0 0 10 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=162768 CPUtime=0.06
/proc/4656/task/4670/stat : 4670 (satake) D 4654 4656 27791 0 -1 4202560 774 0 0 0 0 6 0 0 20 0 17 0 638325697 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=162768 CPUtime=0.1
/proc/4656/task/4671/stat : 4671 (satake) D 4654 4656 27791 0 -1 4202560 1548 0 0 0 0 10 0 0 20 0 17 0 638325698 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=162768 CPUtime=0.06
/proc/4656/task/4672/stat : 4672 (satake) D 4654 4656 27791 0 -1 4202560 835 0 0 0 0 6 0 0 20 0 17 0 638325698 166674432 19009 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 162768
[startup+0.706237 s]
/proc/loadavg: 9.24 8.76 8.08 2/184 4656
/proc/meminfo: memFree=19133860/36427776 swapFree=4048/7304
[pid=4656] ppid=4654 vsize=240364 CPUtime=2.76
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 31503 0 0 0 2 274 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 60091 31443 64 164 0 59926 0
[pid=4656/tid=4657] ppid=4654 vsize=240364 CPUtime=0
/proc/4656/task/4657/stat : 4657 (satake) S 4654 4656 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=240364 CPUtime=0.18
/proc/4656/task/4658/stat : 4658 (satake) D 4654 4656 27791 0 -1 4202560 2102 0 0 0 0 18 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=240364 CPUtime=0.18
/proc/4656/task/4659/stat : 4659 (satake) D 4654 4656 27791 0 -1 4202560 1894 0 0 0 0 18 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=240364 CPUtime=0.2
/proc/4656/task/4660/stat : 4660 (satake) D 4654 4656 27791 0 -1 4202560 2522 0 0 0 0 20 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=240364 CPUtime=0.18
/proc/4656/task/4661/stat : 4661 (satake) D 4654 4656 27791 0 -1 4202560 2289 0 0 0 0 18 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=240364 CPUtime=0.16
/proc/4656/task/4662/stat : 4662 (satake) D 4654 4656 27791 0 -1 4202560 1902 0 0 0 0 16 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=240364 CPUtime=0.18
/proc/4656/task/4663/stat : 4663 (satake) D 4654 4656 27791 0 -1 4202560 2037 0 0 0 0 18 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=240364 CPUtime=0.26
/proc/4656/task/4664/stat : 4664 (satake) D 4654 4656 27791 0 -1 4202560 2652 0 0 0 0 26 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=240364 CPUtime=0.14
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 1657 0 0 0 0 14 0 0 20 0 17 0 638325697 246132736 31443 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=240364 CPUtime=0.18
################
# More data... #
################
Current children cumulated vsize (KiB) 289644
[startup+3.10567 s]
/proc/loadavg: 9.70 8.87 8.11 5/201 4673
/proc/meminfo: memFree=18890428/36427776 swapFree=4572/254852
[pid=4656] ppid=4654 vsize=313376 CPUtime=13.41
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 72828 0 0 0 779 562 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 78344 57603 68 164 0 78179 0
[pid=4656/tid=4657] ppid=4654 vsize=313376 CPUtime=0.04
/proc/4656/task/4657/stat : 4657 (satake) R 4654 4656 27791 0 -1 4202560 1181 0 0 0 4 0 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=313376 CPUtime=0.88
/proc/4656/task/4658/stat : 4658 (satake) R 4654 4656 27791 0 -1 4202560 4841 0 0 0 48 40 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134523638 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=313376 CPUtime=0.8
/proc/4656/task/4659/stat : 4659 (satake) R 4654 4656 27791 0 -1 4202560 4815 0 0 0 38 42 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=313376 CPUtime=1.06
/proc/4656/task/4660/stat : 4660 (satake) R 4654 4656 27791 0 -1 4202560 4651 0 0 0 68 38 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528760 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=313376 CPUtime=0.86
/proc/4656/task/4661/stat : 4661 (satake) R 4654 4656 27791 0 -1 4202560 4805 0 0 0 54 32 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=313376 CPUtime=0.84
/proc/4656/task/4662/stat : 4662 (satake) R 4654 4656 27791 0 -1 4202560 4758 0 0 0 50 34 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134527257 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=313376 CPUtime=0.92
/proc/4656/task/4663/stat : 4663 (satake) R 4654 4656 27791 0 -1 4202560 4860 0 0 0 50 42 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520027 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=313376 CPUtime=1.14
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 4669 0 0 0 66 48 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=313376 CPUtime=0.74
/proc/4656/task/4665/stat : 4665 (satake) S 4654 4656 27791 0 -1 4202560 4757 0 0 0 42 32 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=313376 CPUtime=0.78
/proc/4656/task/4666/stat : 4666 (satake) R 4654 4656 27791 0 -1 4202560 4779 0 0 0 34 44 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=313376 CPUtime=0.8
/proc/4656/task/4667/stat : 4667 (satake) D 4654 4656 27791 0 -1 4202560 4821 0 0 0 46 34 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=313376 CPUtime=0.94
/proc/4656/task/4668/stat : 4668 (satake) R 4654 4656 27791 0 -1 4202560 4751 0 0 0 62 32 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134526206 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=313376 CPUtime=0.98
/proc/4656/task/4669/stat : 4669 (satake) R 4654 4656 27791 0 -1 4202560 4756 0 0 0 62 36 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=313376 CPUtime=0.82
/proc/4656/task/4670/stat : 4670 (satake) R 4654 4656 27791 0 -1 4202560 4652 0 0 0 50 32 0 0 20 0 17 0 638325697 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=313376 CPUtime=0.88
/proc/4656/task/4671/stat : 4671 (satake) R 4654 4656 27791 0 -1 4202560 4805 0 0 0 52 36 0 0 20 0 17 0 638325698 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134525309 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=313376 CPUtime=0.82
/proc/4656/task/4672/stat : 4672 (satake) R 4654 4656 27791 0 -1 4202560 4802 0 0 0 50 32 0 0 20 0 17 0 638325698 320897024 57603 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 13.41
Current children cumulated vsize (KiB) 313376
[startup+6.30709 s]
/proc/loadavg: 9.70 8.87 8.11 14/201 4673
/proc/meminfo: memFree=18902712/36427776 swapFree=4588/243788
[pid=4656] ppid=4654 vsize=319852 CPUtime=40.49
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 74153 0 0 0 3379 670 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 79963 58928 68 164 0 79798 0
[pid=4656/tid=4657] ppid=4654 vsize=319852 CPUtime=1.2
/proc/4656/task/4657/stat : 4657 (satake) D 4654 4656 27791 0 -1 4202560 1194 0 0 0 12 108 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=319852 CPUtime=2.3
/proc/4656/task/4658/stat : 4658 (satake) R 4654 4656 27791 0 -1 4202560 4907 0 0 0 190 40 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134527342 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=319852 CPUtime=2.78
/proc/4656/task/4659/stat : 4659 (satake) R 4654 4656 27791 0 -1 4202560 4916 0 0 0 236 42 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134518214 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=319852 CPUtime=2.64
/proc/4656/task/4660/stat : 4660 (satake) R 4654 4656 27791 0 -1 4202560 4738 0 0 0 226 38 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134524814 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=319852 CPUtime=3.04
/proc/4656/task/4661/stat : 4661 (satake) R 4654 4656 27791 0 -1 4202560 4899 0 0 0 272 32 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134526529 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=319852 CPUtime=2.28
/proc/4656/task/4662/stat : 4662 (satake) R 4654 4656 27791 0 -1 4202560 4853 0 0 0 194 34 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=319852 CPUtime=2.32
/proc/4656/task/4663/stat : 4663 (satake) R 4654 4656 27791 0 -1 4202560 4910 0 0 0 190 42 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134518629 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=319852 CPUtime=2.5
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 4814 0 0 0 202 48 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134565122 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=319852 CPUtime=2.52
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 4845 0 0 0 220 32 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522790 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=319852 CPUtime=2.52
/proc/4656/task/4666/stat : 4666 (satake) S 4654 4656 27791 0 -1 4202560 4894 0 0 0 208 44 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=319852 CPUtime=2.62
/proc/4656/task/4667/stat : 4667 (satake) R 4654 4656 27791 0 -1 4202560 4883 0 0 0 228 34 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522980 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=319852 CPUtime=2.78
/proc/4656/task/4668/stat : 4668 (satake) R 4654 4656 27791 0 -1 4202560 4853 0 0 0 246 32 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520875 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=319852 CPUtime=2.3
/proc/4656/task/4669/stat : 4669 (satake) S 4654 4656 27791 0 -1 4202560 4809 0 0 0 194 36 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=319852 CPUtime=3.12
/proc/4656/task/4670/stat : 4670 (satake) R 4654 4656 27791 0 -1 4202560 4721 0 0 0 280 32 0 0 20 0 17 0 638325697 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=319852 CPUtime=3.38
/proc/4656/task/4671/stat : 4671 (satake) R 4654 4656 27791 0 -1 4202560 4911 0 0 0 302 36 0 0 20 0 17 0 638325698 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522992 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=319852 CPUtime=2.06
/proc/4656/task/4672/stat : 4672 (satake) S 4654 4656 27791 0 -1 4202560 4881 0 0 0 174 32 0 0 20 0 17 0 638325698 327528448 58928 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 40.49
Current children cumulated vsize (KiB) 319852
Solver just ended. Dumping a history of the last processes samples
[startup+7.90409 s]
/proc/loadavg: 10.12 8.97 8.15 13/201 4673
/proc/meminfo: memFree=18900852/36427776 swapFree=4588/245556
[pid=4656] ppid=4654 vsize=320012 CPUtime=55.37
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 74349 0 0 0 4806 731 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 80003 59124 68 164 0 79838 0
[pid=4656/tid=4657] ppid=4654 vsize=320012 CPUtime=1.84
/proc/4656/task/4657/stat : 4657 (satake) R 4654 4656 27791 0 -1 4202560 1196 0 0 0 18 166 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4658] ppid=4654 vsize=320012 CPUtime=3.24
/proc/4656/task/4658/stat : 4658 (satake) R 4654 4656 27791 0 -1 4202560 4918 0 0 0 284 40 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134527318 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4659] ppid=4654 vsize=320012 CPUtime=3.34
/proc/4656/task/4659/stat : 4659 (satake) R 4654 4656 27791 0 -1 4202560 4925 0 0 0 292 42 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4656/tid=4660] ppid=4654 vsize=320012 CPUtime=3.3
/proc/4656/task/4660/stat : 4660 (satake) R 4654 4656 27791 0 -1 4202560 4746 0 0 0 290 40 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4656/tid=4661] ppid=4654 vsize=320012 CPUtime=4.24
/proc/4656/task/4661/stat : 4661 (satake) R 4654 4656 27791 0 -1 4202560 4910 0 0 0 392 32 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522980 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4656/tid=4662] ppid=4654 vsize=320012 CPUtime=3.4
/proc/4656/task/4662/stat : 4662 (satake) R 4654 4656 27791 0 -1 4202560 4863 0 0 0 306 34 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520667 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4656/tid=4663] ppid=4654 vsize=320012 CPUtime=3.6
/proc/4656/task/4663/stat : 4663 (satake) R 4654 4656 27791 0 -1 4202560 4918 0 0 0 318 42 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520896 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4656/tid=4664] ppid=4654 vsize=320012 CPUtime=3.06
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 4821 0 0 0 258 48 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522790 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=320012 CPUtime=3.28
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 4867 0 0 0 296 32 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520035 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4656/tid=4666] ppid=4654 vsize=320012 CPUtime=3.9
/proc/4656/task/4666/stat : 4666 (satake) R 4654 4656 27791 0 -1 4202560 4905 0 0 0 346 44 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=320012 CPUtime=3.32
/proc/4656/task/4667/stat : 4667 (satake) R 4654 4656 27791 0 -1 4202560 4886 0 0 0 298 34 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134522790 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=320012 CPUtime=3.58
/proc/4656/task/4668/stat : 4668 (satake) R 4654 4656 27791 0 -1 4202560 4861 0 0 0 326 32 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134526427 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4669] ppid=4654 vsize=320012 CPUtime=3.1
/proc/4656/task/4669/stat : 4669 (satake) R 4654 4656 27791 0 -1 4202560 4828 0 0 0 274 36 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4656/tid=4670] ppid=4654 vsize=320012 CPUtime=4.62
/proc/4656/task/4670/stat : 4670 (satake) R 4654 4656 27791 0 -1 4202560 4766 0 0 0 430 32 0 0 20 0 17 0 638325697 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4656/tid=4671] ppid=4654 vsize=320012 CPUtime=4.5
/proc/4656/task/4671/stat : 4671 (satake) R 4654 4656 27791 0 -1 4202560 4921 0 0 0 414 36 0 0 20 0 17 0 638325698 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520896 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=320012 CPUtime=2.92
/proc/4656/task/4672/stat : 4672 (satake) R 4654 4656 27791 0 -1 4202560 4893 0 0 0 260 32 0 0 20 0 17 0 638325698 327692288 59124 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134518209 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 55.37
Current children cumulated vsize (KiB) 320012
[startup+8.70252 s]
/proc/loadavg: 10.12 8.97 8.15 6/190 4673
/proc/meminfo: memFree=18954352/36427776 swapFree=4624/188708
[pid=4656] ppid=4654 vsize=215828 CPUtime=62.9
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 74400 0 0 0 5547 743 0 0 20 0 6 0 638325697 221007872 44405 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 53957 44405 77 164 0 53792 0
[pid=4656/tid=4664] ppid=4654 vsize=215828 CPUtime=3.7
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 4822 0 0 0 322 48 0 0 20 0 6 0 638325697 221007872 44405 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4656/tid=4665] ppid=4654 vsize=215828 CPUtime=3.92
/proc/4656/task/4665/stat : 4665 (satake) R 4654 4656 27791 0 -1 4202560 4867 0 0 0 360 32 0 0 20 0 6 0 638325697 221007872 44405 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=215828 CPUtime=4.1
/proc/4656/task/4667/stat : 4667 (satake) R 4654 4656 27791 0 -1 4202560 4888 0 0 0 376 34 0 0 20 0 6 0 638325697 221007872 44405 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4656/tid=4668] ppid=4654 vsize=215828 CPUtime=4.38
/proc/4656/task/4668/stat : 4668 (satake) R 4654 4656 27791 0 -1 4202560 4861 0 0 0 406 32 0 0 20 0 6 0 638325697 221007872 44405 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134519935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4656/tid=4672] ppid=4654 vsize=215828 CPUtime=3.74
/proc/4656/task/4672/stat : 4672 (satake) R 4654 4656 27791 0 -1 4202560 4909 0 0 0 342 32 0 0 20 0 6 0 638325698 221007872 44405 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134518208 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 62.9
Current children cumulated vsize (KiB) 215828
[startup+8.90253 s]
/proc/loadavg: 10.12 8.97 8.15 6/190 4673
/proc/meminfo: memFree=18954352/36427776 swapFree=4624/188708
[pid=4656] ppid=4654 vsize=185000 CPUtime=63.67
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 74400 0 0 0 5624 743 0 0 20 0 3 0 638325697 189440000 40100 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 46250 40100 77 164 0 46085 0
[pid=4656/tid=4664] ppid=4654 vsize=185000 CPUtime=3.9
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 4822 0 0 0 342 48 0 0 20 0 3 0 638325697 189440000 40100 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134518634 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4656/tid=4667] ppid=4654 vsize=185000 CPUtime=4.28
/proc/4656/task/4667/stat : 4667 (satake) R 4654 4656 27791 0 -1 4202560 4888 0 0 0 394 34 0 0 20 0 3 0 638325697 189440000 40100 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 63.67
Current children cumulated vsize (KiB) 185000
[startup+9.00254 s]
/proc/loadavg: 10.12 8.97 8.15 6/190 4673
/proc/meminfo: memFree=18954352/36427776 swapFree=4624/188708
[pid=4656] ppid=4654 vsize=174884 CPUtime=63.84
/proc/4656/stat : 4656 (satake) S 4654 4656 27791 0 -1 4202496 74400 0 0 0 5641 743 0 0 20 0 2 0 638325697 179081216 38681 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/4656/statm: 43721 38681 77 164 0 43556 0
[pid=4656/tid=4664] ppid=4654 vsize=174884 CPUtime=4
/proc/4656/task/4664/stat : 4664 (satake) R 4654 4656 27791 0 -1 4202560 4822 0 0 0 352 48 0 0 20 0 2 0 638325697 179081216 38681 18446744073709551615 134512640 135180984 4292574368 18446744073709551615 134519912 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 63.84
Current children cumulated vsize (KiB) 174884
Child status: 16
Real time (s): 9.07549
CPU time (s): 63.928
CPU user time (s): 56.4715
CPU system time (s): 7.45647
CPU usage (%): 704.403
Max. virtual memory (cumulated for all children) (KiB): 343024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.4715
system time used= 7.45647
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74401
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= 335188
involuntary context switches= 144628
runsolver used 0.048003 second user time and 0.120007 second system time
The end
Begin job on xenhost3-49 at 2009-06-12 09:03:13
IDJOB=1779282
IDBENCH=70827
IDSOLVER=631
FILE ID=xenhost3-49/1779282-1244790193
PBS_JOBID=
Free space on /tmp= 7033 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-04.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779282-1244790193/watcher-1779282-1244790193 -o /tmp/evaluation-result-1779282-1244790193/solver-1779282-1244790193 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779282-1244790193.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 019984f9d84c315e8eec645fb9d169da
RANDOM SEED= 1481262197
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: 19133860 kB
Buffers: 433776 kB
Cached: 14108000 kB
SwapCached: 0 kB
Active: 4079264 kB
Inactive: 10470748 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 4984 kB
Writeback: 0 kB
AnonPages: 7304 kB
Mapped: 4048 kB
Slab: 688380 kB
SReclaimable: 661528 kB
SUnreclaim: 26852 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7033 MiB
End job on xenhost3-49 at 2009-06-12 09:03:22