502.97/103.21 c Benchmark name : HOME/instance-1780332-1244824057.cnf
502.97/103.21 c Thread Num : 16
502.97/103.21 c restarts : 10
502.97/103.21 c conflicts : 9989
502.97/103.21 c decisions : 78336 ( 769 / sec )
502.97/103.21 c propagations : 38038213 ( 373526 / sec )
502.97/103.21 c inspects : 105797500 ( 1038905 / sec )
502.97/103.21 c conflict literals : 1613355 ( 28.14 % deleted )
502.97/103.21 c cpu time : 101.84
502.97/103.21 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780332-1244824057/watcher-1780332-1244824057 -o /tmp/evaluation-result-1780332-1244824057/solver-1780332-1244824057 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780332-1244824057.cnf 16 10000
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 8.45 7.90 6.36 2/184 9232
/proc/meminfo: memFree=19123928/36427776 swapFree=4360/7348
[pid=9232] ppid=9230 vsize=9064 CPUtime=0
/proc/9232/stat : 9232 (satake) D 9230 9232 27791 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 16 0 641712127 9281536 379 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134702225 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/9232/statm: 2266 379 63 164 0 2101 0
[pid=9232/tid=9233] ppid=9230 vsize=8172 CPUtime=0
/proc/9232/task/9233/stat : 9233 (satake) S 9230 9232 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 641712127 8368128 408 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9234] ppid=9230 vsize=8172 CPUtime=0
/proc/9232/task/9234/stat : 9234 (satake) R 9230 9232 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 16 0 641712127 8368128 408 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9232/tid=9235] ppid=9230 vsize=8172 CPUtime=0
/proc/9232/task/9235/stat : 9235 (satake) D 9230 9232 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 16 0 641712127 8368128 408 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9232/tid=9236] ppid=9230 vsize=8172 CPUtime=0
/proc/9232/task/9236/stat : 9236 (satake) D 9230 9232 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 16 0 641712127 8368128 408 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9232/tid=9237] ppid=9230 vsize=8172 CPUtime=0
/proc/9232/task/9237/stat : 9237 (satake) D 9230 9232 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641712127 8368128 409 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9238] ppid=9230 vsize=8172 CPUtime=0
/proc/9232/task/9238/stat : 9238 (satake) D 9230 9232 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 641712127 8368128 409 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9239] ppid=9230 vsize=8172 CPUtime=0
/proc/9232/task/9239/stat : 9239 (satake) S 9230 9232 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641712127 8368128 410 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9240] ppid=9230 vsize=8304 CPUtime=0
/proc/9232/task/9240/stat : 9240 (satake) S 9230 9232 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641712127 8503296 414 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9241] ppid=9230 vsize=8304 CPUtime=0
/proc/9232/task/9241/stat : 9241 (satake) R 9230 9232 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 641712127 8503296 417 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9232/tid=9242] ppid=9230 vsize=8304 CPUtime=0
/proc/9232/task/9242/stat : 9242 (satake) R 9230 9232 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 641712128 8503296 418 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9243] ppid=9230 vsize=8304 CPUtime=0
/proc/9232/task/9243/stat : 9243 (satake) S 9230 9232 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641712128 8503296 418 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9244] ppid=9230 vsize=8304 CPUtime=0
/proc/9232/task/9244/stat : 9244 (satake) R 9230 9232 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 641712128 8503296 419 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9245] ppid=9230 vsize=8304 CPUtime=0
/proc/9232/task/9245/stat : 9245 (satake) R 9230 9232 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 641712128 8503296 419 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9232/tid=9246] ppid=9230 vsize=8304 CPUtime=0
/proc/9232/task/9246/stat : 9246 (satake) R 9230 9232 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 641712128 8503296 419 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9232/tid=9247] ppid=9230 vsize=8304 CPUtime=0
/proc/9232/task/9247/stat : 9247 (satake) R 9230 9232 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 641712128 8503296 419 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9232/tid=9248] ppid=9230 vsize=8304 CPUtime=0
/proc/9232/task/9248/stat : 9248 (satake) R 9230 9232 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 641712128 8503296 419 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[startup+0.073247 s]
/proc/loadavg: 8.45 7.90 6.36 2/184 9232
/proc/meminfo: memFree=19123928/36427776 swapFree=4360/7348
[pid=9232] ppid=9230 vsize=39704 CPUtime=0.44
/proc/9232/stat : 9232 (satake) S 9230 9232 27791 0 -1 4202496 6013 0 0 0 0 44 0 0 20 0 17 0 641712127 40656896 5968 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/9232/statm: 9926 5969 63 164 0 9761 0
[pid=9232/tid=9233] ppid=9230 vsize=39704 CPUtime=0
/proc/9232/task/9233/stat : 9233 (satake) S 9230 9232 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641712127 40656896 5969 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9234] ppid=9230 vsize=39704 CPUtime=0.04
/proc/9232/task/9234/stat : 9234 (satake) R 9230 9232 27791 0 -1 4202560 453 0 0 0 0 4 0 0 20 0 17 0 641712127 40656896 5969 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9232/tid=9235] ppid=9230 vsize=39704 CPUtime=0.02
/proc/9232/task/9235/stat : 9235 (satake) R 9230 9232 27791 0 -1 4202560 472 0 0 0 0 2 0 0 20 0 17 0 641712127 40656896 5970 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9232/tid=9236] ppid=9230 vsize=39704 CPUtime=0
/proc/9232/task/9236/stat : 9236 (satake) R 9230 9232 27791 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 17 0 641712127 40656896 5972 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9232/tid=9237] ppid=9230 vsize=39704 CPUtime=0.02
/proc/9232/task/9237/stat : 9237 (satake) R 9230 9232 27791 0 -1 4202560 260 0 0 0 0 2 0 0 20 0 17 0 641712127 40656896 5975 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9238] ppid=9230 vsize=39704 CPUtime=0.04
/proc/9232/task/9238/stat : 9238 (satake) R 9230 9232 27791 0 -1 4202560 538 0 0 0 0 4 0 0 20 0 17 0 641712127 40656896 5976 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9239] ppid=9230 vsize=39704 CPUtime=0.04
/proc/9232/task/9239/stat : 9239 (satake) R 9230 9232 27791 0 -1 4202560 498 0 0 0 0 4 0 0 20 0 17 0 641712127 40656896 5976 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9240] ppid=9230 vsize=39704 CPUtime=0
/proc/9232/task/9240/stat : 9240 (satake) R 9230 9232 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 17 0 641712127 40656896 5987 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9241] ppid=9230 vsize=39704 CPUtime=0.04
/proc/9232/task/9241/stat : 9241 (satake) R 9230 9232 27791 0 -1 4202560 454 0 0 0 0 4 0 0 20 0 17 0 641712127 40656896 6028 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9232/tid=9242] ppid=9230 vsize=39704 CPUtime=0.04
/proc/9232/task/9242/stat : 9242 (satake) R 9230 9232 27791 0 -1 4202560 597 0 0 0 0 4 0 0 20 0 17 0 641712128 40656896 6033 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9243] ppid=9230 vsize=39704 CPUtime=0.02
/proc/9232/task/9243/stat : 9243 (satake) R 9230 9232 27791 0 -1 4202560 254 0 0 0 0 2 0 0 20 0 17 0 641712128 40656896 6033 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9244] ppid=9230 vsize=39704 CPUtime=0
/proc/9232/task/9244/stat : 9244 (satake) R 9230 9232 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 641712128 40656896 6034 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9245] ppid=9230 vsize=39704 CPUtime=0.04
/proc/9232/task/9245/stat : 9245 (satake) R 9230 9232 27791 0 -1 4202560 471 0 0 0 0 4 0 0 20 0 17 0 641712128 40656896 6035 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9232/tid=9246] ppid=9230 vsize=39704 CPUtime=0.04
/proc/9232/task/9246/stat : 9246 (satake) R 9230 9232 27791 0 -1 4202560 596 0 0 0 0 4 0 0 20 0 17 0 641712128 40656896 6036 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9232/tid=9247] ppid=9230 vsize=39704 CPUtime=0.04
/proc/9232/task/9247/stat : 9247 (satake) R 9230 9232 27791 0 -1 4202560 538 0 0 0 0 4 0 0 20 0 17 0 641712128 40656896 6036 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9232/tid=9248] ppid=9230 vsize=39704 CPUtime=0.04
/proc/9232/task/9248/stat : 9248 (satake) R 9230 9232 27791 0 -1 4202560 525 0 0 0 0 4 0 0 20 0 17 0 641712128 40656896 6051 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 39704
[startup+0.105164 s]
/proc/loadavg: 8.45 7.90 6.36 2/184 9232
/proc/meminfo: memFree=19123928/36427776 swapFree=4360/7348
[pid=9232] ppid=9230 vsize=58392 CPUtime=0.74
/proc/9232/stat : 9232 (satake) S 9230 9232 27791 0 -1 4202496 10970 0 0 0 0 74 0 0 20 0 17 0 641712127 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/9232/statm: 14598 10925 63 164 0 14433 0
[pid=9232/tid=9233] ppid=9230 vsize=58392 CPUtime=0
/proc/9232/task/9233/stat : 9233 (satake) S 9230 9232 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641712127 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9234] ppid=9230 vsize=58392 CPUtime=0.06
/proc/9232/task/9234/stat : 9234 (satake) D 9230 9232 27791 0 -1 4202560 1031 0 0 0 0 6 0 0 20 0 17 0 641712127 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9232/tid=9235] ppid=9230 vsize=58392 CPUtime=0.04
/proc/9232/task/9235/stat : 9235 (satake) D 9230 9232 27791 0 -1 4202560 543 0 0 0 0 4 0 0 20 0 17 0 641712127 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9232/tid=9236] ppid=9230 vsize=58392 CPUtime=0.02
/proc/9232/task/9236/stat : 9236 (satake) D 9230 9232 27791 0 -1 4202560 455 0 0 0 0 2 0 0 20 0 17 0 641712127 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9232/tid=9237] ppid=9230 vsize=58392 CPUtime=0.04
/proc/9232/task/9237/stat : 9237 (satake) D 9230 9232 27791 0 -1 4202560 625 0 0 0 0 4 0 0 20 0 17 0 641712127 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9238] ppid=9230 vsize=58392 CPUtime=0.06
/proc/9232/task/9238/stat : 9238 (satake) D 9230 9232 27791 0 -1 4202560 989 0 0 0 0 6 0 0 20 0 17 0 641712127 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9239] ppid=9230 vsize=58392 CPUtime=0.06
/proc/9232/task/9239/stat : 9239 (satake) D 9230 9232 27791 0 -1 4202560 825 0 0 0 0 6 0 0 20 0 17 0 641712127 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9240] ppid=9230 vsize=58392 CPUtime=0
/proc/9232/task/9240/stat : 9240 (satake) D 9230 9232 27791 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 17 0 641712127 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9241] ppid=9230 vsize=58392 CPUtime=0.06
/proc/9232/task/9241/stat : 9241 (satake) R 9230 9232 27791 0 -1 4202560 1043 0 0 0 0 6 0 0 20 0 17 0 641712127 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9232/tid=9242] ppid=9230 vsize=58392 CPUtime=0.06
/proc/9232/task/9242/stat : 9242 (satake) D 9230 9232 27791 0 -1 4202560 1096 0 0 0 0 6 0 0 20 0 17 0 641712128 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9243] ppid=9230 vsize=58392 CPUtime=0.02
/proc/9232/task/9243/stat : 9243 (satake) D 9230 9232 27791 0 -1 4202560 265 0 0 0 0 2 0 0 20 0 17 0 641712128 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9244] ppid=9230 vsize=58392 CPUtime=0
/proc/9232/task/9244/stat : 9244 (satake) D 9230 9232 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 641712128 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9245] ppid=9230 vsize=58392 CPUtime=0.06
/proc/9232/task/9245/stat : 9245 (satake) D 9230 9232 27791 0 -1 4202560 841 0 0 0 0 6 0 0 20 0 17 0 641712128 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9232/tid=9246] ppid=9230 vsize=58392 CPUtime=0.06
/proc/9232/task/9246/stat : 9246 (satake) D 9230 9232 27791 0 -1 4202560 1039 0 0 0 0 6 0 0 20 0 17 0 641712128 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9232/tid=9247] ppid=9230 vsize=58392 CPUtime=0.06
/proc/9232/task/9247/stat : 9247 (satake) D 9230 9232 27791 0 -1 4202560 968 0 0 0 0 6 0 0 20 0 17 0 641712128 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9232/tid=9248] ppid=9230 vsize=58392 CPUtime=0.06
/proc/9232/task/9248/stat : 9248 (satake) D 9230 9232 27791 0 -1 4202560 944 0 0 0 0 6 0 0 20 0 17 0 641712128 59793408 10925 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 58392
[startup+0.307237 s]
/proc/loadavg: 8.45 7.90 6.36 2/184 9232
/proc/meminfo: memFree=19123928/36427776 swapFree=4360/7348
[pid=9232] ppid=9230 vsize=128652 CPUtime=2.44
/proc/9232/stat : 9232 (satake) S 9230 9232 27791 0 -1 4202496 25857 0 0 0 0 244 0 0 20 0 17 0 641712127 131739648 25812 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/9232/statm: 32163 25814 63 164 0 31998 0
[pid=9232/tid=9233] ppid=9230 vsize=128652 CPUtime=0
/proc/9232/task/9233/stat : 9233 (satake) S 9230 9232 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641712127 131739648 25814 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9234] ppid=9230 vsize=128652 CPUtime=0.22
/proc/9232/task/9234/stat : 9234 (satake) R 9230 9232 27791 0 -1 4202560 2535 0 0 0 0 22 0 0 20 0 17 0 641712127 131739648 25814 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9232/tid=9235] ppid=9230 vsize=128652 CPUtime=0.1
/proc/9232/task/9235/stat : 9235 (satake) R 9230 9232 27791 0 -1 4202560 1033 0 0 0 0 10 0 0 20 0 17 0 641712127 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9232/tid=9236] ppid=9230 vsize=128652 CPUtime=0.12
/proc/9232/task/9236/stat : 9236 (satake) D 9230 9232 27791 0 -1 4202560 1250 0 0 0 0 12 0 0 20 0 17 0 641712127 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9232/tid=9237] ppid=9230 vsize=128652 CPUtime=0.1
/proc/9232/task/9237/stat : 9237 (satake) D 9230 9232 27791 0 -1 4202560 1128 0 0 0 0 10 0 0 20 0 17 0 641712127 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9238] ppid=9230 vsize=128652 CPUtime=0.22
/proc/9232/task/9238/stat : 9238 (satake) D 9230 9232 27791 0 -1 4202560 2304 0 0 0 0 22 0 0 20 0 17 0 641712127 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9239] ppid=9230 vsize=128652 CPUtime=0.12
/proc/9232/task/9239/stat : 9239 (satake) D 9230 9232 27791 0 -1 4202560 1323 0 0 0 0 12 0 0 20 0 17 0 641712127 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9240] ppid=9230 vsize=128652 CPUtime=0.08
/proc/9232/task/9240/stat : 9240 (satake) D 9230 9232 27791 0 -1 4202560 929 0 0 0 0 8 0 0 20 0 17 0 641712127 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9241] ppid=9230 vsize=128652 CPUtime=0.22
/proc/9232/task/9241/stat : 9241 (satake) D 9230 9232 27791 0 -1 4202560 2556 0 0 0 0 22 0 0 20 0 17 0 641712127 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9232/tid=9242] ppid=9230 vsize=128652 CPUtime=0.14
/proc/9232/task/9242/stat : 9242 (satake) R 9230 9232 27791 0 -1 4202560 1627 0 0 0 0 14 0 0 20 0 17 0 641712128 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9232/tid=9243] ppid=9230 vsize=128652 CPUtime=0.12
/proc/9232/task/9243/stat : 9243 (satake) D 9230 9232 27791 0 -1 4202560 1080 0 0 0 0 12 0 0 20 0 17 0 641712128 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9244] ppid=9230 vsize=128652 CPUtime=0.12
/proc/9232/task/9244/stat : 9244 (satake) D 9230 9232 27791 0 -1 4202560 1366 0 0 0 0 12 0 0 20 0 17 0 641712128 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9245] ppid=9230 vsize=128652 CPUtime=0.2
/proc/9232/task/9245/stat : 9245 (satake) D 9230 9232 27791 0 -1 4202560 1971 0 0 0 0 20 0 0 20 0 17 0 641712128 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9232/tid=9246] ppid=9230 vsize=128652 CPUtime=0.2
/proc/9232/task/9246/stat : 9246 (satake) D 9230 9232 27791 0 -1 4202560 2242 0 0 0 0 20 0 0 20 0 17 0 641712128 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9232/tid=9247] ppid=9230 vsize=128652 CPUtime=0.2
/proc/9232/task/9247/stat : 9247 (satake) S 9230 9232 27791 0 -1 4202560 2185 0 0 0 0 20 0 0 20 0 17 0 641712128 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=9232/tid=9248] ppid=9230 vsize=128652 CPUtime=0.22
/proc/9232/task/9248/stat : 9248 (satake) D 9230 9232 27791 0 -1 4202560 2202 0 0 0 0 22 0 0 20 0 17 0 641712128 131739648 25820 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 128652
[startup+0.705225 s]
/proc/loadavg: 8.45 7.90 6.36 2/184 9232
/proc/meminfo: memFree=19123928/36427776 swapFree=4360/7348
[pid=9232] ppid=9230 vsize=165236 CPUtime=5.39
/proc/9232/stat : 9232 (satake) S 9230 9232 27791 0 -1 4202496 36852 0 0 0 0 539 0 0 20 0 17 0 641712127 169201664 36807 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/9232/statm: 41309 36810 63 164 0 41144 0
[pid=9232/tid=9233] ppid=9230 vsize=165236 CPUtime=0
/proc/9232/task/9233/stat : 9233 (satake) S 9230 9232 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 641712127 169201664 36811 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9234] ppid=9230 vsize=165236 CPUtime=0.46
/proc/9232/task/9234/stat : 9234 (satake) D 9230 9232 27791 0 -1 4202560 3239 0 0 0 0 46 0 0 20 0 17 0 641712127 169201664 36811 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9232/tid=9235] ppid=9230 vsize=165236 CPUtime=0.26
/proc/9232/task/9235/stat : 9235 (satake) D 9230 9232 27791 0 -1 4202560 1751 0 0 0 0 26 0 0 20 0 17 0 641712127 169201664 36811 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9232/tid=9236] ppid=9230 vsize=165236 CPUtime=0.26
/proc/9232/task/9236/stat : 9236 (satake) D 9230 9232 27791 0 -1 4202560 1952 0 0 0 0 26 0 0 20 0 17 0 641712127 169201664 36811 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9232/tid=9237] ppid=9230 vsize=165236 CPUtime=0.26
/proc/9232/task/9237/stat : 9237 (satake) D 9230 9232 27791 0 -1 4202560 1862 0 0 0 0 26 0 0 20 0 17 0 641712127 169201664 36811 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9238] ppid=9230 vsize=165236 CPUtime=0.46
/proc/9232/task/9238/stat : 9238 (satake) D 9230 9232 27791 0 -1 4202560 3041 0 0 0 0 46 0 0 20 0 17 0 641712127 169201664 36811 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9239] ppid=9230 vsize=165236 CPUtime=0.26
/proc/9232/task/9239/stat : 9239 (satake) D 9230 9232 27791 0 -1 4202560 2057 0 0 0 0 26 0 0 20 0 17 0 641712127 169201664 36811 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9240] ppid=9230 vsize=165236 CPUtime=0.22
/proc/9232/task/9240/stat : 9240 (satake) D 9230 9232 27791 0 -1 4202560 1610 0 0 0 0 22 0 0 20 0 17 0 641712127 169201664 36811 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9241] ppid=9230 vsize=165236 CPUtime=0.44
/proc/9232/task/9241/stat : 9241 (satake) D 9230 9232 27791 0 -1 4202560 3347 0 0 0 0 44 0 0 20 0 17 0 641712127 169201664 36811 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9232/tid=9242] ppid=9230 vsize=165236 CPUtime=0.36
################
# More data... #
################
[pid=9232/tid=9240] ppid=9230 vsize=448720 CPUtime=6.44
/proc/9232/task/9240/stat : 9240 (satake) S 9230 9232 27791 0 -1 4202560 8325 0 0 0 516 128 0 0 20 0 17 0 641712127 459489280 99530 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9241] ppid=9230 vsize=448720 CPUtime=6.76
/proc/9232/task/9241/stat : 9241 (satake) R 9230 9232 27791 0 -1 4202560 8833 0 0 0 530 146 0 0 20 0 17 0 641712127 459489280 99530 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134518229 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9242] ppid=9230 vsize=448720 CPUtime=5.96
/proc/9232/task/9242/stat : 9242 (satake) R 9230 9232 27791 0 -1 4202560 8658 0 0 0 442 154 0 0 20 0 17 0 641712128 459489280 99530 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9232/tid=9243] ppid=9230 vsize=448720 CPUtime=6.14
/proc/9232/task/9243/stat : 9243 (satake) S 9230 9232 27791 0 -1 4202560 8623 0 0 0 474 140 0 0 20 0 17 0 641712128 459489280 99530 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=9232/tid=9244] ppid=9230 vsize=448720 CPUtime=6.52
/proc/9232/task/9244/stat : 9244 (satake) S 9230 9232 27791 0 -1 4202560 8867 0 0 0 512 140 0 0 20 0 17 0 641712128 459489280 99530 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9245] ppid=9230 vsize=448720 CPUtime=6.88
/proc/9232/task/9245/stat : 9245 (satake) S 9230 9232 27791 0 -1 4202560 9032 0 0 0 532 156 0 0 20 0 17 0 641712128 459489280 99530 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9246] ppid=9230 vsize=448720 CPUtime=6.66
/proc/9232/task/9246/stat : 9246 (satake) S 9230 9232 27791 0 -1 4202560 8725 0 0 0 524 142 0 0 20 0 17 0 641712128 459489280 99530 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=9232/tid=9247] ppid=9230 vsize=448720 CPUtime=6.54
/proc/9232/task/9247/stat : 9247 (satake) S 9230 9232 27791 0 -1 4202560 8768 0 0 0 496 158 0 0 20 0 17 0 641712128 459489280 99530 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=9232/tid=9248] ppid=9230 vsize=448720 CPUtime=6.38
/proc/9232/task/9248/stat : 9248 (satake) S 9230 9232 27791 0 -1 4202560 8754 0 0 0 490 148 0 0 20 0 17 0 641712128 459489280 99530 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 104.65
Current children cumulated vsize (KiB) 448720
[startup+51.1061 s]
/proc/loadavg: 7.03 7.62 6.35 5/201 9249
/proc/meminfo: memFree=18694464/36427776 swapFree=4588/439320
[pid=9232] ppid=9230 vsize=479572 CPUtime=219.97
/proc/9232/stat : 9232 (satake) S 9230 9232 27791 0 -1 4202496 139647 0 0 0 18038 3959 0 0 20 0 17 0 641712127 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/9232/statm: 119893 107763 68 164 0 119728 0
[pid=9232/tid=9233] ppid=9230 vsize=479572 CPUtime=18.6
/proc/9232/task/9233/stat : 9233 (satake) R 9230 9232 27791 0 -1 4202560 1570 0 0 0 190 1670 0 0 20 0 17 0 641712127 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9232/tid=9234] ppid=9230 vsize=479572 CPUtime=12.84
/proc/9232/task/9234/stat : 9234 (satake) R 9230 9232 27791 0 -1 4202560 9257 0 0 0 1136 148 0 0 20 0 17 0 641712127 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134532624 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9232/tid=9235] ppid=9230 vsize=479572 CPUtime=13.88
/proc/9232/task/9235/stat : 9235 (satake) S 9230 9232 27791 0 -1 4202560 8674 0 0 0 1242 146 0 0 20 0 17 0 641712127 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=9232/tid=9236] ppid=9230 vsize=479572 CPUtime=13.42
/proc/9232/task/9236/stat : 9236 (satake) R 9230 9232 27791 0 -1 4202560 9445 0 0 0 1206 136 0 0 20 0 17 0 641712127 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=9232/tid=9237] ppid=9230 vsize=479572 CPUtime=12.78
/proc/9232/task/9237/stat : 9237 (satake) S 9230 9232 27791 0 -1 4202560 8826 0 0 0 1136 142 0 0 20 0 17 0 641712127 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=9232/tid=9238] ppid=9230 vsize=479572 CPUtime=14.12
/proc/9232/task/9238/stat : 9238 (satake) S 9230 9232 27791 0 -1 4202560 9361 0 0 0 1250 162 0 0 20 0 17 0 641712127 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=9232/tid=9239] ppid=9230 vsize=479572 CPUtime=13.68
/proc/9232/task/9239/stat : 9239 (satake) S 9230 9232 27791 0 -1 4202560 8635 0 0 0 1234 134 0 0 20 0 17 0 641712127 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=9232/tid=9240] ppid=9230 vsize=479572 CPUtime=13.96
/proc/9232/task/9240/stat : 9240 (satake) D 9230 9232 27791 0 -1 4202560 8859 0 0 0 1242 154 0 0 20 0 17 0 641712127 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9241] ppid=9230 vsize=479572 CPUtime=12.86
/proc/9232/task/9241/stat : 9241 (satake) R 9230 9232 27791 0 -1 4202560 9409 0 0 0 1116 170 0 0 20 0 17 0 641712127 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9242] ppid=9230 vsize=479572 CPUtime=12.92
/proc/9232/task/9242/stat : 9242 (satake) S 9230 9232 27791 0 -1 4202560 9179 0 0 0 1120 172 0 0 20 0 17 0 641712128 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=9232/tid=9243] ppid=9230 vsize=479572 CPUtime=13.54
/proc/9232/task/9243/stat : 9243 (satake) S 9230 9232 27791 0 -1 4202560 9169 0 0 0 1214 140 0 0 20 0 17 0 641712128 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=9232/tid=9244] ppid=9230 vsize=479572 CPUtime=12.76
/proc/9232/task/9244/stat : 9244 (satake) R 9230 9232 27791 0 -1 4202560 9476 0 0 0 1128 148 0 0 20 0 17 0 641712128 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134535625 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9245] ppid=9230 vsize=479572 CPUtime=14.44
/proc/9232/task/9245/stat : 9245 (satake) S 9230 9232 27791 0 -1 4202560 9627 0 0 0 1288 156 0 0 20 0 17 0 641712128 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9246] ppid=9230 vsize=479572 CPUtime=13.76
/proc/9232/task/9246/stat : 9246 (satake) S 9230 9232 27791 0 -1 4202560 9284 0 0 0 1230 146 0 0 20 0 17 0 641712128 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=9232/tid=9247] ppid=9230 vsize=479572 CPUtime=13.26
/proc/9232/task/9247/stat : 9247 (satake) R 9230 9232 27791 0 -1 4202560 9426 0 0 0 1168 158 0 0 20 0 17 0 641712128 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9232/tid=9248] ppid=9230 vsize=479572 CPUtime=13.06
/proc/9232/task/9248/stat : 9248 (satake) S 9230 9232 27791 0 -1 4202560 9323 0 0 0 1130 176 0 0 20 0 17 0 641712128 491081728 107763 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 219.97
Current children cumulated vsize (KiB) 479572
[startup+102.314 s]
/proc/loadavg: 6.93 7.52 6.39 17/201 9249
/proc/meminfo: memFree=18654948/36427776 swapFree=4588/477068
[pid=9232] ppid=9230 vsize=514560 CPUtime=498.77
/proc/9232/stat : 9232 (satake) S 9230 9232 27791 0 -1 4202496 149395 0 0 0 43197 6680 0 0 20 0 16 0 641712127 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/9232/statm: 128640 115651 77 164 0 128475 0
[pid=9232/tid=9234] ppid=9230 vsize=514560 CPUtime=29.36
/proc/9232/task/9234/stat : 9234 (satake) S 9230 9232 27791 0 -1 4202560 9845 0 0 0 2734 202 0 0 20 0 16 0 641712127 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=9232/tid=9235] ppid=9230 vsize=514560 CPUtime=31.54
/proc/9232/task/9235/stat : 9235 (satake) S 9230 9232 27791 0 -1 4202560 9245 0 0 0 2950 204 0 0 20 0 16 0 641712127 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=9232/tid=9236] ppid=9230 vsize=514560 CPUtime=29.3
/proc/9232/task/9236/stat : 9236 (satake) S 9230 9232 27791 0 -1 4202560 10049 0 0 0 2756 174 0 0 20 0 16 0 641712127 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=9232/tid=9237] ppid=9230 vsize=514560 CPUtime=30
/proc/9232/task/9237/stat : 9237 (satake) S 9230 9232 27791 0 -1 4202560 9516 0 0 0 2810 190 0 0 20 0 16 0 641712127 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=9232/tid=9238] ppid=9230 vsize=514560 CPUtime=31.04
/proc/9232/task/9238/stat : 9238 (satake) S 9230 9232 27791 0 -1 4202560 10048 0 0 0 2890 214 0 0 20 0 16 0 641712127 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=9232/tid=9239] ppid=9230 vsize=514560 CPUtime=32
/proc/9232/task/9239/stat : 9239 (satake) S 9230 9232 27791 0 -1 4202560 9270 0 0 0 3012 188 0 0 20 0 16 0 641712127 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=9232/tid=9240] ppid=9230 vsize=514560 CPUtime=31.26
/proc/9232/task/9240/stat : 9240 (satake) R 9230 9232 27791 0 -1 4202560 9485 0 0 0 2920 206 0 0 20 0 16 0 641712127 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9241] ppid=9230 vsize=514560 CPUtime=29.34
/proc/9232/task/9241/stat : 9241 (satake) S 9230 9232 27791 0 -1 4202560 10192 0 0 0 2718 216 0 0 20 0 16 0 641712127 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9242] ppid=9230 vsize=514560 CPUtime=30.12
/proc/9232/task/9242/stat : 9242 (satake) S 9230 9232 27791 0 -1 4202560 9793 0 0 0 2804 208 0 0 20 0 16 0 641712128 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=9232/tid=9243] ppid=9230 vsize=514560 CPUtime=31
/proc/9232/task/9243/stat : 9243 (satake) S 9230 9232 27791 0 -1 4202560 9786 0 0 0 2922 178 0 0 20 0 16 0 641712128 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=9232/tid=9244] ppid=9230 vsize=514560 CPUtime=31.18
/proc/9232/task/9244/stat : 9244 (satake) S 9230 9232 27791 0 -1 4202560 10100 0 0 0 2934 184 0 0 20 0 16 0 641712128 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9245] ppid=9230 vsize=514560 CPUtime=30.52
/proc/9232/task/9245/stat : 9245 (satake) S 9230 9232 27791 0 -1 4202560 10234 0 0 0 2850 202 0 0 20 0 16 0 641712128 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9246] ppid=9230 vsize=514560 CPUtime=30.98
/proc/9232/task/9246/stat : 9246 (satake) R 9230 9232 27791 0 -1 4202560 9994 0 0 0 2902 196 0 0 20 0 16 0 641712128 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134672237 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=9232/tid=9247] ppid=9230 vsize=514560 CPUtime=30.56
/proc/9232/task/9247/stat : 9247 (satake) S 9230 9232 27791 0 -1 4202560 10023 0 0 0 2852 204 0 0 20 0 16 0 641712128 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=9232/tid=9248] ppid=9230 vsize=514560 CPUtime=30.2
/proc/9232/task/9248/stat : 9248 (satake) R 9230 9232 27791 0 -1 4202560 9997 0 0 0 2760 260 0 0 20 0 16 0 641712128 526909440 115651 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 498.77
Current children cumulated vsize (KiB) 514560
Solver just ended. Dumping a history of the last processes samples
[startup+102.702 s]
/proc/loadavg: 6.93 7.52 6.39 17/201 9249
/proc/meminfo: memFree=18654948/36427776 swapFree=4588/477068
[pid=9232] ppid=9230 vsize=482612 CPUtime=501
/proc/9232/stat : 9232 (satake) S 9230 9232 27791 0 -1 4202496 149395 0 0 0 43315 6785 0 0 20 0 15 0 641712127 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/9232/statm: 120653 109698 77 164 0 120488 0
[pid=9232/tid=9235] ppid=9230 vsize=482612 CPUtime=31.72
/proc/9232/task/9235/stat : 9235 (satake) S 9230 9232 27791 0 -1 4202560 9245 0 0 0 2960 212 0 0 20 0 15 0 641712127 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=9232/tid=9236] ppid=9230 vsize=482612 CPUtime=29.4
/proc/9232/task/9236/stat : 9236 (satake) S 9230 9232 27791 0 -1 4202560 10049 0 0 0 2762 178 0 0 20 0 15 0 641712127 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=9232/tid=9237] ppid=9230 vsize=482612 CPUtime=30.14
/proc/9232/task/9237/stat : 9237 (satake) S 9230 9232 27791 0 -1 4202560 9516 0 0 0 2818 196 0 0 20 0 15 0 641712127 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=9232/tid=9238] ppid=9230 vsize=482612 CPUtime=31.12
/proc/9232/task/9238/stat : 9238 (satake) S 9230 9232 27791 0 -1 4202560 10048 0 0 0 2894 218 0 0 20 0 15 0 641712127 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9239] ppid=9230 vsize=482612 CPUtime=32.16
/proc/9232/task/9239/stat : 9239 (satake) S 9230 9232 27791 0 -1 4202560 9270 0 0 0 3022 194 0 0 20 0 15 0 641712127 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=9232/tid=9240] ppid=9230 vsize=482612 CPUtime=31.42
/proc/9232/task/9240/stat : 9240 (satake) S 9230 9232 27791 0 -1 4202560 9485 0 0 0 2926 216 0 0 20 0 15 0 641712127 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=9232/tid=9241] ppid=9230 vsize=482612 CPUtime=29.52
/proc/9232/task/9241/stat : 9241 (satake) S 9230 9232 27791 0 -1 4202560 10192 0 0 0 2728 224 0 0 20 0 15 0 641712127 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=9232/tid=9242] ppid=9230 vsize=482612 CPUtime=30.32
/proc/9232/task/9242/stat : 9242 (satake) S 9230 9232 27791 0 -1 4202560 9793 0 0 0 2814 218 0 0 20 0 15 0 641712128 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=9232/tid=9243] ppid=9230 vsize=482612 CPUtime=31.2
/proc/9232/task/9243/stat : 9243 (satake) R 9230 9232 27791 0 -1 4202560 9786 0 0 0 2936 184 0 0 20 0 15 0 641712128 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134666416 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9232/tid=9244] ppid=9230 vsize=482612 CPUtime=31.28
/proc/9232/task/9244/stat : 9244 (satake) S 9230 9232 27791 0 -1 4202560 10100 0 0 0 2940 188 0 0 20 0 15 0 641712128 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9245] ppid=9230 vsize=482612 CPUtime=30.66
/proc/9232/task/9245/stat : 9245 (satake) S 9230 9232 27791 0 -1 4202560 10234 0 0 0 2856 210 0 0 20 0 15 0 641712128 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=9232/tid=9246] ppid=9230 vsize=482612 CPUtime=31.14
/proc/9232/task/9246/stat : 9246 (satake) S 9230 9232 27791 0 -1 4202560 9994 0 0 0 2908 206 0 0 20 0 15 0 641712128 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=9232/tid=9247] ppid=9230 vsize=482612 CPUtime=30.72
/proc/9232/task/9247/stat : 9247 (satake) S 9230 9232 27791 0 -1 4202560 10023 0 0 0 2862 210 0 0 20 0 15 0 641712128 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=9232/tid=9248] ppid=9230 vsize=482612 CPUtime=30.38
/proc/9232/task/9248/stat : 9248 (satake) S 9230 9232 27791 0 -1 4202560 9997 0 0 0 2768 270 0 0 20 0 15 0 641712128 494194688 109698 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 501
Current children cumulated vsize (KiB) 482612
[startup+103.102 s]
/proc/loadavg: 6.93 7.52 6.39 17/201 9249
/proc/meminfo: memFree=18654948/36427776 swapFree=4588/477068
[pid=9232] ppid=9230 vsize=389632 CPUtime=502.79
/proc/9232/stat : 9232 (satake) S 9230 9232 27791 0 -1 4202496 149395 0 0 0 43423 6856 0 0 20 0 6 0 641712127 398983168 91519 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/9232/statm: 97408 91519 77 164 0 97243 0
[pid=9232/tid=9235] ppid=9230 vsize=389632 CPUtime=31.9
/proc/9232/task/9235/stat : 9235 (satake) S 9230 9232 27791 0 -1 4202560 9245 0 0 0 2974 216 0 0 20 0 6 0 641712127 398983168 91519 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=9232/tid=9236] ppid=9230 vsize=389632 CPUtime=29.62
/proc/9232/task/9236/stat : 9236 (satake) S 9230 9232 27791 0 -1 4202560 10049 0 0 0 2776 186 0 0 20 0 6 0 641712127 398983168 91519 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=9232/tid=9238] ppid=9230 vsize=389632 CPUtime=31.34
/proc/9232/task/9238/stat : 9238 (satake) S 9230 9232 27791 0 -1 4202560 10048 0 0 0 2912 222 0 0 20 0 6 0 641712127 398983168 91519 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=9232/tid=9243] ppid=9230 vsize=389632 CPUtime=31.44
/proc/9232/task/9243/stat : 9243 (satake) R 9230 9232 27791 0 -1 4202560 9786 0 0 0 2950 194 0 0 20 0 6 0 641712128 398983168 91519 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9232/tid=9244] ppid=9230 vsize=389632 CPUtime=31.4
/proc/9232/task/9244/stat : 9244 (satake) R 9230 9232 27791 0 -1 4202560 10100 0 0 0 2948 192 0 0 20 0 6 0 641712128 398983168 91519 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 502.79
Current children cumulated vsize (KiB) 389632
[startup+103.206 s]
/proc/loadavg: 6.93 7.52 6.39 17/201 9249
/proc/meminfo: memFree=18654948/36427776 swapFree=4588/477068
[pid=9232] ppid=9230 vsize=313920 CPUtime=502.97
/proc/9232/stat : 9232 (satake) S 9230 9232 27791 0 -1 4202496 149395 0 0 0 43438 6859 0 0 20 0 2 0 641712127 321454080 75146 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/9232/statm: 78224 75146 77 164 0 78059 0
[pid=9232/tid=9244] ppid=9230 vsize=312896 CPUtime=31.5
/proc/9232/task/9244/stat : 9244 (satake) R 9230 9232 27791 0 -1 4202560 10100 0 0 0 2956 194 0 0 20 0 2 0 641712128 320405504 75146 18446744073709551615 134512640 135180984 4287760384 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 502.97
Current children cumulated vsize (KiB) 313920
Child status: 16
Real time (s): 103.255
CPU time (s): 503.027
CPU user time (s): 434.383
CPU system time (s): 68.6443
CPU usage (%): 487.169
Max. virtual memory (cumulated for all children) (KiB): 556404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 434.383
system time used= 68.6443
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149396
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= 4917866
involuntary context switches= 1242611
runsolver used 0.48003 second user time and 1.27208 second system time
The end
Begin job on xenhost3-49 at 2009-06-12 18:27:37
IDJOB=1780332
IDBENCH=70974
IDSOLVER=631
FILE ID=xenhost3-49/1780332-1244824057
PBS_JOBID=
Free space on /tmp= 7021 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-10-5p0.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780332-1244824057/watcher-1780332-1244824057 -o /tmp/evaluation-result-1780332-1244824057/solver-1780332-1244824057 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780332-1244824057.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 9d45c35f4df88b155135c4914792c59e
RANDOM SEED= 2043146363
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: 19123928 kB
Buffers: 435180 kB
Cached: 14119752 kB
SwapCached: 0 kB
Active: 4081196 kB
Inactive: 10482284 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 9284 kB
Writeback: 0 kB
AnonPages: 7348 kB
Mapped: 3696 kB
Slab: 689504 kB
SReclaimable: 662620 kB
SUnreclaim: 26884 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= 7021 MiB
End job on xenhost3-49 at 2009-06-12 18:29:21