2990.81/970.58 c Benchmark name : HOME/instance-1780227-1244820085.cnf
2990.81/970.58 c Thread Num : 16
2990.81/970.58 c restarts : 14
2990.81/970.58 c conflicts : 55675
2990.81/970.58 c decisions : 97447 ( 101 / sec )
2990.81/970.58 c propagations : 130743065 ( 135132 / sec )
2990.81/970.58 c inspects : 596852051 ( 616887 / sec )
2990.81/970.58 c conflict literals : 1774789 ( 45.26 % deleted )
2990.81/970.58 c cpu time : 967.52
2990.81/970.58 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780227-1244820085/watcher-1780227-1244820085 -o /tmp/evaluation-result-1780227-1244820085/solver-1780227-1244820085 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780227-1244820085.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: 5.49 4.71 4.73 2/184 8781
/proc/meminfo: memFree=19104012/36427776 swapFree=3936/8344
[pid=8781] ppid=8779 vsize=8252 CPUtime=0
/proc/8781/stat : 8781 (satake) S 8779 8781 27791 0 -1 4202496 491 0 0 0 0 0 0 0 20 0 17 0 641315001 8450048 446 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8781/statm: 2063 446 63 164 0 1898 0
[pid=8781/tid=8782] ppid=8779 vsize=8652 CPUtime=0
/proc/8781/task/8782/stat : 8782 (satake) S 8779 8781 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641315001 8859648 489 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8783] ppid=8779 vsize=8652 CPUtime=0
/proc/8781/task/8783/stat : 8783 (satake) R 8779 8781 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 17 0 641315001 8859648 492 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8784] ppid=8779 vsize=8652 CPUtime=0
/proc/8781/task/8784/stat : 8784 (satake) R 8779 8781 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 641315001 8859648 494 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8785] ppid=8779 vsize=8652 CPUtime=0
/proc/8781/task/8785/stat : 8785 (satake) S 8779 8781 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 641315001 8859648 496 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8786] ppid=8779 vsize=8652 CPUtime=0
/proc/8781/task/8786/stat : 8786 (satake) R 8779 8781 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 641315001 8859648 496 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8787] ppid=8779 vsize=8652 CPUtime=0
/proc/8781/task/8787/stat : 8787 (satake) R 8779 8781 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 641315001 8859648 497 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8788] ppid=8779 vsize=8652 CPUtime=0
/proc/8781/task/8788/stat : 8788 (satake) R 8779 8781 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 641315001 8859648 500 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8789] ppid=8779 vsize=8652 CPUtime=0
/proc/8781/task/8789/stat : 8789 (satake) S 8779 8781 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641315001 8859648 518 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8790] ppid=8779 vsize=8652 CPUtime=0
/proc/8781/task/8790/stat : 8790 (satake) S 8779 8781 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641315001 8859648 522 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=8781/tid=8791] ppid=8779 vsize=8652 CPUtime=0
/proc/8781/task/8791/stat : 8791 (satake) D 8779 8781 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 641315001 8859648 522 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8781/tid=8792] ppid=8779 vsize=8652 CPUtime=0
/proc/8781/task/8792/stat : 8792 (satake) S 8779 8781 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 641315001 8859648 522 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=8781/tid=8793] ppid=8779 vsize=8780 CPUtime=0
/proc/8781/task/8793/stat : 8793 (satake) D 8779 8781 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 17 0 641315002 8990720 522 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8794] ppid=8779 vsize=8780 CPUtime=0
/proc/8781/task/8794/stat : 8794 (satake) R 8779 8781 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 641315002 8990720 528 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8795] ppid=8779 vsize=8780 CPUtime=0
/proc/8781/task/8795/stat : 8795 (satake) S 8779 8781 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641315002 8990720 528 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=8781/tid=8796] ppid=8779 vsize=8780 CPUtime=0
/proc/8781/task/8796/stat : 8796 (satake) R 8779 8781 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 641315002 8990720 534 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8781/tid=8797] ppid=8779 vsize=8780 CPUtime=0
/proc/8781/task/8797/stat : 8797 (satake) R 8779 8781 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 641315002 8990720 535 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.11488 s]
/proc/loadavg: 5.49 4.71 4.73 2/184 8781
/proc/meminfo: memFree=19104012/36427776 swapFree=3936/8344
[pid=8781] ppid=8779 vsize=119080 CPUtime=0.63
/proc/8781/stat : 8781 (satake) S 8779 8781 27791 0 -1 4202496 19465 0 0 0 1 62 0 0 20 0 17 0 641315001 121937920 19404 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8781/statm: 29770 19404 63 164 0 29605 0
[pid=8781/tid=8782] ppid=8779 vsize=119080 CPUtime=0
/proc/8781/task/8782/stat : 8782 (satake) S 8779 8781 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641315001 121937920 19405 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8783] ppid=8779 vsize=119080 CPUtime=0.06
/proc/8781/task/8783/stat : 8783 (satake) R 8779 8781 27791 0 -1 4202560 1752 0 0 0 0 6 0 0 20 0 17 0 641315001 121937920 19407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8784] ppid=8779 vsize=119080 CPUtime=0.06
/proc/8781/task/8784/stat : 8784 (satake) R 8779 8781 27791 0 -1 4202560 1694 0 0 0 0 6 0 0 20 0 17 0 641315001 121937920 19410 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8781/tid=8785] ppid=8779 vsize=119080 CPUtime=0.06
/proc/8781/task/8785/stat : 8785 (satake) R 8779 8781 27791 0 -1 4202560 1695 0 0 0 0 6 0 0 20 0 17 0 641315001 121937920 19412 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8786] ppid=8779 vsize=119080 CPUtime=0.04
/proc/8781/task/8786/stat : 8786 (satake) R 8779 8781 27791 0 -1 4202560 1641 0 0 0 0 4 0 0 20 0 17 0 641315001 121937920 19412 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8787] ppid=8779 vsize=119080 CPUtime=0
/proc/8781/task/8787/stat : 8787 (satake) R 8779 8781 27791 0 -1 4202560 590 0 0 0 0 0 0 0 20 0 17 0 641315001 121937920 19412 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8788] ppid=8779 vsize=119080 CPUtime=0.06
/proc/8781/task/8788/stat : 8788 (satake) R 8779 8781 27791 0 -1 4202560 2068 0 0 0 0 6 0 0 20 0 17 0 641315001 121937920 19415 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8789] ppid=8779 vsize=119080 CPUtime=0.02
/proc/8781/task/8789/stat : 8789 (satake) R 8779 8781 27791 0 -1 4202560 536 0 0 0 0 2 0 0 20 0 17 0 641315001 121937920 19417 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8790] ppid=8779 vsize=119080 CPUtime=0.06
/proc/8781/task/8790/stat : 8790 (satake) R 8779 8781 27791 0 -1 4202560 2310 0 0 0 0 6 0 0 20 0 17 0 641315001 121937920 19419 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8781/tid=8791] ppid=8779 vsize=119080 CPUtime=0.06
/proc/8781/task/8791/stat : 8791 (satake) R 8779 8781 27791 0 -1 4202560 2252 0 0 0 0 6 0 0 20 0 17 0 641315001 121937920 19419 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8781/tid=8792] ppid=8779 vsize=119080 CPUtime=0
/proc/8781/task/8792/stat : 8792 (satake) R 8779 8781 27791 0 -1 4202560 226 0 0 0 0 0 0 0 20 0 17 0 641315001 121937920 19420 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8781/tid=8793] ppid=8779 vsize=119080 CPUtime=0
/proc/8781/task/8793/stat : 8793 (satake) R 8779 8781 27791 0 -1 4202560 330 0 0 0 0 0 0 0 20 0 17 0 641315002 121937920 19425 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8794] ppid=8779 vsize=119080 CPUtime=0
/proc/8781/task/8794/stat : 8794 (satake) R 8779 8781 27791 0 -1 4202560 182 0 0 0 0 0 0 0 20 0 17 0 641315002 121937920 19445 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8795] ppid=8779 vsize=119080 CPUtime=0.06
/proc/8781/task/8795/stat : 8795 (satake) R 8779 8781 27791 0 -1 4202560 1828 0 0 0 0 6 0 0 20 0 17 0 641315002 121937920 19468 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8781/tid=8796] ppid=8779 vsize=119080 CPUtime=0
/proc/8781/task/8796/stat : 8796 (satake) R 8779 8781 27791 0 -1 4202560 217 0 0 0 0 0 0 0 20 0 17 0 641315002 121937920 19485 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8781/tid=8797] ppid=8779 vsize=119080 CPUtime=0.06
/proc/8781/task/8797/stat : 8797 (satake) R 8779 8781 27791 0 -1 4202560 2042 0 0 0 0 6 0 0 20 0 17 0 641315002 121937920 19503 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 119080
[startup+0.214213 s]
/proc/loadavg: 5.49 4.71 4.73 2/184 8781
/proc/meminfo: memFree=19104012/36427776 swapFree=3936/8344
[pid=8781] ppid=8779 vsize=257320 CPUtime=1.35
/proc/8781/stat : 8781 (satake) S 8779 8781 27791 0 -1 4202496 42361 0 0 0 1 134 0 0 20 0 17 0 641315001 263495680 42306 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8781/statm: 64330 42358 63 164 0 64165 0
[pid=8781/tid=8782] ppid=8779 vsize=257320 CPUtime=0
/proc/8781/task/8782/stat : 8782 (satake) S 8779 8781 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641315001 263495680 42381 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8783] ppid=8779 vsize=257320 CPUtime=0.1
/proc/8781/task/8783/stat : 8783 (satake) R 8779 8781 27791 0 -1 4202560 2888 0 0 0 0 10 0 0 20 0 17 0 641315001 263495680 42399 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8784] ppid=8779 vsize=257320 CPUtime=0.12
/proc/8781/task/8784/stat : 8784 (satake) R 8779 8781 27791 0 -1 4202560 3972 0 0 0 0 12 0 0 20 0 17 0 641315001 263495680 42423 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8781/tid=8785] ppid=8779 vsize=257320 CPUtime=0.08
/proc/8781/task/8785/stat : 8785 (satake) R 8779 8781 27791 0 -1 4202560 2466 0 0 0 0 8 0 0 20 0 17 0 641315001 263495680 42443 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8786] ppid=8779 vsize=257320 CPUtime=0.1
/proc/8781/task/8786/stat : 8786 (satake) R 8779 8781 27791 0 -1 4202560 3631 0 0 0 0 10 0 0 20 0 17 0 641315001 263495680 42469 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8787] ppid=8779 vsize=257320 CPUtime=0.04
/proc/8781/task/8787/stat : 8787 (satake) R 8779 8781 27791 0 -1 4202560 1691 0 0 0 0 4 0 0 20 0 17 0 641315001 263495680 42499 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8788] ppid=8779 vsize=257320 CPUtime=0.1
/proc/8781/task/8788/stat : 8788 (satake) R 8779 8781 27791 0 -1 4202560 3500 0 0 0 0 10 0 0 20 0 17 0 641315001 263495680 42521 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8789] ppid=8779 vsize=257320 CPUtime=0.02
/proc/8781/task/8789/stat : 8789 (satake) R 8779 8781 27791 0 -1 4202560 988 0 0 0 0 2 0 0 20 0 17 0 641315001 263495680 42536 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8790] ppid=8779 vsize=257320 CPUtime=0.14
/proc/8781/task/8790/stat : 8790 (satake) R 8779 8781 27791 0 -1 4202560 4401 0 0 0 0 14 0 0 20 0 17 0 641315001 263495680 42556 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8781/tid=8791] ppid=8779 vsize=257320 CPUtime=0.1
/proc/8781/task/8791/stat : 8791 (satake) R 8779 8781 27791 0 -1 4202560 3606 0 0 0 0 10 0 0 20 0 17 0 641315001 263495680 42581 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8781/tid=8792] ppid=8779 vsize=257320 CPUtime=0.04
/proc/8781/task/8792/stat : 8792 (satake) R 8779 8781 27791 0 -1 4202560 1492 0 0 0 0 4 0 0 20 0 17 0 641315001 263495680 42602 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8781/tid=8793] ppid=8779 vsize=257320 CPUtime=0.06
/proc/8781/task/8793/stat : 8793 (satake) R 8779 8781 27791 0 -1 4202560 1810 0 0 0 0 6 0 0 20 0 17 0 641315002 263495680 42623 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8794] ppid=8779 vsize=257320 CPUtime=0.04
/proc/8781/task/8794/stat : 8794 (satake) R 8779 8781 27791 0 -1 4202560 1204 0 0 0 0 4 0 0 20 0 17 0 641315002 263495680 42648 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8795] ppid=8779 vsize=257320 CPUtime=0.14
/proc/8781/task/8795/stat : 8795 (satake) R 8779 8781 27791 0 -1 4202560 4177 0 0 0 0 14 0 0 20 0 17 0 641315002 263495680 42676 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8781/tid=8796] ppid=8779 vsize=257320 CPUtime=0.08
/proc/8781/task/8796/stat : 8796 (satake) R 8779 8781 27791 0 -1 4202560 2512 0 0 0 0 8 0 0 20 0 17 0 641315002 263495680 42698 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8781/tid=8797] ppid=8779 vsize=257320 CPUtime=0.14
/proc/8781/task/8797/stat : 8797 (satake) R 8779 8781 27791 0 -1 4202560 4179 0 0 0 0 14 0 0 20 0 17 0 641315002 263495680 42724 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 257320
[startup+0.306664 s]
/proc/loadavg: 5.49 4.71 4.73 2/184 8781
/proc/meminfo: memFree=19104012/36427776 swapFree=3936/8344
[pid=8781] ppid=8779 vsize=382344 CPUtime=2.17
/proc/8781/stat : 8781 (satake) S 8779 8781 27791 0 -1 4202496 66326 0 0 0 1 216 0 0 20 0 17 0 641315001 391520256 66269 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8781/statm: 95586 66308 63 164 0 95421 0
[pid=8781/tid=8782] ppid=8779 vsize=382344 CPUtime=0
/proc/8781/task/8782/stat : 8782 (satake) S 8779 8781 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641315001 391520256 66324 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8783] ppid=8779 vsize=382344 CPUtime=0.14
/proc/8781/task/8783/stat : 8783 (satake) R 8779 8781 27791 0 -1 4202560 4050 0 0 0 0 14 0 0 20 0 17 0 641315001 391520256 66343 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8784] ppid=8779 vsize=382344 CPUtime=0.2
/proc/8781/task/8784/stat : 8784 (satake) R 8779 8781 27791 0 -1 4202560 6656 0 0 0 0 20 0 0 20 0 17 0 641315001 391520256 66359 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8781/tid=8785] ppid=8779 vsize=382344 CPUtime=0.14
/proc/8781/task/8785/stat : 8785 (satake) R 8779 8781 27791 0 -1 4202560 4705 0 0 0 0 14 0 0 20 0 17 0 641315001 391520256 66377 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8786] ppid=8779 vsize=382344 CPUtime=0.14
/proc/8781/task/8786/stat : 8786 (satake) R 8779 8781 27791 0 -1 4202560 4622 0 0 0 0 14 0 0 20 0 17 0 641315001 391520256 66394 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8787] ppid=8779 vsize=382344 CPUtime=0.08
/proc/8781/task/8787/stat : 8787 (satake) R 8779 8781 27791 0 -1 4202560 2603 0 0 0 0 8 0 0 20 0 17 0 641315001 391520256 66409 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8788] ppid=8779 vsize=382344 CPUtime=0.14
/proc/8781/task/8788/stat : 8788 (satake) R 8779 8781 27791 0 -1 4202560 4532 0 0 0 0 14 0 0 20 0 17 0 641315001 391520256 66425 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8789] ppid=8779 vsize=382344 CPUtime=0.08
/proc/8781/task/8789/stat : 8789 (satake) D 8779 8781 27791 0 -1 4202560 2593 0 0 0 0 8 0 0 20 0 17 0 641315001 391520256 66435 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8790] ppid=8779 vsize=382344 CPUtime=0.22
/proc/8781/task/8790/stat : 8790 (satake) D 8779 8781 27791 0 -1 4202560 6701 0 0 0 0 22 0 0 20 0 17 0 641315001 391520256 66436 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8781/tid=8791] ppid=8779 vsize=382344 CPUtime=0.12
/proc/8781/task/8791/stat : 8791 (satake) D 8779 8781 27791 0 -1 4202560 4522 0 0 0 0 12 0 0 20 0 17 0 641315001 391520256 66436 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8781/tid=8792] ppid=8779 vsize=382344 CPUtime=0.1
/proc/8781/task/8792/stat : 8792 (satake) R 8779 8781 27791 0 -1 4202560 2969 0 0 0 0 10 0 0 20 0 17 0 641315001 391520256 66441 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8781/tid=8793] ppid=8779 vsize=382344 CPUtime=0.08
/proc/8781/task/8793/stat : 8793 (satake) R 8779 8781 27791 0 -1 4202560 2140 0 0 0 0 8 0 0 20 0 17 0 641315002 391520256 66442 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8794] ppid=8779 vsize=382344 CPUtime=0.08
/proc/8781/task/8794/stat : 8794 (satake) R 8779 8781 27791 0 -1 4202560 2536 0 0 0 0 8 0 0 20 0 17 0 641315002 391520256 66444 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8795] ppid=8779 vsize=382344 CPUtime=0.22
/proc/8781/task/8795/stat : 8795 (satake) R 8779 8781 27791 0 -1 4202560 6220 0 0 0 0 22 0 0 20 0 17 0 641315002 391520256 66444 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8781/tid=8796] ppid=8779 vsize=382344 CPUtime=0.16
/proc/8781/task/8796/stat : 8796 (satake) R 8779 8781 27791 0 -1 4202560 4854 0 0 0 0 16 0 0 20 0 17 0 641315002 391520256 66444 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8781/tid=8797] ppid=8779 vsize=382344 CPUtime=0.22
/proc/8781/task/8797/stat : 8797 (satake) R 8779 8781 27791 0 -1 4202560 6662 0 0 0 0 22 0 0 20 0 17 0 641315002 391520256 66444 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 382344
[startup+0.705188 s]
/proc/loadavg: 5.49 4.71 4.73 2/184 8781
/proc/meminfo: memFree=19104012/36427776 swapFree=3936/8344
[pid=8781] ppid=8779 vsize=446800 CPUtime=4.87
/proc/8781/stat : 8781 (satake) S 8779 8781 27791 0 -1 4202496 86428 0 0 0 5 482 0 0 20 0 17 0 641315001 457523200 86352 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8781/statm: 111700 86353 63 164 0 111535 0
[pid=8781/tid=8782] ppid=8779 vsize=446800 CPUtime=0
/proc/8781/task/8782/stat : 8782 (satake) S 8779 8781 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641315001 457523200 86356 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8783] ppid=8779 vsize=446800 CPUtime=0.28
/proc/8781/task/8783/stat : 8783 (satake) R 8779 8781 27791 0 -1 4202560 5284 0 0 0 0 28 0 0 20 0 17 0 641315001 457523200 86357 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8784] ppid=8779 vsize=446800 CPUtime=0.42
/proc/8781/task/8784/stat : 8784 (satake) R 8779 8781 27791 0 -1 4202560 7675 0 0 0 0 42 0 0 20 0 17 0 641315001 457523200 86358 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8781/tid=8785] ppid=8779 vsize=446800 CPUtime=0.28
/proc/8781/task/8785/stat : 8785 (satake) D 8779 8781 27791 0 -1 4202560 5834 0 0 0 0 28 0 0 20 0 17 0 641315001 457523200 86358 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8786] ppid=8779 vsize=446800 CPUtime=0.26
/proc/8781/task/8786/stat : 8786 (satake) R 8779 8781 27791 0 -1 4202560 5815 0 0 0 0 26 0 0 20 0 17 0 641315001 457523200 86358 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8787] ppid=8779 vsize=446800 CPUtime=0.24
/proc/8781/task/8787/stat : 8787 (satake) D 8779 8781 27791 0 -1 4202560 4005 0 0 0 0 24 0 0 20 0 17 0 641315001 457523200 86359 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8788] ppid=8779 vsize=446800 CPUtime=0.3
/proc/8781/task/8788/stat : 8788 (satake) D 8779 8781 27791 0 -1 4202560 5869 0 0 0 0 30 0 0 20 0 17 0 641315001 457523200 86361 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8789] ppid=8779 vsize=446800 CPUtime=0.22
/proc/8781/task/8789/stat : 8789 (satake) D 8779 8781 27791 0 -1 4202560 4003 0 0 0 0 22 0 0 20 0 17 0 641315001 457523200 86361 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8790] ppid=8779 vsize=446800 CPUtime=0.38
/proc/8781/task/8790/stat : 8790 (satake) D 8779 8781 27791 0 -1 4202560 7609 0 0 0 2 36 0 0 20 0 17 0 641315001 457523200 86361 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8781/tid=8791] ppid=8779 vsize=446800 CPUtime=0.38
################
# More data... #
################
[pid=8781/tid=8787] ppid=8779 vsize=1786692 CPUtime=171.3
/proc/8781/task/8787/stat : 8787 (satake) S 8779 8781 27791 0 -1 4202560 30872 0 0 0 15248 1882 0 0 20 0 17 0 641315001 1829572608 372867 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=8781/tid=8788] ppid=8779 vsize=1786692 CPUtime=168.42
/proc/8781/task/8788/stat : 8788 (satake) S 8779 8781 27791 0 -1 4202560 30898 0 0 0 15042 1800 0 0 20 0 17 0 641315001 1829572608 372867 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8789] ppid=8779 vsize=1786692 CPUtime=177.04
/proc/8781/task/8789/stat : 8789 (satake) S 8779 8781 27791 0 -1 4202560 30926 0 0 0 15962 1742 0 0 20 0 17 0 641315001 1829572608 372867 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=8781/tid=8790] ppid=8779 vsize=1786692 CPUtime=164.17
/proc/8781/task/8790/stat : 8790 (satake) S 8779 8781 27791 0 -1 4202560 30726 0 0 0 14665 1752 0 0 20 0 17 0 641315001 1829572608 372867 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8791] ppid=8779 vsize=1786692 CPUtime=173.71
/proc/8781/task/8791/stat : 8791 (satake) S 8779 8781 27791 0 -1 4202560 30863 0 0 0 15573 1798 0 0 20 0 17 0 641315001 1829572608 372867 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=8781/tid=8792] ppid=8779 vsize=1786692 CPUtime=161.22
/proc/8781/task/8792/stat : 8792 (satake) S 8779 8781 27791 0 -1 4202560 30896 0 0 0 14384 1738 0 0 20 0 17 0 641315001 1829572608 372867 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=8781/tid=8793] ppid=8779 vsize=1786692 CPUtime=176.87
/proc/8781/task/8793/stat : 8793 (satake) S 8779 8781 27791 0 -1 4202560 30693 0 0 0 15817 1870 0 0 20 0 17 0 641315002 1829572608 372867 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=8781/tid=8794] ppid=8779 vsize=1786692 CPUtime=165.37
/proc/8781/task/8794/stat : 8794 (satake) S 8779 8781 27791 0 -1 4202560 31258 0 0 0 14585 1952 0 0 20 0 17 0 641315002 1829572608 372867 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=8781/tid=8795] ppid=8779 vsize=1786692 CPUtime=160.13
/proc/8781/task/8795/stat : 8795 (satake) S 8779 8781 27791 0 -1 4202560 30632 0 0 0 14033 1980 0 0 20 0 17 0 641315002 1829572608 372867 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=8781/tid=8796] ppid=8779 vsize=1786692 CPUtime=172.34
/proc/8781/task/8796/stat : 8796 (satake) R 8779 8781 27791 0 -1 4202560 30865 0 0 0 15346 1888 0 0 20 0 17 0 641315002 1829572608 372867 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134528583 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8781/tid=8797] ppid=8779 vsize=1786692 CPUtime=158.76
/proc/8781/task/8797/stat : 8797 (satake) S 8779 8781 27791 0 -1 4202560 30727 0 0 0 13914 1962 0 0 20 0 17 0 641315002 1829572608 372867 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 2950.35
Current children cumulated vsize (KiB) 1786692
[startup+966.406 s]
/proc/loadavg: 4.00 4.33 4.44 4/201 8813
/proc/meminfo: memFree=17610316/36427776 swapFree=4588/1501664
[pid=8781] ppid=8779 vsize=1786692 CPUtime=2969.35
/proc/8781/stat : 8781 (satake) S 8779 8781 27791 0 -1 4202496 472562 0 0 0 230662 66273 0 0 20 0 17 0 641315001 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8781/statm: 446673 372920 68 164 0 446508 0
[pid=8781/tid=8782] ppid=8779 vsize=1786692 CPUtime=442.45
/proc/8781/task/8782/stat : 8782 (satake) R 8779 8781 27791 0 -1 4202560 9795 0 0 0 5687 38558 0 0 20 0 17 0 641315001 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8781/tid=8783] ppid=8779 vsize=1786692 CPUtime=164.15
/proc/8781/task/8783/stat : 8783 (satake) S 8779 8781 27791 0 -1 4202560 30949 0 0 0 14639 1776 0 0 20 0 17 0 641315001 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8784] ppid=8779 vsize=1786692 CPUtime=166.9
/proc/8781/task/8784/stat : 8784 (satake) D 8779 8781 27791 0 -1 4202560 30176 0 0 0 14976 1714 0 0 20 0 17 0 641315001 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8781/tid=8785] ppid=8779 vsize=1786692 CPUtime=169.89
/proc/8781/task/8785/stat : 8785 (satake) S 8779 8781 27791 0 -1 4202560 31397 0 0 0 15197 1792 0 0 20 0 17 0 641315001 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8786] ppid=8779 vsize=1786692 CPUtime=165.2
/proc/8781/task/8786/stat : 8786 (satake) R 8779 8781 27791 0 -1 4202560 30762 0 0 0 14618 1902 0 0 20 0 17 0 641315001 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134520711 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8781/tid=8787] ppid=8779 vsize=1786692 CPUtime=172.07
/proc/8781/task/8787/stat : 8787 (satake) S 8779 8781 27791 0 -1 4202560 30872 0 0 0 15313 1894 0 0 20 0 17 0 641315001 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=8781/tid=8788] ppid=8779 vsize=1786692 CPUtime=169.55
/proc/8781/task/8788/stat : 8788 (satake) S 8779 8781 27791 0 -1 4202560 30900 0 0 0 15141 1814 0 0 20 0 17 0 641315001 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8789] ppid=8779 vsize=1786692 CPUtime=178.27
/proc/8781/task/8789/stat : 8789 (satake) S 8779 8781 27791 0 -1 4202560 30926 0 0 0 16069 1758 0 0 20 0 17 0 641315001 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=8781/tid=8790] ppid=8779 vsize=1786692 CPUtime=164.97
/proc/8781/task/8790/stat : 8790 (satake) S 8779 8781 27791 0 -1 4202560 30726 0 0 0 14727 1770 0 0 20 0 17 0 641315001 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8791] ppid=8779 vsize=1786692 CPUtime=174.92
/proc/8781/task/8791/stat : 8791 (satake) S 8779 8781 27791 0 -1 4202560 30863 0 0 0 15676 1816 0 0 20 0 17 0 641315001 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=8781/tid=8792] ppid=8779 vsize=1786692 CPUtime=162.08
/proc/8781/task/8792/stat : 8792 (satake) S 8779 8781 27791 0 -1 4202560 30896 0 0 0 14458 1750 0 0 20 0 17 0 641315001 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=8781/tid=8793] ppid=8779 vsize=1786692 CPUtime=178.06
/proc/8781/task/8793/stat : 8793 (satake) S 8779 8781 27791 0 -1 4202560 30693 0 0 0 15922 1884 0 0 20 0 17 0 641315002 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=8781/tid=8794] ppid=8779 vsize=1786692 CPUtime=166.38
/proc/8781/task/8794/stat : 8794 (satake) S 8779 8781 27791 0 -1 4202560 31258 0 0 0 14670 1968 0 0 20 0 17 0 641315002 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=8781/tid=8795] ppid=8779 vsize=1786692 CPUtime=161.3
/proc/8781/task/8795/stat : 8795 (satake) S 8779 8781 27791 0 -1 4202560 30632 0 0 0 14132 1998 0 0 20 0 17 0 641315002 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=8781/tid=8796] ppid=8779 vsize=1786692 CPUtime=173.2
/proc/8781/task/8796/stat : 8796 (satake) S 8779 8781 27791 0 -1 4202560 30865 0 0 0 15422 1898 0 0 20 0 17 0 641315002 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=8781/tid=8797] ppid=8779 vsize=1786692 CPUtime=159.77
/proc/8781/task/8797/stat : 8797 (satake) S 8779 8781 27791 0 -1 4202560 30727 0 0 0 14003 1974 0 0 20 0 17 0 641315002 1829572608 372920 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 2969.35
Current children cumulated vsize (KiB) 1786692
[startup+968.003 s]
/proc/loadavg: 4.00 4.33 4.44 16/201 8813
/proc/meminfo: memFree=17610192/36427776 swapFree=4624/1501768
[pid=8781] ppid=8779 vsize=1786692 CPUtime=2978.73
/proc/8781/stat : 8781 (satake) S 8779 8781 27791 0 -1 4202496 472573 0 0 0 231167 66706 0 0 20 0 17 0 641315001 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8781/statm: 446673 372931 77 164 0 446508 0
[pid=8781/tid=8782] ppid=8779 vsize=1786692 CPUtime=443.4
/proc/8781/task/8782/stat : 8782 (satake) R 8779 8781 27791 0 -1 4202560 9797 0 0 0 5704 38636 0 0 20 0 17 0 641315001 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8781/tid=8783] ppid=8779 vsize=1786692 CPUtime=164.54
/proc/8781/task/8783/stat : 8783 (satake) R 8779 8781 27791 0 -1 4202560 30958 0 0 0 14652 1802 0 0 20 0 17 0 641315001 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8784] ppid=8779 vsize=1786692 CPUtime=167.82
/proc/8781/task/8784/stat : 8784 (satake) R 8779 8781 27791 0 -1 4202560 30176 0 0 0 15036 1746 0 0 20 0 17 0 641315001 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8781/tid=8785] ppid=8779 vsize=1786692 CPUtime=170.52
/proc/8781/task/8785/stat : 8785 (satake) R 8779 8781 27791 0 -1 4202560 31397 0 0 0 15232 1820 0 0 20 0 17 0 641315001 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8786] ppid=8779 vsize=1786692 CPUtime=165.89
/proc/8781/task/8786/stat : 8786 (satake) R 8779 8781 27791 0 -1 4202560 30762 0 0 0 14665 1924 0 0 20 0 17 0 641315001 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8781/tid=8787] ppid=8779 vsize=1786692 CPUtime=172.65
/proc/8781/task/8787/stat : 8787 (satake) R 8779 8781 27791 0 -1 4202560 30872 0 0 0 15345 1920 0 0 20 0 17 0 641315001 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8781/tid=8788] ppid=8779 vsize=1786692 CPUtime=169.94
/proc/8781/task/8788/stat : 8788 (satake) R 8779 8781 27791 0 -1 4202560 30900 0 0 0 15158 1836 0 0 20 0 17 0 641315001 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8789] ppid=8779 vsize=1786692 CPUtime=178.65
/proc/8781/task/8789/stat : 8789 (satake) R 8779 8781 27791 0 -1 4202560 30926 0 0 0 16083 1782 0 0 20 0 17 0 641315001 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8781/tid=8790] ppid=8779 vsize=1786692 CPUtime=165.36
/proc/8781/task/8790/stat : 8790 (satake) R 8779 8781 27791 0 -1 4202560 30726 0 0 0 14742 1794 0 0 20 0 17 0 641315001 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8791] ppid=8779 vsize=1786692 CPUtime=175.44
/proc/8781/task/8791/stat : 8791 (satake) R 8779 8781 27791 0 -1 4202560 30863 0 0 0 15710 1834 0 0 20 0 17 0 641315001 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8792] ppid=8779 vsize=1786692 CPUtime=162.87
/proc/8781/task/8792/stat : 8792 (satake) R 8779 8781 27791 0 -1 4202560 30896 0 0 0 14505 1782 0 0 20 0 17 0 641315001 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8781/tid=8793] ppid=8779 vsize=1786692 CPUtime=178.68
/proc/8781/task/8793/stat : 8793 (satake) R 8779 8781 27791 0 -1 4202560 30693 0 0 0 15958 1910 0 0 20 0 17 0 641315002 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8781/tid=8794] ppid=8779 vsize=1786692 CPUtime=166.97
/proc/8781/task/8794/stat : 8794 (satake) R 8779 8781 27791 0 -1 4202560 31258 0 0 0 14711 1986 0 0 20 0 17 0 641315002 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8781/tid=8795] ppid=8779 vsize=1786692 CPUtime=161.8
/proc/8781/task/8795/stat : 8795 (satake) R 8779 8781 27791 0 -1 4202560 30632 0 0 0 14164 2016 0 0 20 0 17 0 641315002 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8781/tid=8796] ppid=8779 vsize=1786692 CPUtime=173.7
/proc/8781/task/8796/stat : 8796 (satake) R 8779 8781 27791 0 -1 4202560 30865 0 0 0 15462 1908 0 0 20 0 17 0 641315002 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8781/tid=8797] ppid=8779 vsize=1786692 CPUtime=160.3
/proc/8781/task/8797/stat : 8797 (satake) R 8779 8781 27791 0 -1 4202560 30727 0 0 0 14028 2002 0 0 20 0 17 0 641315002 1829572608 372931 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 2978.73
Current children cumulated vsize (KiB) 1786692
[startup+969.601 s]
/proc/loadavg: 4.00 4.33 4.44 2/201 8813
/proc/meminfo: memFree=17669588/36427776 swapFree=4624/1439012
[pid=8781] ppid=8779 vsize=1673724 CPUtime=2986.92
/proc/8781/stat : 8781 (satake) S 8779 8781 27791 0 -1 4202496 472573 0 0 0 231623 67069 0 0 20 0 16 0 641315001 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8781/statm: 418431 347407 77 164 0 418266 0
[pid=8781/tid=8783] ppid=8779 vsize=1673724 CPUtime=165
/proc/8781/task/8783/stat : 8783 (satake) R 8779 8781 27791 0 -1 4202560 30958 0 0 0 14674 1826 0 0 20 0 16 0 641315001 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8781/tid=8784] ppid=8779 vsize=1673724 CPUtime=168.37
/proc/8781/task/8784/stat : 8784 (satake) R 8779 8781 27791 0 -1 4202560 30176 0 0 0 15067 1770 0 0 20 0 16 0 641315001 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8781/tid=8785] ppid=8779 vsize=1673724 CPUtime=171.01
/proc/8781/task/8785/stat : 8785 (satake) S 8779 8781 27791 0 -1 4202560 31397 0 0 0 15259 1842 0 0 20 0 16 0 641315001 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=8781/tid=8786] ppid=8779 vsize=1673724 CPUtime=166.43
/proc/8781/task/8786/stat : 8786 (satake) R 8779 8781 27791 0 -1 4202560 30762 0 0 0 14695 1948 0 0 20 0 16 0 641315001 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8781/tid=8787] ppid=8779 vsize=1673724 CPUtime=173.31
/proc/8781/task/8787/stat : 8787 (satake) R 8779 8781 27791 0 -1 4202560 30872 0 0 0 15389 1942 0 0 20 0 16 0 641315001 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8781/tid=8788] ppid=8779 vsize=1673724 CPUtime=170.44
/proc/8781/task/8788/stat : 8788 (satake) S 8779 8781 27791 0 -1 4202560 30900 0 0 0 15182 1862 0 0 20 0 16 0 641315001 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=8781/tid=8789] ppid=8779 vsize=1673724 CPUtime=179.33
/proc/8781/task/8789/stat : 8789 (satake) R 8779 8781 27791 0 -1 4202560 30926 0 0 0 16127 1806 0 0 20 0 16 0 641315001 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8781/tid=8790] ppid=8779 vsize=1673724 CPUtime=165.84
/proc/8781/task/8790/stat : 8790 (satake) R 8779 8781 27791 0 -1 4202560 30726 0 0 0 14764 1820 0 0 20 0 16 0 641315001 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8781/tid=8791] ppid=8779 vsize=1673724 CPUtime=175.76
/proc/8781/task/8791/stat : 8791 (satake) R 8779 8781 27791 0 -1 4202560 30863 0 0 0 15724 1852 0 0 20 0 16 0 641315001 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8792] ppid=8779 vsize=1673724 CPUtime=163.46
/proc/8781/task/8792/stat : 8792 (satake) R 8779 8781 27791 0 -1 4202560 30896 0 0 0 14540 1806 0 0 20 0 16 0 641315001 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8781/tid=8793] ppid=8779 vsize=1673724 CPUtime=179.24
/proc/8781/task/8793/stat : 8793 (satake) R 8779 8781 27791 0 -1 4202560 30693 0 0 0 15990 1934 0 0 20 0 16 0 641315002 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8781/tid=8794] ppid=8779 vsize=1673724 CPUtime=167.32
/proc/8781/task/8794/stat : 8794 (satake) R 8779 8781 27791 0 -1 4202560 31258 0 0 0 14730 2002 0 0 20 0 16 0 641315002 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8781/tid=8795] ppid=8779 vsize=1673724 CPUtime=162.24
/proc/8781/task/8795/stat : 8795 (satake) R 8779 8781 27791 0 -1 4202560 30632 0 0 0 14186 2038 0 0 20 0 16 0 641315002 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134666328 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8781/tid=8796] ppid=8779 vsize=1673724 CPUtime=174.09
/proc/8781/task/8796/stat : 8796 (satake) S 8779 8781 27791 0 -1 4202560 30865 0 0 0 15479 1930 0 0 20 0 16 0 641315002 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=8781/tid=8797] ppid=8779 vsize=1673724 CPUtime=160.82
/proc/8781/task/8797/stat : 8797 (satake) S 8779 8781 27791 0 -1 4202560 30727 0 0 0 14056 2026 0 0 20 0 16 0 641315002 1713893376 347407 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 2986.92
Current children cumulated vsize (KiB) 1673724
[startup+970.401 s]
/proc/loadavg: 3.92 4.31 4.43 3/195 8813
/proc/meminfo: memFree=17811160/36427776 swapFree=4624/1294304
[pid=8781] ppid=8779 vsize=1222384 CPUtime=2990.67
/proc/8781/stat : 8781 (satake) S 8779 8781 27791 0 -1 4202496 472573 0 0 0 231872 67195 0 0 20 0 4 0 641315001 1251721216 282927 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8781/statm: 305596 282927 77 164 0 305431 0
[pid=8781/tid=8791] ppid=8779 vsize=1222384 CPUtime=176.22
/proc/8781/task/8791/stat : 8791 (satake) D 8779 8781 27791 0 -1 4202560 30863 0 0 0 15758 1864 0 0 20 0 4 0 641315001 1251721216 282927 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8781/tid=8793] ppid=8779 vsize=1222384 CPUtime=179.57
/proc/8781/task/8793/stat : 8793 (satake) S 8779 8781 27791 0 -1 4202560 30693 0 0 0 16011 1946 0 0 20 0 4 0 641315002 1251721216 282927 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=8781/tid=8794] ppid=8779 vsize=1222384 CPUtime=167.85
/proc/8781/task/8794/stat : 8794 (satake) R 8779 8781 27791 0 -1 4202560 31258 0 0 0 14771 2014 0 0 20 0 4 0 641315002 1251721216 282684 18446744073709551615 134512640 135180984 4293750208 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2990.67
Current children cumulated vsize (KiB) 1222384
[startup+970.601 s]
/proc/loadavg: 3.92 4.31 4.43 3/195 8813
/proc/meminfo: memFree=17811160/36427776 swapFree=4624/1294304
[pid=8781] ppid=8779 vsize=0 CPUtime=2990.91
/proc/8781/stat : 8781 (satake) R 8779 8781 27791 0 -1 4202500 472574 0 0 0 231884 67207 0 0 20 0 1 0 641315001 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/8781/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2990.91
Current children cumulated vsize (KiB) 0
Child status: 16
Real time (s): 970.701
CPU time (s): 2991.04
CPU user time (s): 2318.84
CPU system time (s): 672.194
CPU usage (%): 308.132
Max. virtual memory (cumulated for all children) (KiB): 1813708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2318.84
system time used= 672.194
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472574
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= 53228730
involuntary context switches= 7140496
runsolver used 4.08826 second user time and 11.2607 second system time
The end
Begin job on xenhost3-49 at 2009-06-12 17:21:25
IDJOB=1780227
IDBENCH=70962
IDSOLVER=631
FILE ID=xenhost3-49/1780227-1244820085
PBS_JOBID=
Free space on /tmp= 7004 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L90_coli.sat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780227-1244820085/watcher-1780227-1244820085 -o /tmp/evaluation-result-1780227-1244820085/solver-1780227-1244820085 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780227-1244820085.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= a9e7651569c1b43a1021c78982fb4e6b
RANDOM SEED= 1766242876
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: 19103920 kB
Buffers: 434980 kB
Cached: 14136868 kB
SwapCached: 0 kB
Active: 4081192 kB
Inactive: 10499940 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 27624 kB
Writeback: 0 kB
AnonPages: 8628 kB
Mapped: 3892 kB
Slab: 690040 kB
SReclaimable: 663012 kB
SUnreclaim: 27028 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7004 MiB
End job on xenhost3-49 at 2009-06-12 17:37:37