374.67/111.52 c Benchmark name : HOME/instance-1775532-1244710117.cnf
374.67/111.52 c Thread Num : 16
374.67/111.52 c restarts : 9
374.67/111.52 c conflicts : 5599
374.67/111.52 c decisions : 16394 ( 149 / sec )
374.67/111.52 c propagations : 24285186 ( 220079 / sec )
374.67/111.52 c inspects : 70325661 ( 637310 / sec )
374.67/111.52 c conflict literals : 171143 ( 44.28 % deleted )
374.67/111.52 c cpu time : 110.35
374.67/111.52 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775532-1244710117/watcher-1775532-1244710117 -o /tmp/evaluation-result-1775532-1244710117/solver-1775532-1244710117 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775532-1244710117.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: 5.35 6.64 4.76 2/184 28015
/proc/meminfo: memFree=19131808/36427776 swapFree=4412/8536
[pid=28015] ppid=28013 vsize=8148 CPUtime=0
/proc/28015/stat : 28015 (satake) D 28013 28015 27791 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 16 0 630318104 8343552 381 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28015/statm: 2037 381 63 164 0 1872 0
[pid=28015/tid=28016] ppid=28013 vsize=8280 CPUtime=0
/proc/28015/task/28016/stat : 28016 (satake) S 28013 28015 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 630318104 8478720 390 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28017] ppid=28013 vsize=8280 CPUtime=0
/proc/28015/task/28017/stat : 28017 (satake) R 28013 28015 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 16 0 630318104 8478720 390 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=8280 CPUtime=0
/proc/28015/task/28018/stat : 28018 (satake) R 28013 28015 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 16 0 630318104 8478720 390 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=8280 CPUtime=0
/proc/28015/task/28019/stat : 28019 (satake) R 28013 28015 27791 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 16 0 630318104 8478720 390 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=8280 CPUtime=0
/proc/28015/task/28020/stat : 28020 (satake) D 28013 28015 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 16 0 630318105 8478720 390 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=8280 CPUtime=0
/proc/28015/task/28021/stat : 28021 (satake) D 28013 28015 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 16 0 630318105 8478720 390 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=8280 CPUtime=0
/proc/28015/task/28022/stat : 28022 (satake) D 28013 28015 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 630318105 8478720 390 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=8284 CPUtime=0
/proc/28015/task/28023/stat : 28023 (satake) S 28013 28015 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 630318105 8482816 390 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=8284 CPUtime=0
/proc/28015/task/28024/stat : 28024 (satake) D 28013 28015 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 16 0 630318105 8482816 394 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=8284 CPUtime=0
/proc/28015/task/28025/stat : 28025 (satake) D 28013 28015 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 630318105 8482816 396 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=8284 CPUtime=0
/proc/28015/task/28026/stat : 28026 (satake) R 28013 28015 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 16 0 630318105 8482816 397 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=8284 CPUtime=0
/proc/28015/task/28027/stat : 28027 (satake) R 28013 28015 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 630318105 8482816 398 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=8284 CPUtime=0
/proc/28015/task/28028/stat : 28028 (satake) R 28013 28015 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 630318105 8482816 398 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=8284 CPUtime=0
/proc/28015/task/28029/stat : 28029 (satake) R 28013 28015 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 630318105 8482816 399 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=8284 CPUtime=0
/proc/28015/task/28030/stat : 28030 (satake) R 28013 28015 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 630318105 8482816 399 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.072613 s]
/proc/loadavg: 5.35 6.64 4.76 2/184 28015
/proc/meminfo: memFree=19131808/36427776 swapFree=4412/8536
[pid=28015] ppid=28013 vsize=35844 CPUtime=0.43
/proc/28015/stat : 28015 (satake) S 28013 28015 27791 0 -1 4202496 5710 0 0 0 0 43 0 0 20 0 17 0 630318104 36704256 5667 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28015/statm: 8961 5672 63 164 0 8796 0
[pid=28015/tid=28016] ppid=28013 vsize=35844 CPUtime=0
/proc/28015/task/28016/stat : 28016 (satake) S 28013 28015 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630318104 36704256 5674 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28017] ppid=28013 vsize=35844 CPUtime=0.04
/proc/28015/task/28017/stat : 28017 (satake) R 28013 28015 27791 0 -1 4202560 519 0 0 0 0 4 0 0 20 0 17 0 630318104 36704256 5674 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=35844 CPUtime=0.04
/proc/28015/task/28018/stat : 28018 (satake) R 28013 28015 27791 0 -1 4202560 485 0 0 0 0 4 0 0 20 0 17 0 630318104 36704256 5674 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=35844 CPUtime=0.04
/proc/28015/task/28019/stat : 28019 (satake) R 28013 28015 27791 0 -1 4202560 591 0 0 0 0 4 0 0 20 0 17 0 630318104 36704256 5674 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=35844 CPUtime=0.02
/proc/28015/task/28020/stat : 28020 (satake) R 28013 28015 27791 0 -1 4202560 277 0 0 0 0 2 0 0 20 0 17 0 630318105 36704256 5674 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=35844 CPUtime=0.04
/proc/28015/task/28021/stat : 28021 (satake) R 28013 28015 27791 0 -1 4202560 543 0 0 0 0 4 0 0 20 0 17 0 630318105 36704256 5675 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=35844 CPUtime=0.04
/proc/28015/task/28022/stat : 28022 (satake) R 28013 28015 27791 0 -1 4202560 478 0 0 0 0 4 0 0 20 0 17 0 630318105 36704256 5676 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=35844 CPUtime=0.02
/proc/28015/task/28023/stat : 28023 (satake) R 28013 28015 27791 0 -1 4202560 394 0 0 0 0 2 0 0 20 0 17 0 630318105 36704256 5677 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=35844 CPUtime=0.04
/proc/28015/task/28024/stat : 28024 (satake) R 28013 28015 27791 0 -1 4202560 481 0 0 0 0 4 0 0 20 0 17 0 630318105 36704256 5678 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=35844 CPUtime=0.04
/proc/28015/task/28025/stat : 28025 (satake) R 28013 28015 27791 0 -1 4202560 462 0 0 0 0 4 0 0 20 0 17 0 630318105 36704256 5681 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=35844 CPUtime=0
/proc/28015/task/28026/stat : 28026 (satake) R 28013 28015 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 630318105 36704256 5682 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=35844 CPUtime=0.02
/proc/28015/task/28027/stat : 28027 (satake) R 28013 28015 27791 0 -1 4202560 266 0 0 0 0 2 0 0 20 0 17 0 630318105 36704256 5684 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=35844 CPUtime=0.04
/proc/28015/task/28028/stat : 28028 (satake) R 28013 28015 27791 0 -1 4202560 459 0 0 0 0 4 0 0 20 0 17 0 630318105 36704256 5685 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=35844 CPUtime=0
/proc/28015/task/28029/stat : 28029 (satake) R 28013 28015 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 630318105 36704256 5687 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=35844 CPUtime=0
/proc/28015/task/28030/stat : 28030 (satake) R 28013 28015 27791 0 -1 4202560 88 0 0 0 0 0 0 0 20 0 17 0 630318105 36704256 5688 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 35844
[startup+0.104558 s]
/proc/loadavg: 5.35 6.64 4.76 2/184 28015
/proc/meminfo: memFree=19131808/36427776 swapFree=4412/8536
[pid=28015] ppid=28013 vsize=58500 CPUtime=0.71
/proc/28015/stat : 28015 (satake) S 28013 28015 27791 0 -1 4202496 9681 0 0 0 0 71 0 0 20 0 17 0 630318104 59904000 9644 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28015/statm: 14625 9682 63 164 0 14460 0
[pid=28015/tid=28016] ppid=28013 vsize=58500 CPUtime=0
/proc/28015/task/28016/stat : 28016 (satake) S 28013 28015 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630318104 59904000 9708 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28017] ppid=28013 vsize=58500 CPUtime=0.04
/proc/28015/task/28017/stat : 28017 (satake) R 28013 28015 27791 0 -1 4202560 607 0 0 0 0 4 0 0 20 0 17 0 630318104 59904000 9730 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=58500 CPUtime=0.06
/proc/28015/task/28018/stat : 28018 (satake) R 28013 28015 27791 0 -1 4202560 883 0 0 0 0 6 0 0 20 0 17 0 630318104 59904000 9753 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=58500 CPUtime=0.06
/proc/28015/task/28019/stat : 28019 (satake) R 28013 28015 27791 0 -1 4202560 883 0 0 0 0 6 0 0 20 0 17 0 630318104 59904000 9780 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=58500 CPUtime=0.02
/proc/28015/task/28020/stat : 28020 (satake) R 28013 28015 27791 0 -1 4202560 318 0 0 0 0 2 0 0 20 0 17 0 630318105 59904000 9803 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=58500 CPUtime=0.06
/proc/28015/task/28021/stat : 28021 (satake) R 28013 28015 27791 0 -1 4202560 884 0 0 0 0 6 0 0 20 0 17 0 630318105 59904000 9813 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=58500 CPUtime=0.06
/proc/28015/task/28022/stat : 28022 (satake) R 28013 28015 27791 0 -1 4202560 852 0 0 0 0 6 0 0 20 0 17 0 630318105 59904000 9838 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=58500 CPUtime=0.04
/proc/28015/task/28023/stat : 28023 (satake) R 28013 28015 27791 0 -1 4202560 516 0 0 0 0 4 0 0 20 0 17 0 630318105 59904000 9861 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=58500 CPUtime=0.04
/proc/28015/task/28024/stat : 28024 (satake) R 28013 28015 27791 0 -1 4202560 570 0 0 0 0 4 0 0 20 0 17 0 630318105 59904000 9874 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=58500 CPUtime=0.06
/proc/28015/task/28025/stat : 28025 (satake) R 28013 28015 27791 0 -1 4202560 863 0 0 0 0 6 0 0 20 0 17 0 630318105 59904000 9887 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=58500 CPUtime=0.02
/proc/28015/task/28026/stat : 28026 (satake) R 28013 28015 27791 0 -1 4202560 274 0 0 0 0 2 0 0 20 0 17 0 630318105 59904000 9917 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=58500 CPUtime=0.04
/proc/28015/task/28027/stat : 28027 (satake) R 28013 28015 27791 0 -1 4202560 607 0 0 0 0 4 0 0 20 0 17 0 630318105 59904000 9931 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=58500 CPUtime=0.06
/proc/28015/task/28028/stat : 28028 (satake) R 28013 28015 27791 0 -1 4202560 872 0 0 0 0 6 0 0 20 0 17 0 630318105 59904000 9961 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=58500 CPUtime=0.02
/proc/28015/task/28029/stat : 28029 (satake) R 28013 28015 27791 0 -1 4202560 465 0 0 0 0 2 0 0 20 0 17 0 630318105 59904000 9982 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=58500 CPUtime=0.02
/proc/28015/task/28030/stat : 28030 (satake) R 28013 28015 27791 0 -1 4202560 373 0 0 0 0 2 0 0 20 0 17 0 630318105 59904000 9996 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 58500
[startup+0.30466 s]
/proc/loadavg: 5.35 6.64 4.76 2/184 28015
/proc/meminfo: memFree=19131808/36427776 swapFree=4412/8536
[pid=28015] ppid=28013 vsize=197456 CPUtime=2.59
/proc/28015/stat : 28015 (satake) S 28013 28015 27791 0 -1 4202496 40053 0 0 0 0 259 0 0 20 0 17 0 630318104 202194944 40009 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28015/statm: 49364 40011 63 164 0 49199 0
[pid=28015/tid=28016] ppid=28013 vsize=197456 CPUtime=0
/proc/28015/task/28016/stat : 28016 (satake) S 28013 28015 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630318104 202194944 40012 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28017] ppid=28013 vsize=197456 CPUtime=0.14
/proc/28015/task/28017/stat : 28017 (satake) R 28013 28015 27791 0 -1 4202560 2769 0 0 0 0 14 0 0 20 0 17 0 630318104 202194944 40013 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=197456 CPUtime=0.24
/proc/28015/task/28018/stat : 28018 (satake) D 28013 28015 27791 0 -1 4202560 3581 0 0 0 0 24 0 0 20 0 17 0 630318104 202194944 40022 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=197456 CPUtime=0.24
/proc/28015/task/28019/stat : 28019 (satake) D 28013 28015 27791 0 -1 4202560 3319 0 0 0 0 24 0 0 20 0 17 0 630318104 202194944 40022 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=197456 CPUtime=0.1
/proc/28015/task/28020/stat : 28020 (satake) R 28013 28015 27791 0 -1 4202560 1392 0 0 0 0 10 0 0 20 0 17 0 630318105 202194944 40022 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=197456 CPUtime=0.24
/proc/28015/task/28021/stat : 28021 (satake) D 28013 28015 27791 0 -1 4202560 3504 0 0 0 0 24 0 0 20 0 17 0 630318105 202194944 40024 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=197456 CPUtime=0.24
/proc/28015/task/28022/stat : 28022 (satake) R 28013 28015 27791 0 -1 4202560 3631 0 0 0 0 24 0 0 20 0 17 0 630318105 202194944 40026 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=197456 CPUtime=0.1
/proc/28015/task/28023/stat : 28023 (satake) R 28013 28015 27791 0 -1 4202560 1603 0 0 0 0 10 0 0 20 0 17 0 630318105 202194944 40027 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=197456 CPUtime=0.14
/proc/28015/task/28024/stat : 28024 (satake) R 28013 28015 27791 0 -1 4202560 2226 0 0 0 0 14 0 0 20 0 17 0 630318105 202194944 40027 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=197456 CPUtime=0.24
/proc/28015/task/28025/stat : 28025 (satake) D 28013 28015 27791 0 -1 4202560 3724 0 0 0 0 24 0 0 20 0 17 0 630318105 202194944 40028 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=197456 CPUtime=0.1
/proc/28015/task/28026/stat : 28026 (satake) R 28013 28015 27791 0 -1 4202560 1770 0 0 0 0 10 0 0 20 0 17 0 630318105 202194944 40029 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=197456 CPUtime=0.12
/proc/28015/task/28027/stat : 28027 (satake) R 28013 28015 27791 0 -1 4202560 2001 0 0 0 0 12 0 0 20 0 17 0 630318105 202194944 40029 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=197456 CPUtime=0.22
/proc/28015/task/28028/stat : 28028 (satake) R 28013 28015 27791 0 -1 4202560 3285 0 0 0 0 22 0 0 20 0 17 0 630318105 202194944 40030 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=197456 CPUtime=0.08
/proc/28015/task/28029/stat : 28029 (satake) R 28013 28015 27791 0 -1 4202560 1952 0 0 0 0 8 0 0 20 0 17 0 630318105 202194944 40030 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=197456 CPUtime=0.12
/proc/28015/task/28030/stat : 28030 (satake) D 28013 28015 27791 0 -1 4202560 1935 0 0 0 0 12 0 0 20 0 17 0 630318105 202194944 40030 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 197456
[startup+0.705442 s]
/proc/loadavg: 5.35 6.64 4.76 2/184 28015
/proc/meminfo: memFree=19131808/36427776 swapFree=4412/8536
[pid=28015] ppid=28013 vsize=263060 CPUtime=5.23
/proc/28015/stat : 28015 (satake) S 28013 28015 27791 0 -1 4202496 54087 0 0 0 5 518 0 0 20 0 17 0 630318104 269373440 54043 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28015/statm: 65765 54050 63 164 0 65600 0
[pid=28015/tid=28016] ppid=28013 vsize=263060 CPUtime=0
/proc/28015/task/28016/stat : 28016 (satake) S 28013 28015 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 630318104 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28017] ppid=28013 vsize=263060 CPUtime=0.3
/proc/28015/task/28017/stat : 28017 (satake) D 28013 28015 27791 0 -1 4202560 3750 0 0 0 0 30 0 0 20 0 17 0 630318104 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=263060 CPUtime=0.46
/proc/28015/task/28018/stat : 28018 (satake) D 28013 28015 27791 0 -1 4202560 4486 0 0 0 0 46 0 0 20 0 17 0 630318104 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134869198 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=263060 CPUtime=0.44
/proc/28015/task/28019/stat : 28019 (satake) S 28013 28015 27791 0 -1 4202560 4317 0 0 0 0 44 0 0 20 0 17 0 630318104 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=263060 CPUtime=0.24
/proc/28015/task/28020/stat : 28020 (satake) D 28013 28015 27791 0 -1 4202560 2439 0 0 0 0 24 0 0 20 0 17 0 630318105 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=263060 CPUtime=0.46
/proc/28015/task/28021/stat : 28021 (satake) S 28013 28015 27791 0 -1 4202560 4302 0 0 0 0 46 0 0 20 0 17 0 630318105 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=263060 CPUtime=0.46
/proc/28015/task/28022/stat : 28022 (satake) D 28013 28015 27791 0 -1 4202560 4402 0 0 0 0 46 0 0 20 0 17 0 630318105 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=263060 CPUtime=0.24
/proc/28015/task/28023/stat : 28023 (satake) D 28013 28015 27791 0 -1 4202560 2622 0 0 0 0 24 0 0 20 0 17 0 630318105 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=263060 CPUtime=0.28
/proc/28015/task/28024/stat : 28024 (satake) D 28013 28015 27791 0 -1 4202560 3230 0 0 0 0 28 0 0 20 0 17 0 630318105 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=263060 CPUtime=0.46
/proc/28015/task/28025/stat : 28025 (satake) D 28013 28015 27791 0 -1 4202560 4408 0 0 0 2 44 0 0 20 0 17 0 630318105 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=263060 CPUtime=0.24
/proc/28015/task/28026/stat : 28026 (satake) D 28013 28015 27791 0 -1 4202560 2756 0 0 0 0 24 0 0 20 0 17 0 630318105 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=263060 CPUtime=0.26
/proc/28015/task/28027/stat : 28027 (satake) D 28013 28015 27791 0 -1 4202560 2933 0 0 0 0 26 0 0 20 0 17 0 630318105 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=263060 CPUtime=0.44
/proc/28015/task/28028/stat : 28028 (satake) D 28013 28015 27791 0 -1 4202560 4295 0 0 0 0 44 0 0 20 0 17 0 630318105 269373440 54050 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=263060 CPUtime=0.24
################
# More data... #
################
/proc/28015/task/28016/stat : 28016 (satake) R 28013 28015 27791 0 -1 4202560 1296 0 0 0 462 3749 0 0 20 0 17 0 630318104 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28015/tid=28017] ppid=28013 vsize=800840 CPUtime=16.56
/proc/28015/task/28017/stat : 28017 (satake) S 28013 28015 27791 0 -1 4202560 14516 0 0 0 1388 268 0 0 20 0 17 0 630318104 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=800840 CPUtime=20.28
/proc/28015/task/28018/stat : 28018 (satake) S 28013 28015 27791 0 -1 4202560 14396 0 0 0 1744 284 0 0 20 0 17 0 630318104 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=800840 CPUtime=22.18
/proc/28015/task/28019/stat : 28019 (satake) S 28013 28015 27791 0 -1 4202560 14241 0 0 0 1928 290 0 0 20 0 17 0 630318104 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=800840 CPUtime=18.1
/proc/28015/task/28020/stat : 28020 (satake) R 28013 28015 27791 0 -1 4202560 14497 0 0 0 1534 276 0 0 20 0 17 0 630318105 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134528680 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=800840 CPUtime=19.22
/proc/28015/task/28021/stat : 28021 (satake) R 28013 28015 27791 0 -1 4202560 14429 0 0 0 1584 338 0 0 20 0 17 0 630318105 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=800840 CPUtime=18.76
/proc/28015/task/28022/stat : 28022 (satake) S 28013 28015 27791 0 -1 4202560 14410 0 0 0 1586 290 0 0 20 0 17 0 630318105 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=800840 CPUtime=21.82
/proc/28015/task/28023/stat : 28023 (satake) S 28013 28015 27791 0 -1 4202560 14442 0 0 0 1912 270 0 0 20 0 17 0 630318105 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=800840 CPUtime=25.12
/proc/28015/task/28024/stat : 28024 (satake) S 28013 28015 27791 0 -1 4202560 14473 0 0 0 2220 292 0 0 20 0 17 0 630318105 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=800840 CPUtime=21.26
/proc/28015/task/28025/stat : 28025 (satake) S 28013 28015 27791 0 -1 4202560 14021 0 0 0 1812 314 0 0 20 0 17 0 630318105 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=800840 CPUtime=21.66
/proc/28015/task/28026/stat : 28026 (satake) S 28013 28015 27791 0 -1 4202560 14760 0 0 0 1880 286 0 0 20 0 17 0 630318105 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=800840 CPUtime=20.36
/proc/28015/task/28027/stat : 28027 (satake) R 28013 28015 27791 0 -1 4202560 14397 0 0 0 1744 292 0 0 20 0 17 0 630318105 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134532610 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=800840 CPUtime=20.58
/proc/28015/task/28028/stat : 28028 (satake) S 28013 28015 27791 0 -1 4202560 14386 0 0 0 1760 298 0 0 20 0 17 0 630318105 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=800840 CPUtime=22.86
/proc/28015/task/28029/stat : 28029 (satake) S 28013 28015 27791 0 -1 4202560 14679 0 0 0 2010 276 0 0 20 0 17 0 630318105 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=800840 CPUtime=18.72
/proc/28015/task/28030/stat : 28030 (satake) S 28013 28015 27791 0 -1 4202560 14652 0 0 0 1536 336 0 0 20 0 17 0 630318105 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=28015/tid=28032] ppid=28013 vsize=800840 CPUtime=21.98
/proc/28015/task/28032/stat : 28032 (satake) R 28013 28015 27791 0 -1 4202560 14416 0 0 0 1886 312 0 0 20 0 17 0 630318106 820060160 165113 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 351.67
Current children cumulated vsize (KiB) 800840
[startup+108.706 s]
/proc/loadavg: 4.56 6.13 4.80 3/201 28037
/proc/meminfo: memFree=18471960/36427776 swapFree=4588/670544
[pid=28015] ppid=28013 vsize=800840 CPUtime=361.18
/proc/28015/stat : 28015 (satake) S 28013 28015 27791 0 -1 4202496 218222 0 0 0 27718 8400 0 0 20 0 17 0 630318104 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28015/statm: 200210 165198 68 164 0 200045 0
[pid=28015/tid=28016] ppid=28013 vsize=800840 CPUtime=43.56
/proc/28015/task/28016/stat : 28016 (satake) R 28013 28015 27791 0 -1 4202560 1323 0 0 0 474 3882 0 0 20 0 17 0 630318104 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28015/tid=28017] ppid=28013 vsize=800840 CPUtime=17.26
/proc/28015/task/28017/stat : 28017 (satake) R 28013 28015 27791 0 -1 4202560 14516 0 0 0 1454 272 0 0 20 0 17 0 630318104 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=800840 CPUtime=20.5
/proc/28015/task/28018/stat : 28018 (satake) S 28013 28015 27791 0 -1 4202560 14396 0 0 0 1766 284 0 0 20 0 17 0 630318104 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=800840 CPUtime=22.52
/proc/28015/task/28019/stat : 28019 (satake) S 28013 28015 27791 0 -1 4202560 14247 0 0 0 1956 296 0 0 20 0 17 0 630318104 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=800840 CPUtime=18.46
/proc/28015/task/28020/stat : 28020 (satake) S 28013 28015 27791 0 -1 4202560 14497 0 0 0 1568 278 0 0 20 0 17 0 630318105 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=800840 CPUtime=19.94
/proc/28015/task/28021/stat : 28021 (satake) S 28013 28015 27791 0 -1 4202560 14436 0 0 0 1650 344 0 0 20 0 17 0 630318105 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=800840 CPUtime=19.14
/proc/28015/task/28022/stat : 28022 (satake) R 28013 28015 27791 0 -1 4202560 14412 0 0 0 1618 296 0 0 20 0 17 0 630318105 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=800840 CPUtime=22.24
/proc/28015/task/28023/stat : 28023 (satake) S 28013 28015 27791 0 -1 4202560 14448 0 0 0 1948 276 0 0 20 0 17 0 630318105 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=800840 CPUtime=26.02
/proc/28015/task/28024/stat : 28024 (satake) R 28013 28015 27791 0 -1 4202560 14483 0 0 0 2302 300 0 0 20 0 17 0 630318105 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134528633 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=800840 CPUtime=21.64
/proc/28015/task/28025/stat : 28025 (satake) S 28013 28015 27791 0 -1 4202560 14021 0 0 0 1844 320 0 0 20 0 17 0 630318105 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=800840 CPUtime=22.08
/proc/28015/task/28026/stat : 28026 (satake) S 28013 28015 27791 0 -1 4202560 14775 0 0 0 1918 290 0 0 20 0 17 0 630318105 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=800840 CPUtime=21.04
/proc/28015/task/28027/stat : 28027 (satake) S 28013 28015 27791 0 -1 4202560 14400 0 0 0 1796 308 0 0 20 0 17 0 630318105 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=800840 CPUtime=21.28
/proc/28015/task/28028/stat : 28028 (satake) S 28013 28015 27791 0 -1 4202560 14393 0 0 0 1822 306 0 0 20 0 17 0 630318105 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=800840 CPUtime=23.44
/proc/28015/task/28029/stat : 28029 (satake) R 28013 28015 27791 0 -1 4202560 14680 0 0 0 2060 284 0 0 20 0 17 0 630318105 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134523641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=800840 CPUtime=19.14
/proc/28015/task/28030/stat : 28030 (satake) S 28013 28015 27791 0 -1 4202560 14653 0 0 0 1576 338 0 0 20 0 17 0 630318105 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=28015/tid=28032] ppid=28013 vsize=800840 CPUtime=22.8
/proc/28015/task/28032/stat : 28032 (satake) S 28013 28015 27791 0 -1 4202560 14416 0 0 0 1962 318 0 0 20 0 17 0 630318106 820060160 165198 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 361.18
Current children cumulated vsize (KiB) 800840
[startup+110.302 s]
/proc/loadavg: 4.56 6.13 4.80 4/201 28037
/proc/meminfo: memFree=18471712/36427776 swapFree=4588/670784
[pid=28015] ppid=28013 vsize=800840 CPUtime=366.41
/proc/28015/stat : 28015 (satake) S 28013 28015 27791 0 -1 4202496 218229 0 0 0 28149 8492 0 0 20 0 17 0 630318104 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28015/statm: 200210 165205 68 164 0 200045 0
[pid=28015/tid=28016] ppid=28013 vsize=800840 CPUtime=44.24
/proc/28015/task/28016/stat : 28016 (satake) R 28013 28015 27791 0 -1 4202560 1324 0 0 0 482 3942 0 0 20 0 17 0 630318104 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=28015/tid=28017] ppid=28013 vsize=800840 CPUtime=17.42
/proc/28015/task/28017/stat : 28017 (satake) S 28013 28015 27791 0 -1 4202560 14516 0 0 0 1468 274 0 0 20 0 17 0 630318104 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=800840 CPUtime=20.9
/proc/28015/task/28018/stat : 28018 (satake) S 28013 28015 27791 0 -1 4202560 14396 0 0 0 1802 288 0 0 20 0 17 0 630318104 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=800840 CPUtime=22.98
/proc/28015/task/28019/stat : 28019 (satake) S 28013 28015 27791 0 -1 4202560 14247 0 0 0 2000 298 0 0 20 0 17 0 630318104 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=800840 CPUtime=18.68
/proc/28015/task/28020/stat : 28020 (satake) S 28013 28015 27791 0 -1 4202560 14497 0 0 0 1588 280 0 0 20 0 17 0 630318105 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=800840 CPUtime=19.96
/proc/28015/task/28021/stat : 28021 (satake) S 28013 28015 27791 0 -1 4202560 14436 0 0 0 1650 346 0 0 20 0 17 0 630318105 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=800840 CPUtime=19.68
/proc/28015/task/28022/stat : 28022 (satake) S 28013 28015 27791 0 -1 4202560 14412 0 0 0 1672 296 0 0 20 0 17 0 630318105 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=800840 CPUtime=22.8
/proc/28015/task/28023/stat : 28023 (satake) S 28013 28015 27791 0 -1 4202560 14454 0 0 0 2000 280 0 0 20 0 17 0 630318105 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=800840 CPUtime=26.12
/proc/28015/task/28024/stat : 28024 (satake) S 28013 28015 27791 0 -1 4202560 14483 0 0 0 2310 302 0 0 20 0 17 0 630318105 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=800840 CPUtime=21.9
/proc/28015/task/28025/stat : 28025 (satake) S 28013 28015 27791 0 -1 4202560 14021 0 0 0 1868 322 0 0 20 0 17 0 630318105 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=800840 CPUtime=22.62
/proc/28015/task/28026/stat : 28026 (satake) S 28013 28015 27791 0 -1 4202560 14775 0 0 0 1970 292 0 0 20 0 17 0 630318105 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=800840 CPUtime=21.34
/proc/28015/task/28027/stat : 28027 (satake) S 28013 28015 27791 0 -1 4202560 14400 0 0 0 1824 310 0 0 20 0 17 0 630318105 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=800840 CPUtime=21.48
/proc/28015/task/28028/stat : 28028 (satake) S 28013 28015 27791 0 -1 4202560 14393 0 0 0 1838 310 0 0 20 0 17 0 630318105 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=800840 CPUtime=23.74
/proc/28015/task/28029/stat : 28029 (satake) S 28013 28015 27791 0 -1 4202560 14680 0 0 0 2088 286 0 0 20 0 17 0 630318105 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=800840 CPUtime=19.42
/proc/28015/task/28030/stat : 28030 (satake) S 28013 28015 27791 0 -1 4202560 14653 0 0 0 1602 340 0 0 20 0 17 0 630318105 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=28015/tid=28032] ppid=28013 vsize=800840 CPUtime=23
/proc/28015/task/28032/stat : 28032 (satake) S 28013 28015 27791 0 -1 4202560 14416 0 0 0 1980 320 0 0 20 0 17 0 630318106 820060160 165205 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 366.41
Current children cumulated vsize (KiB) 800840
[startup+111.114 s]
/proc/loadavg: 4.56 6.13 4.80 3/201 28037
/proc/meminfo: memFree=18521412/36427776 swapFree=4588/611636
[pid=28015] ppid=28013 vsize=701400 CPUtime=372.76
/proc/28015/stat : 28015 (satake) S 28013 28015 27791 0 -1 4202496 218238 0 0 0 28454 8822 0 0 20 0 17 0 630318104 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28015/statm: 175350 150636 77 164 0 175185 0
[pid=28015/tid=28016] ppid=28013 vsize=701400 CPUtime=44.54
/proc/28015/task/28016/stat : 28016 (satake) R 28013 28015 27791 0 -1 4202560 1324 0 0 0 496 3958 0 0 20 0 17 0 630318104 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134666410 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28015/tid=28017] ppid=28013 vsize=701400 CPUtime=17.82
/proc/28015/task/28017/stat : 28017 (satake) R 28013 28015 27791 0 -1 4202560 14516 0 0 0 1486 296 0 0 20 0 17 0 630318104 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28015/tid=28018] ppid=28013 vsize=701400 CPUtime=21.34
/proc/28015/task/28018/stat : 28018 (satake) R 28013 28015 27791 0 -1 4202560 14405 0 0 0 1822 312 0 0 20 0 17 0 630318104 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=28015/tid=28019] ppid=28013 vsize=701400 CPUtime=23.38
/proc/28015/task/28019/stat : 28019 (satake) S 28013 28015 27791 0 -1 4202560 14247 0 0 0 2022 316 0 0 20 0 17 0 630318104 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=28015/tid=28020] ppid=28013 vsize=701400 CPUtime=19.08
/proc/28015/task/28020/stat : 28020 (satake) S 28013 28015 27791 0 -1 4202560 14497 0 0 0 1606 302 0 0 20 0 17 0 630318105 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=28015/tid=28021] ppid=28013 vsize=701400 CPUtime=20.4
/proc/28015/task/28021/stat : 28021 (satake) S 28013 28015 27791 0 -1 4202560 14436 0 0 0 1674 366 0 0 20 0 17 0 630318105 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=28015/tid=28022] ppid=28013 vsize=701400 CPUtime=20.12
/proc/28015/task/28022/stat : 28022 (satake) R 28013 28015 27791 0 -1 4202560 14412 0 0 0 1694 318 0 0 20 0 17 0 630318105 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28015/tid=28023] ppid=28013 vsize=701400 CPUtime=23.22
/proc/28015/task/28023/stat : 28023 (satake) S 28013 28015 27791 0 -1 4202560 14454 0 0 0 2022 300 0 0 20 0 17 0 630318105 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=28015/tid=28024] ppid=28013 vsize=701400 CPUtime=26.56
/proc/28015/task/28024/stat : 28024 (satake) S 28013 28015 27791 0 -1 4202560 14483 0 0 0 2336 320 0 0 20 0 17 0 630318105 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=28015/tid=28025] ppid=28013 vsize=701400 CPUtime=22.16
/proc/28015/task/28025/stat : 28025 (satake) R 28013 28015 27791 0 -1 4202560 14021 0 0 0 1878 338 0 0 20 0 17 0 630318105 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28015/tid=28026] ppid=28013 vsize=701400 CPUtime=22.98
/proc/28015/task/28026/stat : 28026 (satake) S 28013 28015 27791 0 -1 4202560 14775 0 0 0 1986 312 0 0 20 0 17 0 630318105 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=28015/tid=28027] ppid=28013 vsize=701400 CPUtime=21.74
/proc/28015/task/28027/stat : 28027 (satake) S 28013 28015 27791 0 -1 4202560 14400 0 0 0 1842 332 0 0 20 0 17 0 630318105 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=28015/tid=28028] ppid=28013 vsize=701400 CPUtime=21.86
/proc/28015/task/28028/stat : 28028 (satake) R 28013 28015 27791 0 -1 4202560 14393 0 0 0 1856 330 0 0 20 0 17 0 630318105 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28015/tid=28029] ppid=28013 vsize=701400 CPUtime=24.12
/proc/28015/task/28029/stat : 28029 (satake) S 28013 28015 27791 0 -1 4202560 14680 0 0 0 2106 306 0 0 20 0 17 0 630318105 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=701400 CPUtime=19.86
/proc/28015/task/28030/stat : 28030 (satake) S 28013 28015 27791 0 -1 4202560 14653 0 0 0 1622 364 0 0 20 0 17 0 630318105 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=28015/tid=28032] ppid=28013 vsize=701400 CPUtime=23.44
/proc/28015/task/28032/stat : 28032 (satake) S 28013 28015 27791 0 -1 4202560 14416 0 0 0 2000 344 0 0 20 0 17 0 630318106 718233600 150636 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 372.76
Current children cumulated vsize (KiB) 701400
[startup+111.506 s]
/proc/loadavg: 4.56 6.13 4.80 3/201 28037
/proc/meminfo: memFree=18521412/36427776 swapFree=4588/611636
[pid=28015] ppid=28013 vsize=448908 CPUtime=374.67
/proc/28015/stat : 28015 (satake) S 28013 28015 27791 0 -1 4202496 218238 0 0 0 28566 8901 0 0 20 0 3 0 630318104 459681792 106318 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28015/statm: 112227 106318 77 164 0 112062 0
[pid=28015/tid=28016] ppid=28013 vsize=448908 CPUtime=44.65
/proc/28015/task/28016/stat : 28016 (satake) R 28013 28015 27791 0 -1 4202560 1324 0 0 0 504 3961 0 0 20 0 3 0 630318104 459681792 106183 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134702308 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28015/tid=28030] ppid=28013 vsize=448908 CPUtime=20
/proc/28015/task/28030/stat : 28030 (satake) R 28013 28015 27791 0 -1 4202560 14653 0 0 0 1628 372 0 0 20 0 3 0 630318105 459681792 106035 18446744073709551615 134512640 135180984 4288231552 18446744073709551615 134702308 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 374.67
Current children cumulated vsize (KiB) 448908
Child status: 16
Real time (s): 111.574
CPU time (s): 374.771
CPU user time (s): 285.67
CPU system time (s): 89.1016
CPU usage (%): 335.896
Max. virtual memory (cumulated for all children) (KiB): 999128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.67
system time used= 89.1016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218239
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= 6301972
involuntary context switches= 1117743
runsolver used 0.468029 second user time and 1.36008 second system time
The end
Begin job on xenhost3-49 at 2009-06-11 10:48:37
IDJOB=1775532
IDBENCH=20347
IDSOLVER=631
FILE ID=xenhost3-49/1775532-1244710117
PBS_JOBID=
Free space on /tmp= 7028 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/anbulagan/medium-unsat/total-5-13-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775532-1244710117/watcher-1775532-1244710117 -o /tmp/evaluation-result-1775532-1244710117/solver-1775532-1244710117 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775532-1244710117.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 127968d7d14f3ab7655995f561e62ed8
RANDOM SEED= 1230978947
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: 19131808 kB
Buffers: 431828 kB
Cached: 14113120 kB
SwapCached: 0 kB
Active: 4076588 kB
Inactive: 10476756 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 14732 kB
Writeback: 0 kB
AnonPages: 8536 kB
Mapped: 3748 kB
Slab: 687440 kB
SReclaimable: 660684 kB
SUnreclaim: 26756 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= 7028 MiB
End job on xenhost3-49 at 2009-06-11 10:50:29