92.09/77.97 c Benchmark name : HOME/instance-1781547-1244871408.cnf
92.09/77.97 c Thread Num : 16
92.09/77.97 c restarts : 8
92.09/77.97 c conflicts : 4063
92.09/77.97 c decisions : 12536 ( 161 / sec )
92.09/77.97 c propagations : 2300111 ( 29617 / sec )
92.09/77.97 c inspects : 7374438 ( 94956 / sec )
92.09/77.97 c conflict literals : 86404 ( 35.77 % deleted )
92.09/77.97 c cpu time : 77.66
92.09/77.97 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781547-1244871408/watcher-1781547-1244871408 -o /tmp/evaluation-result-1781547-1244871408/solver-1781547-1244871408 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781547-1244871408.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: 2.52 3.70 3.89 2/184 14606
/proc/meminfo: memFree=19123768/36427776 swapFree=4224/8592
[pid=14606] ppid=14604 vsize=7096 CPUtime=0
/proc/14606/stat : 14606 (satake) R 14604 14606 27791 0 -1 4202496 423 0 0 0 0 0 0 0 20 0 16 0 646447133 7266304 380 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134675767 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14606/statm: 1774 380 63 164 0 1609 0
[pid=14606/tid=14607] ppid=14604 vsize=7232 CPUtime=0
/proc/14606/task/14607/stat : 14607 (satake) S 14604 14606 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 646447133 7405568 420 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14606/tid=14608] ppid=14604 vsize=7232 CPUtime=0
/proc/14606/task/14608/stat : 14608 (satake) R 14604 14606 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 646447133 7405568 425 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14606/tid=14609] ppid=14604 vsize=7232 CPUtime=0
/proc/14606/task/14609/stat : 14609 (satake) R 14604 14606 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 646447133 7405568 425 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14606/tid=14610] ppid=14604 vsize=7232 CPUtime=0
/proc/14606/task/14610/stat : 14610 (satake) R 14604 14606 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 646447133 7405568 425 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14606/tid=14611] ppid=14604 vsize=7232 CPUtime=0
/proc/14606/task/14611/stat : 14611 (satake) R 14604 14606 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 646447133 7405568 426 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14606/tid=14612] ppid=14604 vsize=7232 CPUtime=0
/proc/14606/task/14612/stat : 14612 (satake) D 14604 14606 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 646447133 7405568 428 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14606/tid=14613] ppid=14604 vsize=7236 CPUtime=0
/proc/14606/task/14613/stat : 14613 (satake) S 14604 14606 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 646447133 7409664 428 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=14606/tid=14614] ppid=14604 vsize=7236 CPUtime=0
/proc/14606/task/14614/stat : 14614 (satake) S 14604 14606 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 646447133 7409664 432 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=14606/tid=14615] ppid=14604 vsize=7236 CPUtime=0
/proc/14606/task/14615/stat : 14615 (satake) S 14604 14606 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 646447133 7409664 434 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=14606/tid=14616] ppid=14604 vsize=7236 CPUtime=0
/proc/14606/task/14616/stat : 14616 (satake) S 14604 14606 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 646447133 7409664 434 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14617] ppid=14604 vsize=7236 CPUtime=0
/proc/14606/task/14617/stat : 14617 (satake) S 14604 14606 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 646447133 7409664 434 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=14606/tid=14618] ppid=14604 vsize=7236 CPUtime=0
/proc/14606/task/14618/stat : 14618 (satake) R 14604 14606 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 17 0 646447133 7409664 436 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14619] ppid=14604 vsize=7236 CPUtime=0
/proc/14606/task/14619/stat : 14619 (satake) S 14604 14606 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 646447133 7409664 438 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=14606/tid=14620] ppid=14604 vsize=7236 CPUtime=0
/proc/14606/task/14620/stat : 14620 (satake) D 14604 14606 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 646447133 7409664 438 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14606/tid=14621] ppid=14604 vsize=7236 CPUtime=0
/proc/14606/task/14621/stat : 14621 (satake) R 14604 14606 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 646447133 7409664 439 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14622] ppid=14604 vsize=7236 CPUtime=0
/proc/14606/task/14622/stat : 14622 (satake) R 14604 14606 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 646447134 7409664 439 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.026212 s]
/proc/loadavg: 2.52 3.70 3.89 2/184 14606
/proc/meminfo: memFree=19123768/36427776 swapFree=4224/8592
[pid=14606] ppid=14604 vsize=11236 CPUtime=0.07
/proc/14606/stat : 14606 (satake) S 14604 14606 27791 0 -1 4202496 1156 0 0 0 3 4 0 0 20 0 17 0 646447133 11505664 1112 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14606/statm: 2809 1114 63 164 0 2644 0
[pid=14606/tid=14607] ppid=14604 vsize=11236 CPUtime=0
/proc/14606/task/14607/stat : 14607 (satake) S 14604 14606 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 646447133 11505664 1125 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14606/tid=14608] ppid=14604 vsize=11236 CPUtime=0
/proc/14606/task/14608/stat : 14608 (satake) D 14604 14606 27791 0 -1 4202560 88 0 0 0 0 0 0 0 20 0 17 0 646447133 11505664 1130 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14606/tid=14609] ppid=14604 vsize=11236 CPUtime=0
/proc/14606/task/14609/stat : 14609 (satake) D 14604 14606 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 646447133 11505664 1130 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14606/tid=14610] ppid=14604 vsize=11236 CPUtime=0
/proc/14606/task/14610/stat : 14610 (satake) D 14604 14606 27791 0 -1 4202560 87 0 0 0 0 0 0 0 20 0 17 0 646447133 11505664 1130 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14606/tid=14611] ppid=14604 vsize=11492 CPUtime=0
/proc/14606/task/14611/stat : 14611 (satake) D 14604 14606 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 646447133 11767808 1131 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14606/tid=14612] ppid=14604 vsize=11492 CPUtime=0
/proc/14606/task/14612/stat : 14612 (satake) R 14604 14606 27791 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 17 0 646447133 11767808 1134 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14606/tid=14613] ppid=14604 vsize=11492 CPUtime=0
/proc/14606/task/14613/stat : 14613 (satake) S 14604 14606 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 646447133 11767808 1134 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=14606/tid=14614] ppid=14604 vsize=11492 CPUtime=0
/proc/14606/task/14614/stat : 14614 (satake) D 14604 14606 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 646447133 11767808 1134 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14606/tid=14615] ppid=14604 vsize=11492 CPUtime=0
/proc/14606/task/14615/stat : 14615 (satake) R 14604 14606 27791 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 17 0 646447133 11767808 1134 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14606/tid=14616] ppid=14604 vsize=11748 CPUtime=0
/proc/14606/task/14616/stat : 14616 (satake) D 14604 14606 27791 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 17 0 646447133 12029952 1135 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14617] ppid=14604 vsize=11748 CPUtime=0
/proc/14606/task/14617/stat : 14617 (satake) R 14604 14606 27791 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 17 0 646447133 12029952 1139 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14606/tid=14618] ppid=14604 vsize=11748 CPUtime=0
/proc/14606/task/14618/stat : 14618 (satake) D 14604 14606 27791 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 17 0 646447133 12029952 1141 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14619] ppid=14604 vsize=11748 CPUtime=0
/proc/14606/task/14619/stat : 14619 (satake) R 14604 14606 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 646447133 12029952 1143 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14606/tid=14620] ppid=14604 vsize=11748 CPUtime=0
/proc/14606/task/14620/stat : 14620 (satake) R 14604 14606 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 646447133 12029952 1143 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14606/tid=14621] ppid=14604 vsize=11748 CPUtime=0
/proc/14606/task/14621/stat : 14621 (satake) R 14604 14606 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 646447133 12029952 1143 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14622] ppid=14604 vsize=11748 CPUtime=0
/proc/14606/task/14622/stat : 14622 (satake) R 14604 14606 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 646447134 12029952 1144 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11236
[startup+0.106007 s]
/proc/loadavg: 2.52 3.70 3.89 2/184 14606
/proc/meminfo: memFree=19123768/36427776 swapFree=4224/8592
[pid=14606] ppid=14604 vsize=27032 CPUtime=0.47
/proc/14606/stat : 14606 (satake) S 14604 14606 27791 0 -1 4202496 4860 0 0 0 22 25 0 0 20 0 17 0 646447133 27680768 4816 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14606/statm: 6758 4821 63 164 0 6593 0
[pid=14606/tid=14607] ppid=14604 vsize=27032 CPUtime=0
/proc/14606/task/14607/stat : 14607 (satake) S 14604 14606 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 646447133 27680768 4821 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14606/tid=14608] ppid=14604 vsize=27032 CPUtime=0.02
/proc/14606/task/14608/stat : 14608 (satake) D 14604 14606 27791 0 -1 4202560 289 0 0 0 0 2 0 0 20 0 17 0 646447133 27680768 4822 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14606/tid=14609] ppid=14604 vsize=27032 CPUtime=0.04
/proc/14606/task/14609/stat : 14609 (satake) R 14604 14606 27791 0 -1 4202560 401 0 0 0 0 4 0 0 20 0 17 0 646447133 27680768 4822 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14606/tid=14610] ppid=14604 vsize=27032 CPUtime=0.02
/proc/14606/task/14610/stat : 14610 (satake) S 14604 14606 27791 0 -1 4202560 279 0 0 0 2 0 0 0 20 0 17 0 646447133 27680768 4822 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14606/tid=14611] ppid=14604 vsize=27032 CPUtime=0
/proc/14606/task/14611/stat : 14611 (satake) R 14604 14606 27791 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 17 0 646447133 27680768 4823 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134702260 0 0 1 0 18446744071565523402 0 0 -1 0 0 0 0 0 0
[pid=14606/tid=14612] ppid=14604 vsize=27032 CPUtime=0.02
/proc/14606/task/14612/stat : 14612 (satake) S 14604 14606 27791 0 -1 4202560 309 0 0 0 0 2 0 0 20 0 17 0 646447133 27680768 4823 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=14606/tid=14613] ppid=14604 vsize=27032 CPUtime=0.02
/proc/14606/task/14613/stat : 14613 (satake) R 14604 14606 27791 0 -1 4202560 301 0 0 0 2 0 0 0 20 0 17 0 646447133 27680768 4825 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=14606/tid=14614] ppid=14604 vsize=27032 CPUtime=0.02
/proc/14606/task/14614/stat : 14614 (satake) D 14604 14606 27791 0 -1 4202560 313 0 0 0 0 2 0 0 20 0 17 0 646447133 27680768 4825 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14615] ppid=14604 vsize=27032 CPUtime=0.02
/proc/14606/task/14615/stat : 14615 (satake) S 14604 14606 27791 0 -1 4202560 328 0 0 0 0 2 0 0 20 0 17 0 646447133 27680768 4825 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=14606/tid=14616] ppid=14604 vsize=27032 CPUtime=0.02
/proc/14606/task/14616/stat : 14616 (satake) R 14604 14606 27791 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 17 0 646447133 27680768 4826 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134522704 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14617] ppid=14604 vsize=27032 CPUtime=0.04
/proc/14606/task/14617/stat : 14617 (satake) R 14604 14606 27791 0 -1 4202560 363 0 0 0 0 4 0 0 20 0 17 0 646447133 27680768 4830 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14606/tid=14618] ppid=14604 vsize=27032 CPUtime=0.02
/proc/14606/task/14618/stat : 14618 (satake) R 14604 14606 27791 0 -1 4202560 278 0 0 0 0 2 0 0 20 0 17 0 646447133 27680768 4830 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14619] ppid=14604 vsize=27032 CPUtime=0.02
/proc/14606/task/14619/stat : 14619 (satake) R 14604 14606 27791 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 17 0 646447133 27680768 4831 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14606/tid=14620] ppid=14604 vsize=27032 CPUtime=0.04
/proc/14606/task/14620/stat : 14620 (satake) S 14604 14606 27791 0 -1 4202560 345 0 0 0 4 0 0 0 20 0 17 0 646447133 27680768 4831 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=14606/tid=14621] ppid=14604 vsize=27032 CPUtime=0.02
/proc/14606/task/14621/stat : 14621 (satake) S 14604 14606 27791 0 -1 4202560 327 0 0 0 2 0 0 0 20 0 17 0 646447133 27680768 4832 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14622] ppid=14604 vsize=27032 CPUtime=0.02
/proc/14606/task/14622/stat : 14622 (satake) S 14604 14606 27791 0 -1 4202560 263 0 0 0 2 0 0 0 20 0 17 0 646447134 27680768 4832 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 27032
[startup+0.302008 s]
/proc/loadavg: 2.52 3.70 3.89 2/184 14606
/proc/meminfo: memFree=19123768/36427776 swapFree=4224/8592
[pid=14606] ppid=14604 vsize=58528 CPUtime=1.27
/proc/14606/stat : 14606 (satake) S 14604 14606 27791 0 -1 4202496 11918 0 0 0 57 70 0 0 20 0 17 0 646447133 59932672 11874 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14606/statm: 14632 11877 63 164 0 14467 0
[pid=14606/tid=14607] ppid=14604 vsize=58528 CPUtime=0
/proc/14606/task/14607/stat : 14607 (satake) S 14604 14606 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 646447133 59932672 11877 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14606/tid=14608] ppid=14604 vsize=58528 CPUtime=0.08
/proc/14606/task/14608/stat : 14608 (satake) S 14604 14606 27791 0 -1 4202560 732 0 0 0 2 6 0 0 20 0 17 0 646447133 59932672 11879 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14606/tid=14609] ppid=14604 vsize=58528 CPUtime=0.1
/proc/14606/task/14609/stat : 14609 (satake) S 14604 14606 27791 0 -1 4202560 851 0 0 0 6 4 0 0 20 0 17 0 646447133 59932672 11879 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14610] ppid=14604 vsize=58528 CPUtime=0.06
/proc/14606/task/14610/stat : 14610 (satake) S 14604 14606 27791 0 -1 4202560 716 0 0 0 4 2 0 0 20 0 17 0 646447133 59932672 11881 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14606/tid=14611] ppid=14604 vsize=58528 CPUtime=0.06
/proc/14606/task/14611/stat : 14611 (satake) D 14604 14606 27791 0 -1 4202560 720 0 0 0 6 0 0 0 20 0 17 0 646447133 59932672 11881 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14606/tid=14612] ppid=14604 vsize=58528 CPUtime=0.08
/proc/14606/task/14612/stat : 14612 (satake) S 14604 14606 27791 0 -1 4202560 758 0 0 0 4 4 0 0 20 0 17 0 646447133 59932672 11881 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14613] ppid=14604 vsize=58528 CPUtime=0.06
/proc/14606/task/14613/stat : 14613 (satake) S 14604 14606 27791 0 -1 4202560 775 0 0 0 2 4 0 0 20 0 17 0 646447133 59932672 11881 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=14606/tid=14614] ppid=14604 vsize=58528 CPUtime=0.06
/proc/14606/task/14614/stat : 14614 (satake) R 14604 14606 27791 0 -1 4202560 743 0 0 0 2 4 0 0 20 0 17 0 646447133 59932672 11883 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14615] ppid=14604 vsize=58528 CPUtime=0.08
/proc/14606/task/14615/stat : 14615 (satake) S 14604 14606 27791 0 -1 4202560 821 0 0 0 2 6 0 0 20 0 17 0 646447133 59932672 11884 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=14606/tid=14616] ppid=14604 vsize=58528 CPUtime=0.08
/proc/14606/task/14616/stat : 14616 (satake) S 14604 14606 27791 0 -1 4202560 843 0 0 0 4 4 0 0 20 0 17 0 646447133 59932672 11884 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14617] ppid=14604 vsize=58528 CPUtime=0.1
/proc/14606/task/14617/stat : 14617 (satake) R 14604 14606 27791 0 -1 4202560 883 0 0 0 2 8 0 0 20 0 17 0 646447133 59932672 11884 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14606/tid=14618] ppid=14604 vsize=58528 CPUtime=0.08
/proc/14606/task/14618/stat : 14618 (satake) S 14604 14606 27791 0 -1 4202560 761 0 0 0 2 6 0 0 20 0 17 0 646447133 59932672 11884 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14619] ppid=14604 vsize=58528 CPUtime=0.08
/proc/14606/task/14619/stat : 14619 (satake) S 14604 14606 27791 0 -1 4202560 921 0 0 0 6 2 0 0 20 0 17 0 646447133 59932672 11885 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=14606/tid=14620] ppid=14604 vsize=58528 CPUtime=0.1
/proc/14606/task/14620/stat : 14620 (satake) R 14604 14606 27791 0 -1 4202560 824 0 0 0 4 6 0 0 20 0 17 0 646447133 59932672 11885 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134702260 0 0 1 0 18446744071564503468 0 0 -1 5 0 0 0 0 0
[pid=14606/tid=14621] ppid=14604 vsize=58528 CPUtime=0.08
/proc/14606/task/14621/stat : 14621 (satake) S 14604 14606 27791 0 -1 4202560 760 0 0 0 2 6 0 0 20 0 17 0 646447133 59932672 11887 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14622] ppid=14604 vsize=58528 CPUtime=0.06
/proc/14606/task/14622/stat : 14622 (satake) D 14604 14606 27791 0 -1 4202560 689 0 0 0 4 2 0 0 20 0 17 0 646447134 59932672 11888 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 58528
[startup+0.702254 s]
/proc/loadavg: 2.52 3.70 3.89 2/184 14606
/proc/meminfo: memFree=19123768/36427776 swapFree=4224/8592
[pid=14606] ppid=14604 vsize=58336 CPUtime=2.58
/proc/14606/stat : 14606 (satake) S 14604 14606 27791 0 -1 4202496 14584 0 0 0 168 90 0 0 20 0 17 0 646447133 59736064 12020 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14606/statm: 14584 12020 68 164 0 14419 0
[pid=14606/tid=14607] ppid=14604 vsize=58336 CPUtime=0.14
/proc/14606/task/14607/stat : 14607 (satake) R 14604 14606 27791 0 -1 4202560 273 0 0 0 2 12 0 0 20 0 17 0 646447133 59736064 12020 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14606/tid=14608] ppid=14604 vsize=58336 CPUtime=0.12
/proc/14606/task/14608/stat : 14608 (satake) S 14604 14606 27791 0 -1 4202560 883 0 0 0 6 6 0 0 20 0 17 0 646447133 59736064 12020 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=14606/tid=14609] ppid=14604 vsize=58336 CPUtime=0.18
/proc/14606/task/14609/stat : 14609 (satake) S 14604 14606 27791 0 -1 4202560 905 0 0 0 14 4 0 0 20 0 17 0 646447133 59736064 12020 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14610] ppid=14604 vsize=58336 CPUtime=0.12
/proc/14606/task/14610/stat : 14610 (satake) S 14604 14606 27791 0 -1 4202560 901 0 0 0 8 4 0 0 20 0 17 0 646447133 59736064 12020 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=14606/tid=14611] ppid=14604 vsize=58336 CPUtime=0.12
/proc/14606/task/14611/stat : 14611 (satake) S 14604 14606 27791 0 -1 4202560 1021 0 0 0 12 0 0 0 20 0 17 0 646447133 59736064 12020 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=14606/tid=14612] ppid=14604 vsize=58336 CPUtime=0.18
/proc/14606/task/14612/stat : 14612 (satake) S 14604 14606 27791 0 -1 4202560 938 0 0 0 12 6 0 0 20 0 17 0 646447133 59736064 12020 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14613] ppid=14604 vsize=58336 CPUtime=0.18
/proc/14606/task/14613/stat : 14613 (satake) R 14604 14606 27791 0 -1 4202560 970 0 0 0 12 6 0 0 20 0 17 0 646447133 59736064 12020 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14606/tid=14614] ppid=14604 vsize=58336 CPUtime=0.14
/proc/14606/task/14614/stat : 14614 (satake) D 14604 14606 27791 0 -1 4202560 962 0 0 0 8 6 0 0 20 0 17 0 646447133 59736064 12020 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14615] ppid=14604 vsize=58336 CPUtime=0.18
/proc/14606/task/14615/stat : 14615 (satake) S 14604 14606 27791 0 -1 4202560 946 0 0 0 12 6 0 0 20 0 17 0 646447133 59736064 12020 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=14606/tid=14616] ppid=14604 vsize=58336 CPUtime=0.16
################
# More data... #
################
/proc/14606/task/14614/stat : 14614 (satake) S 14604 14606 27791 0 -1 4202560 1400 0 0 0 158 172 0 0 20 0 17 0 646447133 90439680 19870 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14615] ppid=14604 vsize=88320 CPUtime=3.34
/proc/14606/task/14615/stat : 14615 (satake) S 14604 14606 27791 0 -1 4202560 1418 0 0 0 146 188 0 0 20 0 17 0 646447133 90439680 19870 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=14606/tid=14616] ppid=14604 vsize=88320 CPUtime=3.4
/proc/14606/task/14616/stat : 14616 (satake) S 14604 14606 27791 0 -1 4202560 1469 0 0 0 156 184 0 0 20 0 17 0 646447133 90439680 19870 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14617] ppid=14604 vsize=88320 CPUtime=3.82
/proc/14606/task/14617/stat : 14617 (satake) S 14604 14606 27791 0 -1 4202560 1382 0 0 0 156 226 0 0 20 0 17 0 646447133 90439680 19870 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=14606/tid=14618] ppid=14604 vsize=88320 CPUtime=3.9
/proc/14606/task/14618/stat : 14618 (satake) S 14604 14606 27791 0 -1 4202560 1462 0 0 0 156 234 0 0 20 0 17 0 646447133 90439680 19870 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14619] ppid=14604 vsize=88320 CPUtime=3.66
/proc/14606/task/14619/stat : 14619 (satake) S 14604 14606 27791 0 -1 4202560 1428 0 0 0 184 182 0 0 20 0 17 0 646447133 90439680 19870 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14606/tid=14620] ppid=14604 vsize=88320 CPUtime=3.68
/proc/14606/task/14620/stat : 14620 (satake) S 14604 14606 27791 0 -1 4202560 1333 0 0 0 158 210 0 0 20 0 17 0 646447133 90439680 19870 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=14606/tid=14621] ppid=14604 vsize=88320 CPUtime=3.6
/proc/14606/task/14621/stat : 14621 (satake) S 14604 14606 27791 0 -1 4202560 1469 0 0 0 156 204 0 0 20 0 17 0 646447133 90439680 19870 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14622] ppid=14604 vsize=88320 CPUtime=3.68
/proc/14606/task/14622/stat : 14622 (satake) S 14604 14606 27791 0 -1 4202560 1456 0 0 0 158 210 0 0 20 0 17 0 646447134 90439680 19870 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 85.6
Current children cumulated vsize (KiB) 88320
[startup+75.1035 s]
/proc/loadavg: 2.27 3.36 3.75 2/201 14623
/proc/meminfo: memFree=19047104/36427776 swapFree=4588/89472
[pid=14606] ppid=14604 vsize=88320 CPUtime=87.43
/proc/14606/stat : 14606 (satake) S 14604 14606 27791 0 -1 4202496 22513 0 0 0 2838 5905 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14606/statm: 22080 19949 68 164 0 21915 0
[pid=14606/tid=14607] ppid=14604 vsize=88320 CPUtime=35.82
/proc/14606/task/14607/stat : 14607 (satake) R 14604 14606 27791 0 -1 4202560 990 0 0 0 468 3114 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14606/tid=14608] ppid=14604 vsize=88320 CPUtime=3.14
/proc/14606/task/14608/stat : 14608 (satake) S 14604 14606 27791 0 -1 4202560 1367 0 0 0 152 162 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=14606/tid=14609] ppid=14604 vsize=88320 CPUtime=3.2
/proc/14606/task/14609/stat : 14609 (satake) S 14604 14606 27791 0 -1 4202560 1416 0 0 0 162 158 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14610] ppid=14604 vsize=88320 CPUtime=1.86
/proc/14606/task/14610/stat : 14610 (satake) S 14604 14606 27791 0 -1 4202560 1354 0 0 0 110 76 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=14606/tid=14611] ppid=14604 vsize=88320 CPUtime=3.42
/proc/14606/task/14611/stat : 14611 (satake) S 14604 14606 27791 0 -1 4202560 1483 0 0 0 146 196 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=14606/tid=14612] ppid=14604 vsize=88320 CPUtime=3.64
/proc/14606/task/14612/stat : 14612 (satake) S 14604 14606 27791 0 -1 4202560 1441 0 0 0 174 190 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14613] ppid=14604 vsize=88320 CPUtime=3.12
/proc/14606/task/14613/stat : 14613 (satake) S 14604 14606 27791 0 -1 4202560 1483 0 0 0 158 154 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=14606/tid=14614] ppid=14604 vsize=88320 CPUtime=3.38
/proc/14606/task/14614/stat : 14614 (satake) S 14604 14606 27791 0 -1 4202560 1400 0 0 0 162 176 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14615] ppid=14604 vsize=88320 CPUtime=3.42
/proc/14606/task/14615/stat : 14615 (satake) S 14604 14606 27791 0 -1 4202560 1423 0 0 0 148 194 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=14606/tid=14616] ppid=14604 vsize=88320 CPUtime=3.44
/proc/14606/task/14616/stat : 14616 (satake) S 14604 14606 27791 0 -1 4202560 1471 0 0 0 158 186 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14617] ppid=14604 vsize=88320 CPUtime=3.92
/proc/14606/task/14617/stat : 14617 (satake) S 14604 14606 27791 0 -1 4202560 1393 0 0 0 160 232 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=14606/tid=14618] ppid=14604 vsize=88320 CPUtime=4
/proc/14606/task/14618/stat : 14618 (satake) S 14604 14606 27791 0 -1 4202560 1466 0 0 0 160 240 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14619] ppid=14604 vsize=88320 CPUtime=3.74
/proc/14606/task/14619/stat : 14619 (satake) S 14604 14606 27791 0 -1 4202560 1432 0 0 0 188 186 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14606/tid=14620] ppid=14604 vsize=88320 CPUtime=3.76
/proc/14606/task/14620/stat : 14620 (satake) S 14604 14606 27791 0 -1 4202560 1339 0 0 0 164 212 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=14606/tid=14621] ppid=14604 vsize=88320 CPUtime=3.7
/proc/14606/task/14621/stat : 14621 (satake) S 14604 14606 27791 0 -1 4202560 1471 0 0 0 162 208 0 0 20 0 17 0 646447133 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14622] ppid=14604 vsize=88320 CPUtime=3.74
/proc/14606/task/14622/stat : 14622 (satake) S 14604 14606 27791 0 -1 4202560 1459 0 0 0 162 212 0 0 20 0 17 0 646447134 90439680 19949 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 87.43
Current children cumulated vsize (KiB) 88320
[startup+76.7041 s]
/proc/loadavg: 2.27 3.36 3.75 3/201 14623
/proc/meminfo: memFree=19046856/36427776 swapFree=4588/89720
[pid=14606] ppid=14604 vsize=89344 CPUtime=89.3
/proc/14606/stat : 14606 (satake) S 14604 14606 27791 0 -1 4202496 22588 0 0 0 2907 6023 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14606/statm: 22336 20024 68 164 0 22171 0
[pid=14606/tid=14607] ppid=14604 vsize=89344 CPUtime=36.56
/proc/14606/task/14607/stat : 14607 (satake) R 14604 14606 27791 0 -1 4202560 1003 0 0 0 478 3178 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14606/tid=14608] ppid=14604 vsize=89344 CPUtime=3.22
/proc/14606/task/14608/stat : 14608 (satake) S 14604 14606 27791 0 -1 4202560 1376 0 0 0 154 168 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=14606/tid=14609] ppid=14604 vsize=89344 CPUtime=3.2
/proc/14606/task/14609/stat : 14609 (satake) S 14604 14606 27791 0 -1 4202560 1416 0 0 0 162 158 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14610] ppid=14604 vsize=89344 CPUtime=1.94
/proc/14606/task/14610/stat : 14610 (satake) S 14604 14606 27791 0 -1 4202560 1358 0 0 0 116 78 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=14606/tid=14611] ppid=14604 vsize=89344 CPUtime=3.56
/proc/14606/task/14611/stat : 14611 (satake) S 14604 14606 27791 0 -1 4202560 1493 0 0 0 154 202 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=14606/tid=14612] ppid=14604 vsize=89344 CPUtime=3.74
/proc/14606/task/14612/stat : 14612 (satake) S 14604 14606 27791 0 -1 4202560 1448 0 0 0 178 196 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14613] ppid=14604 vsize=89344 CPUtime=3.16
/proc/14606/task/14613/stat : 14613 (satake) S 14604 14606 27791 0 -1 4202560 1489 0 0 0 162 154 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=14606/tid=14614] ppid=14604 vsize=89344 CPUtime=3.46
/proc/14606/task/14614/stat : 14614 (satake) S 14604 14606 27791 0 -1 4202560 1406 0 0 0 166 180 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14615] ppid=14604 vsize=89344 CPUtime=3.42
/proc/14606/task/14615/stat : 14615 (satake) S 14604 14606 27791 0 -1 4202560 1423 0 0 0 148 194 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=14606/tid=14616] ppid=14604 vsize=89344 CPUtime=3.48
/proc/14606/task/14616/stat : 14616 (satake) S 14604 14606 27791 0 -1 4202560 1474 0 0 0 160 188 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14617] ppid=14604 vsize=89344 CPUtime=4.06
/proc/14606/task/14617/stat : 14617 (satake) S 14604 14606 27791 0 -1 4202560 1398 0 0 0 164 242 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=14606/tid=14618] ppid=14604 vsize=89344 CPUtime=4.14
/proc/14606/task/14618/stat : 14618 (satake) S 14604 14606 27791 0 -1 4202560 1471 0 0 0 168 246 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14619] ppid=14604 vsize=89344 CPUtime=3.74
/proc/14606/task/14619/stat : 14619 (satake) S 14604 14606 27791 0 -1 4202560 1432 0 0 0 188 186 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14606/tid=14620] ppid=14604 vsize=89344 CPUtime=3.82
/proc/14606/task/14620/stat : 14620 (satake) D 14604 14606 27791 0 -1 4202560 1340 0 0 0 164 218 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14606/tid=14621] ppid=14604 vsize=89344 CPUtime=3.84
/proc/14606/task/14621/stat : 14621 (satake) S 14604 14606 27791 0 -1 4202560 1475 0 0 0 172 212 0 0 20 0 17 0 646447133 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14622] ppid=14604 vsize=89344 CPUtime=3.86
/proc/14606/task/14622/stat : 14622 (satake) S 14604 14606 27791 0 -1 4202560 1461 0 0 0 168 218 0 0 20 0 17 0 646447134 91488256 20024 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 89.3
Current children cumulated vsize (KiB) 89344
[startup+77.5022 s]
/proc/loadavg: 2.27 3.36 3.75 3/201 14623
/proc/meminfo: memFree=19046732/36427776 swapFree=4588/89988
[pid=14606] ppid=14604 vsize=89344 CPUtime=90.38
/proc/14606/stat : 14606 (satake) S 14604 14606 27791 0 -1 4202496 22616 0 0 0 2947 6091 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14606/statm: 22336 20052 68 164 0 22171 0
[pid=14606/tid=14607] ppid=14604 vsize=89344 CPUtime=36.95
/proc/14606/task/14607/stat : 14607 (satake) R 14604 14606 27791 0 -1 4202560 1010 0 0 0 484 3211 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14606/tid=14608] ppid=14604 vsize=89344 CPUtime=3.22
/proc/14606/task/14608/stat : 14608 (satake) S 14604 14606 27791 0 -1 4202560 1376 0 0 0 154 168 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=14606/tid=14609] ppid=14604 vsize=89344 CPUtime=3.32
/proc/14606/task/14609/stat : 14609 (satake) S 14604 14606 27791 0 -1 4202560 1418 0 0 0 168 164 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14610] ppid=14604 vsize=89344 CPUtime=1.94
/proc/14606/task/14610/stat : 14610 (satake) S 14604 14606 27791 0 -1 4202560 1358 0 0 0 116 78 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=14606/tid=14611] ppid=14604 vsize=89344 CPUtime=3.56
/proc/14606/task/14611/stat : 14611 (satake) S 14604 14606 27791 0 -1 4202560 1493 0 0 0 154 202 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=14606/tid=14612] ppid=14604 vsize=89344 CPUtime=3.84
/proc/14606/task/14612/stat : 14612 (satake) S 14604 14606 27791 0 -1 4202560 1450 0 0 0 180 204 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14613] ppid=14604 vsize=89344 CPUtime=3.18
/proc/14606/task/14613/stat : 14613 (satake) S 14604 14606 27791 0 -1 4202560 1490 0 0 0 162 156 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=14606/tid=14614] ppid=14604 vsize=89344 CPUtime=3.46
/proc/14606/task/14614/stat : 14614 (satake) S 14604 14606 27791 0 -1 4202560 1406 0 0 0 166 180 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14615] ppid=14604 vsize=89344 CPUtime=3.52
/proc/14606/task/14615/stat : 14615 (satake) S 14604 14606 27791 0 -1 4202560 1427 0 0 0 150 202 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=14606/tid=14616] ppid=14604 vsize=89344 CPUtime=3.6
/proc/14606/task/14616/stat : 14616 (satake) S 14604 14606 27791 0 -1 4202560 1480 0 0 0 166 194 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14617] ppid=14604 vsize=89344 CPUtime=4.06
/proc/14606/task/14617/stat : 14617 (satake) S 14604 14606 27791 0 -1 4202560 1398 0 0 0 164 242 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=14606/tid=14618] ppid=14604 vsize=89344 CPUtime=4.14
/proc/14606/task/14618/stat : 14618 (satake) S 14604 14606 27791 0 -1 4202560 1471 0 0 0 168 246 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14619] ppid=14604 vsize=89344 CPUtime=3.88
/proc/14606/task/14619/stat : 14619 (satake) S 14604 14606 27791 0 -1 4202560 1437 0 0 0 198 190 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=14606/tid=14620] ppid=14604 vsize=89344 CPUtime=3.9
/proc/14606/task/14620/stat : 14620 (satake) S 14604 14606 27791 0 -1 4202560 1341 0 0 0 170 220 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=14606/tid=14621] ppid=14604 vsize=89344 CPUtime=3.84
/proc/14606/task/14621/stat : 14621 (satake) S 14604 14606 27791 0 -1 4202560 1475 0 0 0 172 212 0 0 20 0 17 0 646447133 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14622] ppid=14604 vsize=89344 CPUtime=3.86
/proc/14606/task/14622/stat : 14622 (satake) S 14604 14606 27791 0 -1 4202560 1461 0 0 0 168 218 0 0 20 0 17 0 646447134 91488256 20052 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 90.38
Current children cumulated vsize (KiB) 89344
[startup+77.9042 s]
/proc/loadavg: 2.27 3.36 3.75 3/201 14623
/proc/meminfo: memFree=19046732/36427776 swapFree=4588/89988
[pid=14606] ppid=14604 vsize=78140 CPUtime=92.09
/proc/14606/stat : 14606 (satake) S 14604 14606 27791 0 -1 4202496 22627 0 0 0 2992 6217 0 0 20 0 10 0 646447133 80015360 18004 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/14606/statm: 19535 18004 77 164 0 19370 0
[pid=14606/tid=14609] ppid=14604 vsize=78140 CPUtime=3.4
/proc/14606/task/14609/stat : 14609 (satake) R 14604 14606 27791 0 -1 4202560 1418 0 0 0 170 170 0 0 20 0 10 0 646447133 80015360 18004 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14612] ppid=14604 vsize=78140 CPUtime=3.92
/proc/14606/task/14612/stat : 14612 (satake) R 14604 14606 27791 0 -1 4202560 1450 0 0 0 182 210 0 0 20 0 10 0 646447133 80015360 18004 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14613] ppid=14604 vsize=78140 CPUtime=3.3
/proc/14606/task/14613/stat : 14613 (satake) R 14604 14606 27791 0 -1 4202560 1490 0 0 0 164 166 0 0 20 0 10 0 646447133 80015360 18004 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14606/tid=14614] ppid=14604 vsize=78140 CPUtime=3.64
/proc/14606/task/14614/stat : 14614 (satake) R 14604 14606 27791 0 -1 4202560 1406 0 0 0 170 194 0 0 20 0 10 0 646447133 80015360 18004 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14615] ppid=14604 vsize=78140 CPUtime=3.66
/proc/14606/task/14615/stat : 14615 (satake) R 14604 14606 27791 0 -1 4202560 1427 0 0 0 154 212 0 0 20 0 10 0 646447133 80015360 18004 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14606/tid=14616] ppid=14604 vsize=78140 CPUtime=3.68
/proc/14606/task/14616/stat : 14616 (satake) R 14604 14606 27791 0 -1 4202560 1480 0 0 0 170 198 0 0 20 0 10 0 646447133 80015360 18004 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14606/tid=14618] ppid=14604 vsize=78140 CPUtime=4.22
/proc/14606/task/14618/stat : 14618 (satake) R 14604 14606 27791 0 -1 4202560 1471 0 0 0 170 252 0 0 20 0 10 0 646447133 80015360 18004 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14606/tid=14621] ppid=14604 vsize=78140 CPUtime=3.9
/proc/14606/task/14621/stat : 14621 (satake) R 14604 14606 27791 0 -1 4202560 1475 0 0 0 174 216 0 0 20 0 10 0 646447133 80015360 18004 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14606/tid=14622] ppid=14604 vsize=78140 CPUtime=3.92
/proc/14606/task/14622/stat : 14622 (satake) R 14604 14606 27791 0 -1 4202560 1461 0 0 0 170 222 0 0 20 0 10 0 646447134 80015360 18004 18446744073709551615 134512640 135180984 4287762432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 92.09
Current children cumulated vsize (KiB) 78140
Child status: 16
Real time (s): 77.986
CPU time (s): 92.2698
CPU user time (s): 30.0299
CPU system time (s): 62.2399
CPU usage (%): 118.316
Max. virtual memory (cumulated for all children) (KiB): 89344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.0299
system time used= 62.2399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22628
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= 4905659
involuntary context switches= 368203
runsolver used 0.304019 second user time and 0.864054 second system time
The end
Begin job on xenhost3-49 at 2009-06-13 07:36:48
IDJOB=1781547
IDBENCH=71771
IDSOLVER=631
FILE ID=xenhost3-49/1781547-1244871408
PBS_JOBID=
Free space on /tmp= 7026 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE06/manol-pipe-c9.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781547-1244871408/watcher-1781547-1244871408 -o /tmp/evaluation-result-1781547-1244871408/solver-1781547-1244871408 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781547-1244871408.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 7f47eb2c5986b40772da3e38cf0759b1
RANDOM SEED= 1135235564
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: 19123768 kB
Buffers: 436008 kB
Cached: 14114504 kB
SwapCached: 0 kB
Active: 4081552 kB
Inactive: 10477460 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 1464 kB
Writeback: 0 kB
AnonPages: 8592 kB
Mapped: 4224 kB
Slab: 689808 kB
SReclaimable: 662860 kB
SUnreclaim: 26948 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7026 MiB
End job on xenhost3-49 at 2009-06-13 07:38:06