43.38/36.12 c Benchmark name : HOME/instance-1778742-1244766924.cnf
43.38/36.12 c Thread Num : 16
43.38/36.12 c restarts : 8
43.38/36.12 c conflicts : 3839
43.38/36.12 c decisions : 10362 ( 288 / sec )
43.38/36.12 c propagations : 1064746 ( 29569 / sec )
43.38/36.12 c inspects : 3193192 ( 88678 / sec )
43.38/36.12 c conflict literals : 164347 ( 25.80 % deleted )
43.38/36.12 c cpu time : 36.01
43.38/36.12 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778742-1244766924/watcher-1778742-1244766924 -o /tmp/evaluation-result-1778742-1244766924/solver-1778742-1244766924 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1778742-1244766924.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: 4.64 3.42 2.95 2/184 2133
/proc/meminfo: memFree=19137344/36427776 swapFree=4616/8656
[pid=2133] ppid=2131 vsize=5356 CPUtime=0
/proc/2133/stat : 2133 (satake) R 2131 2133 27791 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 12 0 635998760 5484544 207 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/2133/statm: 1339 211 62 164 0 1174 0
[pid=2133/tid=2134] ppid=2131 vsize=8592 CPUtime=0
/proc/2133/task/2134/stat : 2134 (satake) S 2131 2133 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 635998761 8798208 475 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2135] ppid=2131 vsize=8592 CPUtime=0
/proc/2133/task/2135/stat : 2135 (satake) R 2131 2133 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 17 0 635998761 8798208 494 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2136] ppid=2131 vsize=8592 CPUtime=0
/proc/2133/task/2136/stat : 2136 (satake) R 2131 2133 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 17 0 635998761 8798208 505 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2133/tid=2137] ppid=2131 vsize=8592 CPUtime=0
/proc/2133/task/2137/stat : 2137 (satake) R 2131 2133 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 635998761 8798208 507 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2133/tid=2138] ppid=2131 vsize=8592 CPUtime=0
/proc/2133/task/2138/stat : 2138 (satake) R 2131 2133 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 635998761 8798208 508 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2139] ppid=2131 vsize=8852 CPUtime=0
/proc/2133/task/2139/stat : 2139 (satake) D 2131 2133 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 635998761 9064448 510 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2133/tid=2140] ppid=2131 vsize=8760 CPUtime=0
/proc/2133/task/2140/stat : 2140 (satake) S 2131 2133 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 635998761 8970240 510 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2141] ppid=2131 vsize=8892 CPUtime=0
/proc/2133/task/2141/stat : 2141 (satake) D 2131 2133 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 635998761 9105408 512 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2142] ppid=2131 vsize=8800 CPUtime=0
/proc/2133/task/2142/stat : 2142 (satake) S 2131 2133 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635998761 9011200 513 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=2133/tid=2143] ppid=2131 vsize=8800 CPUtime=0
/proc/2133/task/2143/stat : 2143 (satake) S 2131 2133 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635998761 9011200 514 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=2133/tid=2144] ppid=2131 vsize=8800 CPUtime=0
/proc/2133/task/2144/stat : 2144 (satake) D 2131 2133 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 635998761 9011200 515 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2145] ppid=2131 vsize=8804 CPUtime=0
/proc/2133/task/2145/stat : 2145 (satake) D 2131 2133 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635998761 9015296 517 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2146] ppid=2131 vsize=8804 CPUtime=0
/proc/2133/task/2146/stat : 2146 (satake) R 2131 2133 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 635998761 9015296 520 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2147] ppid=2131 vsize=8804 CPUtime=0
/proc/2133/task/2147/stat : 2147 (satake) R 2131 2133 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 635998761 9015296 522 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=2133/tid=2148] ppid=2131 vsize=8804 CPUtime=0
/proc/2133/task/2148/stat : 2148 (satake) D 2131 2133 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 635998762 9015296 526 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2149] ppid=2131 vsize=8804 CPUtime=0
/proc/2133/task/2149/stat : 2149 (satake) R 2131 2133 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 635998762 9015296 528 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[startup+0.03497 s]
/proc/loadavg: 4.64 3.42 2.95 2/184 2133
/proc/meminfo: memFree=19137344/36427776 swapFree=4616/8656
[pid=2133] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/stat : 2133 (satake) S 2131 2133 27791 0 -1 4202496 1568 0 0 0 0 0 0 0 20 0 17 0 635998760 13398016 1508 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/2133/statm: 3271 1512 63 164 0 3106 0
[pid=2133/tid=2134] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2134/stat : 2134 (satake) S 2131 2133 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1514 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2135] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2135/stat : 2135 (satake) R 2131 2133 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1516 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2136] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2136/stat : 2136 (satake) R 2131 2133 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1520 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2133/tid=2137] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2137/stat : 2137 (satake) R 2131 2133 27791 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1521 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2133/tid=2138] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2138/stat : 2138 (satake) R 2131 2133 27791 0 -1 4202560 118 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1521 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2139] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2139/stat : 2139 (satake) R 2131 2133 27791 0 -1 4202560 93 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1521 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2133/tid=2140] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2140/stat : 2140 (satake) R 2131 2133 27791 0 -1 4202560 86 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1521 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2141] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2141/stat : 2141 (satake) S 2131 2133 27791 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1521 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2142] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2142/stat : 2142 (satake) D 2131 2133 27791 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1521 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2143] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2143/stat : 2143 (satake) S 2131 2133 27791 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1522 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=2133/tid=2144] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2144/stat : 2144 (satake) S 2131 2133 27791 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1522 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2145] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2145/stat : 2145 (satake) S 2131 2133 27791 0 -1 4202560 87 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1522 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2146] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2146/stat : 2146 (satake) R 2131 2133 27791 0 -1 4202560 91 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1526 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2147] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2147/stat : 2147 (satake) S 2131 2133 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 635998761 13398016 1526 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=2133/tid=2148] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2148/stat : 2148 (satake) R 2131 2133 27791 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 17 0 635998762 13398016 1526 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134513612 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2149] ppid=2131 vsize=13084 CPUtime=0
/proc/2133/task/2149/stat : 2149 (satake) S 2131 2133 27791 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 17 0 635998762 13398016 1526 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13084
[startup+0.106815 s]
/proc/loadavg: 4.64 3.42 2.95 2/184 2133
/proc/meminfo: memFree=19137344/36427776 swapFree=4616/8656
[pid=2133] ppid=2131 vsize=23108 CPUtime=0.39
/proc/2133/stat : 2133 (satake) S 2131 2133 27791 0 -1 4202496 4071 0 0 0 30 9 0 0 20 0 17 0 635998760 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/2133/statm: 5777 3632 66 164 0 5612 0
[pid=2133/tid=2134] ppid=2131 vsize=23108 CPUtime=0
/proc/2133/task/2134/stat : 2134 (satake) D 2131 2133 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134543400 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2135] ppid=2131 vsize=23108 CPUtime=0.02
/proc/2133/task/2135/stat : 2135 (satake) R 2131 2133 27791 0 -1 4202560 265 0 0 0 2 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134536777 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2133/tid=2136] ppid=2131 vsize=23108 CPUtime=0.02
/proc/2133/task/2136/stat : 2136 (satake) S 2131 2133 27791 0 -1 4202560 315 0 0 0 2 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2137] ppid=2131 vsize=23108 CPUtime=0.02
/proc/2133/task/2137/stat : 2137 (satake) R 2131 2133 27791 0 -1 4202560 309 0 0 0 2 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134518656 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2133/tid=2138] ppid=2131 vsize=23108 CPUtime=0.02
/proc/2133/task/2138/stat : 2138 (satake) R 2131 2133 27791 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134528180 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2139] ppid=2131 vsize=23108 CPUtime=0.02
/proc/2133/task/2139/stat : 2139 (satake) S 2131 2133 27791 0 -1 4202560 301 0 0 0 2 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=2133/tid=2140] ppid=2131 vsize=23108 CPUtime=0
/proc/2133/task/2140/stat : 2140 (satake) R 2131 2133 27791 0 -1 4202560 184 0 0 0 0 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2141] ppid=2131 vsize=23108 CPUtime=0.02
/proc/2133/task/2141/stat : 2141 (satake) D 2131 2133 27791 0 -1 4202560 307 0 0 0 2 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2142] ppid=2131 vsize=23108 CPUtime=0
/proc/2133/task/2142/stat : 2142 (satake) S 2131 2133 27791 0 -1 4202560 190 0 0 0 0 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2143] ppid=2131 vsize=23108 CPUtime=0.02
/proc/2133/task/2143/stat : 2143 (satake) S 2131 2133 27791 0 -1 4202560 283 0 0 0 2 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2133/tid=2144] ppid=2131 vsize=23108 CPUtime=0.02
/proc/2133/task/2144/stat : 2144 (satake) S 2131 2133 27791 0 -1 4202560 290 0 0 0 2 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2145] ppid=2131 vsize=23108 CPUtime=0.02
/proc/2133/task/2145/stat : 2145 (satake) S 2131 2133 27791 0 -1 4202560 216 0 0 0 2 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2146] ppid=2131 vsize=23108 CPUtime=0.02
/proc/2133/task/2146/stat : 2146 (satake) D 2131 2133 27791 0 -1 4202560 262 0 0 0 2 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2147] ppid=2131 vsize=23108 CPUtime=0.02
/proc/2133/task/2147/stat : 2147 (satake) S 2131 2133 27791 0 -1 4202560 283 0 0 0 2 0 0 0 20 0 17 0 635998761 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=2133/tid=2148] ppid=2131 vsize=23108 CPUtime=0
/proc/2133/task/2148/stat : 2148 (satake) S 2131 2133 27791 0 -1 4202560 189 0 0 0 0 0 0 0 20 0 17 0 635998762 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2149] ppid=2131 vsize=23108 CPUtime=0
/proc/2133/task/2149/stat : 2149 (satake) S 2131 2133 27791 0 -1 4202560 191 0 0 0 0 0 0 0 20 0 17 0 635998762 23662592 3632 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 23108
[startup+0.302821 s]
/proc/loadavg: 4.64 3.42 2.95 2/184 2133
/proc/meminfo: memFree=19137344/36427776 swapFree=4616/8656
[pid=2133] ppid=2131 vsize=25392 CPUtime=0.79
/proc/2133/stat : 2133 (satake) S 2131 2133 27791 0 -1 4202496 4640 0 0 0 55 24 0 0 20 0 17 0 635998760 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/2133/statm: 6348 3949 68 164 0 6183 0
[pid=2133/tid=2134] ppid=2131 vsize=25392 CPUtime=0.08
/proc/2133/task/2134/stat : 2134 (satake) R 2131 2133 27791 0 -1 4202560 80 0 0 0 0 8 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2135] ppid=2131 vsize=25392 CPUtime=0.02
/proc/2133/task/2135/stat : 2135 (satake) S 2131 2133 27791 0 -1 4202560 269 0 0 0 2 0 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2133/tid=2136] ppid=2131 vsize=25392 CPUtime=0.02
/proc/2133/task/2136/stat : 2136 (satake) S 2131 2133 27791 0 -1 4202560 315 0 0 0 2 0 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2137] ppid=2131 vsize=25392 CPUtime=0.04
/proc/2133/task/2137/stat : 2137 (satake) S 2131 2133 27791 0 -1 4202560 309 0 0 0 2 2 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2138] ppid=2131 vsize=25392 CPUtime=0.06
/proc/2133/task/2138/stat : 2138 (satake) S 2131 2133 27791 0 -1 4202560 359 0 0 0 4 2 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2139] ppid=2131 vsize=25392 CPUtime=0.04
/proc/2133/task/2139/stat : 2139 (satake) S 2131 2133 27791 0 -1 4202560 304 0 0 0 4 0 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=2133/tid=2140] ppid=2131 vsize=25392 CPUtime=0.02
/proc/2133/task/2140/stat : 2140 (satake) S 2131 2133 27791 0 -1 4202560 305 0 0 0 2 0 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2141] ppid=2131 vsize=25392 CPUtime=0.04
/proc/2133/task/2141/stat : 2141 (satake) R 2131 2133 27791 0 -1 4202560 311 0 0 0 4 0 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2142] ppid=2131 vsize=25392 CPUtime=0.02
/proc/2133/task/2142/stat : 2142 (satake) S 2131 2133 27791 0 -1 4202560 281 0 0 0 2 0 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2143] ppid=2131 vsize=25392 CPUtime=0.04
/proc/2133/task/2143/stat : 2143 (satake) S 2131 2133 27791 0 -1 4202560 285 0 0 0 4 0 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2133/tid=2144] ppid=2131 vsize=25392 CPUtime=0.04
/proc/2133/task/2144/stat : 2144 (satake) S 2131 2133 27791 0 -1 4202560 291 0 0 0 4 0 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2145] ppid=2131 vsize=25392 CPUtime=0.02
/proc/2133/task/2145/stat : 2145 (satake) S 2131 2133 27791 0 -1 4202560 279 0 0 0 2 0 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2146] ppid=2131 vsize=25392 CPUtime=0.02
/proc/2133/task/2146/stat : 2146 (satake) S 2131 2133 27791 0 -1 4202560 288 0 0 0 2 0 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2147] ppid=2131 vsize=25392 CPUtime=0.06
/proc/2133/task/2147/stat : 2147 (satake) S 2131 2133 27791 0 -1 4202560 283 0 0 0 6 0 0 0 20 0 17 0 635998761 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=2133/tid=2148] ppid=2131 vsize=25392 CPUtime=0.04
/proc/2133/task/2148/stat : 2148 (satake) S 2131 2133 27791 0 -1 4202560 275 0 0 0 4 0 0 0 20 0 17 0 635998762 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2149] ppid=2131 vsize=25392 CPUtime=0.04
/proc/2133/task/2149/stat : 2149 (satake) S 2131 2133 27791 0 -1 4202560 281 0 0 0 4 0 0 0 20 0 17 0 635998762 26001408 3949 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 25392
[startup+0.702876 s]
/proc/loadavg: 4.64 3.42 2.95 2/184 2133
/proc/meminfo: memFree=19137344/36427776 swapFree=4616/8656
[pid=2133] ppid=2131 vsize=25392 CPUtime=1.19
/proc/2133/stat : 2133 (satake) S 2131 2133 27791 0 -1 4202496 4670 0 0 0 63 56 0 0 20 0 17 0 635998760 26001408 3979 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/2133/statm: 6348 3979 68 164 0 6183 0
[pid=2133/tid=2134] ppid=2131 vsize=25392 CPUtime=0.28
/proc/2133/task/2134/stat : 2134 (satake) R 2131 2133 27791 0 -1 4202560 85 0 0 0 2 26 0 0 20 0 17 0 635998761 26001408 3979 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2135] ppid=2131 vsize=25392 CPUtime=0.06
/proc/2133/task/2135/stat : 2135 (satake) S 2131 2133 27791 0 -1 4202560 273 0 0 0 4 2 0 0 20 0 17 0 635998761 26001408 3979 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2133/tid=2136] ppid=2131 vsize=25392 CPUtime=0.04
/proc/2133/task/2136/stat : 2136 (satake) S 2131 2133 27791 0 -1 4202560 316 0 0 0 2 2 0 0 20 0 17 0 635998761 26001408 3979 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2137] ppid=2131 vsize=25392 CPUtime=0.04
/proc/2133/task/2137/stat : 2137 (satake) S 2131 2133 27791 0 -1 4202560 309 0 0 0 2 2 0 0 20 0 17 0 635998761 26001408 3979 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2138] ppid=2131 vsize=25392 CPUtime=0.06
/proc/2133/task/2138/stat : 2138 (satake) S 2131 2133 27791 0 -1 4202560 359 0 0 0 4 2 0 0 20 0 17 0 635998761 26001408 3979 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2139] ppid=2131 vsize=25392 CPUtime=0.04
/proc/2133/task/2139/stat : 2139 (satake) S 2131 2133 27791 0 -1 4202560 304 0 0 0 4 0 0 0 20 0 17 0 635998761 26001408 3979 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=2133/tid=2140] ppid=2131 vsize=25392 CPUtime=0.04
/proc/2133/task/2140/stat : 2140 (satake) R 2131 2133 27791 0 -1 4202560 311 0 0 0 4 0 0 0 20 0 17 0 635998761 26001408 3979 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2141] ppid=2131 vsize=25392 CPUtime=0.04
/proc/2133/task/2141/stat : 2141 (satake) S 2131 2133 27791 0 -1 4202560 312 0 0 0 4 0 0 0 20 0 17 0 635998761 26001408 3979 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2142] ppid=2131 vsize=25392 CPUtime=0.02
/proc/2133/task/2142/stat : 2142 (satake) S 2131 2133 27791 0 -1 4202560 281 0 0 0 2 0 0 0 20 0 17 0 635998761 26001408 3979 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2143] ppid=2131 vsize=25392 CPUtime=0.04
################
# More data... #
################
/proc/2133/task/2137/stat : 2137 (satake) S 2131 2133 27791 0 -1 4202560 559 0 0 0 86 74 0 0 20 0 17 0 635998761 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2138] ppid=2131 vsize=40176 CPUtime=1.62
/proc/2133/task/2138/stat : 2138 (satake) S 2131 2133 27791 0 -1 4202560 630 0 0 0 86 76 0 0 20 0 17 0 635998761 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=2133/tid=2139] ppid=2131 vsize=40176 CPUtime=1.66
/proc/2133/task/2139/stat : 2139 (satake) S 2131 2133 27791 0 -1 4202560 604 0 0 0 90 76 0 0 20 0 17 0 635998761 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=2133/tid=2140] ppid=2131 vsize=40176 CPUtime=1.52
/proc/2133/task/2140/stat : 2140 (satake) S 2131 2133 27791 0 -1 4202560 543 0 0 0 84 68 0 0 20 0 17 0 635998761 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2141] ppid=2131 vsize=40176 CPUtime=1.7
/proc/2133/task/2141/stat : 2141 (satake) S 2131 2133 27791 0 -1 4202560 593 0 0 0 92 78 0 0 20 0 17 0 635998761 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2142] ppid=2131 vsize=40176 CPUtime=1.54
/proc/2133/task/2142/stat : 2142 (satake) S 2131 2133 27791 0 -1 4202560 526 0 0 0 80 74 0 0 20 0 17 0 635998761 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2143] ppid=2131 vsize=40176 CPUtime=1.64
/proc/2133/task/2143/stat : 2143 (satake) S 2131 2133 27791 0 -1 4202560 517 0 0 0 86 78 0 0 20 0 17 0 635998761 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2133/tid=2144] ppid=2131 vsize=40176 CPUtime=1.78
/proc/2133/task/2144/stat : 2144 (satake) S 2131 2133 27791 0 -1 4202560 544 0 0 0 84 94 0 0 20 0 17 0 635998761 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2145] ppid=2131 vsize=40176 CPUtime=1.74
/proc/2133/task/2145/stat : 2145 (satake) R 2131 2133 27791 0 -1 4202560 564 0 0 0 88 86 0 0 20 0 17 0 635998761 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2146] ppid=2131 vsize=40176 CPUtime=1.68
/proc/2133/task/2146/stat : 2146 (satake) S 2131 2133 27791 0 -1 4202560 561 0 0 0 82 86 0 0 20 0 17 0 635998761 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2147] ppid=2131 vsize=40176 CPUtime=1.78
/proc/2133/task/2147/stat : 2147 (satake) S 2131 2133 27791 0 -1 4202560 529 0 0 0 94 84 0 0 20 0 17 0 635998761 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=2133/tid=2148] ppid=2131 vsize=40176 CPUtime=1.6
/proc/2133/task/2148/stat : 2148 (satake) S 2131 2133 27791 0 -1 4202560 526 0 0 0 84 76 0 0 20 0 17 0 635998762 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2149] ppid=2131 vsize=40176 CPUtime=0.98
/proc/2133/task/2149/stat : 2149 (satake) S 2131 2133 27791 0 -1 4202560 567 0 0 0 62 36 0 0 20 0 17 0 635998762 41140224 8166 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 38.59
Current children cumulated vsize (KiB) 40176
[startup+33.5047 s]
/proc/loadavg: 3.60 3.28 2.92 3/201 2150
/proc/meminfo: memFree=19108260/36427776 swapFree=4588/42436
[pid=2133] ppid=2131 vsize=42224 CPUtime=40.09
/proc/2133/stat : 2133 (satake) S 2131 2133 27791 0 -1 4202496 8957 0 0 0 1498 2511 0 0 20 0 17 0 635998760 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/2133/statm: 10556 8266 68 164 0 10391 0
[pid=2133/tid=2134] ppid=2131 vsize=42224 CPUtime=16.02
/proc/2133/task/2134/stat : 2134 (satake) R 2131 2133 27791 0 -1 4202560 426 0 0 0 212 1390 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2135] ppid=2131 vsize=42224 CPUtime=1.36
/proc/2133/task/2135/stat : 2135 (satake) S 2131 2133 27791 0 -1 4202560 521 0 0 0 76 60 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2133/tid=2136] ppid=2131 vsize=42224 CPUtime=0.92
/proc/2133/task/2136/stat : 2136 (satake) S 2131 2133 27791 0 -1 4202560 553 0 0 0 64 28 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2137] ppid=2131 vsize=42224 CPUtime=1.66
/proc/2133/task/2137/stat : 2137 (satake) S 2131 2133 27791 0 -1 4202560 567 0 0 0 88 78 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2138] ppid=2131 vsize=42224 CPUtime=1.7
/proc/2133/task/2138/stat : 2138 (satake) S 2131 2133 27791 0 -1 4202560 630 0 0 0 90 80 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=2133/tid=2139] ppid=2131 vsize=42224 CPUtime=1.74
/proc/2133/task/2139/stat : 2139 (satake) S 2131 2133 27791 0 -1 4202560 605 0 0 0 94 80 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=2133/tid=2140] ppid=2131 vsize=42224 CPUtime=1.56
/proc/2133/task/2140/stat : 2140 (satake) S 2131 2133 27791 0 -1 4202560 551 0 0 0 86 70 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2141] ppid=2131 vsize=42224 CPUtime=1.78
/proc/2133/task/2141/stat : 2141 (satake) S 2131 2133 27791 0 -1 4202560 593 0 0 0 96 82 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2142] ppid=2131 vsize=42224 CPUtime=1.62
/proc/2133/task/2142/stat : 2142 (satake) S 2131 2133 27791 0 -1 4202560 533 0 0 0 84 78 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2143] ppid=2131 vsize=42224 CPUtime=1.68
/proc/2133/task/2143/stat : 2143 (satake) S 2131 2133 27791 0 -1 4202560 521 0 0 0 86 82 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2133/tid=2144] ppid=2131 vsize=42224 CPUtime=1.82
/proc/2133/task/2144/stat : 2144 (satake) S 2131 2133 27791 0 -1 4202560 553 0 0 0 86 96 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2145] ppid=2131 vsize=42224 CPUtime=1.8
/proc/2133/task/2145/stat : 2145 (satake) R 2131 2133 27791 0 -1 4202560 572 0 0 0 92 88 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2146] ppid=2131 vsize=42224 CPUtime=1.74
/proc/2133/task/2146/stat : 2146 (satake) S 2131 2133 27791 0 -1 4202560 570 0 0 0 84 90 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2147] ppid=2131 vsize=42224 CPUtime=1.88
/proc/2133/task/2147/stat : 2147 (satake) S 2131 2133 27791 0 -1 4202560 531 0 0 0 102 86 0 0 20 0 17 0 635998761 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=2133/tid=2148] ppid=2131 vsize=42224 CPUtime=1.68
/proc/2133/task/2148/stat : 2148 (satake) S 2131 2133 27791 0 -1 4202560 535 0 0 0 88 80 0 0 20 0 17 0 635998762 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2149] ppid=2131 vsize=42224 CPUtime=1.02
/proc/2133/task/2149/stat : 2149 (satake) S 2131 2133 27791 0 -1 4202560 571 0 0 0 66 36 0 0 20 0 17 0 635998762 43237376 8266 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 40.09
Current children cumulated vsize (KiB) 42224
[startup+35.1048 s]
/proc/loadavg: 3.47 3.26 2.91 3/201 2150
/proc/meminfo: memFree=19107640/36427776 swapFree=4588/42620
[pid=2133] ppid=2131 vsize=42224 CPUtime=41.78
/proc/2133/stat : 2133 (satake) S 2131 2133 27791 0 -1 4202496 8974 0 0 0 1541 2637 0 0 20 0 17 0 635998760 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/2133/statm: 10556 8283 68 164 0 10391 0
[pid=2133/tid=2134] ppid=2131 vsize=42224 CPUtime=16.8
/proc/2133/task/2134/stat : 2134 (satake) D 2131 2133 27791 0 -1 4202560 433 0 0 0 222 1458 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2135] ppid=2131 vsize=42224 CPUtime=1.44
/proc/2133/task/2135/stat : 2135 (satake) S 2131 2133 27791 0 -1 4202560 521 0 0 0 78 66 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2133/tid=2136] ppid=2131 vsize=42224 CPUtime=0.98
/proc/2133/task/2136/stat : 2136 (satake) S 2131 2133 27791 0 -1 4202560 554 0 0 0 66 32 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2137] ppid=2131 vsize=42224 CPUtime=1.72
/proc/2133/task/2137/stat : 2137 (satake) R 2131 2133 27791 0 -1 4202560 568 0 0 0 90 82 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2138] ppid=2131 vsize=42224 CPUtime=1.7
/proc/2133/task/2138/stat : 2138 (satake) S 2131 2133 27791 0 -1 4202560 630 0 0 0 90 80 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=2133/tid=2139] ppid=2131 vsize=42224 CPUtime=1.74
/proc/2133/task/2139/stat : 2139 (satake) S 2131 2133 27791 0 -1 4202560 605 0 0 0 94 80 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=2133/tid=2140] ppid=2131 vsize=42224 CPUtime=1.66
/proc/2133/task/2140/stat : 2140 (satake) S 2131 2133 27791 0 -1 4202560 554 0 0 0 90 76 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2141] ppid=2131 vsize=42224 CPUtime=1.78
/proc/2133/task/2141/stat : 2141 (satake) S 2131 2133 27791 0 -1 4202560 593 0 0 0 96 82 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2142] ppid=2131 vsize=42224 CPUtime=1.72
/proc/2133/task/2142/stat : 2142 (satake) S 2131 2133 27791 0 -1 4202560 534 0 0 0 90 82 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2143] ppid=2131 vsize=42224 CPUtime=1.82
/proc/2133/task/2143/stat : 2143 (satake) S 2131 2133 27791 0 -1 4202560 523 0 0 0 90 92 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2133/tid=2144] ppid=2131 vsize=42224 CPUtime=1.92
/proc/2133/task/2144/stat : 2144 (satake) S 2131 2133 27791 0 -1 4202560 554 0 0 0 88 104 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2145] ppid=2131 vsize=42224 CPUtime=1.84
/proc/2133/task/2145/stat : 2145 (satake) S 2131 2133 27791 0 -1 4202560 572 0 0 0 92 92 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2146] ppid=2131 vsize=42224 CPUtime=1.86
/proc/2133/task/2146/stat : 2146 (satake) S 2131 2133 27791 0 -1 4202560 571 0 0 0 88 98 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2147] ppid=2131 vsize=42224 CPUtime=1.88
/proc/2133/task/2147/stat : 2147 (satake) S 2131 2133 27791 0 -1 4202560 531 0 0 0 102 86 0 0 20 0 17 0 635998761 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=2133/tid=2148] ppid=2131 vsize=42224 CPUtime=1.78
/proc/2133/task/2148/stat : 2148 (satake) S 2131 2133 27791 0 -1 4202560 535 0 0 0 92 86 0 0 20 0 17 0 635998762 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2149] ppid=2131 vsize=42224 CPUtime=1.02
/proc/2133/task/2149/stat : 2149 (satake) S 2131 2133 27791 0 -1 4202560 571 0 0 0 66 36 0 0 20 0 17 0 635998762 43237376 8283 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 41.78
Current children cumulated vsize (KiB) 42224
[startup+35.9049 s]
/proc/loadavg: 3.47 3.26 2.91 3/201 2150
/proc/meminfo: memFree=19107640/36427776 swapFree=4588/42620
[pid=2133] ppid=2131 vsize=42224 CPUtime=42.64
/proc/2133/stat : 2133 (satake) S 2131 2133 27791 0 -1 4202496 8980 0 0 0 1567 2697 0 0 20 0 17 0 635998760 43237376 8289 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/2133/statm: 10556 8289 68 164 0 10391 0
[pid=2133/tid=2134] ppid=2131 vsize=42224 CPUtime=17.18
/proc/2133/task/2134/stat : 2134 (satake) R 2131 2133 27791 0 -1 4202560 433 0 0 0 228 1490 0 0 20 0 17 0 635998761 43237376 8289 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2135] ppid=2131 vsize=42224 CPUtime=1.46
/proc/2133/task/2135/stat : 2135 (satake) S 2131 2133 27791 0 -1 4202560 521 0 0 0 80 66 0 0 20 0 17 0 635998761 43237376 8289 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2133/tid=2136] ppid=2131 vsize=42224 CPUtime=1
/proc/2133/task/2136/stat : 2136 (satake) S 2131 2133 27791 0 -1 4202560 554 0 0 0 66 34 0 0 20 0 17 0 635998761 43237376 8289 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=2133/tid=2137] ppid=2131 vsize=42224 CPUtime=1.74
/proc/2133/task/2137/stat : 2137 (satake) S 2131 2133 27791 0 -1 4202560 569 0 0 0 90 84 0 0 20 0 17 0 635998761 43237376 8289 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2138] ppid=2131 vsize=42224 CPUtime=1.78
/proc/2133/task/2138/stat : 2138 (satake) S 2131 2133 27791 0 -1 4202560 631 0 0 0 94 84 0 0 20 0 17 0 635998761 43237376 8289 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=2133/tid=2139] ppid=2131 vsize=42224 CPUtime=1.82
/proc/2133/task/2139/stat : 2139 (satake) S 2131 2133 27791 0 -1 4202560 606 0 0 0 98 84 0 0 20 0 17 0 635998761 43237376 8289 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=2133/tid=2140] ppid=2131 vsize=42224 CPUtime=1.66
/proc/2133/task/2140/stat : 2140 (satake) R 2131 2133 27791 0 -1 4202560 554 0 0 0 90 76 0 0 20 0 17 0 635998761 43237376 8290 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2133/tid=2141] ppid=2131 vsize=42224 CPUtime=1.84
/proc/2133/task/2141/stat : 2141 (satake) S 2131 2133 27791 0 -1 4202560 595 0 0 0 98 86 0 0 20 0 17 0 635998761 43237376 8290 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2142] ppid=2131 vsize=42224 CPUtime=1.72
/proc/2133/task/2142/stat : 2142 (satake) S 2131 2133 27791 0 -1 4202560 534 0 0 0 90 82 0 0 20 0 17 0 635998761 43237376 8290 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2143] ppid=2131 vsize=42224 CPUtime=1.82
/proc/2133/task/2143/stat : 2143 (satake) S 2131 2133 27791 0 -1 4202560 523 0 0 0 90 92 0 0 20 0 17 0 635998761 43237376 8290 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2133/tid=2144] ppid=2131 vsize=42224 CPUtime=1.94
/proc/2133/task/2144/stat : 2144 (satake) R 2131 2133 27791 0 -1 4202560 556 0 0 0 88 106 0 0 20 0 17 0 635998761 43237376 8290 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2145] ppid=2131 vsize=42224 CPUtime=1.9
/proc/2133/task/2145/stat : 2145 (satake) S 2131 2133 27791 0 -1 4202560 572 0 0 0 96 94 0 0 20 0 17 0 635998761 43237376 8290 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2146] ppid=2131 vsize=42224 CPUtime=1.86
/proc/2133/task/2146/stat : 2146 (satake) S 2131 2133 27791 0 -1 4202560 571 0 0 0 88 98 0 0 20 0 17 0 635998761 43237376 8290 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2147] ppid=2131 vsize=42224 CPUtime=1.96
/proc/2133/task/2147/stat : 2147 (satake) S 2131 2133 27791 0 -1 4202560 531 0 0 0 106 90 0 0 20 0 17 0 635998761 43237376 8290 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=2133/tid=2148] ppid=2131 vsize=42224 CPUtime=1.78
/proc/2133/task/2148/stat : 2148 (satake) S 2131 2133 27791 0 -1 4202560 535 0 0 0 92 86 0 0 20 0 17 0 635998762 43237376 8290 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=2133/tid=2149] ppid=2131 vsize=42224 CPUtime=1.06
/proc/2133/task/2149/stat : 2149 (satake) S 2131 2133 27791 0 -1 4202560 571 0 0 0 66 40 0 0 20 0 17 0 635998762 43237376 8290 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 42.64
Current children cumulated vsize (KiB) 42224
[startup+36.1048 s]
/proc/loadavg: 3.47 3.26 2.91 3/201 2150
/proc/meminfo: memFree=19107640/36427776 swapFree=4588/42620
[pid=2133] ppid=2131 vsize=40304 CPUtime=43.38
/proc/2133/stat : 2133 (satake) S 2131 2133 27791 0 -1 4202496 8991 0 0 0 1592 2746 0 0 20 0 6 0 635998760 41271296 8050 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/2133/statm: 10076 8050 77 164 0 9911 0
[pid=2133/tid=2137] ppid=2131 vsize=40304 CPUtime=1.78
/proc/2133/task/2137/stat : 2137 (satake) R 2131 2133 27791 0 -1 4202560 578 0 0 0 90 88 0 0 20 0 6 0 635998761 41271296 8050 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2133/tid=2139] ppid=2131 vsize=40304 CPUtime=1.84
/proc/2133/task/2139/stat : 2139 (satake) R 2131 2133 27791 0 -1 4202560 606 0 0 0 98 86 0 0 20 0 6 0 635998761 41271296 8050 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2133/tid=2142] ppid=2131 vsize=40304 CPUtime=1.76
/proc/2133/task/2142/stat : 2142 (satake) R 2131 2133 27791 0 -1 4202560 534 0 0 0 92 84 0 0 20 0 6 0 635998761 41271296 8050 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2133/tid=2144] ppid=2131 vsize=40304 CPUtime=1.98
/proc/2133/task/2144/stat : 2144 (satake) R 2131 2133 27791 0 -1 4202560 556 0 0 0 90 108 0 0 20 0 6 0 635998761 41271296 8050 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2133/tid=2147] ppid=2131 vsize=40304 CPUtime=1.98
/proc/2133/task/2147/stat : 2147 (satake) R 2131 2133 27791 0 -1 4202560 531 0 0 0 108 90 0 0 20 0 6 0 635998761 41271296 8050 18446744073709551615 134512640 135180984 4287559632 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 43.38
Current children cumulated vsize (KiB) 40304
Child status: 16
Real time (s): 36.1259
CPU time (s): 43.4307
CPU user time (s): 15.937
CPU system time (s): 27.4937
CPU usage (%): 120.22
Max. virtual memory (cumulated for all children) (KiB): 42224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.937
system time used= 27.4937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8992
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= 2239118
involuntary context switches= 294830
runsolver used 0.084005 second user time and 0.468029 second system time
The end
Begin job on xenhost3-49 at 2009-06-12 02:35:24
IDJOB=1778742
IDBENCH=70757
IDSOLVER=631
FILE ID=xenhost3-49/1778742-1244766924
PBS_JOBID=
Free space on /tmp= 7037 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minor/minor032.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778742-1244766924/watcher-1778742-1244766924 -o /tmp/evaluation-result-1778742-1244766924/solver-1778742-1244766924 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1778742-1244766924.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 93c9f18c75548b864ec69c2789cae658
RANDOM SEED= 629933411
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: 19137344 kB
Buffers: 433640 kB
Cached: 14103100 kB
SwapCached: 0 kB
Active: 4079888 kB
Inactive: 10466672 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 676 kB
Writeback: 0 kB
AnonPages: 8656 kB
Mapped: 3952 kB
Slab: 687980 kB
SReclaimable: 661284 kB
SUnreclaim: 26696 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7037 MiB
End job on xenhost3-49 at 2009-06-12 02:36:00