245.81/84.70 c Benchmark name : HOME/instance-1776102-1244736411.cnf
245.81/84.70 c Thread Num : 16
245.81/84.70 c restarts : 8
245.81/84.70 c conflicts : 3290
245.81/84.70 c decisions : 15551 ( 187 / sec )
245.81/84.70 c propagations : 43900132 ( 528065 / sec )
245.81/84.70 c inspects : 99159167 ( 1192765 / sec )
245.81/84.70 c conflict literals : 226386 ( 25.31 % deleted )
245.81/84.70 c cpu time : 83.13
245.81/84.70 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776102-1244736411/watcher-1776102-1244736411 -o /tmp/evaluation-result-1776102-1244736411/solver-1776102-1244736411 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776102-1244736411.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: 3.12 3.47 4.20 2/184 30661
/proc/meminfo: memFree=19131888/36427776 swapFree=4328/8400
[pid=30661] ppid=30659 vsize=8320 CPUtime=0
/proc/30661/stat : 30661 (satake) R 30659 30661 27791 0 -1 4202496 464 0 0 0 0 0 0 0 20 0 16 0 632947477 8519680 421 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30661/statm: 2080 423 63 164 0 1915 0
[pid=30661/tid=30662] ppid=30659 vsize=8320 CPUtime=0
/proc/30661/task/30662/stat : 30662 (satake) S 30659 30661 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 632947477 8519680 424 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30663] ppid=30659 vsize=8324 CPUtime=0
/proc/30661/task/30663/stat : 30663 (satake) R 30659 30661 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 16 0 632947477 8523776 432 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30664] ppid=30659 vsize=8324 CPUtime=0
/proc/30661/task/30664/stat : 30664 (satake) D 30659 30661 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 16 0 632947477 8523776 435 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30665] ppid=30659 vsize=8456 CPUtime=0
/proc/30661/task/30665/stat : 30665 (satake) D 30659 30661 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 632947477 8658944 435 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30666] ppid=30659 vsize=8456 CPUtime=0
/proc/30661/task/30666/stat : 30666 (satake) D 30659 30661 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 16 0 632947477 8658944 439 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30661/tid=30667] ppid=30659 vsize=8456 CPUtime=0
/proc/30661/task/30667/stat : 30667 (satake) D 30659 30661 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 16 0 632947477 8658944 440 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30668] ppid=30659 vsize=8456 CPUtime=0
/proc/30661/task/30668/stat : 30668 (satake) R 30659 30661 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 16 0 632947477 8658944 442 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30661/tid=30669] ppid=30659 vsize=8456 CPUtime=0
/proc/30661/task/30669/stat : 30669 (satake) R 30659 30661 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 16 0 632947478 8658944 442 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=8456 CPUtime=0
/proc/30661/task/30670/stat : 30670 (satake) R 30659 30661 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 632947478 8658944 442 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=8456 CPUtime=0
/proc/30661/task/30671/stat : 30671 (satake) S 30659 30661 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 632947478 8658944 442 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=8456 CPUtime=0
/proc/30661/task/30672/stat : 30672 (satake) S 30659 30661 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 632947478 8658944 442 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=8456 CPUtime=0
/proc/30661/task/30673/stat : 30673 (satake) R 30659 30661 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 16 0 632947478 8658944 442 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=8456 CPUtime=0
/proc/30661/task/30674/stat : 30674 (satake) D 30659 30661 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 632947478 8658944 442 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=8456 CPUtime=0
/proc/30661/task/30675/stat : 30675 (satake) D 30659 30661 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 632947478 8658944 443 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=8456 CPUtime=0
/proc/30661/task/30676/stat : 30676 (satake) D 30659 30661 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 16 0 632947478 8658944 443 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.102403 s]
/proc/loadavg: 3.12 3.47 4.20 2/184 30661
/proc/meminfo: memFree=19131888/36427776 swapFree=4328/8400
[pid=30661] ppid=30659 vsize=57896 CPUtime=0.71
/proc/30661/stat : 30661 (satake) S 30659 30661 27791 0 -1 4202496 10146 0 0 0 0 71 0 0 20 0 17 0 632947477 59285504 10103 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30661/statm: 14474 10109 63 164 0 14309 0
[pid=30661/tid=30662] ppid=30659 vsize=57896 CPUtime=0
/proc/30661/task/30662/stat : 30662 (satake) S 30659 30661 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632947477 59285504 10122 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30663] ppid=30659 vsize=57896 CPUtime=0.06
/proc/30661/task/30663/stat : 30663 (satake) R 30659 30661 27791 0 -1 4202560 898 0 0 0 0 6 0 0 20 0 17 0 632947477 59285504 10142 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30664] ppid=30659 vsize=57896 CPUtime=0.02
/proc/30661/task/30664/stat : 30664 (satake) R 30659 30661 27791 0 -1 4202560 273 0 0 0 0 2 0 0 20 0 17 0 632947477 59285504 10160 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30665] ppid=30659 vsize=57896 CPUtime=0
/proc/30661/task/30665/stat : 30665 (satake) R 30659 30661 27791 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 17 0 632947477 59285504 10200 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30666] ppid=30659 vsize=57896 CPUtime=0.06
/proc/30661/task/30666/stat : 30666 (satake) R 30659 30661 27791 0 -1 4202560 939 0 0 0 0 6 0 0 20 0 17 0 632947477 59285504 10240 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30661/tid=30667] ppid=30659 vsize=57896 CPUtime=0.02
/proc/30661/task/30667/stat : 30667 (satake) R 30659 30661 27791 0 -1 4202560 296 0 0 0 0 2 0 0 20 0 17 0 632947477 59285504 10272 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30668] ppid=30659 vsize=57896 CPUtime=0.06
/proc/30661/task/30668/stat : 30668 (satake) R 30659 30661 27791 0 -1 4202560 911 0 0 0 0 6 0 0 20 0 17 0 632947477 59285504 10290 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30661/tid=30669] ppid=30659 vsize=57896 CPUtime=0.06
/proc/30661/task/30669/stat : 30669 (satake) R 30659 30661 27791 0 -1 4202560 957 0 0 0 0 6 0 0 20 0 17 0 632947478 59285504 10317 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=57896 CPUtime=0.06
/proc/30661/task/30670/stat : 30670 (satake) R 30659 30661 27791 0 -1 4202560 906 0 0 0 0 6 0 0 20 0 17 0 632947478 59285504 10345 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=57896 CPUtime=0.04
/proc/30661/task/30671/stat : 30671 (satake) R 30659 30661 27791 0 -1 4202560 806 0 0 0 0 4 0 0 20 0 17 0 632947478 59285504 10378 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=57896 CPUtime=0.06
/proc/30661/task/30672/stat : 30672 (satake) R 30659 30661 27791 0 -1 4202560 790 0 0 0 0 6 0 0 20 0 17 0 632947478 59285504 10406 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=57896 CPUtime=0.04
/proc/30661/task/30673/stat : 30673 (satake) R 30659 30661 27791 0 -1 4202560 768 0 0 0 0 4 0 0 20 0 17 0 632947478 59285504 10436 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=57896 CPUtime=0.04
/proc/30661/task/30674/stat : 30674 (satake) R 30659 30661 27791 0 -1 4202560 696 0 0 0 0 4 0 0 20 0 17 0 632947478 59285504 10459 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=57896 CPUtime=0.06
/proc/30661/task/30675/stat : 30675 (satake) R 30659 30661 27791 0 -1 4202560 849 0 0 0 0 6 0 0 20 0 17 0 632947478 59285504 10498 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=57896 CPUtime=0.02
/proc/30661/task/30676/stat : 30676 (satake) R 30659 30661 27791 0 -1 4202560 312 0 0 0 0 2 0 0 20 0 17 0 632947478 59285504 10527 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 57896
[startup+0.206444 s]
/proc/loadavg: 3.12 3.47 4.20 2/184 30661
/proc/meminfo: memFree=19131888/36427776 swapFree=4328/8400
[pid=30661] ppid=30659 vsize=187688 CPUtime=1.65
/proc/30661/stat : 30661 (satake) S 30659 30661 27791 0 -1 4202496 27110 0 0 0 0 165 0 0 20 0 17 0 632947477 192192512 27076 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30661/statm: 46922 27127 63 164 0 46757 0
[pid=30661/tid=30662] ppid=30659 vsize=187688 CPUtime=0
/proc/30661/task/30662/stat : 30662 (satake) S 30659 30661 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632947477 192192512 27154 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30663] ppid=30659 vsize=187688 CPUtime=0.08
/proc/30661/task/30663/stat : 30663 (satake) R 30659 30661 27791 0 -1 4202560 1366 0 0 0 0 8 0 0 20 0 17 0 632947477 192192512 27182 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30664] ppid=30659 vsize=187688 CPUtime=0.06
/proc/30661/task/30664/stat : 30664 (satake) R 30659 30661 27791 0 -1 4202560 1218 0 0 0 0 6 0 0 20 0 17 0 632947477 192192512 27236 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30665] ppid=30659 vsize=187688 CPUtime=0.06
/proc/30661/task/30665/stat : 30665 (satake) R 30659 30661 27791 0 -1 4202560 1185 0 0 0 0 6 0 0 20 0 17 0 632947477 192192512 27272 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30666] ppid=30659 vsize=187688 CPUtime=0.14
/proc/30661/task/30666/stat : 30666 (satake) R 30659 30661 27791 0 -1 4202560 2299 0 0 0 0 14 0 0 20 0 17 0 632947477 192192512 27307 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30661/tid=30667] ppid=30659 vsize=187688 CPUtime=0.08
/proc/30661/task/30667/stat : 30667 (satake) R 30659 30661 27791 0 -1 4202560 1491 0 0 0 0 8 0 0 20 0 17 0 632947477 192192512 27324 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30668] ppid=30659 vsize=187688 CPUtime=0.14
/proc/30661/task/30668/stat : 30668 (satake) R 30659 30661 27791 0 -1 4202560 2611 0 0 0 0 14 0 0 20 0 17 0 632947477 192192512 27352 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30661/tid=30669] ppid=30659 vsize=187688 CPUtime=0.16
/proc/30661/task/30669/stat : 30669 (satake) R 30659 30661 27791 0 -1 4202560 2314 0 0 0 0 16 0 0 20 0 17 0 632947478 192192512 27386 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=187688 CPUtime=0.14
/proc/30661/task/30670/stat : 30670 (satake) R 30659 30661 27791 0 -1 4202560 2428 0 0 0 0 14 0 0 20 0 17 0 632947478 192192512 27424 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=187688 CPUtime=0.08
/proc/30661/task/30671/stat : 30671 (satake) R 30659 30661 27791 0 -1 4202560 1503 0 0 0 0 8 0 0 20 0 17 0 632947478 192192512 27454 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=187688 CPUtime=0.14
/proc/30661/task/30672/stat : 30672 (satake) R 30659 30661 27791 0 -1 4202560 2447 0 0 0 0 14 0 0 20 0 17 0 632947478 192192512 27492 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=187688 CPUtime=0.08
/proc/30661/task/30673/stat : 30673 (satake) R 30659 30661 27791 0 -1 4202560 1577 0 0 0 0 8 0 0 20 0 17 0 632947478 192192512 27509 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=187688 CPUtime=0.06
/proc/30661/task/30674/stat : 30674 (satake) R 30659 30661 27791 0 -1 4202560 1127 0 0 0 0 6 0 0 20 0 17 0 632947478 192192512 27544 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=187688 CPUtime=0.14
/proc/30661/task/30675/stat : 30675 (satake) R 30659 30661 27791 0 -1 4202560 2170 0 0 0 0 14 0 0 20 0 17 0 632947478 192192512 27581 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=187688 CPUtime=0.08
/proc/30661/task/30676/stat : 30676 (satake) R 30659 30661 27791 0 -1 4202560 1253 0 0 0 0 8 0 0 20 0 17 0 632947478 192192512 27613 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 187688
[startup+0.306526 s]
/proc/loadavg: 3.12 3.47 4.20 2/184 30661
/proc/meminfo: memFree=19131888/36427776 swapFree=4328/8400
[pid=30661] ppid=30659 vsize=168904 CPUtime=2.47
/proc/30661/stat : 30661 (satake) S 30659 30661 27791 0 -1 4202496 33867 0 0 0 0 247 0 0 20 0 17 0 632947477 172957696 33825 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30661/statm: 42226 33828 63 164 0 42061 0
[pid=30661/tid=30662] ppid=30659 vsize=168904 CPUtime=0
/proc/30661/task/30662/stat : 30662 (satake) S 30659 30661 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632947477 172957696 33828 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30663] ppid=30659 vsize=168904 CPUtime=0.12
/proc/30661/task/30663/stat : 30663 (satake) R 30659 30661 27791 0 -1 4202560 1887 0 0 0 0 12 0 0 20 0 17 0 632947477 172957696 33829 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30664] ppid=30659 vsize=168904 CPUtime=0.1
/proc/30661/task/30664/stat : 30664 (satake) D 30659 30661 27791 0 -1 4202560 1413 0 0 0 0 10 0 0 20 0 17 0 632947477 172957696 33831 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30665] ppid=30659 vsize=168904 CPUtime=0.1
/proc/30661/task/30665/stat : 30665 (satake) D 30659 30661 27791 0 -1 4202560 1406 0 0 0 0 10 0 0 20 0 17 0 632947477 172957696 33831 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30666] ppid=30659 vsize=168904 CPUtime=0.22
/proc/30661/task/30666/stat : 30666 (satake) R 30659 30661 27791 0 -1 4202560 2917 0 0 0 0 22 0 0 20 0 17 0 632947477 172957696 33833 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30661/tid=30667] ppid=30659 vsize=168904 CPUtime=0.1
/proc/30661/task/30667/stat : 30667 (satake) R 30659 30661 27791 0 -1 4202560 1682 0 0 0 0 10 0 0 20 0 17 0 632947477 172957696 33836 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30668] ppid=30659 vsize=168904 CPUtime=0.22
/proc/30661/task/30668/stat : 30668 (satake) D 30659 30661 27791 0 -1 4202560 3064 0 0 0 0 22 0 0 20 0 17 0 632947477 172957696 33837 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30661/tid=30669] ppid=30659 vsize=168904 CPUtime=0.22
/proc/30661/task/30669/stat : 30669 (satake) D 30659 30661 27791 0 -1 4202560 2889 0 0 0 0 22 0 0 20 0 17 0 632947478 172957696 33837 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=168904 CPUtime=0.22
/proc/30661/task/30670/stat : 30670 (satake) D 30659 30661 27791 0 -1 4202560 2939 0 0 0 0 22 0 0 20 0 17 0 632947478 172957696 33837 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=168904 CPUtime=0.12
/proc/30661/task/30671/stat : 30671 (satake) D 30659 30661 27791 0 -1 4202560 1955 0 0 0 0 12 0 0 20 0 17 0 632947478 172957696 33837 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=168904 CPUtime=0.22
/proc/30661/task/30672/stat : 30672 (satake) R 30659 30661 27791 0 -1 4202560 2955 0 0 0 0 22 0 0 20 0 17 0 632947478 172957696 33837 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=168904 CPUtime=0.12
/proc/30661/task/30673/stat : 30673 (satake) R 30659 30661 27791 0 -1 4202560 2044 0 0 0 0 12 0 0 20 0 17 0 632947478 172957696 33839 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=168904 CPUtime=0.12
/proc/30661/task/30674/stat : 30674 (satake) R 30659 30661 27791 0 -1 4202560 1569 0 0 0 0 12 0 0 20 0 17 0 632947478 172957696 33840 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=168904 CPUtime=0.22
/proc/30661/task/30675/stat : 30675 (satake) R 30659 30661 27791 0 -1 4202560 2674 0 0 0 0 22 0 0 20 0 17 0 632947478 172957696 33841 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=168904 CPUtime=0.1
/proc/30661/task/30676/stat : 30676 (satake) R 30659 30661 27791 0 -1 4202560 1421 0 0 0 0 10 0 0 20 0 17 0 632947478 172957696 33841 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 168904
[startup+0.706478 s]
/proc/loadavg: 3.12 3.47 4.20 2/184 30661
/proc/meminfo: memFree=19131888/36427776 swapFree=4328/8400
[pid=30661] ppid=30659 vsize=214616 CPUtime=4.39
/proc/30661/stat : 30661 (satake) S 30659 30661 27791 0 -1 4202496 51117 0 0 0 23 416 0 0 20 0 17 0 632947477 219766784 51074 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30661/statm: 53654 51078 63 164 0 53489 0
[pid=30661/tid=30662] ppid=30659 vsize=214616 CPUtime=0
/proc/30661/task/30662/stat : 30662 (satake) S 30659 30661 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632947477 219766784 51078 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30663] ppid=30659 vsize=214616 CPUtime=0.24
/proc/30661/task/30663/stat : 30663 (satake) R 30659 30661 27791 0 -1 4202560 3383 0 0 0 2 22 0 0 20 0 17 0 632947477 219766784 51078 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30664] ppid=30659 vsize=214616 CPUtime=0.22
/proc/30661/task/30664/stat : 30664 (satake) R 30659 30661 27791 0 -1 4202560 3306 0 0 0 2 20 0 0 20 0 17 0 632947477 219766784 51078 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30665] ppid=30659 vsize=214616 CPUtime=0.2
/proc/30661/task/30665/stat : 30665 (satake) R 30659 30661 27791 0 -1 4202560 3236 0 0 0 0 20 0 0 20 0 17 0 632947477 219766784 51078 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30666] ppid=30659 vsize=214616 CPUtime=0.36
/proc/30661/task/30666/stat : 30666 (satake) R 30659 30661 27791 0 -1 4202560 3524 0 0 0 0 36 0 0 20 0 17 0 632947477 219766784 51078 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30661/tid=30667] ppid=30659 vsize=214616 CPUtime=0.22
/proc/30661/task/30667/stat : 30667 (satake) S 30659 30661 27791 0 -1 4202560 3308 0 0 0 0 22 0 0 20 0 17 0 632947477 219766784 51080 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30668] ppid=30659 vsize=214616 CPUtime=0.4
/proc/30661/task/30668/stat : 30668 (satake) D 30659 30661 27791 0 -1 4202560 3769 0 0 0 6 34 0 0 20 0 17 0 632947477 219766784 51080 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30661/tid=30669] ppid=30659 vsize=214616 CPUtime=0.36
/proc/30661/task/30669/stat : 30669 (satake) D 30659 30661 27791 0 -1 4202560 3411 0 0 0 0 36 0 0 20 0 17 0 632947478 219766784 51080 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=214616 CPUtime=0.36
/proc/30661/task/30670/stat : 30670 (satake) S 30659 30661 27791 0 -1 4202560 3520 0 0 0 2 34 0 0 20 0 17 0 632947478 219766784 51080 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=214616 CPUtime=0.22
/proc/30661/task/30671/stat : 30671 (satake) S 30659 30661 27791 0 -1 4202560 3284 0 0 0 0 22 0 0 20 0 17 0 632947478 219766784 51081 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=214616 CPUtime=0.36
/proc/30661/task/30672/stat : 30672 (satake) S 30659 30661 27791 0 -1 4202560 3488 0 0 0 2 34 0 0 20 0 17 0 632947478 219766784 51081 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=214616 CPUtime=0.22
/proc/30661/task/30673/stat : 30673 (satake) D 30659 30661 27791 0 -1 4202560 3355 0 0 0 0 22 0 0 20 0 17 0 632947478 219766784 51082 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=214616 CPUtime=0.22
/proc/30661/task/30674/stat : 30674 (satake) S 30659 30661 27791 0 -1 4202560 3246 0 0 0 0 22 0 0 20 0 17 0 632947478 219766784 51082 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=214616 CPUtime=0.34
################
# More data... #
################
[pid=30661/tid=30662] ppid=30659 vsize=576780 CPUtime=34.04
/proc/30661/task/30662/stat : 30662 (satake) R 30659 30661 27791 0 -1 4202560 2733 0 0 0 412 2992 0 0 20 0 17 0 632947477 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30663] ppid=30659 vsize=576780 CPUtime=8.94
/proc/30661/task/30663/stat : 30663 (satake) S 30659 30661 27791 0 -1 4202560 11931 0 0 0 722 172 0 0 20 0 17 0 632947477 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=30661/tid=30664] ppid=30659 vsize=576780 CPUtime=9.22
/proc/30661/task/30664/stat : 30664 (satake) S 30659 30661 27791 0 -1 4202560 12015 0 0 0 748 174 0 0 20 0 17 0 632947477 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30665] ppid=30659 vsize=576780 CPUtime=19.94
/proc/30661/task/30665/stat : 30665 (satake) S 30659 30661 27791 0 -1 4202560 12191 0 0 0 1792 202 0 0 20 0 17 0 632947477 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30661/tid=30666] ppid=30659 vsize=576780 CPUtime=14.78
/proc/30661/task/30666/stat : 30666 (satake) R 30659 30661 27791 0 -1 4202560 11677 0 0 0 1290 188 0 0 20 0 17 0 632947477 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30661/tid=30667] ppid=30659 vsize=576780 CPUtime=13.28
/proc/30661/task/30667/stat : 30667 (satake) S 30659 30661 27791 0 -1 4202560 11852 0 0 0 1148 180 0 0 20 0 17 0 632947477 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30668] ppid=30659 vsize=576780 CPUtime=15.02
/proc/30661/task/30668/stat : 30668 (satake) S 30659 30661 27791 0 -1 4202560 11430 0 0 0 1320 182 0 0 20 0 17 0 632947477 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30661/tid=30669] ppid=30659 vsize=576780 CPUtime=12.56
/proc/30661/task/30669/stat : 30669 (satake) R 30659 30661 27791 0 -1 4202560 11838 0 0 0 1074 182 0 0 20 0 17 0 632947478 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=576780 CPUtime=11.32
/proc/30661/task/30670/stat : 30670 (satake) S 30659 30661 27791 0 -1 4202560 11747 0 0 0 920 212 0 0 20 0 17 0 632947478 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=576780 CPUtime=11.84
/proc/30661/task/30671/stat : 30671 (satake) R 30659 30661 27791 0 -1 4202560 12032 0 0 0 964 220 0 0 20 0 17 0 632947478 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134519884 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=576780 CPUtime=9.6
/proc/30661/task/30672/stat : 30672 (satake) R 30659 30661 27791 0 -1 4202560 11573 0 0 0 734 226 0 0 20 0 17 0 632947478 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=576780 CPUtime=14.68
/proc/30661/task/30673/stat : 30673 (satake) S 30659 30661 27791 0 -1 4202560 12005 0 0 0 1274 194 0 0 20 0 17 0 632947478 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=576780 CPUtime=11.8
/proc/30661/task/30674/stat : 30674 (satake) S 30659 30661 27791 0 -1 4202560 11952 0 0 0 974 206 0 0 20 0 17 0 632947478 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=576780 CPUtime=14.46
/proc/30661/task/30675/stat : 30675 (satake) S 30659 30661 27791 0 -1 4202560 11692 0 0 0 1224 222 0 0 20 0 17 0 632947478 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=576780 CPUtime=13.98
/proc/30661/task/30676/stat : 30676 (satake) S 30659 30661 27791 0 -1 4202560 11801 0 0 0 1178 220 0 0 20 0 17 0 632947478 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30661/tid=30678] ppid=30659 vsize=576780 CPUtime=11.08
/proc/30661/task/30678/stat : 30678 (satake) S 30659 30661 27791 0 -1 4202560 11676 0 0 0 886 222 0 0 20 0 17 0 632947478 590622720 136562 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 226.67
Current children cumulated vsize (KiB) 576780
[startup+83.202 s]
/proc/loadavg: 4.12 3.75 4.23 5/201 30678
/proc/meminfo: memFree=18587072/36427776 swapFree=4588/556916
[pid=30661] ppid=30659 vsize=576912 CPUtime=236.27
/proc/30661/stat : 30661 (satake) S 30659 30661 27791 0 -1 4202496 180433 0 0 0 17401 6226 0 0 20 0 17 0 632947477 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30661/statm: 144228 136725 77 164 0 144063 0
[pid=30661/tid=30662] ppid=30659 vsize=576912 CPUtime=35.44
/proc/30661/task/30662/stat : 30662 (satake) R 30659 30661 27791 0 -1 4202560 2744 0 0 0 434 3110 0 0 20 0 17 0 632947477 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30663] ppid=30659 vsize=576912 CPUtime=9.26
/proc/30661/task/30663/stat : 30663 (satake) R 30659 30661 27791 0 -1 4202560 11931 0 0 0 748 178 0 0 20 0 17 0 632947477 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30661/tid=30664] ppid=30659 vsize=576912 CPUtime=9.76
/proc/30661/task/30664/stat : 30664 (satake) R 30659 30661 27791 0 -1 4202560 12025 0 0 0 792 184 0 0 20 0 17 0 632947477 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30665] ppid=30659 vsize=576912 CPUtime=21.02
/proc/30661/task/30665/stat : 30665 (satake) R 30659 30661 27791 0 -1 4202560 12211 0 0 0 1892 210 0 0 20 0 17 0 632947477 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30661/tid=30666] ppid=30659 vsize=576912 CPUtime=15.42
/proc/30661/task/30666/stat : 30666 (satake) R 30659 30661 27791 0 -1 4202560 11688 0 0 0 1348 194 0 0 20 0 17 0 632947477 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30661/tid=30667] ppid=30659 vsize=576912 CPUtime=14.42
/proc/30661/task/30667/stat : 30667 (satake) R 30659 30661 27791 0 -1 4202560 11855 0 0 0 1256 186 0 0 20 0 17 0 632947477 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30668] ppid=30659 vsize=576912 CPUtime=15.42
/proc/30661/task/30668/stat : 30668 (satake) R 30659 30661 27791 0 -1 4202560 11453 0 0 0 1356 186 0 0 20 0 17 0 632947477 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30661/tid=30669] ppid=30659 vsize=576912 CPUtime=12.92
/proc/30661/task/30669/stat : 30669 (satake) R 30659 30661 27791 0 -1 4202560 11852 0 0 0 1106 186 0 0 20 0 17 0 632947478 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=576912 CPUtime=11.64
/proc/30661/task/30670/stat : 30670 (satake) R 30659 30661 27791 0 -1 4202560 11749 0 0 0 938 226 0 0 20 0 17 0 632947478 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=576912 CPUtime=12.16
/proc/30661/task/30671/stat : 30671 (satake) R 30659 30661 27791 0 -1 4202560 12035 0 0 0 994 222 0 0 20 0 17 0 632947478 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=576912 CPUtime=9.9
/proc/30661/task/30672/stat : 30672 (satake) R 30659 30661 27791 0 -1 4202560 11583 0 0 0 752 238 0 0 20 0 17 0 632947478 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=576912 CPUtime=15.08
/proc/30661/task/30673/stat : 30673 (satake) R 30659 30661 27791 0 -1 4202560 12031 0 0 0 1304 204 0 0 20 0 17 0 632947478 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=576912 CPUtime=12.12
/proc/30661/task/30674/stat : 30674 (satake) R 30659 30661 27791 0 -1 4202560 11955 0 0 0 1002 210 0 0 20 0 17 0 632947478 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=576912 CPUtime=15.6
/proc/30661/task/30675/stat : 30675 (satake) S 30659 30661 27791 0 -1 4202560 11705 0 0 0 1330 230 0 0 20 0 17 0 632947478 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=576912 CPUtime=14.44
/proc/30661/task/30676/stat : 30676 (satake) R 30659 30661 27791 0 -1 4202560 11809 0 0 0 1220 224 0 0 20 0 17 0 632947478 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30661/tid=30678] ppid=30659 vsize=576912 CPUtime=11.54
/proc/30661/task/30678/stat : 30678 (satake) R 30659 30661 27791 0 -1 4202560 11682 0 0 0 924 230 0 0 20 0 17 0 632947478 590757888 136725 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 236.27
Current children cumulated vsize (KiB) 576912
[startup+84.005 s]
/proc/loadavg: 4.12 3.75 4.23 2/200 30678
/proc/meminfo: memFree=18591140/36427776 swapFree=4588/551200
[pid=30661] ppid=30659 vsize=550424 CPUtime=243.23
/proc/30661/stat : 30661 (satake) S 30659 30661 27791 0 -1 4202496 180434 0 0 0 17645 6678 0 0 20 0 16 0 632947477 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30661/statm: 137606 130589 77 164 0 137441 0
[pid=30661/tid=30663] ppid=30659 vsize=550424 CPUtime=9.6
/proc/30661/task/30663/stat : 30663 (satake) R 30659 30661 27791 0 -1 4202560 11931 0 0 0 760 200 0 0 20 0 16 0 632947477 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30661/tid=30664] ppid=30659 vsize=550424 CPUtime=10.3
/proc/30661/task/30664/stat : 30664 (satake) R 30659 30661 27791 0 -1 4202560 12025 0 0 0 812 218 0 0 20 0 16 0 632947477 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30661/tid=30665] ppid=30659 vsize=550424 CPUtime=21.58
/proc/30661/task/30665/stat : 30665 (satake) R 30659 30661 27791 0 -1 4202560 12211 0 0 0 1916 242 0 0 20 0 16 0 632947477 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30661/tid=30666] ppid=30659 vsize=550424 CPUtime=15.96
/proc/30661/task/30666/stat : 30666 (satake) R 30659 30661 27791 0 -1 4202560 11688 0 0 0 1362 234 0 0 20 0 16 0 632947477 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30661/tid=30667] ppid=30659 vsize=550424 CPUtime=15
/proc/30661/task/30667/stat : 30667 (satake) R 30659 30661 27791 0 -1 4202560 11855 0 0 0 1278 222 0 0 20 0 16 0 632947477 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30661/tid=30668] ppid=30659 vsize=550424 CPUtime=16
/proc/30661/task/30668/stat : 30668 (satake) S 30659 30661 27791 0 -1 4202560 11453 0 0 0 1380 220 0 0 20 0 16 0 632947477 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30661/tid=30669] ppid=30659 vsize=550424 CPUtime=13.26
/proc/30661/task/30669/stat : 30669 (satake) R 30659 30661 27791 0 -1 4202560 11852 0 0 0 1118 208 0 0 20 0 16 0 632947478 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=550424 CPUtime=11.96
/proc/30661/task/30670/stat : 30670 (satake) R 30659 30661 27791 0 -1 4202560 11749 0 0 0 944 252 0 0 20 0 16 0 632947478 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30671] ppid=30659 vsize=550424 CPUtime=12.68
/proc/30661/task/30671/stat : 30671 (satake) R 30659 30661 27791 0 -1 4202560 12035 0 0 0 1010 258 0 0 20 0 16 0 632947478 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=550424 CPUtime=10.42
/proc/30661/task/30672/stat : 30672 (satake) R 30659 30661 27791 0 -1 4202560 11583 0 0 0 764 278 0 0 20 0 16 0 632947478 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=550424 CPUtime=15.4
/proc/30661/task/30673/stat : 30673 (satake) R 30659 30661 27791 0 -1 4202560 12031 0 0 0 1314 226 0 0 20 0 16 0 632947478 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=550424 CPUtime=12.4
/proc/30661/task/30674/stat : 30674 (satake) R 30659 30661 27791 0 -1 4202560 11955 0 0 0 1012 228 0 0 20 0 16 0 632947478 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30675] ppid=30659 vsize=550424 CPUtime=16.2
/proc/30661/task/30675/stat : 30675 (satake) R 30659 30661 27791 0 -1 4202560 11705 0 0 0 1354 266 0 0 20 0 16 0 632947478 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=550424 CPUtime=15
/proc/30661/task/30676/stat : 30676 (satake) R 30659 30661 27791 0 -1 4202560 11810 0 0 0 1246 254 0 0 20 0 16 0 632947478 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30661/tid=30678] ppid=30659 vsize=550424 CPUtime=11.86
/proc/30661/task/30678/stat : 30678 (satake) R 30659 30661 27791 0 -1 4202560 11682 0 0 0 934 252 0 0 20 0 16 0 632947478 563634176 130589 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 243.23
Current children cumulated vsize (KiB) 550424
[startup+84.4015 s]
/proc/loadavg: 4.12 3.75 4.23 2/200 30678
/proc/meminfo: memFree=18591140/36427776 swapFree=4588/551200
[pid=30661] ppid=30659 vsize=479500 CPUtime=245.4
/proc/30661/stat : 30661 (satake) S 30659 30661 27791 0 -1 4202496 180434 0 0 0 17730 6810 0 0 20 0 10 0 632947477 491008000 114850 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30661/statm: 119875 114850 77 164 0 119710 0
[pid=30661/tid=30663] ppid=30659 vsize=479500 CPUtime=9.7
/proc/30661/task/30663/stat : 30663 (satake) S 30659 30661 27791 0 -1 4202560 11931 0 0 0 764 206 0 0 20 0 10 0 632947477 491008000 114850 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=30661/tid=30666] ppid=30659 vsize=479500 CPUtime=16.18
/proc/30661/task/30666/stat : 30666 (satake) S 30659 30661 27791 0 -1 4202560 11688 0 0 0 1370 248 0 0 20 0 10 0 632947477 491008000 114850 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30661/tid=30669] ppid=30659 vsize=479500 CPUtime=13.42
/proc/30661/task/30669/stat : 30669 (satake) R 30659 30661 27791 0 -1 4202560 11852 0 0 0 1124 218 0 0 20 0 10 0 632947478 491008000 114850 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134666427 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=479500 CPUtime=12.08
/proc/30661/task/30670/stat : 30670 (satake) R 30659 30661 27791 0 -1 4202560 11749 0 0 0 948 260 0 0 20 0 10 0 632947478 491008000 114850 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30672] ppid=30659 vsize=479500 CPUtime=10.64
/proc/30661/task/30672/stat : 30672 (satake) S 30659 30661 27791 0 -1 4202560 11583 0 0 0 772 292 0 0 20 0 10 0 632947478 491008000 114850 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=479500 CPUtime=15.58
/proc/30661/task/30673/stat : 30673 (satake) S 30659 30661 27791 0 -1 4202560 12031 0 0 0 1326 232 0 0 20 0 10 0 632947478 491008000 114850 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=479500 CPUtime=12.54
/proc/30661/task/30674/stat : 30674 (satake) S 30659 30661 27791 0 -1 4202560 11955 0 0 0 1016 238 0 0 20 0 10 0 632947478 491008000 114850 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30676] ppid=30659 vsize=479500 CPUtime=15.22
/proc/30661/task/30676/stat : 30676 (satake) S 30659 30661 27791 0 -1 4202560 11810 0 0 0 1256 266 0 0 20 0 10 0 632947478 491008000 114850 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=30661/tid=30678] ppid=30659 vsize=479500 CPUtime=11.96
/proc/30661/task/30678/stat : 30678 (satake) S 30659 30661 27791 0 -1 4202560 11682 0 0 0 938 258 0 0 20 0 10 0 632947478 491008000 114850 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 245.4
Current children cumulated vsize (KiB) 479500
[startup+84.6016 s]
/proc/loadavg: 4.12 3.75 4.23 2/200 30678
/proc/meminfo: memFree=18591140/36427776 swapFree=4588/551200
[pid=30661] ppid=30659 vsize=438852 CPUtime=245.81
/proc/30661/stat : 30661 (satake) S 30659 30661 27791 0 -1 4202496 180434 0 0 0 17760 6821 0 0 20 0 6 0 632947477 449384448 105909 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/30661/statm: 109713 105909 77 164 0 109548 0
[pid=30661/tid=30669] ppid=30659 vsize=438852 CPUtime=13.44
/proc/30661/task/30669/stat : 30669 (satake) R 30659 30661 27791 0 -1 4202560 11852 0 0 0 1126 218 0 0 20 0 6 0 632947478 449384448 105909 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30670] ppid=30659 vsize=438852 CPUtime=12.12
/proc/30661/task/30670/stat : 30670 (satake) R 30659 30661 27791 0 -1 4202560 11749 0 0 0 950 262 0 0 20 0 6 0 632947478 449384448 105909 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30661/tid=30673] ppid=30659 vsize=438852 CPUtime=15.62
/proc/30661/task/30673/stat : 30673 (satake) R 30659 30661 27791 0 -1 4202560 12031 0 0 0 1330 232 0 0 20 0 6 0 632947478 449384448 105909 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30674] ppid=30659 vsize=438852 CPUtime=12.58
/proc/30661/task/30674/stat : 30674 (satake) R 30659 30661 27791 0 -1 4202560 11955 0 0 0 1020 238 0 0 20 0 6 0 632947478 449384448 105909 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30661/tid=30678] ppid=30659 vsize=438852 CPUtime=12.08
/proc/30661/task/30678/stat : 30678 (satake) R 30659 30661 27791 0 -1 4202560 11682 0 0 0 948 260 0 0 20 0 6 0 632947478 449384448 105909 18446744073709551615 134512640 135180984 4290103872 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 245.81
Current children cumulated vsize (KiB) 438852
[startup+84.7016 s]
/proc/loadavg: 4.12 3.75 4.23 2/186 30678
/proc/meminfo: memFree=18743704/36427776 swapFree=4624/392544
[pid=30661] ppid=30659 vsize=0 CPUtime=246
/proc/30661/stat : 30661 (satake) R 30659 30661 27791 0 -1 4202500 180435 0 0 0 17774 6826 0 0 20 0 1 0 632947477 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/30661/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 246
Current children cumulated vsize (KiB) 0
Child status: 16
Real time (s): 84.7545
CPU time (s): 246.039
CPU user time (s): 177.743
CPU system time (s): 68.2963
CPU usage (%): 290.296
Max. virtual memory (cumulated for all children) (KiB): 659316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 177.743
system time used= 68.2963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180435
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= 4760316
involuntary context switches= 848016
runsolver used 0.344021 second user time and 1.03606 second system time
The end
Begin job on xenhost3-49 at 2009-06-11 18:06:51
IDJOB=1776102
IDBENCH=20421
IDSOLVER=631
FILE ID=xenhost3-49/1776102-1244736411
PBS_JOBID=
Free space on /tmp= 7029 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/palacios/uts/uts-l06-ipc5-h28-unknown.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776102-1244736411/watcher-1776102-1244736411 -o /tmp/evaluation-result-1776102-1244736411/solver-1776102-1244736411 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776102-1244736411.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= ccc94758bbd09de3056ff3a062ddfd45
RANDOM SEED= 2050857269
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: 19131000 kB
Buffers: 432232 kB
Cached: 14112616 kB
SwapCached: 0 kB
Active: 4078220 kB
Inactive: 10475864 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 12324 kB
Writeback: 0 kB
AnonPages: 8400 kB
Mapped: 3664 kB
Slab: 687672 kB
SReclaimable: 660916 kB
SUnreclaim: 26756 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7028 MiB
End job on xenhost3-49 at 2009-06-11 18:08:16