2593.46/431.72 c Benchmark name : HOME/instance-1779222-1244788706.cnf
2593.46/431.72 c Thread Num : 16
2593.46/431.72 c restarts : 10
2593.46/431.72 c conflicts : 10767
2593.46/431.72 c decisions : 17948 ( 42 / sec )
2593.46/431.72 c propagations : 210925725 ( 489236 / sec )
2593.46/431.72 c inspects : 612322260 ( 1420265 / sec )
2593.46/431.72 c conflict literals : 623049 ( 68.92 % deleted )
2593.46/431.72 c cpu time : 431.13
2593.46/431.72 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1779222-1244788706/watcher-1779222-1244788706 -o /tmp/evaluation-result-1779222-1244788706/solver-1779222-1244788706 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779222-1244788706.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: 8.15 7.57 7.79 2/184 4414
/proc/meminfo: memFree=19137156/36427776 swapFree=3684/7000
[pid=4414] ppid=4412 vsize=8056 CPUtime=0
/proc/4414/stat : 4414 (satake) R 4412 4414 27791 0 -1 4202496 383 0 0 0 0 0 0 0 20 0 16 0 638176974 8249344 337 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134675846 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4414/statm: 2014 338 64 164 0 1849 0
[pid=4414/tid=4415] ppid=4412 vsize=8324 CPUtime=0
/proc/4414/task/4415/stat : 4415 (satake) S 4412 4414 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638176974 8523776 455 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4416] ppid=4412 vsize=8324 CPUtime=0
/proc/4414/task/4416/stat : 4416 (satake) R 4412 4414 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 638176974 8523776 470 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4414/tid=4417] ppid=4412 vsize=8324 CPUtime=0
/proc/4414/task/4417/stat : 4417 (satake) D 4412 4414 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 638176974 8523776 480 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4414/tid=4418] ppid=4412 vsize=8324 CPUtime=0
/proc/4414/task/4418/stat : 4418 (satake) S 4412 4414 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 638176974 8523776 480 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4419] ppid=4412 vsize=8584 CPUtime=0
/proc/4414/task/4419/stat : 4419 (satake) D 4412 4414 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 638176974 8790016 480 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4414/tid=4420] ppid=4412 vsize=8452 CPUtime=0
/proc/4414/task/4420/stat : 4420 (satake) D 4412 4414 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 638176974 8654848 480 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4421] ppid=4412 vsize=8452 CPUtime=0
/proc/4414/task/4421/stat : 4421 (satake) D 4412 4414 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 638176975 8654848 484 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4422] ppid=4412 vsize=8584 CPUtime=0
/proc/4414/task/4422/stat : 4422 (satake) S 4412 4414 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 638176975 8790016 485 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4423] ppid=4412 vsize=8584 CPUtime=0
/proc/4414/task/4423/stat : 4423 (satake) R 4412 4414 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 638176975 8790016 488 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4414/tid=4424] ppid=4412 vsize=8584 CPUtime=0
/proc/4414/task/4424/stat : 4424 (satake) R 4412 4414 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 638176975 8790016 490 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4414/tid=4425] ppid=4412 vsize=8584 CPUtime=0
/proc/4414/task/4425/stat : 4425 (satake) S 4412 4414 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 638176975 8790016 491 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=4414/tid=4426] ppid=4412 vsize=8584 CPUtime=0
/proc/4414/task/4426/stat : 4426 (satake) R 4412 4414 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 638176975 8790016 492 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4414/tid=4427] ppid=4412 vsize=8584 CPUtime=0
/proc/4414/task/4427/stat : 4427 (satake) S 4412 4414 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 638176975 8790016 492 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=4414/tid=4428] ppid=4412 vsize=8584 CPUtime=0
/proc/4414/task/4428/stat : 4428 (satake) R 4412 4414 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 638176975 8790016 493 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4414/tid=4429] ppid=4412 vsize=8584 CPUtime=0
/proc/4414/task/4429/stat : 4429 (satake) S 4412 4414 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 638176975 8790016 496 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=4414/tid=4430] ppid=4412 vsize=8584 CPUtime=0
/proc/4414/task/4430/stat : 4430 (satake) D 4412 4414 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 638176975 8790016 497 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[startup+0.047095 s]
/proc/loadavg: 8.15 7.57 7.79 2/184 4414
/proc/meminfo: memFree=19137156/36427776 swapFree=3684/7000
[pid=4414] ppid=4412 vsize=21096 CPUtime=0.22
/proc/4414/stat : 4414 (satake) S 4412 4414 27791 0 -1 4202496 2975 0 0 0 2 20 0 0 20 0 17 0 638176974 21602304 2913 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4414/statm: 5274 2913 64 164 0 5109 0
[pid=4414/tid=4415] ppid=4412 vsize=21096 CPUtime=0
/proc/4414/task/4415/stat : 4415 (satake) S 4412 4414 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638176974 21602304 2913 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4416] ppid=4412 vsize=21096 CPUtime=0.02
/proc/4414/task/4416/stat : 4416 (satake) D 4412 4414 27791 0 -1 4202560 244 0 0 0 0 2 0 0 20 0 17 0 638176974 21602304 2913 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4414/tid=4417] ppid=4412 vsize=22120 CPUtime=0.02
/proc/4414/task/4417/stat : 4417 (satake) R 4412 4414 27791 0 -1 4202560 280 0 0 0 0 2 0 0 20 0 17 0 638176974 22650880 2913 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4414/tid=4418] ppid=4412 vsize=22120 CPUtime=0.02
/proc/4414/task/4418/stat : 4418 (satake) R 4412 4414 27791 0 -1 4202560 251 0 0 0 2 0 0 0 20 0 17 0 638176974 22650880 2917 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4419] ppid=4412 vsize=22120 CPUtime=0.02
/proc/4414/task/4419/stat : 4419 (satake) R 4412 4414 27791 0 -1 4202560 216 0 0 0 0 2 0 0 20 0 17 0 638176974 22650880 2920 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4414/tid=4420] ppid=4412 vsize=22120 CPUtime=0.02
/proc/4414/task/4420/stat : 4420 (satake) D 4412 4414 27791 0 -1 4202560 201 0 0 0 0 2 0 0 20 0 17 0 638176974 22650880 2922 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4414/tid=4421] ppid=4412 vsize=22120 CPUtime=0
/proc/4414/task/4421/stat : 4421 (satake) D 4412 4414 27791 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 17 0 638176975 22650880 2922 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4422] ppid=4412 vsize=22120 CPUtime=0
/proc/4414/task/4422/stat : 4422 (satake) R 4412 4414 27791 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 17 0 638176975 22650880 2923 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4423] ppid=4412 vsize=22120 CPUtime=0.02
/proc/4414/task/4423/stat : 4423 (satake) R 4412 4414 27791 0 -1 4202560 228 0 0 0 0 2 0 0 20 0 17 0 638176975 22650880 2924 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4414/tid=4424] ppid=4412 vsize=22120 CPUtime=0.02
/proc/4414/task/4424/stat : 4424 (satake) R 4412 4414 27791 0 -1 4202560 227 0 0 0 0 2 0 0 20 0 17 0 638176975 22650880 2924 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4414/tid=4425] ppid=4412 vsize=22120 CPUtime=0
/proc/4414/task/4425/stat : 4425 (satake) R 4412 4414 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 638176975 22650880 2924 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4414/tid=4426] ppid=4412 vsize=22120 CPUtime=0
/proc/4414/task/4426/stat : 4426 (satake) R 4412 4414 27791 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 17 0 638176975 22650880 2924 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4414/tid=4427] ppid=4412 vsize=22120 CPUtime=0.02
/proc/4414/task/4427/stat : 4427 (satake) R 4412 4414 27791 0 -1 4202560 224 0 0 0 0 2 0 0 20 0 17 0 638176975 22650880 2924 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4414/tid=4428] ppid=4412 vsize=22120 CPUtime=0.02
/proc/4414/task/4428/stat : 4428 (satake) R 4412 4414 27791 0 -1 4202560 239 0 0 0 0 2 0 0 20 0 17 0 638176975 22650880 2924 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4414/tid=4429] ppid=4412 vsize=22120 CPUtime=0.02
/proc/4414/task/4429/stat : 4429 (satake) R 4412 4414 27791 0 -1 4202560 201 0 0 0 0 2 0 0 20 0 17 0 638176975 22650880 2925 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4414/tid=4430] ppid=4412 vsize=22120 CPUtime=0
/proc/4414/task/4430/stat : 4430 (satake) R 4412 4414 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 638176975 22650880 2929 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 21096
[startup+0.102984 s]
/proc/loadavg: 8.15 7.57 7.79 2/184 4414
/proc/meminfo: memFree=19137156/36427776 swapFree=3684/7000
[pid=4414] ppid=4412 vsize=57832 CPUtime=0.79
/proc/4414/stat : 4414 (satake) S 4412 4414 27791 0 -1 4202496 9365 0 0 0 2 77 0 0 20 0 17 0 638176974 59219968 9311 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4414/statm: 14458 9359 64 164 0 14293 0
[pid=4414/tid=4415] ppid=4412 vsize=57832 CPUtime=0
/proc/4414/task/4415/stat : 4415 (satake) S 4412 4414 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638176974 59219968 9418 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4416] ppid=4412 vsize=57832 CPUtime=0.06
/proc/4414/task/4416/stat : 4416 (satake) R 4412 4414 27791 0 -1 4202560 697 0 0 0 0 6 0 0 20 0 17 0 638176974 59219968 9451 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4414/tid=4417] ppid=4412 vsize=57832 CPUtime=0.06
/proc/4414/task/4417/stat : 4417 (satake) R 4412 4414 27791 0 -1 4202560 793 0 0 0 0 6 0 0 20 0 17 0 638176974 59219968 9494 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4414/tid=4418] ppid=4412 vsize=57832 CPUtime=0.06
/proc/4414/task/4418/stat : 4418 (satake) R 4412 4414 27791 0 -1 4202560 767 0 0 0 2 4 0 0 20 0 17 0 638176974 59219968 9521 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4419] ppid=4412 vsize=57832 CPUtime=0.06
/proc/4414/task/4419/stat : 4419 (satake) R 4412 4414 27791 0 -1 4202560 687 0 0 0 0 6 0 0 20 0 17 0 638176974 59219968 9534 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4414/tid=4420] ppid=4412 vsize=57832 CPUtime=0.06
/proc/4414/task/4420/stat : 4420 (satake) R 4412 4414 27791 0 -1 4202560 852 0 0 0 0 6 0 0 20 0 17 0 638176974 59219968 9601 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4414/tid=4421] ppid=4412 vsize=57832 CPUtime=0.02
/proc/4414/task/4421/stat : 4421 (satake) R 4412 4414 27791 0 -1 4202560 225 0 0 0 0 2 0 0 20 0 17 0 638176975 59219968 9658 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4422] ppid=4412 vsize=57832 CPUtime=0.04
/proc/4414/task/4422/stat : 4422 (satake) R 4412 4414 27791 0 -1 4202560 530 0 0 0 0 4 0 0 20 0 17 0 638176975 59219968 9687 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4423] ppid=4412 vsize=57832 CPUtime=0.06
/proc/4414/task/4423/stat : 4423 (satake) R 4412 4414 27791 0 -1 4202560 997 0 0 0 0 6 0 0 20 0 17 0 638176975 59219968 9714 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4414/tid=4424] ppid=4412 vsize=57832 CPUtime=0.04
/proc/4414/task/4424/stat : 4424 (satake) R 4412 4414 27791 0 -1 4202560 519 0 0 0 0 4 0 0 20 0 17 0 638176975 59219968 9757 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4414/tid=4425] ppid=4412 vsize=57832 CPUtime=0.02
/proc/4414/task/4425/stat : 4425 (satake) R 4412 4414 27791 0 -1 4202560 272 0 0 0 0 2 0 0 20 0 17 0 638176975 59219968 9795 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4414/tid=4426] ppid=4412 vsize=57832 CPUtime=0.06
/proc/4414/task/4426/stat : 4426 (satake) R 4412 4414 27791 0 -1 4202560 862 0 0 0 0 6 0 0 20 0 17 0 638176975 59219968 9816 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4414/tid=4427] ppid=4412 vsize=57832 CPUtime=0.06
/proc/4414/task/4427/stat : 4427 (satake) D 4412 4414 27791 0 -1 4202560 708 0 0 0 0 6 0 0 20 0 17 0 638176975 59219968 9823 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4414/tid=4428] ppid=4412 vsize=57832 CPUtime=0.06
/proc/4414/task/4428/stat : 4428 (satake) D 4412 4414 27791 0 -1 4202560 806 0 0 0 0 6 0 0 20 0 17 0 638176975 59219968 9824 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4414/tid=4429] ppid=4412 vsize=57832 CPUtime=0.06
/proc/4414/task/4429/stat : 4429 (satake) D 4412 4414 27791 0 -1 4202560 823 0 0 0 0 6 0 0 20 0 17 0 638176975 59219968 9824 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4414/tid=4430] ppid=4412 vsize=57832 CPUtime=0
/proc/4414/task/4430/stat : 4430 (satake) D 4412 4414 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 17 0 638176975 59219968 9824 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134702308 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 57832
[startup+0.303095 s]
/proc/loadavg: 8.15 7.57 7.79 2/184 4414
/proc/meminfo: memFree=19137156/36427776 swapFree=3684/7000
[pid=4414] ppid=4412 vsize=149544 CPUtime=2.3
/proc/4414/stat : 4414 (satake) S 4412 4414 27791 0 -1 4202496 16710 0 0 0 2 228 0 0 20 0 17 0 638176974 153133056 16649 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4414/statm: 37386 16650 64 164 0 37221 0
[pid=4414/tid=4415] ppid=4412 vsize=149544 CPUtime=0
/proc/4414/task/4415/stat : 4415 (satake) S 4412 4414 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638176974 153133056 16651 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4416] ppid=4412 vsize=149544 CPUtime=0.18
/proc/4414/task/4416/stat : 4416 (satake) R 4412 4414 27791 0 -1 4202560 1222 0 0 0 0 18 0 0 20 0 17 0 638176974 153133056 16651 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4414/tid=4417] ppid=4412 vsize=149544 CPUtime=0.18
/proc/4414/task/4417/stat : 4417 (satake) R 4412 4414 27791 0 -1 4202560 1261 0 0 0 0 18 0 0 20 0 17 0 638176974 153133056 16652 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4414/tid=4418] ppid=4412 vsize=149544 CPUtime=0.18
/proc/4414/task/4418/stat : 4418 (satake) R 4412 4414 27791 0 -1 4202560 1273 0 0 0 2 16 0 0 20 0 17 0 638176974 153133056 16652 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4419] ppid=4412 vsize=149544 CPUtime=0.18
/proc/4414/task/4419/stat : 4419 (satake) R 4412 4414 27791 0 -1 4202560 1171 0 0 0 0 18 0 0 20 0 17 0 638176974 153133056 16652 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4414/tid=4420] ppid=4412 vsize=149544 CPUtime=0.2
/proc/4414/task/4420/stat : 4420 (satake) R 4412 4414 27791 0 -1 4202560 1390 0 0 0 0 20 0 0 20 0 17 0 638176974 153133056 16656 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4414/tid=4421] ppid=4412 vsize=149544 CPUtime=0.08
/proc/4414/task/4421/stat : 4421 (satake) R 4412 4414 27791 0 -1 4202560 651 0 0 0 0 8 0 0 20 0 17 0 638176975 153133056 16656 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4422] ppid=4412 vsize=149544 CPUtime=0.12
/proc/4414/task/4422/stat : 4422 (satake) R 4412 4414 27791 0 -1 4202560 915 0 0 0 0 12 0 0 20 0 17 0 638176975 153133056 16656 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4423] ppid=4412 vsize=149544 CPUtime=0.18
/proc/4414/task/4423/stat : 4423 (satake) R 4412 4414 27791 0 -1 4202560 1530 0 0 0 0 18 0 0 20 0 17 0 638176975 153133056 16656 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4414/tid=4424] ppid=4412 vsize=149544 CPUtime=0.12
/proc/4414/task/4424/stat : 4424 (satake) D 4412 4414 27791 0 -1 4202560 919 0 0 0 0 12 0 0 20 0 17 0 638176975 153133056 16656 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4414/tid=4425] ppid=4412 vsize=149544 CPUtime=0.08
/proc/4414/task/4425/stat : 4425 (satake) R 4412 4414 27791 0 -1 4202560 709 0 0 0 0 8 0 0 20 0 17 0 638176975 153133056 16659 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4414/tid=4426] ppid=4412 vsize=149544 CPUtime=0.18
/proc/4414/task/4426/stat : 4426 (satake) R 4412 4414 27791 0 -1 4202560 1394 0 0 0 0 18 0 0 20 0 17 0 638176975 153133056 16659 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4414/tid=4427] ppid=4412 vsize=149544 CPUtime=0.18
/proc/4414/task/4427/stat : 4427 (satake) R 4412 4414 27791 0 -1 4202560 1140 0 0 0 0 18 0 0 20 0 17 0 638176975 153133056 16660 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4414/tid=4428] ppid=4412 vsize=149544 CPUtime=0.18
/proc/4414/task/4428/stat : 4428 (satake) R 4412 4414 27791 0 -1 4202560 1338 0 0 0 0 18 0 0 20 0 17 0 638176975 153133056 16662 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4414/tid=4429] ppid=4412 vsize=149544 CPUtime=0.14
/proc/4414/task/4429/stat : 4429 (satake) R 4412 4414 27791 0 -1 4202560 1207 0 0 0 0 14 0 0 20 0 17 0 638176975 153133056 16664 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4414/tid=4430] ppid=4412 vsize=149544 CPUtime=0.08
/proc/4414/task/4430/stat : 4430 (satake) R 4412 4414 27791 0 -1 4202560 468 0 0 0 0 8 0 0 20 0 17 0 638176975 153133056 16665 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 149544
[startup+0.703008 s]
/proc/loadavg: 8.15 7.57 7.79 2/184 4414
/proc/meminfo: memFree=19137156/36427776 swapFree=3684/7000
[pid=4414] ppid=4412 vsize=220800 CPUtime=4.81
/proc/4414/stat : 4414 (satake) S 4412 4414 27791 0 -1 4202496 25985 0 0 0 2 479 0 0 20 0 17 0 638176974 226099200 25923 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4414/statm: 55200 25925 64 164 0 55035 0
[pid=4414/tid=4415] ppid=4412 vsize=220800 CPUtime=0
/proc/4414/task/4415/stat : 4415 (satake) S 4412 4414 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638176974 226099200 25925 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4416] ppid=4412 vsize=220800 CPUtime=0.38
/proc/4414/task/4416/stat : 4416 (satake) R 4412 4414 27791 0 -1 4202560 1822 0 0 0 0 38 0 0 20 0 17 0 638176974 226099200 25925 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4414/tid=4417] ppid=4412 vsize=220800 CPUtime=0.38
/proc/4414/task/4417/stat : 4417 (satake) R 4412 4414 27791 0 -1 4202560 1905 0 0 0 0 38 0 0 20 0 17 0 638176974 226099200 25925 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4414/tid=4418] ppid=4412 vsize=220800 CPUtime=0.38
/proc/4414/task/4418/stat : 4418 (satake) R 4412 4414 27791 0 -1 4202560 1906 0 0 0 2 36 0 0 20 0 17 0 638176974 226099200 25925 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4419] ppid=4412 vsize=220800 CPUtime=0.36
/proc/4414/task/4419/stat : 4419 (satake) D 4412 4414 27791 0 -1 4202560 1823 0 0 0 0 36 0 0 20 0 17 0 638176974 226099200 25925 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4414/tid=4420] ppid=4412 vsize=220800 CPUtime=0.4
/proc/4414/task/4420/stat : 4420 (satake) R 4412 4414 27791 0 -1 4202560 2019 0 0 0 0 40 0 0 20 0 17 0 638176974 226099200 25925 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4414/tid=4421] ppid=4412 vsize=220800 CPUtime=0.22
/proc/4414/task/4421/stat : 4421 (satake) D 4412 4414 27791 0 -1 4202560 1289 0 0 0 0 22 0 0 20 0 17 0 638176975 226099200 25926 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4422] ppid=4412 vsize=220800 CPUtime=0.22
/proc/4414/task/4422/stat : 4422 (satake) D 4412 4414 27791 0 -1 4202560 1449 0 0 0 0 22 0 0 20 0 17 0 638176975 226099200 25926 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4423] ppid=4412 vsize=220800 CPUtime=0.36
/proc/4414/task/4423/stat : 4423 (satake) D 4412 4414 27791 0 -1 4202560 2131 0 0 0 0 36 0 0 20 0 17 0 638176975 226099200 25927 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4414/tid=4424] ppid=4412 vsize=220800 CPUtime=0.24
################
# More data... #
################
Current children cumulated CPU time (s) 2509.17
Current children cumulated vsize (KiB) 476648
[startup+428.703 s]
/proc/loadavg: 8.59 7.49 7.64 11/201 4441
/proc/meminfo: memFree=18751984/36427776 swapFree=4588/394372
[pid=4414] ppid=4412 vsize=476648 CPUtime=2569.08
/proc/4414/stat : 4414 (satake) S 4412 4414 27791 0 -1 4202496 111502 0 0 0 233625 23283 0 0 20 0 17 0 638176974 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4414/statm: 119162 96087 68 164 0 118997 0
[pid=4414/tid=4415] ppid=4412 vsize=476648 CPUtime=173.36
/proc/4414/task/4415/stat : 4415 (satake) R 4412 4414 27791 0 -1 4202560 3882 0 0 0 1636 15700 0 0 20 0 17 0 638176974 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4414/tid=4416] ppid=4412 vsize=476648 CPUtime=145.49
/proc/4414/task/4416/stat : 4416 (satake) R 4412 4414 27791 0 -1 4202560 7148 0 0 0 14071 478 0 0 20 0 17 0 638176974 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4414/tid=4417] ppid=4412 vsize=476648 CPUtime=166.23
/proc/4414/task/4417/stat : 4417 (satake) S 4412 4414 27791 0 -1 4202560 7168 0 0 0 16073 550 0 0 20 0 17 0 638176974 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=4414/tid=4418] ppid=4412 vsize=476648 CPUtime=158.32
/proc/4414/task/4418/stat : 4418 (satake) R 4412 4414 27791 0 -1 4202560 7230 0 0 0 15340 492 0 0 20 0 17 0 638176974 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134520810 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4419] ppid=4412 vsize=476648 CPUtime=164.91
/proc/4414/task/4419/stat : 4419 (satake) S 4412 4414 27791 0 -1 4202560 7095 0 0 0 15983 508 0 0 20 0 17 0 638176974 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=4414/tid=4420] ppid=4412 vsize=476648 CPUtime=171.99
/proc/4414/task/4420/stat : 4420 (satake) R 4412 4414 27791 0 -1 4202560 7058 0 0 0 16691 508 0 0 20 0 17 0 638176974 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134522790 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4421] ppid=4412 vsize=476648 CPUtime=157.92
/proc/4414/task/4421/stat : 4421 (satake) S 4412 4414 27791 0 -1 4202560 7266 0 0 0 15322 470 0 0 20 0 17 0 638176975 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=4414/tid=4422] ppid=4412 vsize=476648 CPUtime=166.53
/proc/4414/task/4422/stat : 4422 (satake) R 4412 4414 27791 0 -1 4202560 7161 0 0 0 16161 492 0 0 20 0 17 0 638176975 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134520701 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4414/tid=4423] ppid=4412 vsize=476648 CPUtime=165.02
/proc/4414/task/4423/stat : 4423 (satake) D 4412 4414 27791 0 -1 4202560 6994 0 0 0 15972 530 0 0 20 0 17 0 638176975 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4414/tid=4424] ppid=4412 vsize=476648 CPUtime=152.5
/proc/4414/task/4424/stat : 4424 (satake) S 4412 4414 27791 0 -1 4202560 7231 0 0 0 14738 512 0 0 20 0 17 0 638176975 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=4414/tid=4425] ppid=4412 vsize=476648 CPUtime=160.35
/proc/4414/task/4425/stat : 4425 (satake) R 4412 4414 27791 0 -1 4202560 7218 0 0 0 15521 514 0 0 20 0 17 0 638176975 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4414/tid=4426] ppid=4412 vsize=476648 CPUtime=148.97
/proc/4414/task/4426/stat : 4426 (satake) R 4412 4414 27791 0 -1 4202560 7166 0 0 0 14359 538 0 0 20 0 17 0 638176975 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134532467 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4414/tid=4427] ppid=4412 vsize=476648 CPUtime=162.46
/proc/4414/task/4427/stat : 4427 (satake) S 4412 4414 27791 0 -1 4202560 7244 0 0 0 15804 442 0 0 20 0 17 0 638176975 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=4414/tid=4428] ppid=4412 vsize=476648 CPUtime=149.41
/proc/4414/task/4428/stat : 4428 (satake) R 4412 4414 27791 0 -1 4202560 7201 0 0 0 14363 578 0 0 20 0 17 0 638176975 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134520784 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4414/tid=4429] ppid=4412 vsize=476648 CPUtime=166.81
/proc/4414/task/4429/stat : 4429 (satake) S 4412 4414 27791 0 -1 4202560 7049 0 0 0 16229 452 0 0 20 0 17 0 638176975 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4414/tid=4430] ppid=4412 vsize=476648 CPUtime=158.6
/proc/4414/task/4430/stat : 4430 (satake) R 4412 4414 27791 0 -1 4202560 7266 0 0 0 15350 510 0 0 20 0 17 0 638176975 488087552 96087 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134522980 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2569.08
Current children cumulated vsize (KiB) 476648
[startup+430.304 s]
/proc/loadavg: 8.59 7.49 7.64 8/201 4441
/proc/meminfo: memFree=18751860/36427776 swapFree=4588/394428
[pid=4414] ppid=4412 vsize=476648 CPUtime=2583.01
/proc/4414/stat : 4414 (satake) S 4412 4414 27791 0 -1 4202496 111505 0 0 0 234935 23366 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4414/statm: 119162 96090 68 164 0 118997 0
[pid=4414/tid=4415] ppid=4412 vsize=476648 CPUtime=173.98
/proc/4414/task/4415/stat : 4415 (satake) R 4412 4414 27791 0 -1 4202560 3885 0 0 0 1642 15756 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4414/tid=4416] ppid=4412 vsize=476648 CPUtime=146.37
/proc/4414/task/4416/stat : 4416 (satake) S 4412 4414 27791 0 -1 4202560 7148 0 0 0 14159 478 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=4414/tid=4417] ppid=4412 vsize=476648 CPUtime=166.77
/proc/4414/task/4417/stat : 4417 (satake) R 4412 4414 27791 0 -1 4202560 7168 0 0 0 16125 552 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134520773 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4414/tid=4418] ppid=4412 vsize=476648 CPUtime=159.92
/proc/4414/task/4418/stat : 4418 (satake) R 4412 4414 27791 0 -1 4202560 7230 0 0 0 15500 492 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4419] ppid=4412 vsize=476648 CPUtime=165.47
/proc/4414/task/4419/stat : 4419 (satake) S 4412 4414 27791 0 -1 4202560 7095 0 0 0 16037 510 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=4414/tid=4420] ppid=4412 vsize=476648 CPUtime=173.01
/proc/4414/task/4420/stat : 4420 (satake) S 4412 4414 27791 0 -1 4202560 7058 0 0 0 16793 508 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4421] ppid=4412 vsize=476648 CPUtime=158.76
/proc/4414/task/4421/stat : 4421 (satake) R 4412 4414 27791 0 -1 4202560 7266 0 0 0 15402 474 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4414/tid=4422] ppid=4412 vsize=476648 CPUtime=167.65
/proc/4414/task/4422/stat : 4422 (satake) S 4412 4414 27791 0 -1 4202560 7161 0 0 0 16273 492 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=4414/tid=4423] ppid=4412 vsize=476648 CPUtime=166.15
/proc/4414/task/4423/stat : 4423 (satake) S 4412 4414 27791 0 -1 4202560 6994 0 0 0 16083 532 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=4414/tid=4424] ppid=4412 vsize=476648 CPUtime=153.77
/proc/4414/task/4424/stat : 4424 (satake) R 4412 4414 27791 0 -1 4202560 7231 0 0 0 14853 524 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134520800 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4414/tid=4425] ppid=4412 vsize=476648 CPUtime=161.94
/proc/4414/task/4425/stat : 4425 (satake) R 4412 4414 27791 0 -1 4202560 7218 0 0 0 15680 514 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134520855 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4414/tid=4426] ppid=4412 vsize=476648 CPUtime=149.83
/proc/4414/task/4426/stat : 4426 (satake) S 4412 4414 27791 0 -1 4202560 7166 0 0 0 14445 538 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=4414/tid=4427] ppid=4412 vsize=476648 CPUtime=162.6
/proc/4414/task/4427/stat : 4427 (satake) R 4412 4414 27791 0 -1 4202560 7244 0 0 0 15814 446 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134520865 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4414/tid=4428] ppid=4412 vsize=476648 CPUtime=150.69
/proc/4414/task/4428/stat : 4428 (satake) S 4412 4414 27791 0 -1 4202560 7201 0 0 0 14491 578 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=4414/tid=4429] ppid=4412 vsize=476648 CPUtime=167.15
/proc/4414/task/4429/stat : 4429 (satake) R 4412 4414 27791 0 -1 4202560 7049 0 0 0 16261 454 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134526384 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4414/tid=4430] ppid=4412 vsize=476648 CPUtime=158.77
/proc/4414/task/4430/stat : 4430 (satake) D 4412 4414 27791 0 -1 4202560 7266 0 0 0 15367 510 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2583.01
Current children cumulated vsize (KiB) 476648
[startup+431.104 s]
/proc/loadavg: 8.59 7.49 7.64 5/201 4441
/proc/meminfo: memFree=18751860/36427776 swapFree=4588/394440
[pid=4414] ppid=4412 vsize=476648 CPUtime=2589.35
/proc/4414/stat : 4414 (satake) S 4412 4414 27791 0 -1 4202496 111505 0 0 0 235522 23413 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4414/statm: 119162 96090 68 164 0 118997 0
[pid=4414/tid=4415] ppid=4412 vsize=476648 CPUtime=174.31
/proc/4414/task/4415/stat : 4415 (satake) R 4412 4414 27791 0 -1 4202560 3885 0 0 0 1642 15789 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4414/tid=4416] ppid=4412 vsize=476648 CPUtime=146.72
/proc/4414/task/4416/stat : 4416 (satake) S 4412 4414 27791 0 -1 4202560 7148 0 0 0 14192 480 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=4414/tid=4417] ppid=4412 vsize=476648 CPUtime=167.57
/proc/4414/task/4417/stat : 4417 (satake) R 4412 4414 27791 0 -1 4202560 7168 0 0 0 16205 552 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134526115 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4414/tid=4418] ppid=4412 vsize=476648 CPUtime=160.56
/proc/4414/task/4418/stat : 4418 (satake) S 4412 4414 27791 0 -1 4202560 7230 0 0 0 15564 492 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4419] ppid=4412 vsize=476648 CPUtime=165.47
/proc/4414/task/4419/stat : 4419 (satake) S 4412 4414 27791 0 -1 4202560 7095 0 0 0 16037 510 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=4414/tid=4420] ppid=4412 vsize=476648 CPUtime=173.21
/proc/4414/task/4420/stat : 4420 (satake) S 4412 4414 27791 0 -1 4202560 7058 0 0 0 16811 510 0 0 20 0 17 0 638176974 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4421] ppid=4412 vsize=476648 CPUtime=159.57
/proc/4414/task/4421/stat : 4421 (satake) R 4412 4414 27791 0 -1 4202560 7266 0 0 0 15483 474 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4414/tid=4422] ppid=4412 vsize=476648 CPUtime=167.71
/proc/4414/task/4422/stat : 4422 (satake) D 4412 4414 27791 0 -1 4202560 7161 0 0 0 16275 496 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4414/tid=4423] ppid=4412 vsize=476648 CPUtime=166.15
/proc/4414/task/4423/stat : 4423 (satake) S 4412 4414 27791 0 -1 4202560 6994 0 0 0 16083 532 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=4414/tid=4424] ppid=4412 vsize=476648 CPUtime=154.43
/proc/4414/task/4424/stat : 4424 (satake) S 4412 4414 27791 0 -1 4202560 7231 0 0 0 14919 524 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=4414/tid=4425] ppid=4412 vsize=476648 CPUtime=162.6
/proc/4414/task/4425/stat : 4425 (satake) S 4412 4414 27791 0 -1 4202560 7218 0 0 0 15746 514 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=4414/tid=4426] ppid=4412 vsize=476648 CPUtime=150.1
/proc/4414/task/4426/stat : 4426 (satake) S 4412 4414 27791 0 -1 4202560 7166 0 0 0 14470 540 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=4414/tid=4427] ppid=4412 vsize=476648 CPUtime=163.41
/proc/4414/task/4427/stat : 4427 (satake) R 4412 4414 27791 0 -1 4202560 7244 0 0 0 15895 446 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4414/tid=4428] ppid=4412 vsize=476648 CPUtime=150.69
/proc/4414/task/4428/stat : 4428 (satake) S 4412 4414 27791 0 -1 4202560 7201 0 0 0 14491 578 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=4414/tid=4429] ppid=4412 vsize=476648 CPUtime=167.53
/proc/4414/task/4429/stat : 4429 (satake) S 4412 4414 27791 0 -1 4202560 7049 0 0 0 16299 454 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4414/tid=4430] ppid=4412 vsize=476648 CPUtime=159.16
/proc/4414/task/4430/stat : 4430 (satake) S 4412 4414 27791 0 -1 4202560 7266 0 0 0 15400 516 0 0 20 0 17 0 638176975 488087552 96090 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2589.35
Current children cumulated vsize (KiB) 476648
[startup+431.503 s]
/proc/loadavg: 8.59 7.49 7.64 5/201 4441
/proc/meminfo: memFree=18751860/36427776 swapFree=4588/394440
[pid=4414] ppid=4412 vsize=418084 CPUtime=2592.79
/proc/4414/stat : 4414 (satake) S 4412 4414 27791 0 -1 4202496 111514 0 0 0 235730 23549 0 0 20 0 13 0 638176974 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4414/statm: 104521 87043 77 164 0 104356 0
[pid=4414/tid=4417] ppid=4412 vsize=418084 CPUtime=167.83
/proc/4414/task/4417/stat : 4417 (satake) S 4412 4414 27791 0 -1 4202560 7168 0 0 0 16227 556 0 0 20 0 13 0 638176974 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=4414/tid=4418] ppid=4412 vsize=418084 CPUtime=160.79
/proc/4414/task/4418/stat : 4418 (satake) R 4412 4414 27791 0 -1 4202560 7230 0 0 0 15577 502 0 0 20 0 13 0 638176974 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4414/tid=4419] ppid=4412 vsize=418084 CPUtime=165.67
/proc/4414/task/4419/stat : 4419 (satake) S 4412 4414 27791 0 -1 4202560 7095 0 0 0 16045 522 0 0 20 0 13 0 638176974 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=4414/tid=4420] ppid=4412 vsize=418084 CPUtime=173.41
/proc/4414/task/4420/stat : 4420 (satake) S 4412 4414 27791 0 -1 4202560 7058 0 0 0 16821 520 0 0 20 0 13 0 638176974 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=4414/tid=4421] ppid=4412 vsize=418084 CPUtime=159.79
/proc/4414/task/4421/stat : 4421 (satake) S 4412 4414 27791 0 -1 4202560 7266 0 0 0 15497 482 0 0 20 0 13 0 638176975 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=4414/tid=4422] ppid=4412 vsize=418084 CPUtime=167.97
/proc/4414/task/4422/stat : 4422 (satake) S 4412 4414 27791 0 -1 4202560 7161 0 0 0 16297 500 0 0 20 0 13 0 638176975 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=4414/tid=4423] ppid=4412 vsize=418084 CPUtime=166.33
/proc/4414/task/4423/stat : 4423 (satake) S 4412 4414 27791 0 -1 4202560 7003 0 0 0 16093 540 0 0 20 0 13 0 638176975 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=4414/tid=4424] ppid=4412 vsize=418084 CPUtime=154.63
/proc/4414/task/4424/stat : 4424 (satake) R 4412 4414 27791 0 -1 4202560 7231 0 0 0 14931 532 0 0 20 0 13 0 638176975 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134666563 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4414/tid=4425] ppid=4412 vsize=418084 CPUtime=162.82
/proc/4414/task/4425/stat : 4425 (satake) R 4412 4414 27791 0 -1 4202560 7218 0 0 0 15758 524 0 0 20 0 13 0 638176975 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4414/tid=4427] ppid=4412 vsize=418084 CPUtime=163.63
/proc/4414/task/4427/stat : 4427 (satake) S 4412 4414 27791 0 -1 4202560 7244 0 0 0 15911 452 0 0 20 0 13 0 638176975 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=4414/tid=4429] ppid=4412 vsize=418084 CPUtime=167.71
/proc/4414/task/4429/stat : 4429 (satake) R 4412 4414 27791 0 -1 4202560 7049 0 0 0 16307 464 0 0 20 0 13 0 638176975 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4414/tid=4430] ppid=4412 vsize=418084 CPUtime=159.39
/proc/4414/task/4430/stat : 4430 (satake) S 4412 4414 27791 0 -1 4202560 7266 0 0 0 15413 526 0 0 20 0 13 0 638176975 428118016 87043 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2592.79
Current children cumulated vsize (KiB) 418084
[startup+431.703 s]
/proc/loadavg: 8.59 7.49 7.64 5/201 4441
/proc/meminfo: memFree=18751860/36427776 swapFree=4588/394440
[pid=4414] ppid=4412 vsize=248384 CPUtime=2593.46
/proc/4414/stat : 4414 (satake) S 4412 4414 27791 0 -1 4202496 111514 0 0 0 235782 23564 0 0 20 0 2 0 638176974 254345216 56522 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4414/statm: 62096 56266 77 164 0 61931 0
[pid=4414/tid=4417] ppid=4412 vsize=247360 CPUtime=167.95
/proc/4414/task/4417/stat : 4417 (satake) R 4412 4414 27791 0 -1 4202560 7168 0 0 0 16237 558 0 0 20 0 2 0 638176974 253296640 56266 18446744073709551615 134512640 135180984 4287397808 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2593.46
Current children cumulated vsize (KiB) 248384
Child status: 16
Real time (s): 431.755
CPU time (s): 2593.51
CPU user time (s): 2357.82
CPU system time (s): 235.691
CPU usage (%): 600.692
Max. virtual memory (cumulated for all children) (KiB): 476648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2357.82
system time used= 235.691
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111515
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= 22597730
involuntary context switches= 1553291
runsolver used 1.72811 second user time and 5.13232 second system time
The end
Begin job on xenhost3-49 at 2009-06-12 08:38:26
IDJOB=1779222
IDBENCH=70822
IDSOLVER=631
FILE ID=xenhost3-49/1779222-1244788706
PBS_JOBID=
Free space on /tmp= 7033 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-09.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779222-1244788706/watcher-1779222-1244788706 -o /tmp/evaluation-result-1779222-1244788706/solver-1779222-1244788706 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779222-1244788706.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 5c56557463274332c6704b6432dfc42b
RANDOM SEED= 459880885
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: 19137156 kB
Buffers: 433772 kB
Cached: 14108060 kB
SwapCached: 0 kB
Active: 4079396 kB
Inactive: 10470780 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 4676 kB
Writeback: 0 kB
AnonPages: 7000 kB
Mapped: 3684 kB
Slab: 688188 kB
SReclaimable: 661428 kB
SUnreclaim: 26760 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7033 MiB
End job on xenhost3-49 at 2009-06-12 08:45:38