426.43/138.34 c Benchmark name : HOME/instance-1779072-1244780386.cnf
426.43/138.34 c Thread Num : 16
426.43/138.34 c restarts : 13
426.43/138.34 c conflicts : 29623
426.43/138.34 c decisions : 73163 ( 532 / sec )
426.43/138.34 c propagations : 27842388 ( 202294 / sec )
426.43/138.34 c inspects : 89399095 ( 649546 / sec )
426.43/138.34 c conflict literals : 4256298 ( 21.47 % deleted )
426.43/138.34 c cpu time : 137.63
426.43/138.34 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1779072-1244780386/watcher-1779072-1244780386 -o /tmp/evaluation-result-1779072-1244780386/solver-1779072-1244780386 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779072-1244780386.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.95 4.24 6.05 2/184 3592
/proc/meminfo: memFree=19141416/36427776 swapFree=3652/7076
[pid=3592] ppid=3590 vsize=7864 CPUtime=0
/proc/3592/stat : 3592 (satake) R 3590 3592 27791 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 15 0 637344983 8052736 299 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 1966 299 63 164 0 1801 0
[pid=3592/tid=3593] ppid=3590 vsize=7940 CPUtime=0
/proc/3592/task/3593/stat : 3593 (satake) S 3590 3592 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637344983 8130560 360 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=7940 CPUtime=0
/proc/3592/task/3595/stat : 3595 (satake) R 3590 3592 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 637344983 8130560 363 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=7940 CPUtime=0
/proc/3592/task/3596/stat : 3596 (satake) R 3590 3592 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 637344983 8130560 367 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=7940 CPUtime=0
/proc/3592/task/3597/stat : 3597 (satake) D 3590 3592 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 637344983 8130560 375 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3598/stat : 3598 (satake) D 3590 3592 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 378 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3599/stat : 3599 (satake) S 3590 3592 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 382 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3601/stat : 3601 (satake) D 3590 3592 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 383 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3602/stat : 3602 (satake) D 3590 3592 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3603/stat : 3603 (satake) S 3590 3592 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3604/stat : 3604 (satake) R 3590 3592 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3606/stat : 3606 (satake) R 3590 3592 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3607/stat : 3607 (satake) D 3590 3592 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=8076 CPUtime=0
/proc/3592/task/3609/stat : 3609 (satake) D 3590 3592 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637344983 8269824 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=8076 CPUtime=0
/proc/3592/task/3610/stat : 3610 (satake) D 3590 3592 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 637344984 8269824 389 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=8076 CPUtime=0
/proc/3592/task/3611/stat : 3611 (satake) D 3590 3592 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 637344984 8269824 391 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[startup+0.060065 s]
/proc/loadavg: 3.95 4.24 6.05 2/184 3592
/proc/meminfo: memFree=19141416/36427776 swapFree=3652/7076
[pid=3592] ppid=3590 vsize=18116 CPUtime=0.25
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 2887 0 0 0 4 21 0 0 20 0 17 0 637344983 18550784 2844 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 4529 2848 63 164 0 4364 0
[pid=3592/tid=3593] ppid=3590 vsize=18116 CPUtime=0
/proc/3592/task/3593/stat : 3593 (satake) S 3590 3592 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637344983 18550784 2848 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=18116 CPUtime=0.02
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 186 0 0 0 0 2 0 0 20 0 17 0 637344983 18550784 2848 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=19144 CPUtime=0.02
/proc/3592/task/3596/stat : 3596 (satake) S 3590 3592 27791 0 -1 4202560 224 0 0 0 0 2 0 0 20 0 17 0 637344983 19603456 2848 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=18628 CPUtime=0.02
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 188 0 0 0 0 2 0 0 20 0 17 0 637344983 19075072 2848 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=18628 CPUtime=0
/proc/3592/task/3598/stat : 3598 (satake) D 3590 3592 27791 0 -1 4202560 174 0 0 0 0 0 0 0 20 0 17 0 637344983 19075072 2851 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=18628 CPUtime=0
/proc/3592/task/3599/stat : 3599 (satake) S 3590 3592 27791 0 -1 4202560 182 0 0 0 0 0 0 0 20 0 17 0 637344983 19075072 2852 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=18628 CPUtime=0.02
/proc/3592/task/3601/stat : 3601 (satake) D 3590 3592 27791 0 -1 4202560 204 0 0 0 0 2 0 0 20 0 17 0 637344983 19075072 2852 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=18628 CPUtime=0
/proc/3592/task/3602/stat : 3602 (satake) R 3590 3592 27791 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 17 0 637344983 19075072 2856 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=18628 CPUtime=0.02
/proc/3592/task/3603/stat : 3603 (satake) D 3590 3592 27791 0 -1 4202560 203 0 0 0 0 2 0 0 20 0 17 0 637344983 19075072 2857 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=18628 CPUtime=0
/proc/3592/task/3604/stat : 3604 (satake) D 3590 3592 27791 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 17 0 637344983 19075072 2857 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=18628 CPUtime=0.02
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 198 0 0 0 0 2 0 0 20 0 17 0 637344983 19075072 2859 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=18628 CPUtime=0.02
/proc/3592/task/3606/stat : 3606 (satake) R 3590 3592 27791 0 -1 4202560 228 0 0 0 0 2 0 0 20 0 17 0 637344983 19075072 2859 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=18232 CPUtime=0
/proc/3592/task/3607/stat : 3607 (satake) D 3590 3592 27791 0 -1 4202560 191 0 0 0 0 0 0 0 20 0 17 0 637344983 18669568 2859 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=18232 CPUtime=0
/proc/3592/task/3609/stat : 3609 (satake) D 3590 3592 27791 0 -1 4202560 139 0 0 0 0 0 0 0 20 0 17 0 637344983 18669568 2861 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=18232 CPUtime=0
/proc/3592/task/3610/stat : 3610 (satake) D 3590 3592 27791 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 17 0 637344984 18669568 2864 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=18232 CPUtime=0
/proc/3592/task/3611/stat : 3611 (satake) R 3590 3592 27791 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 17 0 637344984 18669568 2864 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 18116
[startup+0.10395 s]
/proc/loadavg: 3.95 4.24 6.05 2/184 3592
/proc/meminfo: memFree=19141416/36427776 swapFree=3652/7076
[pid=3592] ppid=3590 vsize=24692 CPUtime=0.35
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 4336 0 0 0 7 28 0 0 20 0 17 0 637344983 25284608 4293 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 6173 4297 63 164 0 6008 0
[pid=3592/tid=3593] ppid=3590 vsize=24692 CPUtime=0
/proc/3592/task/3593/stat : 3593 (satake) S 3590 3592 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637344983 25284608 4297 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 230 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4297 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3596/stat : 3596 (satake) D 3590 3592 27791 0 -1 4202560 265 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4298 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 227 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4298 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=24692 CPUtime=0
/proc/3592/task/3598/stat : 3598 (satake) S 3590 3592 27791 0 -1 4202560 244 0 0 0 0 0 0 0 20 0 17 0 637344983 25284608 4300 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=24692 CPUtime=0.04
/proc/3592/task/3599/stat : 3599 (satake) R 3590 3592 27791 0 -1 4202560 862 0 0 0 2 2 0 0 20 0 17 0 637344983 25284608 4302 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3601/stat : 3601 (satake) S 3590 3592 27791 0 -1 4202560 289 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4303 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=24692 CPUtime=0
/proc/3592/task/3602/stat : 3602 (satake) R 3590 3592 27791 0 -1 4202560 211 0 0 0 0 0 0 0 20 0 17 0 637344983 25284608 4304 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3603/stat : 3603 (satake) S 3590 3592 27791 0 -1 4202560 246 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4306 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=24692 CPUtime=0
/proc/3592/task/3604/stat : 3604 (satake) R 3590 3592 27791 0 -1 4202560 206 0 0 0 0 0 0 0 20 0 17 0 637344983 25284608 4308 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 233 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4308 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=24692 CPUtime=0.04
/proc/3592/task/3606/stat : 3606 (satake) S 3590 3592 27791 0 -1 4202560 294 0 0 0 0 4 0 0 20 0 17 0 637344983 25284608 4308 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3607/stat : 3607 (satake) R 3590 3592 27791 0 -1 4202560 246 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4309 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=24692 CPUtime=0
/proc/3592/task/3609/stat : 3609 (satake) R 3590 3592 27791 0 -1 4202560 212 0 0 0 0 0 0 0 20 0 17 0 637344983 25284608 4310 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3610/stat : 3610 (satake) R 3590 3592 27791 0 -1 4202560 236 0 0 0 0 2 0 0 20 0 17 0 637344984 25284608 4310 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3611/stat : 3611 (satake) R 3590 3592 27791 0 -1 4202560 213 0 0 0 2 0 0 0 20 0 17 0 637344984 25284608 4314 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134665171 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 24692
[startup+0.303969 s]
/proc/loadavg: 3.95 4.24 6.05 2/184 3592
/proc/meminfo: memFree=19141416/36427776 swapFree=3652/7076
[pid=3592] ppid=3590 vsize=52868 CPUtime=1.13
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 10879 0 0 0 39 74 0 0 20 0 17 0 637344983 54136832 10520 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 13217 10523 66 164 0 13052 0
[pid=3592/tid=3593] ppid=3590 vsize=52868 CPUtime=0
/proc/3592/task/3593/stat : 3593 (satake) S 3590 3592 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637344983 54136832 10523 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=52868 CPUtime=0.08
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 762 0 0 0 2 6 0 0 20 0 17 0 637344983 54136832 10524 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=52868 CPUtime=0.08
/proc/3592/task/3596/stat : 3596 (satake) R 3590 3592 27791 0 -1 4202560 735 0 0 0 2 6 0 0 20 0 17 0 637344983 54136832 10524 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 631 0 0 0 2 4 0 0 20 0 17 0 637344983 54136832 10529 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3598/stat : 3598 (satake) S 3590 3592 27791 0 -1 4202560 715 0 0 0 6 0 0 0 20 0 17 0 637344983 54136832 10531 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=52868 CPUtime=0.1
/proc/3592/task/3599/stat : 3599 (satake) S 3590 3592 27791 0 -1 4202560 895 0 0 0 8 2 0 0 20 0 17 0 637344983 54136832 10533 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=52868 CPUtime=0.08
/proc/3592/task/3601/stat : 3601 (satake) R 3590 3592 27791 0 -1 4202560 808 0 0 0 4 4 0 0 20 0 17 0 637344983 54136832 10533 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=52868 CPUtime=0.04
/proc/3592/task/3602/stat : 3602 (satake) R 3590 3592 27791 0 -1 4202560 686 0 0 0 0 4 0 0 20 0 17 0 637344983 54136832 10533 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3603/stat : 3603 (satake) D 3590 3592 27791 0 -1 4202560 694 0 0 0 0 6 0 0 20 0 17 0 637344983 54136832 10533 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=52868 CPUtime=0.04
/proc/3592/task/3604/stat : 3604 (satake) D 3590 3592 27791 0 -1 4202560 502 0 0 0 4 0 0 0 20 0 17 0 637344983 54136832 10533 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=52868 CPUtime=0.08
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 711 0 0 0 0 8 0 0 20 0 17 0 637344983 54136832 10535 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=52868 CPUtime=0.1
/proc/3592/task/3606/stat : 3606 (satake) R 3590 3592 27791 0 -1 4202560 865 0 0 0 2 8 0 0 20 0 17 0 637344983 54136832 10537 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3607/stat : 3607 (satake) S 3590 3592 27791 0 -1 4202560 703 0 0 0 0 6 0 0 20 0 17 0 637344983 54136832 10541 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3609/stat : 3609 (satake) S 3590 3592 27791 0 -1 4202560 674 0 0 0 0 6 0 0 20 0 17 0 637344983 54136832 10541 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3610/stat : 3610 (satake) D 3590 3592 27791 0 -1 4202560 745 0 0 0 2 4 0 0 20 0 17 0 637344984 54136832 10542 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3611/stat : 3611 (satake) D 3590 3592 27791 0 -1 4202560 636 0 0 0 2 4 0 0 20 0 17 0 637344984 54136832 10542 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 52868
[startup+0.70397 s]
/proc/loadavg: 3.95 4.24 6.05 2/184 3592
/proc/meminfo: memFree=19141416/36427776 swapFree=3652/7076
[pid=3592] ppid=3590 vsize=55728 CPUtime=2.62
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 13910 0 0 0 161 101 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 13932 11497 68 164 0 13767 0
[pid=3592/tid=3593] ppid=3590 vsize=55728 CPUtime=0.12
/proc/3592/task/3593/stat : 3593 (satake) R 3590 3592 27791 0 -1 4202560 270 0 0 0 2 10 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=55728 CPUtime=0.18
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 851 0 0 0 12 6 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=55728 CPUtime=0.2
/proc/3592/task/3596/stat : 3596 (satake) S 3590 3592 27791 0 -1 4202560 899 0 0 0 12 8 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=55728 CPUtime=0.14
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 872 0 0 0 8 6 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=55728 CPUtime=0.12
/proc/3592/task/3598/stat : 3598 (satake) S 3590 3592 27791 0 -1 4202560 957 0 0 0 8 4 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=55728 CPUtime=0.14
/proc/3592/task/3599/stat : 3599 (satake) S 3590 3592 27791 0 -1 4202560 905 0 0 0 12 2 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=55728 CPUtime=0.16
/proc/3592/task/3601/stat : 3601 (satake) S 3590 3592 27791 0 -1 4202560 900 0 0 0 12 4 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=55728 CPUtime=0.1
/proc/3592/task/3602/stat : 3602 (satake) S 3590 3592 27791 0 -1 4202560 951 0 0 0 4 6 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=55728 CPUtime=0.14
/proc/3592/task/3603/stat : 3603 (satake) S 3590 3592 27791 0 -1 4202560 916 0 0 0 6 8 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=55728 CPUtime=0.1
################
# More data... #
################
/proc/3592/statm: 80688 77056 68 164 0 80523 0
[pid=3592/tid=3593] ppid=3590 vsize=322752 CPUtime=56.77
/proc/3592/task/3593/stat : 3593 (satake) R 3590 3592 27791 0 -1 4202560 1420 0 0 0 728 4949 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=322752 CPUtime=22.92
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 5441 0 0 0 2108 184 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=322752 CPUtime=23.94
/proc/3592/task/3596/stat : 3596 (satake) S 3590 3592 27791 0 -1 4202560 5218 0 0 0 2202 192 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=322752 CPUtime=24.7
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 5220 0 0 0 2282 188 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=322752 CPUtime=23.18
/proc/3592/task/3598/stat : 3598 (satake) S 3590 3592 27791 0 -1 4202560 5236 0 0 0 2108 210 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=322752 CPUtime=24.08
/proc/3592/task/3599/stat : 3599 (satake) R 3590 3592 27791 0 -1 4202560 5486 0 0 0 2212 196 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134527257 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=322752 CPUtime=23.92
/proc/3592/task/3601/stat : 3601 (satake) S 3590 3592 27791 0 -1 4202560 5182 0 0 0 2190 202 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=322752 CPUtime=24.96
/proc/3592/task/3602/stat : 3602 (satake) S 3590 3592 27791 0 -1 4202560 5112 0 0 0 2312 184 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=322752 CPUtime=22.9
/proc/3592/task/3603/stat : 3603 (satake) S 3590 3592 27791 0 -1 4202560 4684 0 0 0 2078 212 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=322752 CPUtime=22.58
/proc/3592/task/3604/stat : 3604 (satake) R 3590 3592 27791 0 -1 4202560 4735 0 0 0 2064 194 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=322752 CPUtime=24.54
/proc/3592/task/3605/stat : 3605 (satake) S 3590 3592 27791 0 -1 4202560 4841 0 0 0 2236 218 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=322752 CPUtime=22.28
/proc/3592/task/3606/stat : 3606 (satake) S 3590 3592 27791 0 -1 4202560 5342 0 0 0 2074 154 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=322752 CPUtime=23.88
/proc/3592/task/3607/stat : 3607 (satake) S 3590 3592 27791 0 -1 4202560 5228 0 0 0 2174 214 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=322752 CPUtime=24.86
/proc/3592/task/3609/stat : 3609 (satake) S 3590 3592 27791 0 -1 4202560 5639 0 0 0 2274 212 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=322752 CPUtime=23.58
/proc/3592/task/3610/stat : 3610 (satake) S 3590 3592 27791 0 -1 4202560 5078 0 0 0 2156 202 0 0 20 0 17 0 637344984 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=322752 CPUtime=25.88
/proc/3592/task/3611/stat : 3611 (satake) S 3590 3592 27791 0 -1 4202560 5482 0 0 0 2356 232 0 0 20 0 17 0 637344984 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 415.08
Current children cumulated vsize (KiB) 322752
[startup+135.903 s]
/proc/loadavg: 4.56 4.18 5.77 4/201 3618
/proc/meminfo: memFree=18832956/36427776 swapFree=4588/317892
[pid=3592] ppid=3590 vsize=322752 CPUtime=418.19
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 79469 0 0 0 33755 8064 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 80688 77056 68 164 0 80523 0
[pid=3592/tid=3593] ppid=3590 vsize=322752 CPUtime=57.5
/proc/3592/task/3593/stat : 3593 (satake) D 3590 3592 27791 0 -1 4202560 1420 0 0 0 734 5016 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=322752 CPUtime=23.12
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 5441 0 0 0 2124 188 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=322752 CPUtime=24.08
/proc/3592/task/3596/stat : 3596 (satake) S 3590 3592 27791 0 -1 4202560 5218 0 0 0 2212 196 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=322752 CPUtime=24.86
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 5220 0 0 0 2296 190 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=322752 CPUtime=23.38
/proc/3592/task/3598/stat : 3598 (satake) S 3590 3592 27791 0 -1 4202560 5236 0 0 0 2124 214 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=322752 CPUtime=24.24
/proc/3592/task/3599/stat : 3599 (satake) S 3590 3592 27791 0 -1 4202560 5486 0 0 0 2224 200 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=322752 CPUtime=24.08
/proc/3592/task/3601/stat : 3601 (satake) S 3590 3592 27791 0 -1 4202560 5182 0 0 0 2204 204 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=322752 CPUtime=25.08
/proc/3592/task/3602/stat : 3602 (satake) S 3590 3592 27791 0 -1 4202560 5112 0 0 0 2322 186 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=322752 CPUtime=23.04
/proc/3592/task/3603/stat : 3603 (satake) S 3590 3592 27791 0 -1 4202560 4684 0 0 0 2088 216 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=322752 CPUtime=22.74
/proc/3592/task/3604/stat : 3604 (satake) S 3590 3592 27791 0 -1 4202560 4735 0 0 0 2078 196 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=322752 CPUtime=24.74
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 4841 0 0 0 2248 226 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=322752 CPUtime=22.4
/proc/3592/task/3606/stat : 3606 (satake) S 3590 3592 27791 0 -1 4202560 5342 0 0 0 2084 156 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=322752 CPUtime=24.02
/proc/3592/task/3607/stat : 3607 (satake) S 3590 3592 27791 0 -1 4202560 5228 0 0 0 2186 216 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=322752 CPUtime=24.98
/proc/3592/task/3609/stat : 3609 (satake) S 3590 3592 27791 0 -1 4202560 5639 0 0 0 2284 214 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=322752 CPUtime=23.7
/proc/3592/task/3610/stat : 3610 (satake) S 3590 3592 27791 0 -1 4202560 5078 0 0 0 2166 204 0 0 20 0 17 0 637344984 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=322752 CPUtime=26.08
/proc/3592/task/3611/stat : 3611 (satake) S 3590 3592 27791 0 -1 4202560 5482 0 0 0 2372 236 0 0 20 0 17 0 637344984 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 418.19
Current children cumulated vsize (KiB) 322752
[startup+137.512 s]
/proc/loadavg: 4.56 4.18 5.77 3/201 3618
/proc/meminfo: memFree=18832956/36427776 swapFree=4588/317896
[pid=3592] ppid=3590 vsize=322752 CPUtime=421.54
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 79470 0 0 0 33986 8168 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 80688 77057 68 164 0 80523 0
[pid=3592/tid=3593] ppid=3590 vsize=322752 CPUtime=58.23
/proc/3592/task/3593/stat : 3593 (satake) D 3590 3592 27791 0 -1 4202560 1421 0 0 0 744 5079 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=322752 CPUtime=23.28
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 5441 0 0 0 2138 190 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=322752 CPUtime=24.22
/proc/3592/task/3596/stat : 3596 (satake) S 3590 3592 27791 0 -1 4202560 5218 0 0 0 2224 198 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=322752 CPUtime=24.96
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 5220 0 0 0 2306 190 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=322752 CPUtime=23.58
/proc/3592/task/3598/stat : 3598 (satake) S 3590 3592 27791 0 -1 4202560 5236 0 0 0 2140 218 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=322752 CPUtime=24.42
/proc/3592/task/3599/stat : 3599 (satake) S 3590 3592 27791 0 -1 4202560 5486 0 0 0 2238 204 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=322752 CPUtime=24.24
/proc/3592/task/3601/stat : 3601 (satake) S 3590 3592 27791 0 -1 4202560 5182 0 0 0 2220 204 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=322752 CPUtime=25.24
/proc/3592/task/3602/stat : 3602 (satake) S 3590 3592 27791 0 -1 4202560 5112 0 0 0 2336 188 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=322752 CPUtime=23.2
/proc/3592/task/3603/stat : 3603 (satake) S 3590 3592 27791 0 -1 4202560 4684 0 0 0 2102 218 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=322752 CPUtime=22.86
/proc/3592/task/3604/stat : 3604 (satake) S 3590 3592 27791 0 -1 4202560 4735 0 0 0 2088 198 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=322752 CPUtime=24.96
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 4841 0 0 0 2268 228 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=322752 CPUtime=22.58
/proc/3592/task/3606/stat : 3606 (satake) S 3590 3592 27791 0 -1 4202560 5342 0 0 0 2098 160 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=322752 CPUtime=24.22
/proc/3592/task/3607/stat : 3607 (satake) S 3590 3592 27791 0 -1 4202560 5228 0 0 0 2202 220 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=322752 CPUtime=25.2
/proc/3592/task/3609/stat : 3609 (satake) S 3590 3592 27791 0 -1 4202560 5639 0 0 0 2302 218 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=322752 CPUtime=23.9
/proc/3592/task/3610/stat : 3610 (satake) S 3590 3592 27791 0 -1 4202560 5078 0 0 0 2182 208 0 0 20 0 17 0 637344984 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=322752 CPUtime=26.34
/proc/3592/task/3611/stat : 3611 (satake) S 3590 3592 27791 0 -1 4202560 5482 0 0 0 2392 242 0 0 20 0 17 0 637344984 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 421.54
Current children cumulated vsize (KiB) 322752
[startup+137.902 s]
/proc/loadavg: 4.56 4.18 5.77 3/201 3618
/proc/meminfo: memFree=18832956/36427776 swapFree=4588/317896
[pid=3592] ppid=3590 vsize=321940 CPUtime=424.26
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 79479 0 0 0 34082 8344 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 80485 76941 77 164 0 80320 0
[pid=3592/tid=3593] ppid=3590 vsize=321940 CPUtime=58.42
/proc/3592/task/3593/stat : 3593 (satake) R 3590 3592 27791 0 -1 4202560 1421 0 0 0 746 5096 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=321940 CPUtime=23.46
/proc/3592/task/3595/stat : 3595 (satake) R 3590 3592 27791 0 -1 4202560 5441 0 0 0 2142 204 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=321940 CPUtime=24.4
/proc/3592/task/3596/stat : 3596 (satake) R 3590 3592 27791 0 -1 4202560 5218 0 0 0 2230 210 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=321940 CPUtime=25.16
/proc/3592/task/3597/stat : 3597 (satake) R 3590 3592 27791 0 -1 4202560 5229 0 0 0 2314 202 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=321940 CPUtime=23.72
/proc/3592/task/3598/stat : 3598 (satake) R 3590 3592 27791 0 -1 4202560 5236 0 0 0 2144 228 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=321940 CPUtime=24.62
/proc/3592/task/3599/stat : 3599 (satake) R 3590 3592 27791 0 -1 4202560 5486 0 0 0 2244 218 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=321940 CPUtime=24.36
/proc/3592/task/3601/stat : 3601 (satake) R 3590 3592 27791 0 -1 4202560 5182 0 0 0 2224 212 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=321940 CPUtime=25.42
/proc/3592/task/3602/stat : 3602 (satake) R 3590 3592 27791 0 -1 4202560 5112 0 0 0 2342 200 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=321940 CPUtime=23.36
/proc/3592/task/3603/stat : 3603 (satake) R 3590 3592 27791 0 -1 4202560 4684 0 0 0 2108 228 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=321940 CPUtime=23
/proc/3592/task/3604/stat : 3604 (satake) R 3590 3592 27791 0 -1 4202560 4735 0 0 0 2094 206 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=321940 CPUtime=25.16
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 4841 0 0 0 2276 240 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=321940 CPUtime=22.66
/proc/3592/task/3606/stat : 3606 (satake) R 3590 3592 27791 0 -1 4202560 5342 0 0 0 2104 162 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=321940 CPUtime=24.4
/proc/3592/task/3607/stat : 3607 (satake) R 3590 3592 27791 0 -1 4202560 5228 0 0 0 2208 232 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=321940 CPUtime=25.38
/proc/3592/task/3609/stat : 3609 (satake) S 3590 3592 27791 0 -1 4202560 5639 0 0 0 2310 228 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=321940 CPUtime=24.12
/proc/3592/task/3610/stat : 3610 (satake) R 3590 3592 27791 0 -1 4202560 5078 0 0 0 2192 220 0 0 20 0 17 0 637344984 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=321940 CPUtime=26.5
/proc/3592/task/3611/stat : 3611 (satake) S 3590 3592 27791 0 -1 4202560 5482 0 0 0 2398 252 0 0 20 0 17 0 637344984 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 424.26
Current children cumulated vsize (KiB) 321940
[startup+138.304 s]
/proc/loadavg: 4.56 4.18 5.77 3/201 3618
/proc/meminfo: memFree=18832956/36427776 swapFree=4588/317896
[pid=3592] ppid=3590 vsize=176384 CPUtime=426.43
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 79479 0 0 0 34186 8457 0 0 20 0 2 0 637344983 180617216 42415 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 44096 42415 77 164 0 43931 0
[pid=3592/tid=3604] ppid=3590 vsize=176384 CPUtime=23.16
/proc/3592/task/3604/stat : 3604 (satake) R 3590 3592 27791 0 -1 4202560 4735 0 0 0 2102 214 0 0 20 0 2 0 637344983 180617216 42415 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 426.43
Current children cumulated vsize (KiB) 176384
Child status: 16
Real time (s): 138.352
CPU time (s): 426.503
CPU user time (s): 341.869
CPU system time (s): 84.6333
CPU usage (%): 308.273
Max. virtual memory (cumulated for all children) (KiB): 322752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 341.869
system time used= 84.6333
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79480
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= 7029020
involuntary context switches= 1049645
runsolver used 0.64404 second user time and 1.6121 second system time
The end
Begin job on xenhost3-49 at 2009-06-12 06:19:46
IDJOB=1779072
IDBENCH=70803
IDSOLVER=631
FILE ID=xenhost3-49/1779072-1244780386
PBS_JOBID=
Free space on /tmp= 7036 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxand/maxand064.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779072-1244780386/watcher-1779072-1244780386 -o /tmp/evaluation-result-1779072-1244780386/solver-1779072-1244780386 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779072-1244780386.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= b2d2617ddc348aef0d35df3c8f228dcb
RANDOM SEED= 266118019
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: 19141860 kB
Buffers: 433712 kB
Cached: 14104232 kB
SwapCached: 0 kB
Active: 4078428 kB
Inactive: 10467260 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 1344 kB
Writeback: 0 kB
AnonPages: 7076 kB
Mapped: 2988 kB
Slab: 688128 kB
SReclaimable: 661368 kB
SUnreclaim: 26760 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= 7036 MiB
End job on xenhost3-49 at 2009-06-12 06:22:05