411.83/227.99 c Benchmark name : HOME/instance-1776042-1244734517.cnf
411.83/227.99 c Thread Num : 16
411.83/227.99 c restarts : 10
411.83/227.99 c conflicts : 9361
411.83/227.99 c decisions : 21099 ( 93 / sec )
411.83/227.99 c propagations : 24840229 ( 109775 / sec )
411.83/227.99 c inspects : 64693864 ( 285899 / sec )
411.83/227.99 c conflict literals : 222105 ( 30.31 % deleted )
411.83/227.99 c cpu time : 226.28
411.83/227.99 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776042-1244734517/watcher-1776042-1244734517 -o /tmp/evaluation-result-1776042-1244734517/solver-1776042-1244734517 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776042-1244734517.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: 6.72 9.69 8.96 2/184 30415
/proc/meminfo: memFree=19135284/36427776 swapFree=4160/7944
[pid=30415] ppid=30413 vsize=7336 CPUtime=0
/proc/30415/stat : 30415 (satake) D 30413 30415 27791 0 -1 4202496 463 0 0 0 0 0 0 0 20 0 16 0 632758073 7512064 417 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 1834 418 63 164 0 1669 0
[pid=30415/tid=30416] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30416/stat : 30416 (satake) S 30413 30415 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 423 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30417] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30417/stat : 30417 (satake) R 30413 30415 27791 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 426 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30418/stat : 30418 (satake) R 30413 30415 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 429 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30419/stat : 30419 (satake) D 30413 30415 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 431 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30420/stat : 30420 (satake) R 30413 30415 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 431 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30421/stat : 30421 (satake) D 30413 30415 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 432 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 433 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30423/stat : 30423 (satake) R 30413 30415 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 433 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30424/stat : 30424 (satake) R 30413 30415 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 433 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30425/stat : 30425 (satake) R 30413 30415 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 433 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30426/stat : 30426 (satake) R 30413 30415 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 433 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30427/stat : 30427 (satake) R 30413 30415 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 632758073 7577600 433 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30428/stat : 30428 (satake) R 30413 30415 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 632758074 7577600 438 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30429/stat : 30429 (satake) R 30413 30415 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 632758074 7577600 439 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=7400 CPUtime=0
/proc/30415/task/30430/stat : 30430 (satake) R 30413 30415 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 632758074 7577600 439 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[startup+0.058286 s]
/proc/loadavg: 6.72 9.69 8.96 2/184 30415
/proc/meminfo: memFree=19135284/36427776 swapFree=4160/7944
[pid=30415] ppid=30413 vsize=27156 CPUtime=0.33
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 3787 0 0 0 0 33 0 0 20 0 17 0 632758073 27807744 3741 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 6789 3741 63 164 0 6624 0
[pid=30415/tid=30416] ppid=30413 vsize=27156 CPUtime=0
/proc/30415/task/30416/stat : 30416 (satake) S 30413 30415 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 632758073 27807744 3741 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30417] ppid=30413 vsize=27156 CPUtime=0.02
/proc/30415/task/30417/stat : 30417 (satake) D 30413 30415 27791 0 -1 4202560 328 0 0 0 0 2 0 0 20 0 17 0 632758073 27807744 3741 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30418/stat : 30418 (satake) D 30413 30415 27791 0 -1 4202560 356 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3743 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30419/stat : 30419 (satake) D 30413 30415 27791 0 -1 4202560 299 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3747 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30420/stat : 30420 (satake) R 30413 30415 27791 0 -1 4202560 302 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3747 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30421/stat : 30421 (satake) R 30413 30415 27791 0 -1 4202560 300 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3749 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 306 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3750 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30423/stat : 30423 (satake) R 30413 30415 27791 0 -1 4202560 269 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3750 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=28180 CPUtime=0
/proc/30415/task/30424/stat : 30424 (satake) R 30413 30415 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 17 0 632758073 28856320 3751 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30425/stat : 30425 (satake) R 30413 30415 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3751 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30426/stat : 30426 (satake) R 30413 30415 27791 0 -1 4202560 336 0 0 0 0 2 0 0 20 0 17 0 632758073 28856320 3751 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=28180 CPUtime=0
/proc/30415/task/30427/stat : 30427 (satake) R 30413 30415 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 632758073 28856320 3751 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30428/stat : 30428 (satake) R 30413 30415 27791 0 -1 4202560 245 0 0 0 0 2 0 0 20 0 17 0 632758074 28856320 3751 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=28180 CPUtime=0
/proc/30415/task/30429/stat : 30429 (satake) S 30413 30415 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632758074 28856320 3753 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=28180 CPUtime=0.02
/proc/30415/task/30430/stat : 30430 (satake) R 30413 30415 27791 0 -1 4202560 270 0 0 0 0 2 0 0 20 0 17 0 632758074 28856320 3754 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 27156
[startup+0.105339 s]
/proc/loadavg: 6.72 9.69 8.96 2/184 30415
/proc/meminfo: memFree=19135284/36427776 swapFree=4160/7944
[pid=30415] ppid=30413 vsize=55192 CPUtime=0.8
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 8957 0 0 0 0 80 0 0 20 0 17 0 632758073 56516608 8917 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 13798 8958 63 164 0 13633 0
[pid=30415/tid=30416] ppid=30413 vsize=55192 CPUtime=0
/proc/30415/task/30416/stat : 30416 (satake) S 30413 30415 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 632758073 56516608 8980 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30417] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30417/stat : 30417 (satake) R 30413 30415 27791 0 -1 4202560 682 0 0 0 0 6 0 0 20 0 17 0 632758073 56516608 9023 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=55192 CPUtime=0.08
/proc/30415/task/30418/stat : 30418 (satake) R 30413 30415 27791 0 -1 4202560 982 0 0 0 0 8 0 0 20 0 17 0 632758073 56516608 9047 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=55192 CPUtime=0.04
/proc/30415/task/30419/stat : 30419 (satake) R 30413 30415 27791 0 -1 4202560 477 0 0 0 0 4 0 0 20 0 17 0 632758073 56516608 9070 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30420/stat : 30420 (satake) R 30413 30415 27791 0 -1 4202560 825 0 0 0 0 6 0 0 20 0 17 0 632758073 56516608 9086 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=55192 CPUtime=0.08
/proc/30415/task/30421/stat : 30421 (satake) R 30413 30415 27791 0 -1 4202560 661 0 0 0 0 8 0 0 20 0 17 0 632758073 56516608 9112 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 808 0 0 0 0 6 0 0 20 0 17 0 632758073 56516608 9135 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30423/stat : 30423 (satake) R 30413 30415 27791 0 -1 4202560 683 0 0 0 0 6 0 0 20 0 17 0 632758073 56516608 9163 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=55192 CPUtime=0.02
/proc/30415/task/30424/stat : 30424 (satake) R 30413 30415 27791 0 -1 4202560 249 0 0 0 0 2 0 0 20 0 17 0 632758073 56516608 9187 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30425/stat : 30425 (satake) R 30413 30415 27791 0 -1 4202560 709 0 0 0 0 6 0 0 20 0 17 0 632758073 56516608 9205 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30426/stat : 30426 (satake) R 30413 30415 27791 0 -1 4202560 797 0 0 0 0 6 0 0 20 0 17 0 632758073 56516608 9217 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=55192 CPUtime=0
/proc/30415/task/30427/stat : 30427 (satake) R 30413 30415 27791 0 -1 4202560 95 0 0 0 0 0 0 0 20 0 17 0 632758073 56516608 9243 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30428/stat : 30428 (satake) R 30413 30415 27791 0 -1 4202560 599 0 0 0 0 6 0 0 20 0 17 0 632758074 56516608 9272 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=55192 CPUtime=0
/proc/30415/task/30429/stat : 30429 (satake) R 30413 30415 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 632758074 56516608 9295 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=55192 CPUtime=0.06
/proc/30415/task/30430/stat : 30430 (satake) R 30413 30415 27791 0 -1 4202560 708 0 0 0 0 6 0 0 20 0 17 0 632758074 56516608 9326 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 55192
[startup+0.30722 s]
/proc/loadavg: 6.72 9.69 8.96 2/184 30415
/proc/meminfo: memFree=19135284/36427776 swapFree=4160/7944
[pid=30415] ppid=30413 vsize=111780 CPUtime=2.69
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 23490 0 0 0 0 269 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 27945 23444 63 164 0 27780 0
[pid=30415/tid=30416] ppid=30413 vsize=111780 CPUtime=0
/proc/30415/task/30416/stat : 30416 (satake) S 30413 30415 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30417] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30417/stat : 30417 (satake) D 30413 30415 27791 0 -1 4202560 1837 0 0 0 0 22 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30418/stat : 30418 (satake) S 30413 30415 27791 0 -1 4202560 2047 0 0 0 0 22 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=111780 CPUtime=0.14
/proc/30415/task/30419/stat : 30419 (satake) D 30413 30415 27791 0 -1 4202560 1166 0 0 0 0 14 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30420/stat : 30420 (satake) S 30413 30415 27791 0 -1 4202560 1917 0 0 0 0 22 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30421/stat : 30421 (satake) D 30413 30415 27791 0 -1 4202560 1777 0 0 0 0 22 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=111780 CPUtime=0.14
/proc/30415/task/30422/stat : 30422 (satake) D 30413 30415 27791 0 -1 4202560 1412 0 0 0 0 14 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30423/stat : 30423 (satake) R 30413 30415 27791 0 -1 4202560 1860 0 0 0 0 22 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=111780 CPUtime=0.1
/proc/30415/task/30424/stat : 30424 (satake) D 30413 30415 27791 0 -1 4202560 816 0 0 0 0 10 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30425/stat : 30425 (satake) S 30413 30415 27791 0 -1 4202560 1832 0 0 0 0 22 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=111780 CPUtime=0.14
/proc/30415/task/30426/stat : 30426 (satake) D 30413 30415 27791 0 -1 4202560 1532 0 0 0 0 14 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=111780 CPUtime=0.08
/proc/30415/task/30427/stat : 30427 (satake) D 30413 30415 27791 0 -1 4202560 857 0 0 0 0 8 0 0 20 0 17 0 632758073 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=111780 CPUtime=0.22
/proc/30415/task/30428/stat : 30428 (satake) D 30413 30415 27791 0 -1 4202560 1764 0 0 0 0 22 0 0 20 0 17 0 632758074 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=111780 CPUtime=0.08
/proc/30415/task/30429/stat : 30429 (satake) D 30413 30415 27791 0 -1 4202560 847 0 0 0 0 8 0 0 20 0 17 0 632758074 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=111780 CPUtime=0.2
/proc/30415/task/30430/stat : 30430 (satake) D 30413 30415 27791 0 -1 4202560 1832 0 0 0 0 20 0 0 20 0 17 0 632758074 114462720 23444 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134675593 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 111780
[startup+0.70533 s]
/proc/loadavg: 6.72 9.69 8.96 2/184 30415
/proc/meminfo: memFree=19135284/36427776 swapFree=4160/7944
[pid=30415] ppid=30413 vsize=161188 CPUtime=4.57
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 37296 0 0 0 44 413 0 0 20 0 17 0 632758073 165056512 37250 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 40553 37250 63 164 0 40388 0
[pid=30415/tid=30416] ppid=30413 vsize=162212 CPUtime=0
/proc/30415/task/30416/stat : 30416 (satake) S 30413 30415 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 632758073 166105088 37251 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30417] ppid=30413 vsize=162212 CPUtime=0.36
/proc/30415/task/30417/stat : 30417 (satake) S 30413 30415 27791 0 -1 4202560 2592 0 0 0 4 32 0 0 20 0 17 0 632758073 166105088 37251 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=162212 CPUtime=0.38
/proc/30415/task/30418/stat : 30418 (satake) D 30413 30415 27791 0 -1 4202560 2806 0 0 0 8 30 0 0 20 0 17 0 632758073 166105088 37252 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=162212 CPUtime=0.24
/proc/30415/task/30419/stat : 30419 (satake) S 30413 30415 27791 0 -1 4202560 2422 0 0 0 2 22 0 0 20 0 17 0 632758073 166105088 37252 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=162212 CPUtime=0.34
/proc/30415/task/30420/stat : 30420 (satake) S 30413 30415 27791 0 -1 4202560 2529 0 0 0 4 30 0 0 20 0 17 0 632758073 166105088 37253 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=162212 CPUtime=0.38
/proc/30415/task/30421/stat : 30421 (satake) D 30413 30415 27791 0 -1 4202560 2585 0 0 0 2 36 0 0 20 0 17 0 632758073 166105088 37253 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=162212 CPUtime=0.26
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 2343 0 0 0 4 22 0 0 20 0 17 0 632758073 166105088 37253 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=162212 CPUtime=0.36
/proc/30415/task/30423/stat : 30423 (satake) R 30413 30415 27791 0 -1 4202560 2608 0 0 0 2 34 0 0 20 0 17 0 632758073 166105088 37258 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=162212 CPUtime=0.18
/proc/30415/task/30424/stat : 30424 (satake) R 30413 30415 27791 0 -1 4202560 2294 0 0 0 0 18 0 0 20 0 17 0 632758073 166105088 37258 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=162212 CPUtime=0.34
/proc/30415/task/30425/stat : 30425 (satake) R 30413 30415 27791 0 -1 4202560 2531 0 0 0 0 34 0 0 20 0 17 0 632758073 166105088 37258 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=162212 CPUtime=0.24
/proc/30415/task/30426/stat : 30426 (satake) S 30413 30415 27791 0 -1 4202560 2276 0 0 0 2 22 0 0 20 0 17 0 632758073 166105088 37258 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=162212 CPUtime=0.2
/proc/30415/task/30427/stat : 30427 (satake) S 30413 30415 27791 0 -1 4202560 2361 0 0 0 2 18 0 0 20 0 17 0 632758073 166105088 37258 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=162212 CPUtime=0.32
/proc/30415/task/30428/stat : 30428 (satake) S 30413 30415 27791 0 -1 4202560 2545 0 0 0 0 32 0 0 20 0 17 0 632758074 166105088 37260 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=162212 CPUtime=0.18
################
# More data... #
################
[pid=30415/tid=30421] ppid=30413 vsize=515460 CPUtime=19.74
/proc/30415/task/30421/stat : 30421 (satake) S 30413 30415 27791 0 -1 4202560 8700 0 0 0 1452 522 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=515460 CPUtime=20.26
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 8846 0 0 0 1502 524 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134519935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=515460 CPUtime=19.36
/proc/30415/task/30423/stat : 30423 (satake) S 30413 30415 27791 0 -1 4202560 8838 0 0 0 1302 634 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=515460 CPUtime=18.22
/proc/30415/task/30424/stat : 30424 (satake) S 30413 30415 27791 0 -1 4202560 8820 0 0 0 1294 528 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=515460 CPUtime=19.84
/proc/30415/task/30425/stat : 30425 (satake) S 30413 30415 27791 0 -1 4202560 8862 0 0 0 1376 608 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=515460 CPUtime=20.2
/proc/30415/task/30426/stat : 30426 (satake) S 30413 30415 27791 0 -1 4202560 8778 0 0 0 1384 636 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=515460 CPUtime=23.86
/proc/30415/task/30427/stat : 30427 (satake) S 30413 30415 27791 0 -1 4202560 8929 0 0 0 1838 548 0 0 20 0 17 0 632758073 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=515460 CPUtime=19.34
/proc/30415/task/30428/stat : 30428 (satake) S 30413 30415 27791 0 -1 4202560 8792 0 0 0 1352 582 0 0 20 0 17 0 632758074 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=515460 CPUtime=18.44
/proc/30415/task/30429/stat : 30429 (satake) S 30413 30415 27791 0 -1 4202560 8718 0 0 0 1228 616 0 0 20 0 17 0 632758074 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=515460 CPUtime=21.16
/proc/30415/task/30430/stat : 30430 (satake) S 30413 30415 27791 0 -1 4202560 8845 0 0 0 1538 578 0 0 20 0 17 0 632758074 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=30415/tid=30432] ppid=30413 vsize=515460 CPUtime=20.02
/proc/30415/task/30432/stat : 30432 (satake) S 30413 30415 27791 0 -1 4202560 8761 0 0 0 1402 600 0 0 20 0 17 0 632758074 527831040 108862 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 397.5
Current children cumulated vsize (KiB) 515460
[startup+225.513 s]
/proc/loadavg: 2.83 5.98 7.61 3/201 30432
/proc/meminfo: memFree=18703352/36427776 swapFree=4588/445628
[pid=30415] ppid=30413 vsize=515460 CPUtime=400.01
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 136039 0 0 0 22123 17878 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 128865 108888 68 164 0 128700 0
[pid=30415/tid=30416] ppid=30413 vsize=515460 CPUtime=106.72
/proc/30415/task/30416/stat : 30416 (satake) R 30413 30415 27791 0 -1 4202560 3686 0 0 0 1228 9444 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30417] ppid=30413 vsize=515460 CPUtime=17.46
/proc/30415/task/30417/stat : 30417 (satake) S 30413 30415 27791 0 -1 4202560 8737 0 0 0 1284 462 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=515460 CPUtime=18.7
/proc/30415/task/30418/stat : 30418 (satake) S 30413 30415 27791 0 -1 4202560 8687 0 0 0 1404 466 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=515460 CPUtime=17.34
/proc/30415/task/30419/stat : 30419 (satake) S 30413 30415 27791 0 -1 4202560 9116 0 0 0 1210 524 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=515460 CPUtime=17.9
/proc/30415/task/30420/stat : 30420 (satake) S 30413 30415 27791 0 -1 4202560 8783 0 0 0 1230 560 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=515460 CPUtime=19.88
/proc/30415/task/30421/stat : 30421 (satake) S 30413 30415 27791 0 -1 4202560 8700 0 0 0 1464 524 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=515460 CPUtime=20.42
/proc/30415/task/30422/stat : 30422 (satake) D 30413 30415 27791 0 -1 4202560 8848 0 0 0 1514 528 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=515460 CPUtime=19.48
/proc/30415/task/30423/stat : 30423 (satake) S 30413 30415 27791 0 -1 4202560 8845 0 0 0 1310 638 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=515460 CPUtime=18.3
/proc/30415/task/30424/stat : 30424 (satake) S 30413 30415 27791 0 -1 4202560 8820 0 0 0 1298 532 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=515460 CPUtime=19.94
/proc/30415/task/30425/stat : 30425 (satake) S 30413 30415 27791 0 -1 4202560 8862 0 0 0 1380 614 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=515460 CPUtime=20.32
/proc/30415/task/30426/stat : 30426 (satake) S 30413 30415 27791 0 -1 4202560 8778 0 0 0 1394 638 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=515460 CPUtime=23.94
/proc/30415/task/30427/stat : 30427 (satake) S 30413 30415 27791 0 -1 4202560 8929 0 0 0 1844 550 0 0 20 0 17 0 632758073 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=515460 CPUtime=19.46
/proc/30415/task/30428/stat : 30428 (satake) S 30413 30415 27791 0 -1 4202560 8794 0 0 0 1360 586 0 0 20 0 17 0 632758074 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=515460 CPUtime=18.6
/proc/30415/task/30429/stat : 30429 (satake) S 30413 30415 27791 0 -1 4202560 8724 0 0 0 1242 618 0 0 20 0 17 0 632758074 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=515460 CPUtime=21.3
/proc/30415/task/30430/stat : 30430 (satake) S 30413 30415 27791 0 -1 4202560 8845 0 0 0 1548 582 0 0 20 0 17 0 632758074 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=30415/tid=30432] ppid=30413 vsize=515460 CPUtime=20.1
/proc/30415/task/30432/stat : 30432 (satake) S 30413 30415 27791 0 -1 4202560 8761 0 0 0 1406 604 0 0 20 0 17 0 632758074 527831040 108888 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 400.01
Current children cumulated vsize (KiB) 515460
[startup+227.106 s]
/proc/loadavg: 2.83 5.98 7.61 17/201 30432
/proc/meminfo: memFree=18703352/36427776 swapFree=4588/445648
[pid=30415] ppid=30413 vsize=484336 CPUtime=408.38
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 136048 0 0 0 22368 18470 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 121084 103797 77 164 0 120919 0
[pid=30415/tid=30417] ppid=30413 vsize=484336 CPUtime=18.08
/proc/30415/task/30417/stat : 30417 (satake) R 30413 30415 27791 0 -1 4202560 8737 0 0 0 1302 506 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=484336 CPUtime=19.3
/proc/30415/task/30418/stat : 30418 (satake) R 30413 30415 27791 0 -1 4202560 8687 0 0 0 1424 506 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=484336 CPUtime=17.68
/proc/30415/task/30419/stat : 30419 (satake) R 30413 30415 27791 0 -1 4202560 9116 0 0 0 1220 548 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=484336 CPUtime=18.48
/proc/30415/task/30420/stat : 30420 (satake) R 30413 30415 27791 0 -1 4202560 8783 0 0 0 1244 604 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=484336 CPUtime=20.52
/proc/30415/task/30421/stat : 30421 (satake) R 30413 30415 27791 0 -1 4202560 8700 0 0 0 1482 570 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=484336 CPUtime=20.78
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 8848 0 0 0 1526 552 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=484336 CPUtime=20.12
/proc/30415/task/30423/stat : 30423 (satake) R 30413 30415 27791 0 -1 4202560 8845 0 0 0 1332 680 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=484336 CPUtime=18.6
/proc/30415/task/30424/stat : 30424 (satake) R 30413 30415 27791 0 -1 4202560 8829 0 0 0 1310 550 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=484336 CPUtime=20.48
/proc/30415/task/30425/stat : 30425 (satake) R 30413 30415 27791 0 -1 4202560 8862 0 0 0 1394 654 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=484336 CPUtime=20.7
/proc/30415/task/30426/stat : 30426 (satake) R 30413 30415 27791 0 -1 4202560 8778 0 0 0 1402 668 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30427] ppid=30413 vsize=484336 CPUtime=24.5
/proc/30415/task/30427/stat : 30427 (satake) R 30413 30415 27791 0 -1 4202560 8929 0 0 0 1862 588 0 0 20 0 16 0 632758073 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=484336 CPUtime=20.1
/proc/30415/task/30428/stat : 30428 (satake) R 30413 30415 27791 0 -1 4202560 8794 0 0 0 1380 630 0 0 20 0 16 0 632758074 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=484336 CPUtime=19.1
/proc/30415/task/30429/stat : 30429 (satake) R 30413 30415 27791 0 -1 4202560 8724 0 0 0 1256 654 0 0 20 0 16 0 632758074 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=484336 CPUtime=21.86
/proc/30415/task/30430/stat : 30430 (satake) R 30413 30415 27791 0 -1 4202560 8845 0 0 0 1564 622 0 0 20 0 16 0 632758074 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30415/tid=30432] ppid=30413 vsize=484336 CPUtime=20.64
/proc/30415/task/30432/stat : 30432 (satake) R 30413 30415 27791 0 -1 4202560 8761 0 0 0 1420 644 0 0 20 0 16 0 632758074 495960064 103797 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 408.38
Current children cumulated vsize (KiB) 484336
[startup+227.503 s]
/proc/loadavg: 2.83 5.98 7.61 17/201 30432
/proc/meminfo: memFree=18703352/36427776 swapFree=4588/445648
[pid=30415] ppid=30413 vsize=461732 CPUtime=410.58
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 136048 0 0 0 22449 18609 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 115433 100158 77 164 0 115268 0
[pid=30415/tid=30417] ppid=30413 vsize=461732 CPUtime=18.24
/proc/30415/task/30417/stat : 30417 (satake) R 30413 30415 27791 0 -1 4202560 8737 0 0 0 1306 518 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30415/tid=30418] ppid=30413 vsize=461732 CPUtime=19.46
/proc/30415/task/30418/stat : 30418 (satake) S 30413 30415 27791 0 -1 4202560 8687 0 0 0 1430 516 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30415/tid=30419] ppid=30413 vsize=461732 CPUtime=17.82
/proc/30415/task/30419/stat : 30419 (satake) R 30413 30415 27791 0 -1 4202560 9116 0 0 0 1226 556 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134672154 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30420] ppid=30413 vsize=461732 CPUtime=18.62
/proc/30415/task/30420/stat : 30420 (satake) R 30413 30415 27791 0 -1 4202560 8783 0 0 0 1248 614 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30415/tid=30421] ppid=30413 vsize=461732 CPUtime=20.7
/proc/30415/task/30421/stat : 30421 (satake) R 30413 30415 27791 0 -1 4202560 8700 0 0 0 1490 580 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=461732 CPUtime=20.86
/proc/30415/task/30422/stat : 30422 (satake) S 30413 30415 27791 0 -1 4202560 8848 0 0 0 1530 556 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30423] ppid=30413 vsize=461732 CPUtime=20.28
/proc/30415/task/30423/stat : 30423 (satake) S 30413 30415 27791 0 -1 4202560 8845 0 0 0 1338 690 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=461732 CPUtime=18.7
/proc/30415/task/30424/stat : 30424 (satake) S 30413 30415 27791 0 -1 4202560 8829 0 0 0 1312 558 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30425] ppid=30413 vsize=461732 CPUtime=20.64
/proc/30415/task/30425/stat : 30425 (satake) S 30413 30415 27791 0 -1 4202560 8862 0 0 0 1400 664 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=461732 CPUtime=20.78
/proc/30415/task/30426/stat : 30426 (satake) S 30413 30415 27791 0 -1 4202560 8778 0 0 0 1406 672 0 0 20 0 15 0 632758073 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30428] ppid=30413 vsize=461732 CPUtime=20.26
/proc/30415/task/30428/stat : 30428 (satake) S 30413 30415 27791 0 -1 4202560 8794 0 0 0 1384 642 0 0 20 0 15 0 632758074 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=461732 CPUtime=19.26
/proc/30415/task/30429/stat : 30429 (satake) R 30413 30415 27791 0 -1 4202560 8724 0 0 0 1260 666 0 0 20 0 15 0 632758074 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30430] ppid=30413 vsize=461732 CPUtime=22.08
/proc/30415/task/30430/stat : 30430 (satake) R 30413 30415 27791 0 -1 4202560 8845 0 0 0 1576 632 0 0 20 0 15 0 632758074 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30415/tid=30432] ppid=30413 vsize=461732 CPUtime=20.84
/proc/30415/task/30432/stat : 30432 (satake) R 30413 30415 27791 0 -1 4202560 8761 0 0 0 1430 654 0 0 20 0 15 0 632758074 472813568 100158 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 410.58
Current children cumulated vsize (KiB) 461732
[startup+227.901 s]
/proc/loadavg: 2.83 5.98 7.61 2/197 30432
/proc/meminfo: memFree=18741700/36427776 swapFree=4624/401348
[pid=30415] ppid=30413 vsize=374852 CPUtime=411.83
/proc/30415/stat : 30415 (satake) S 30413 30415 27791 0 -1 4202496 136048 0 0 0 22519 18664 0 0 20 0 6 0 632758073 383848448 85919 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 93713 85919 77 164 0 93548 0
[pid=30415/tid=30419] ppid=30413 vsize=374852 CPUtime=17.92
/proc/30415/task/30419/stat : 30419 (satake) R 30413 30415 27791 0 -1 4202560 9116 0 0 0 1232 560 0 0 20 0 6 0 632758073 383848448 85919 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30415/tid=30422] ppid=30413 vsize=374852 CPUtime=20.98
/proc/30415/task/30422/stat : 30422 (satake) R 30413 30415 27791 0 -1 4202560 8848 0 0 0 1536 562 0 0 20 0 6 0 632758073 383848448 85919 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30415/tid=30424] ppid=30413 vsize=374852 CPUtime=18.76
/proc/30415/task/30424/stat : 30424 (satake) S 30413 30415 27791 0 -1 4202560 8829 0 0 0 1316 560 0 0 20 0 6 0 632758073 383848448 85919 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30426] ppid=30413 vsize=374852 CPUtime=20.84
/proc/30415/task/30426/stat : 30426 (satake) S 30413 30415 27791 0 -1 4202560 8778 0 0 0 1410 674 0 0 20 0 6 0 632758073 383848448 85919 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30415/tid=30429] ppid=30413 vsize=374852 CPUtime=19.34
/proc/30415/task/30429/stat : 30429 (satake) R 30413 30415 27791 0 -1 4202560 8724 0 0 0 1266 668 0 0 20 0 6 0 632758074 383848448 85919 18446744073709551615 134512640 135180984 4290179664 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 411.83
Current children cumulated vsize (KiB) 374852
[startup+228.003 s]
/proc/loadavg: 2.83 5.98 7.61 2/197 30432
/proc/meminfo: memFree=18741700/36427776 swapFree=4624/401348
[pid=30415] ppid=30413 vsize=0 CPUtime=411.95
/proc/30415/stat : 30415 (satake) R 30413 30415 27791 0 -1 4202500 136049 0 0 0 22525 18670 0 0 20 0 1 0 632758073 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30415/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 411.95
Current children cumulated vsize (KiB) 0
Child status: 16
Real time (s): 228.029
CPU time (s): 411.982
CPU user time (s): 225.25
CPU system time (s): 186.732
CPU usage (%): 180.671
Max. virtual memory (cumulated for all children) (KiB): 515460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.25
system time used= 186.732
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136049
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= 14364382
involuntary context switches= 222350
runsolver used 0.96406 second user time and 2.48415 second system time
The end
Begin job on xenhost3-49 at 2009-06-11 17:35:17
IDJOB=1776042
IDBENCH=20415
IDSOLVER=631
FILE ID=xenhost3-49/1776042-1244734517
PBS_JOBID=
Free space on /tmp= 7033 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/palacios/uts/uts-l05-ipc5-h26-unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776042-1244734517/watcher-1776042-1244734517 -o /tmp/evaluation-result-1776042-1244734517/solver-1776042-1244734517 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776042-1244734517.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 4b97e69214a2eddbe060a9ecc3dfbbd8
RANDOM SEED= 757333178
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: 19135284 kB
Buffers: 432200 kB
Cached: 14108036 kB
SwapCached: 0 kB
Active: 4078132 kB
Inactive: 10471312 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 8604 kB
Writeback: 0 kB
AnonPages: 7944 kB
Mapped: 4160 kB
Slab: 687868 kB
SReclaimable: 660968 kB
SUnreclaim: 26900 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29492 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-11 17:39:05