4668.98/573.90 c Benchmark name : HOME/instance-1780632-1244835167.cnf
4668.98/573.90 c Thread Num : 16
4668.98/573.90 c restarts : 14
4668.98/573.90 c conflicts : 40322
4668.98/573.90 c decisions : 355365 ( 623 / sec )
4668.98/573.90 c propagations : 265305378 ( 464851 / sec )
4668.98/573.90 c inspects : 796093144 ( 1394864 / sec )
4668.98/573.90 c conflict literals : 9947394 ( 29.52 % deleted )
4668.98/573.90 c cpu time : 570.73
4668.98/573.90 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780632-1244835167/watcher-1780632-1244835167 -o /tmp/evaluation-result-1780632-1244835167/solver-1780632-1244835167 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780632-1244835167.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: 12.38 10.15 9.09 2/184 10517
/proc/meminfo: memFree=19110908/36427776 swapFree=4528/8620
[pid=10517] ppid=10515 vsize=7016 CPUtime=0
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 17 0 642823118 7184384 350 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 1754 354 63 164 0 1589 0
[pid=10517/tid=10518] ppid=10515 vsize=7152 CPUtime=0
/proc/10517/task/10518/stat : 10518 (satake) S 10515 10517 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642823118 7323648 418 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=7156 CPUtime=0
/proc/10517/task/10519/stat : 10519 (satake) D 10515 10517 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 642823118 7327744 419 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10520/stat : 10520 (satake) D 10515 10517 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 642823118 7462912 419 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10521/stat : 10521 (satake) R 10515 10517 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 425 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10522/stat : 10522 (satake) R 10515 10517 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 425 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10523/stat : 10523 (satake) S 10515 10517 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 425 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10524/stat : 10524 (satake) R 10515 10517 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 426 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10525/stat : 10525 (satake) S 10515 10517 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 432 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10526/stat : 10526 (satake) S 10515 10517 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 432 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10527/stat : 10527 (satake) S 10515 10517 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 451 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10528/stat : 10528 (satake) S 10515 10517 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 454 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=7288 CPUtime=0
/proc/10517/task/10529/stat : 10529 (satake) D 10515 10517 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 642823119 7462912 454 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=7548 CPUtime=0
/proc/10517/task/10530/stat : 10530 (satake) D 10515 10517 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 642823119 7729152 454 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=7416 CPUtime=0
/proc/10517/task/10531/stat : 10531 (satake) S 10515 10517 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642823119 7593984 456 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=7416 CPUtime=0
/proc/10517/task/10532/stat : 10532 (satake) D 10515 10517 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 642823119 7593984 459 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=7548 CPUtime=0
/proc/10517/task/10533/stat : 10533 (satake) R 10515 10517 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 642823119 7729152 459 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.08704 s]
/proc/loadavg: 12.38 10.15 9.09 2/184 10517
/proc/meminfo: memFree=19110908/36427776 swapFree=4528/8620
[pid=10517] ppid=10515 vsize=74520 CPUtime=0.42
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 11795 0 0 0 0 42 0 0 20 0 17 0 642823118 76308480 11751 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 18630 11758 63 164 0 18465 0
[pid=10517/tid=10518] ppid=10515 vsize=74520 CPUtime=0
/proc/10517/task/10518/stat : 10518 (satake) S 10515 10517 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642823118 76308480 11760 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=74520 CPUtime=0.04
/proc/10517/task/10519/stat : 10519 (satake) R 10515 10517 27791 0 -1 4202560 1340 0 0 0 0 4 0 0 20 0 17 0 642823118 76308480 11760 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=74520 CPUtime=0
/proc/10517/task/10520/stat : 10520 (satake) R 10515 10517 27791 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 17 0 642823118 76308480 11762 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10521/stat : 10521 (satake) R 10515 10517 27791 0 -1 4202560 649 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11763 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=74520 CPUtime=0.04
/proc/10517/task/10522/stat : 10522 (satake) R 10515 10517 27791 0 -1 4202560 991 0 0 0 0 4 0 0 20 0 17 0 642823119 76308480 11765 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=74520 CPUtime=0
/proc/10517/task/10523/stat : 10523 (satake) R 10515 10517 27791 0 -1 4202560 363 0 0 0 0 0 0 0 20 0 17 0 642823119 76308480 11768 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=74520 CPUtime=0.04
/proc/10517/task/10524/stat : 10524 (satake) R 10515 10517 27791 0 -1 4202560 1335 0 0 0 0 4 0 0 20 0 17 0 642823119 76308480 11770 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=74520 CPUtime=0.04
/proc/10517/task/10525/stat : 10525 (satake) R 10515 10517 27791 0 -1 4202560 1225 0 0 0 0 4 0 0 20 0 17 0 642823119 76308480 11772 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10526/stat : 10526 (satake) R 10515 10517 27791 0 -1 4202560 512 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11775 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10527/stat : 10527 (satake) R 10515 10517 27791 0 -1 4202560 812 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11776 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=74520 CPUtime=0.04
/proc/10517/task/10528/stat : 10528 (satake) R 10515 10517 27791 0 -1 4202560 845 0 0 0 0 4 0 0 20 0 17 0 642823119 76308480 11776 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10529/stat : 10529 (satake) R 10515 10517 27791 0 -1 4202560 405 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11777 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10530/stat : 10530 (satake) R 10515 10517 27791 0 -1 4202560 591 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11777 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=74520 CPUtime=0.04
/proc/10517/task/10531/stat : 10531 (satake) R 10515 10517 27791 0 -1 4202560 1137 0 0 0 0 4 0 0 20 0 17 0 642823119 76308480 11778 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10532/stat : 10532 (satake) R 10515 10517 27791 0 -1 4202560 535 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11780 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=74520 CPUtime=0.02
/proc/10517/task/10533/stat : 10533 (satake) R 10515 10517 27791 0 -1 4202560 830 0 0 0 0 2 0 0 20 0 17 0 642823119 76308480 11782 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 74520
[startup+0.108838 s]
/proc/loadavg: 12.38 10.15 9.09 2/184 10517
/proc/meminfo: memFree=19110908/36427776 swapFree=4528/8620
[pid=10517] ppid=10515 vsize=97048 CPUtime=0.61
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 17653 0 0 0 0 61 0 0 20 0 17 0 642823118 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 24262 17609 63 164 0 24097 0
[pid=10517/tid=10518] ppid=10515 vsize=97048 CPUtime=0
/proc/10517/task/10518/stat : 10518 (satake) S 10515 10517 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642823118 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=97048 CPUtime=0.06
/proc/10517/task/10519/stat : 10519 (satake) D 10515 10517 27791 0 -1 4202560 2072 0 0 0 0 6 0 0 20 0 17 0 642823118 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=97048 CPUtime=0
/proc/10517/task/10520/stat : 10520 (satake) D 10515 10517 27791 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 17 0 642823118 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=97048 CPUtime=0.04
/proc/10517/task/10521/stat : 10521 (satake) D 10515 10517 27791 0 -1 4202560 1336 0 0 0 0 4 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=97048 CPUtime=0.06
/proc/10517/task/10522/stat : 10522 (satake) D 10515 10517 27791 0 -1 4202560 1591 0 0 0 0 6 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=97048 CPUtime=0
/proc/10517/task/10523/stat : 10523 (satake) D 10515 10517 27791 0 -1 4202560 370 0 0 0 0 0 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=97048 CPUtime=0.06
/proc/10517/task/10524/stat : 10524 (satake) R 10515 10517 27791 0 -1 4202560 2066 0 0 0 0 6 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=97048 CPUtime=0.06
/proc/10517/task/10525/stat : 10525 (satake) D 10515 10517 27791 0 -1 4202560 1787 0 0 0 0 6 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=97048 CPUtime=0.02
/proc/10517/task/10526/stat : 10526 (satake) D 10515 10517 27791 0 -1 4202560 519 0 0 0 0 2 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=97048 CPUtime=0.04
/proc/10517/task/10527/stat : 10527 (satake) D 10515 10517 27791 0 -1 4202560 1327 0 0 0 0 4 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=97048 CPUtime=0.04
/proc/10517/task/10528/stat : 10528 (satake) D 10515 10517 27791 0 -1 4202560 1047 0 0 0 0 4 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=97048 CPUtime=0.02
/proc/10517/task/10529/stat : 10529 (satake) D 10515 10517 27791 0 -1 4202560 783 0 0 0 0 2 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=97048 CPUtime=0.02
/proc/10517/task/10530/stat : 10530 (satake) D 10515 10517 27791 0 -1 4202560 808 0 0 0 0 2 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=97048 CPUtime=0.06
/proc/10517/task/10531/stat : 10531 (satake) D 10515 10517 27791 0 -1 4202560 1808 0 0 0 0 6 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=97048 CPUtime=0.04
/proc/10517/task/10532/stat : 10532 (satake) D 10515 10517 27791 0 -1 4202560 1049 0 0 0 0 4 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=97048 CPUtime=0.02
/proc/10517/task/10533/stat : 10533 (satake) D 10515 10517 27791 0 -1 4202560 837 0 0 0 0 2 0 0 20 0 17 0 642823119 99377152 17609 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 97048
[startup+0.30139 s]
/proc/loadavg: 12.38 10.15 9.09 2/184 10517
/proc/meminfo: memFree=19110908/36427776 swapFree=4528/8620
[pid=10517] ppid=10515 vsize=288180 CPUtime=2.07
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 50352 0 0 0 0 207 0 0 20 0 17 0 642823118 295096320 50308 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 72045 50311 63 164 0 71880 0
[pid=10517/tid=10518] ppid=10515 vsize=288180 CPUtime=0
/proc/10517/task/10518/stat : 10518 (satake) S 10515 10517 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642823118 295096320 50316 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=288180 CPUtime=0.12
/proc/10517/task/10519/stat : 10519 (satake) R 10515 10517 27791 0 -1 4202560 3095 0 0 0 0 12 0 0 20 0 17 0 642823118 295096320 50316 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=288180 CPUtime=0.1
/proc/10517/task/10520/stat : 10520 (satake) R 10515 10517 27791 0 -1 4202560 3030 0 0 0 0 10 0 0 20 0 17 0 642823118 295096320 50316 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=288180 CPUtime=0.18
/proc/10517/task/10521/stat : 10521 (satake) R 10515 10517 27791 0 -1 4202560 4569 0 0 0 0 18 0 0 20 0 17 0 642823119 295096320 50317 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=288180 CPUtime=0.12
/proc/10517/task/10522/stat : 10522 (satake) R 10515 10517 27791 0 -1 4202560 3047 0 0 0 0 12 0 0 20 0 17 0 642823119 295096320 50318 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=288180 CPUtime=0.08
/proc/10517/task/10523/stat : 10523 (satake) R 10515 10517 27791 0 -1 4202560 2009 0 0 0 0 8 0 0 20 0 17 0 642823119 295096320 50318 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=288180 CPUtime=0.2
/proc/10517/task/10524/stat : 10524 (satake) R 10515 10517 27791 0 -1 4202560 5570 0 0 0 0 20 0 0 20 0 17 0 642823119 295096320 50318 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=288180 CPUtime=0.2
/proc/10517/task/10525/stat : 10525 (satake) D 10515 10517 27791 0 -1 4202560 4559 0 0 0 0 20 0 0 20 0 17 0 642823119 295096320 50318 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=288180 CPUtime=0.12
/proc/10517/task/10526/stat : 10526 (satake) D 10515 10517 27791 0 -1 4202560 2588 0 0 0 0 12 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=288180 CPUtime=0.1
/proc/10517/task/10527/stat : 10527 (satake) D 10515 10517 27791 0 -1 4202560 2340 0 0 0 0 10 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=288180 CPUtime=0.1
/proc/10517/task/10528/stat : 10528 (satake) D 10515 10517 27791 0 -1 4202560 2916 0 0 0 0 10 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=288180 CPUtime=0.1
/proc/10517/task/10529/stat : 10529 (satake) D 10515 10517 27791 0 -1 4202560 2734 0 0 0 0 10 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=288180 CPUtime=0.16
/proc/10517/task/10530/stat : 10530 (satake) R 10515 10517 27791 0 -1 4202560 3511 0 0 0 0 16 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=288180 CPUtime=0.2
/proc/10517/task/10531/stat : 10531 (satake) D 10515 10517 27791 0 -1 4202560 5331 0 0 0 0 20 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=288180 CPUtime=0.1
/proc/10517/task/10532/stat : 10532 (satake) D 10515 10517 27791 0 -1 4202560 2141 0 0 0 0 10 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=288180 CPUtime=0.12
/proc/10517/task/10533/stat : 10533 (satake) D 10515 10517 27791 0 -1 4202560 2795 0 0 0 0 12 0 0 20 0 17 0 642823119 295096320 50322 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 288180
[startup+0.703169 s]
/proc/loadavg: 12.38 10.15 9.09 2/184 10517
/proc/meminfo: memFree=19110908/36427776 swapFree=4528/8620
[pid=10517] ppid=10515 vsize=292600 CPUtime=4.71
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 65408 0 0 0 0 471 0 0 20 0 17 0 642823118 299622400 65366 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 73150 65368 63 164 0 72985 0
[pid=10517/tid=10518] ppid=10515 vsize=292856 CPUtime=0
/proc/10517/task/10518/stat : 10518 (satake) S 10515 10517 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642823118 299884544 65368 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=292856 CPUtime=0.26
/proc/10517/task/10519/stat : 10519 (satake) D 10515 10517 27791 0 -1 4202560 4088 0 0 0 0 26 0 0 20 0 17 0 642823118 299884544 65373 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=292856 CPUtime=0.24
/proc/10517/task/10520/stat : 10520 (satake) R 10515 10517 27791 0 -1 4202560 3950 0 0 0 0 24 0 0 20 0 17 0 642823118 299884544 65375 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=292856 CPUtime=0.4
/proc/10517/task/10521/stat : 10521 (satake) R 10515 10517 27791 0 -1 4202560 5642 0 0 0 0 40 0 0 20 0 17 0 642823119 299884544 65376 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=292856 CPUtime=0.28
/proc/10517/task/10522/stat : 10522 (satake) R 10515 10517 27791 0 -1 4202560 4027 0 0 0 0 28 0 0 20 0 17 0 642823119 299884544 65376 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=292856 CPUtime=0.22
/proc/10517/task/10523/stat : 10523 (satake) R 10515 10517 27791 0 -1 4202560 2947 0 0 0 0 22 0 0 20 0 17 0 642823119 299884544 65376 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=292856 CPUtime=0.44
/proc/10517/task/10524/stat : 10524 (satake) R 10515 10517 27791 0 -1 4202560 6541 0 0 0 0 44 0 0 20 0 17 0 642823119 299884544 65376 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=292856 CPUtime=0.44
/proc/10517/task/10525/stat : 10525 (satake) R 10515 10517 27791 0 -1 4202560 5754 0 0 0 0 44 0 0 20 0 17 0 642823119 299884544 65376 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=292856 CPUtime=0.26
/proc/10517/task/10526/stat : 10526 (satake) R 10515 10517 27791 0 -1 4202560 3515 0 0 0 0 26 0 0 20 0 17 0 642823119 299884544 65376 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=292856 CPUtime=0.26
################
# More data... #
################
[pid=10517/tid=10529] ppid=10515 vsize=1422880 CPUtime=287.53
/proc/10517/task/10529/stat : 10529 (satake) R 10515 10517 27791 0 -1 4202560 26293 0 0 0 28169 584 0 0 20 0 17 0 642823119 1457029120 328323 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134521040 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=1422880 CPUtime=285.83
/proc/10517/task/10530/stat : 10530 (satake) S 10515 10517 27791 0 -1 4202560 26526 0 0 0 28033 550 0 0 20 0 17 0 642823119 1457029120 328323 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=1422880 CPUtime=287.84
/proc/10517/task/10531/stat : 10531 (satake) R 10515 10517 27791 0 -1 4202560 26941 0 0 0 28266 518 0 0 20 0 17 0 642823119 1457029120 328323 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=1422880 CPUtime=294.31
/proc/10517/task/10532/stat : 10532 (satake) R 10515 10517 27791 0 -1 4202560 25866 0 0 0 28879 552 0 0 20 0 17 0 642823119 1457029120 328323 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134522980 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=1422880 CPUtime=294.24
/proc/10517/task/10533/stat : 10533 (satake) R 10515 10517 27791 0 -1 4202560 26543 0 0 0 28818 606 0 0 20 0 17 0 642823119 1457029120 328323 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134532624 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4585.59
Current children cumulated vsize (KiB) 1422880
[startup+569.504 s]
/proc/loadavg: 8.67 9.84 9.36 11/201 10544
/proc/meminfo: memFree=17795440/36427776 swapFree=4588/1323432
[pid=10517] ppid=10515 vsize=1422880 CPUtime=4640.03
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 397786 0 0 0 436208 27795 0 0 20 0 17 0 642823118 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 355720 328337 68 164 0 355555 0
[pid=10517/tid=10518] ppid=10515 vsize=1422880 CPUtime=211.41
/proc/10517/task/10518/stat : 10518 (satake) D 10515 10517 27791 0 -1 4202560 3107 0 0 0 1946 19195 0 0 20 0 17 0 642823118 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=1422880 CPUtime=280.75
/proc/10517/task/10519/stat : 10519 (satake) S 10515 10517 27791 0 -1 4202560 25683 0 0 0 27465 610 0 0 20 0 17 0 642823118 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=1422880 CPUtime=303.08
/proc/10517/task/10520/stat : 10520 (satake) S 10515 10517 27791 0 -1 4202560 26588 0 0 0 29740 568 0 0 20 0 17 0 642823118 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=1422880 CPUtime=284.14
/proc/10517/task/10521/stat : 10521 (satake) S 10515 10517 27791 0 -1 4202560 26324 0 0 0 27838 576 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=1422880 CPUtime=301.42
/proc/10517/task/10522/stat : 10522 (satake) R 10515 10517 27791 0 -1 4202560 26126 0 0 0 29508 634 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134523762 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=1422880 CPUtime=298.39
/proc/10517/task/10523/stat : 10523 (satake) S 10515 10517 27791 0 -1 4202560 25907 0 0 0 29251 588 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=1422880 CPUtime=299.92
/proc/10517/task/10524/stat : 10524 (satake) S 10515 10517 27791 0 -1 4202560 25536 0 0 0 29456 536 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=1422880 CPUtime=301.27
/proc/10517/task/10525/stat : 10525 (satake) S 10515 10517 27791 0 -1 4202560 27091 0 0 0 29563 564 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=1422880 CPUtime=300.05
/proc/10517/task/10526/stat : 10526 (satake) R 10515 10517 27791 0 -1 4202560 26009 0 0 0 29497 508 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=1422880 CPUtime=303.06
/proc/10517/task/10527/stat : 10527 (satake) R 10515 10517 27791 0 -1 4202560 26493 0 0 0 29774 532 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134518246 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=1422880 CPUtime=289.27
/proc/10517/task/10528/stat : 10528 (satake) S 10515 10517 27791 0 -1 4202560 26630 0 0 0 28285 642 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=1422880 CPUtime=291.09
/proc/10517/task/10529/stat : 10529 (satake) R 10515 10517 27791 0 -1 4202560 26293 0 0 0 28515 594 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134528398 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=1422880 CPUtime=289.5
/proc/10517/task/10530/stat : 10530 (satake) S 10515 10517 27791 0 -1 4202560 26526 0 0 0 28398 552 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=1422880 CPUtime=291.53
/proc/10517/task/10531/stat : 10531 (satake) R 10515 10517 27791 0 -1 4202560 26941 0 0 0 28633 520 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134528267 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=1422880 CPUtime=297.46
/proc/10517/task/10532/stat : 10532 (satake) R 10515 10517 27791 0 -1 4202560 25866 0 0 0 29184 562 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134522959 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=1422880 CPUtime=297.56
/proc/10517/task/10533/stat : 10533 (satake) R 10515 10517 27791 0 -1 4202560 26543 0 0 0 29146 610 0 0 20 0 17 0 642823119 1457029120 328337 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4640.03
Current children cumulated vsize (KiB) 1422880
[startup+571.104 s]
/proc/loadavg: 8.67 9.84 9.36 17/201 10544
/proc/meminfo: memFree=17795440/36427776 swapFree=4588/1323436
[pid=10517] ppid=10515 vsize=1422236 CPUtime=4651.05
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 397798 0 0 0 436947 28158 0 0 20 0 17 0 642823118 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 355559 328252 77 164 0 355394 0
[pid=10517/tid=10518] ppid=10515 vsize=1422236 CPUtime=212.31
/proc/10517/task/10518/stat : 10518 (satake) S 10515 10517 27791 0 -1 4202560 3109 0 0 0 1964 19267 0 0 20 0 17 0 642823118 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=10517/tid=10519] ppid=10515 vsize=1422236 CPUtime=281.13
/proc/10517/task/10519/stat : 10519 (satake) R 10515 10517 27791 0 -1 4202560 25683 0 0 0 27485 628 0 0 20 0 17 0 642823118 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=1422236 CPUtime=303.67
/proc/10517/task/10520/stat : 10520 (satake) R 10515 10517 27791 0 -1 4202560 26588 0 0 0 29779 588 0 0 20 0 17 0 642823118 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=1422236 CPUtime=284.62
/proc/10517/task/10521/stat : 10521 (satake) R 10515 10517 27791 0 -1 4202560 26324 0 0 0 27866 596 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=1422236 CPUtime=302.28
/proc/10517/task/10522/stat : 10522 (satake) R 10515 10517 27791 0 -1 4202560 26126 0 0 0 29576 652 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=1422236 CPUtime=298.98
/proc/10517/task/10523/stat : 10523 (satake) R 10515 10517 27791 0 -1 4202560 25908 0 0 0 29288 610 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=1422236 CPUtime=300.48
/proc/10517/task/10524/stat : 10524 (satake) S 10515 10517 27791 0 -1 4202560 25536 0 0 0 29492 556 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=1422236 CPUtime=301.75
/proc/10517/task/10525/stat : 10525 (satake) R 10515 10517 27791 0 -1 4202560 27091 0 0 0 29591 584 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=1422236 CPUtime=300.83
/proc/10517/task/10526/stat : 10526 (satake) R 10515 10517 27791 0 -1 4202560 26009 0 0 0 29553 530 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=1422236 CPUtime=303.99
/proc/10517/task/10527/stat : 10527 (satake) R 10515 10517 27791 0 -1 4202560 26493 0 0 0 29849 550 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=1422236 CPUtime=289.6
/proc/10517/task/10528/stat : 10528 (satake) R 10515 10517 27791 0 -1 4202560 26639 0 0 0 28298 662 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=1422236 CPUtime=291.73
/proc/10517/task/10529/stat : 10529 (satake) S 10515 10517 27791 0 -1 4202560 26293 0 0 0 28559 614 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=1422236 CPUtime=290.02
/proc/10517/task/10530/stat : 10530 (satake) R 10515 10517 27791 0 -1 4202560 26526 0 0 0 28430 572 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=1422236 CPUtime=292.46
/proc/10517/task/10531/stat : 10531 (satake) R 10515 10517 27791 0 -1 4202560 26941 0 0 0 28710 536 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=1422236 CPUtime=298.79
/proc/10517/task/10532/stat : 10532 (satake) R 10515 10517 27791 0 -1 4202560 25866 0 0 0 29299 580 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=1422236 CPUtime=298.25
/proc/10517/task/10533/stat : 10533 (satake) R 10515 10517 27791 0 -1 4202560 26543 0 0 0 29197 628 0 0 20 0 17 0 642823119 1456369664 328252 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4651.05
Current children cumulated vsize (KiB) 1422236
[startup+572.704 s]
/proc/loadavg: 9.10 9.91 9.39 2/200 10544
/proc/meminfo: memFree=17799880/36427776 swapFree=4624/1318412
[pid=10517] ppid=10515 vsize=1382304 CPUtime=4661.91
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 397798 0 0 0 437501 28690 0 0 20 0 16 0 642823118 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 345576 320720 77 164 0 345411 0
[pid=10517/tid=10519] ppid=10515 vsize=1382304 CPUtime=281.72
/proc/10517/task/10519/stat : 10519 (satake) S 10515 10517 27791 0 -1 4202560 25683 0 0 0 27516 656 0 0 20 0 16 0 642823118 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=1382304 CPUtime=304.47
/proc/10517/task/10520/stat : 10520 (satake) S 10515 10517 27791 0 -1 4202560 26588 0 0 0 29827 620 0 0 20 0 16 0 642823118 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=10517/tid=10521] ppid=10515 vsize=1382304 CPUtime=285.41
/proc/10517/task/10521/stat : 10521 (satake) S 10515 10517 27791 0 -1 4202560 26324 0 0 0 27907 634 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=10517/tid=10522] ppid=10515 vsize=1382304 CPUtime=302.93
/proc/10517/task/10522/stat : 10522 (satake) S 10515 10517 27791 0 -1 4202560 26126 0 0 0 29609 684 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=1382304 CPUtime=299.66
/proc/10517/task/10523/stat : 10523 (satake) S 10515 10517 27791 0 -1 4202560 25908 0 0 0 29324 642 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=10517/tid=10524] ppid=10515 vsize=1382304 CPUtime=301.27
/proc/10517/task/10524/stat : 10524 (satake) S 10515 10517 27791 0 -1 4202560 25536 0 0 0 29537 590 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=1382304 CPUtime=302.37
/proc/10517/task/10525/stat : 10525 (satake) S 10515 10517 27791 0 -1 4202560 27091 0 0 0 29621 616 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=1382304 CPUtime=301.47
/proc/10517/task/10526/stat : 10526 (satake) R 10515 10517 27791 0 -1 4202560 26009 0 0 0 29581 566 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134666377 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=1382304 CPUtime=304.64
/proc/10517/task/10527/stat : 10527 (satake) S 10515 10517 27791 0 -1 4202560 26493 0 0 0 29880 584 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=1382304 CPUtime=290.3
/proc/10517/task/10528/stat : 10528 (satake) R 10515 10517 27791 0 -1 4202560 26639 0 0 0 28334 696 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134666416 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=1382304 CPUtime=292.35
/proc/10517/task/10529/stat : 10529 (satake) S 10515 10517 27791 0 -1 4202560 26293 0 0 0 28589 646 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10517/tid=10530] ppid=10515 vsize=1382304 CPUtime=290.68
/proc/10517/task/10530/stat : 10530 (satake) S 10515 10517 27791 0 -1 4202560 26526 0 0 0 28460 608 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=10517/tid=10531] ppid=10515 vsize=1382304 CPUtime=293.14
/proc/10517/task/10531/stat : 10531 (satake) S 10515 10517 27791 0 -1 4202560 26941 0 0 0 28742 572 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=10517/tid=10532] ppid=10515 vsize=1382304 CPUtime=299.52
/proc/10517/task/10532/stat : 10532 (satake) S 10515 10517 27791 0 -1 4202560 25866 0 0 0 29336 616 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=10517/tid=10533] ppid=10515 vsize=1382304 CPUtime=298.93
/proc/10517/task/10533/stat : 10533 (satake) S 10515 10517 27791 0 -1 4202560 26543 0 0 0 29229 664 0 0 20 0 16 0 642823119 1415479296 320720 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4661.91
Current children cumulated vsize (KiB) 1382304
[startup+573.505 s]
/proc/loadavg: 9.10 9.91 9.39 16/200 10544
/proc/meminfo: memFree=17850300/36427776 swapFree=4624/1261300
[pid=10517] ppid=10515 vsize=1193316 CPUtime=4668.02
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 397798 0 0 0 437847 28955 0 0 20 0 9 0 642823118 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 298329 285527 77 164 0 298164 0
[pid=10517/tid=10519] ppid=10515 vsize=1193316 CPUtime=282.22
/proc/10517/task/10519/stat : 10519 (satake) R 10515 10517 27791 0 -1 4202560 25683 0 0 0 27546 676 0 0 20 0 9 0 642823118 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10517/tid=10520] ppid=10515 vsize=1193316 CPUtime=304.97
/proc/10517/task/10520/stat : 10520 (satake) S 10515 10517 27791 0 -1 4202560 26588 0 0 0 29853 644 0 0 20 0 9 0 642823118 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=10517/tid=10523] ppid=10515 vsize=1193316 CPUtime=300.13
/proc/10517/task/10523/stat : 10523 (satake) R 10515 10517 27791 0 -1 4202560 25908 0 0 0 29353 660 0 0 20 0 9 0 642823119 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10517/tid=10525] ppid=10515 vsize=1193316 CPUtime=302.85
/proc/10517/task/10525/stat : 10525 (satake) R 10515 10517 27791 0 -1 4202560 27091 0 0 0 29651 634 0 0 20 0 9 0 642823119 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10517/tid=10526] ppid=10515 vsize=1193316 CPUtime=301.95
/proc/10517/task/10526/stat : 10526 (satake) R 10515 10517 27791 0 -1 4202560 26009 0 0 0 29607 588 0 0 20 0 9 0 642823119 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10517/tid=10527] ppid=10515 vsize=1193316 CPUtime=305.15
/proc/10517/task/10527/stat : 10527 (satake) R 10515 10517 27791 0 -1 4202560 26493 0 0 0 29911 604 0 0 20 0 9 0 642823119 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10517/tid=10528] ppid=10515 vsize=1193316 CPUtime=290.84
/proc/10517/task/10528/stat : 10528 (satake) R 10515 10517 27791 0 -1 4202560 26639 0 0 0 28368 716 0 0 20 0 9 0 642823119 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10517/tid=10529] ppid=10515 vsize=1193316 CPUtime=292.83
/proc/10517/task/10529/stat : 10529 (satake) R 10515 10517 27791 0 -1 4202560 26293 0 0 0 28609 674 0 0 20 0 9 0 642823119 1221955584 285527 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4668.02
Current children cumulated vsize (KiB) 1193316
[startup+573.902 s]
/proc/loadavg: 9.10 9.91 9.39 16/200 10544
/proc/meminfo: memFree=17850300/36427776 swapFree=4624/1261300
[pid=10517] ppid=10515 vsize=492972 CPUtime=4668.98
/proc/10517/stat : 10517 (satake) S 10515 10517 27791 0 -1 4202496 397798 0 0 0 437893 29005 0 0 20 0 2 0 642823118 504803328 117336 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/10517/statm: 123243 117336 77 164 0 123078 0
[pid=10517/tid=10523] ppid=10515 vsize=492972 CPUtime=300.49
/proc/10517/task/10523/stat : 10523 (satake) R 10515 10517 27791 0 -1 4202560 25908 0 0 0 29365 684 0 0 20 0 2 0 642823119 504803328 117336 18446744073709551615 134512640 135180984 4291283808 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4668.98
Current children cumulated vsize (KiB) 492972
Child status: 16
Real time (s): 573.971
CPU time (s): 4669.06
CPU user time (s): 4378.94
CPU system time (s): 290.126
CPU usage (%): 813.467
Max. virtual memory (cumulated for all children) (KiB): 1422880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4378.94
system time used= 290.126
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 397799
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= 23940326
involuntary context switches= 1489273
runsolver used 2.73217 second user time and 7.71648 second system time
The end
Begin job on xenhost3-49 at 2009-06-12 21:32:47
IDJOB=1780632
IDBENCH=71039
IDSOLVER=631
FILE ID=xenhost3-49/1780632-1244835167
PBS_JOBID=
Free space on /tmp= 7011 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780632-1244835167/watcher-1780632-1244835167 -o /tmp/evaluation-result-1780632-1244835167/solver-1780632-1244835167 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780632-1244835167.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= bcbcc9a4e4a7e3ebed9eeaa393ebdc32
RANDOM SEED= 944201930
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: 19111056 kB
Buffers: 435456 kB
Cached: 14130476 kB
SwapCached: 0 kB
Active: 4080848 kB
Inactive: 10493112 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 19244 kB
Writeback: 0 kB
AnonPages: 8752 kB
Mapped: 4056 kB
Slab: 689992 kB
SReclaimable: 663060 kB
SUnreclaim: 26932 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7011 MiB
End job on xenhost3-49 at 2009-06-12 21:42:22