177.45/114.21 c Benchmark name : HOME/instance-1776807-1244757422.cnf
177.45/114.21 c Thread Num : 16
177.45/114.21 c restarts : 11
177.45/114.21 c conflicts : 14277
177.45/114.21 c decisions : 23639 ( 208 / sec )
177.45/114.21 c propagations : 6218055 ( 54652 / sec )
177.45/114.21 c inspects : 49943959 ( 438968 / sec )
177.45/114.21 c conflict literals : 1035166 ( 33.80 % deleted )
177.45/114.21 c cpu time : 113.78
177.45/114.21 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776807-1244757422/watcher-1776807-1244757422 -o /tmp/evaluation-result-1776807-1244757422/solver-1776807-1244757422 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776807-1244757422.cnf 16 10000
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 3.39 3.73 4.06 2/184 1148
/proc/meminfo: memFree=19141908/36427776 swapFree=4432/7828
[pid=1148] ppid=1146 vsize=6564 CPUtime=0
/proc/1148/stat : 1148 (satake) R 1146 1148 27791 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 14 0 635048542 6721536 287 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1148/statm: 1641 287 62 164 0 1476 0
[pid=1148/tid=1149] ppid=1146 vsize=8520 CPUtime=0
/proc/1148/task/1149/stat : 1149 (satake) S 1146 1148 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635048542 8724480 454 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1150] ppid=1146 vsize=8520 CPUtime=0
/proc/1148/task/1150/stat : 1150 (satake) S 1146 1148 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 635048542 8724480 455 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=8520 CPUtime=0
/proc/1148/task/1151/stat : 1151 (satake) R 1146 1148 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 635048542 8724480 457 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=8520 CPUtime=0
/proc/1148/task/1152/stat : 1152 (satake) R 1146 1148 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 635048542 8724480 463 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1148/tid=1153] ppid=1146 vsize=8520 CPUtime=0
/proc/1148/task/1153/stat : 1153 (satake) R 1146 1148 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 635048542 8724480 494 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1154] ppid=1146 vsize=8520 CPUtime=0
/proc/1148/task/1154/stat : 1154 (satake) R 1146 1148 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635048542 8724480 512 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1155] ppid=1146 vsize=8520 CPUtime=0
/proc/1148/task/1155/stat : 1155 (satake) R 1146 1148 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 635048542 8724480 513 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1148/tid=1156] ppid=1146 vsize=8520 CPUtime=0
/proc/1148/task/1156/stat : 1156 (satake) D 1146 1148 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 635048542 8724480 513 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1157] ppid=1146 vsize=8648 CPUtime=0
/proc/1148/task/1157/stat : 1157 (satake) S 1146 1148 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635048543 8855552 513 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=1148/tid=1158] ppid=1146 vsize=8648 CPUtime=0
/proc/1148/task/1158/stat : 1158 (satake) D 1146 1148 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 635048543 8855552 519 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1148/tid=1159] ppid=1146 vsize=8780 CPUtime=0
/proc/1148/task/1159/stat : 1159 (satake) S 1146 1148 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635048543 8990720 522 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=1148/tid=1160] ppid=1146 vsize=8780 CPUtime=0
/proc/1148/task/1160/stat : 1160 (satake) D 1146 1148 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 635048543 8990720 525 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1148/tid=1161] ppid=1146 vsize=8912 CPUtime=0
/proc/1148/task/1161/stat : 1161 (satake) S 1146 1148 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 635048543 9125888 528 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1148/tid=1162] ppid=1146 vsize=8912 CPUtime=0
/proc/1148/task/1162/stat : 1162 (satake) S 1146 1148 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 635048543 9125888 530 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1148/tid=1163] ppid=1146 vsize=8912 CPUtime=0
/proc/1148/task/1163/stat : 1163 (satake) S 1146 1148 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 635048543 9125888 543 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=1148/tid=1164] ppid=1146 vsize=8912 CPUtime=0
/proc/1148/task/1164/stat : 1164 (satake) D 1146 1148 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 17 0 635048543 9125888 557 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[startup+0.050372 s]
/proc/loadavg: 3.39 3.73 4.06 2/184 1148
/proc/meminfo: memFree=19141908/36427776 swapFree=4432/7828
[pid=1148] ppid=1146 vsize=20328 CPUtime=0.14
/proc/1148/stat : 1148 (satake) S 1146 1148 27791 0 -1 4202496 3147 0 0 0 6 8 0 0 20 0 17 0 635048542 20815872 3087 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1148/statm: 5082 3087 63 164 0 4917 0
[pid=1148/tid=1149] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1149/stat : 1149 (satake) S 1146 1148 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635048542 20815872 3087 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1150] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1150/stat : 1150 (satake) D 1146 1148 27791 0 -1 4202560 191 0 0 0 0 0 0 0 20 0 17 0 635048542 20815872 3087 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1151/stat : 1151 (satake) S 1146 1148 27791 0 -1 4202560 304 0 0 0 0 0 0 0 20 0 17 0 635048542 20815872 3087 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1152/stat : 1152 (satake) S 1146 1148 27791 0 -1 4202560 304 0 0 0 0 0 0 0 20 0 17 0 635048542 20815872 3087 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=1148/tid=1153] ppid=1146 vsize=20328 CPUtime=0.02
/proc/1148/task/1153/stat : 1153 (satake) R 1146 1148 27791 0 -1 4202560 323 0 0 0 0 2 0 0 20 0 17 0 635048542 20815872 3087 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134513506 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1154] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1154/stat : 1154 (satake) D 1146 1148 27791 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 17 0 635048542 20815872 3087 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1155] ppid=1146 vsize=20328 CPUtime=0.02
/proc/1148/task/1155/stat : 1155 (satake) D 1146 1148 27791 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 17 0 635048542 20815872 3087 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1148/tid=1156] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1156/stat : 1156 (satake) R 1146 1148 27791 0 -1 4202560 93 0 0 0 0 0 0 0 20 0 17 0 635048542 20815872 3087 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1157] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1157/stat : 1157 (satake) D 1146 1148 27791 0 -1 4202560 151 0 0 0 0 0 0 0 20 0 17 0 635048543 20815872 3088 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1148/tid=1158] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1158/stat : 1158 (satake) D 1146 1148 27791 0 -1 4202560 96 0 0 0 0 0 0 0 20 0 17 0 635048543 20815872 3089 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1148/tid=1159] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1159/stat : 1159 (satake) R 1146 1148 27791 0 -1 4202560 218 0 0 0 0 0 0 0 20 0 17 0 635048543 20815872 3094 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1148/tid=1160] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1160/stat : 1160 (satake) D 1146 1148 27791 0 -1 4202560 139 0 0 0 0 0 0 0 20 0 17 0 635048543 20815872 3094 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1148/tid=1161] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1161/stat : 1161 (satake) R 1146 1148 27791 0 -1 4202560 189 0 0 0 0 0 0 0 20 0 17 0 635048543 20815872 3094 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1148/tid=1162] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1162/stat : 1162 (satake) D 1146 1148 27791 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 17 0 635048543 20815872 3094 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1148/tid=1163] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1163/stat : 1163 (satake) D 1146 1148 27791 0 -1 4202560 178 0 0 0 0 0 0 0 20 0 17 0 635048543 20815872 3095 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1148/tid=1164] ppid=1146 vsize=20328 CPUtime=0
/proc/1148/task/1164/stat : 1164 (satake) R 1146 1148 27791 0 -1 4202560 305 0 0 0 0 0 0 0 20 0 17 0 635048543 20815872 3095 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 20328
[startup+0.106412 s]
/proc/loadavg: 3.39 3.73 4.06 2/184 1148
/proc/meminfo: memFree=19141908/36427776 swapFree=4432/7828
[pid=1148] ppid=1146 vsize=26400 CPUtime=0.4
/proc/1148/stat : 1148 (satake) S 1146 1148 27791 0 -1 4202496 5315 0 0 0 23 17 0 0 20 0 17 0 635048542 27033600 5257 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1148/statm: 6600 5257 63 164 0 6435 0
[pid=1148/tid=1149] ppid=1146 vsize=26400 CPUtime=0
/proc/1148/task/1149/stat : 1149 (satake) S 1146 1148 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635048542 27033600 5257 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1150] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1150/stat : 1150 (satake) R 1146 1148 27791 0 -1 4202560 406 0 0 0 2 0 0 0 20 0 17 0 635048542 27033600 5257 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1151/stat : 1151 (satake) S 1146 1148 27791 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 17 0 635048542 27033600 5257 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1152/stat : 1152 (satake) S 1146 1148 27791 0 -1 4202560 364 0 0 0 0 2 0 0 20 0 17 0 635048542 27033600 5257 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=1148/tid=1153] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1153/stat : 1153 (satake) D 1146 1148 27791 0 -1 4202560 389 0 0 0 0 2 0 0 20 0 17 0 635048542 27033600 5258 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1154] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1154/stat : 1154 (satake) R 1146 1148 27791 0 -1 4202560 315 0 0 0 2 0 0 0 20 0 17 0 635048542 27033600 5258 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1155] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1155/stat : 1155 (satake) R 1146 1148 27791 0 -1 4202560 404 0 0 0 2 0 0 0 20 0 17 0 635048542 27033600 5258 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1148/tid=1156] ppid=1146 vsize=26400 CPUtime=0
/proc/1148/task/1156/stat : 1156 (satake) S 1146 1148 27791 0 -1 4202560 301 0 0 0 0 0 0 0 20 0 17 0 635048542 27033600 5262 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1157] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1157/stat : 1157 (satake) R 1146 1148 27791 0 -1 4202560 334 0 0 0 2 0 0 0 20 0 17 0 635048543 27033600 5262 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1148/tid=1158] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1158/stat : 1158 (satake) R 1146 1148 27791 0 -1 4202560 297 0 0 0 0 2 0 0 20 0 17 0 635048543 27033600 5262 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1148/tid=1159] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1159/stat : 1159 (satake) S 1146 1148 27791 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 17 0 635048543 27033600 5262 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=1148/tid=1160] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1160/stat : 1160 (satake) R 1146 1148 27791 0 -1 4202560 321 0 0 0 2 0 0 0 20 0 17 0 635048543 27033600 5262 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1148/tid=1161] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1161/stat : 1161 (satake) S 1146 1148 27791 0 -1 4202560 338 0 0 0 0 2 0 0 20 0 17 0 635048543 27033600 5262 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1148/tid=1162] ppid=1146 vsize=26400 CPUtime=0
/proc/1148/task/1162/stat : 1162 (satake) S 1146 1148 27791 0 -1 4202560 302 0 0 0 0 0 0 0 20 0 17 0 635048543 27033600 5263 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=1148/tid=1163] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1163/stat : 1163 (satake) R 1146 1148 27791 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 17 0 635048543 27033600 5263 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1148/tid=1164] ppid=1146 vsize=26400 CPUtime=0.02
/proc/1148/task/1164/stat : 1164 (satake) S 1146 1148 27791 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 17 0 635048543 27033600 5263 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 26400
[startup+0.306456 s]
/proc/loadavg: 3.39 3.73 4.06 2/184 1148
/proc/meminfo: memFree=19141908/36427776 swapFree=4432/7828
[pid=1148] ppid=1146 vsize=54588 CPUtime=1.36
/proc/1148/stat : 1148 (satake) S 1146 1148 27791 0 -1 4202496 10809 0 0 0 64 72 0 0 20 0 17 0 635048542 55898112 10749 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1148/statm: 13647 10753 63 164 0 13482 0
[pid=1148/tid=1149] ppid=1146 vsize=54588 CPUtime=0
/proc/1148/task/1149/stat : 1149 (satake) S 1146 1148 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 635048542 55898112 10754 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1150] ppid=1146 vsize=54588 CPUtime=0.12
/proc/1148/task/1150/stat : 1150 (satake) R 1146 1148 27791 0 -1 4202560 906 0 0 0 6 6 0 0 20 0 17 0 635048542 55898112 10755 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=54588 CPUtime=0.08
/proc/1148/task/1151/stat : 1151 (satake) R 1146 1148 27791 0 -1 4202560 747 0 0 0 4 4 0 0 20 0 17 0 635048542 55898112 10755 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=54588 CPUtime=0.1
/proc/1148/task/1152/stat : 1152 (satake) R 1146 1148 27791 0 -1 4202560 783 0 0 0 4 6 0 0 20 0 17 0 635048542 55898112 10755 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1148/tid=1153] ppid=1146 vsize=54588 CPUtime=0.1
/proc/1148/task/1153/stat : 1153 (satake) R 1146 1148 27791 0 -1 4202560 771 0 0 0 4 6 0 0 20 0 17 0 635048542 55898112 10757 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1154] ppid=1146 vsize=54588 CPUtime=0.06
/proc/1148/task/1154/stat : 1154 (satake) S 1146 1148 27791 0 -1 4202560 618 0 0 0 2 4 0 0 20 0 17 0 635048542 55898112 10757 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1155] ppid=1146 vsize=54588 CPUtime=0.1
/proc/1148/task/1155/stat : 1155 (satake) S 1146 1148 27791 0 -1 4202560 799 0 0 0 6 4 0 0 20 0 17 0 635048542 55898112 10757 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=1148/tid=1156] ppid=1146 vsize=54588 CPUtime=0.06
/proc/1148/task/1156/stat : 1156 (satake) S 1146 1148 27791 0 -1 4202560 650 0 0 0 2 4 0 0 20 0 17 0 635048542 55898112 10758 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1157] ppid=1146 vsize=54588 CPUtime=0.06
/proc/1148/task/1157/stat : 1157 (satake) D 1146 1148 27791 0 -1 4202560 641 0 0 0 2 4 0 0 20 0 17 0 635048543 55898112 10758 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1148/tid=1158] ppid=1146 vsize=54588 CPUtime=0.06
/proc/1148/task/1158/stat : 1158 (satake) S 1146 1148 27791 0 -1 4202560 586 0 0 0 2 4 0 0 20 0 17 0 635048543 55898112 10759 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=1148/tid=1159] ppid=1146 vsize=54588 CPUtime=0.1
/proc/1148/task/1159/stat : 1159 (satake) R 1146 1148 27791 0 -1 4202560 817 0 0 0 4 6 0 0 20 0 17 0 635048543 55898112 10764 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1148/tid=1160] ppid=1146 vsize=54588 CPUtime=0.06
/proc/1148/task/1160/stat : 1160 (satake) R 1146 1148 27791 0 -1 4202560 596 0 0 0 6 0 0 0 20 0 17 0 635048543 55898112 10764 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1148/tid=1161] ppid=1146 vsize=54588 CPUtime=0.08
/proc/1148/task/1161/stat : 1161 (satake) R 1146 1148 27791 0 -1 4202560 675 0 0 0 0 8 0 0 20 0 17 0 635048543 55898112 10765 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1148/tid=1162] ppid=1146 vsize=54588 CPUtime=0.06
/proc/1148/task/1162/stat : 1162 (satake) R 1146 1148 27791 0 -1 4202560 586 0 0 0 6 0 0 0 20 0 17 0 635048543 55898112 10765 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1148/tid=1163] ppid=1146 vsize=54588 CPUtime=0.1
/proc/1148/task/1163/stat : 1163 (satake) R 1146 1148 27791 0 -1 4202560 738 0 0 0 10 0 0 0 20 0 17 0 635048543 55898112 10768 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1148/tid=1164] ppid=1146 vsize=54588 CPUtime=0.1
/proc/1148/task/1164/stat : 1164 (satake) R 1146 1148 27791 0 -1 4202560 775 0 0 0 2 8 0 0 20 0 17 0 635048543 55898112 10769 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 54588
[startup+0.703242 s]
/proc/loadavg: 3.39 3.73 4.06 2/184 1148
/proc/meminfo: memFree=19141908/36427776 swapFree=4432/7828
[pid=1148] ppid=1146 vsize=55752 CPUtime=3.29
/proc/1148/stat : 1148 (satake) S 1146 1148 27791 0 -1 4202496 16415 0 0 0 207 122 0 0 20 0 17 0 635048542 57090048 12260 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1148/statm: 13938 12260 68 164 0 13773 0
[pid=1148/tid=1149] ppid=1146 vsize=55752 CPUtime=0.04
/proc/1148/task/1149/stat : 1149 (satake) D 1146 1148 27791 0 -1 4202560 120 0 0 0 2 2 0 0 20 0 17 0 635048542 57090048 12260 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1150] ppid=1146 vsize=55752 CPUtime=0.24
/proc/1148/task/1150/stat : 1150 (satake) S 1146 1148 27791 0 -1 4202560 1100 0 0 0 18 6 0 0 20 0 17 0 635048542 57090048 12260 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=55752 CPUtime=0.18
/proc/1148/task/1151/stat : 1151 (satake) R 1146 1148 27791 0 -1 4202560 1067 0 0 0 10 8 0 0 20 0 17 0 635048542 57090048 12260 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=55752 CPUtime=0.24
/proc/1148/task/1152/stat : 1152 (satake) S 1146 1148 27791 0 -1 4202560 1060 0 0 0 14 10 0 0 20 0 17 0 635048542 57090048 12260 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1148/tid=1153] ppid=1146 vsize=55752 CPUtime=0.22
/proc/1148/task/1153/stat : 1153 (satake) S 1146 1148 27791 0 -1 4202560 980 0 0 0 16 6 0 0 20 0 17 0 635048542 57090048 12260 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1154] ppid=1146 vsize=55752 CPUtime=0.18
/proc/1148/task/1154/stat : 1154 (satake) S 1146 1148 27791 0 -1 4202560 1126 0 0 0 10 8 0 0 20 0 17 0 635048542 57090048 12260 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1155] ppid=1146 vsize=55752 CPUtime=0.22
/proc/1148/task/1155/stat : 1155 (satake) S 1146 1148 27791 0 -1 4202560 1018 0 0 0 16 6 0 0 20 0 17 0 635048542 57090048 12260 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1148/tid=1156] ppid=1146 vsize=55752 CPUtime=0.18
/proc/1148/task/1156/stat : 1156 (satake) S 1146 1148 27791 0 -1 4202560 1141 0 0 0 8 10 0 0 20 0 17 0 635048542 57090048 12260 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1157] ppid=1146 vsize=55752 CPUtime=0.22
/proc/1148/task/1157/stat : 1157 (satake) S 1146 1148 27791 0 -1 4202560 1135 0 0 0 14 8 0 0 20 0 17 0 635048543 57090048 12260 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1148/tid=1158] ppid=1146 vsize=55752 CPUtime=0.18
################
# More data... #
################
[pid=1148/tid=1163] ppid=1146 vsize=149492 CPUtime=8.96
/proc/1148/task/1163/stat : 1163 (satake) S 1146 1148 27791 0 -1 4202560 2605 0 0 0 606 290 0 0 20 0 17 0 635048543 153079808 35074 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1148/tid=1164] ppid=1146 vsize=149492 CPUtime=8.7
/proc/1148/task/1164/stat : 1164 (satake) S 1146 1148 27791 0 -1 4202560 2478 0 0 0 600 270 0 0 20 0 17 0 635048543 153079808 35074 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 168.45
Current children cumulated vsize (KiB) 149492
[startup+111.902 s]
/proc/loadavg: 2.73 3.38 3.89 4/201 1165
/proc/meminfo: memFree=19001604/36427776 swapFree=4588/150332
[pid=1148] ppid=1146 vsize=149492 CPUtime=172.55
/proc/1148/stat : 1148 (satake) S 1146 1148 27791 0 -1 4202496 39240 0 0 0 9064 8191 0 0 20 0 17 0 635048542 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1148/statm: 37373 35085 68 164 0 37208 0
[pid=1148/tid=1149] ppid=1146 vsize=149492 CPUtime=52.05
/proc/1148/task/1149/stat : 1149 (satake) R 1146 1148 27791 0 -1 4202560 1275 0 0 0 686 4519 0 0 20 0 17 0 635048542 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1150] ppid=1146 vsize=149492 CPUtime=6.44
/proc/1148/task/1150/stat : 1150 (satake) S 1146 1148 27791 0 -1 4202560 2399 0 0 0 510 134 0 0 20 0 17 0 635048542 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=149492 CPUtime=7.48
/proc/1148/task/1151/stat : 1151 (satake) S 1146 1148 27791 0 -1 4202560 2521 0 0 0 528 220 0 0 20 0 17 0 635048542 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=149492 CPUtime=7.66
/proc/1148/task/1152/stat : 1152 (satake) R 1146 1148 27791 0 -1 4202560 2590 0 0 0 530 236 0 0 20 0 17 0 635048542 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1148/tid=1153] ppid=1146 vsize=149492 CPUtime=6.96
/proc/1148/task/1153/stat : 1153 (satake) S 1146 1148 27791 0 -1 4202560 2360 0 0 0 510 186 0 0 20 0 17 0 635048542 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1154] ppid=1146 vsize=149492 CPUtime=8.66
/proc/1148/task/1154/stat : 1154 (satake) S 1146 1148 27791 0 -1 4202560 2605 0 0 0 594 272 0 0 20 0 17 0 635048542 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1155] ppid=1146 vsize=149492 CPUtime=8.06
/proc/1148/task/1155/stat : 1155 (satake) S 1146 1148 27791 0 -1 4202560 2337 0 0 0 554 252 0 0 20 0 17 0 635048542 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=1148/tid=1156] ppid=1146 vsize=149492 CPUtime=6.54
/proc/1148/task/1156/stat : 1156 (satake) S 1146 1148 27791 0 -1 4202560 2506 0 0 0 502 152 0 0 20 0 17 0 635048542 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=1148/tid=1157] ppid=1146 vsize=149492 CPUtime=7.9
/proc/1148/task/1157/stat : 1157 (satake) S 1146 1148 27791 0 -1 4202560 2687 0 0 0 558 232 0 0 20 0 17 0 635048543 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1148/tid=1158] ppid=1146 vsize=149492 CPUtime=8.04
/proc/1148/task/1158/stat : 1158 (satake) R 1146 1148 27791 0 -1 4202560 2522 0 0 0 544 260 0 0 20 0 17 0 635048543 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134528680 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1148/tid=1159] ppid=1146 vsize=149492 CPUtime=8.1
/proc/1148/task/1159/stat : 1159 (satake) S 1146 1148 27791 0 -1 4202560 2606 0 0 0 560 250 0 0 20 0 17 0 635048543 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=1148/tid=1160] ppid=1146 vsize=149492 CPUtime=9.24
/proc/1148/task/1160/stat : 1160 (satake) S 1146 1148 27791 0 -1 4202560 2641 0 0 0 640 284 0 0 20 0 17 0 635048543 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1148/tid=1161] ppid=1146 vsize=149492 CPUtime=8.6
/proc/1148/task/1161/stat : 1161 (satake) S 1146 1148 27791 0 -1 4202560 2474 0 0 0 564 296 0 0 20 0 17 0 635048543 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=1148/tid=1162] ppid=1146 vsize=149492 CPUtime=8.54
/proc/1148/task/1162/stat : 1162 (satake) S 1146 1148 27791 0 -1 4202560 2509 0 0 0 540 314 0 0 20 0 17 0 635048543 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=1148/tid=1163] ppid=1146 vsize=149492 CPUtime=9.3
/proc/1148/task/1163/stat : 1163 (satake) S 1146 1148 27791 0 -1 4202560 2606 0 0 0 630 300 0 0 20 0 17 0 635048543 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1148/tid=1164] ppid=1146 vsize=149492 CPUtime=8.88
/proc/1148/task/1164/stat : 1164 (satake) S 1146 1148 27791 0 -1 4202560 2478 0 0 0 610 278 0 0 20 0 17 0 635048543 153079808 35085 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 172.55
Current children cumulated vsize (KiB) 149492
[startup+113.503 s]
/proc/loadavg: 2.73 3.38 3.89 2/201 1165
/proc/meminfo: memFree=19001480/36427776 swapFree=4588/150364
[pid=1148] ppid=1146 vsize=149652 CPUtime=174.33
/proc/1148/stat : 1148 (satake) S 1146 1148 27791 0 -1 4202496 39248 0 0 0 9111 8322 0 0 20 0 17 0 635048542 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1148/statm: 37413 35093 68 164 0 37248 0
[pid=1148/tid=1149] ppid=1146 vsize=149652 CPUtime=52.84
/proc/1148/task/1149/stat : 1149 (satake) D 1146 1148 27791 0 -1 4202560 1281 0 0 0 690 4594 0 0 20 0 17 0 635048542 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1150] ppid=1146 vsize=149652 CPUtime=6.46
/proc/1148/task/1150/stat : 1150 (satake) R 1146 1148 27791 0 -1 4202560 2399 0 0 0 510 136 0 0 20 0 17 0 635048542 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=149652 CPUtime=7.56
/proc/1148/task/1151/stat : 1151 (satake) S 1146 1148 27791 0 -1 4202560 2521 0 0 0 530 226 0 0 20 0 17 0 635048542 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=149652 CPUtime=7.74
/proc/1148/task/1152/stat : 1152 (satake) S 1146 1148 27791 0 -1 4202560 2591 0 0 0 536 238 0 0 20 0 17 0 635048542 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=1148/tid=1153] ppid=1146 vsize=149652 CPUtime=6.96
/proc/1148/task/1153/stat : 1153 (satake) S 1146 1148 27791 0 -1 4202560 2360 0 0 0 510 186 0 0 20 0 17 0 635048542 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1154] ppid=1146 vsize=149652 CPUtime=8.72
/proc/1148/task/1154/stat : 1154 (satake) S 1146 1148 27791 0 -1 4202560 2605 0 0 0 596 276 0 0 20 0 17 0 635048542 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1155] ppid=1146 vsize=149652 CPUtime=8.12
/proc/1148/task/1155/stat : 1155 (satake) S 1146 1148 27791 0 -1 4202560 2337 0 0 0 556 256 0 0 20 0 17 0 635048542 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=1148/tid=1156] ppid=1146 vsize=149652 CPUtime=6.62
/proc/1148/task/1156/stat : 1156 (satake) S 1146 1148 27791 0 -1 4202560 2506 0 0 0 506 156 0 0 20 0 17 0 635048542 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=1148/tid=1157] ppid=1146 vsize=149652 CPUtime=7.98
/proc/1148/task/1157/stat : 1157 (satake) S 1146 1148 27791 0 -1 4202560 2688 0 0 0 560 238 0 0 20 0 17 0 635048543 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=1148/tid=1158] ppid=1146 vsize=149652 CPUtime=8.06
/proc/1148/task/1158/stat : 1158 (satake) S 1146 1148 27791 0 -1 4202560 2522 0 0 0 544 262 0 0 20 0 17 0 635048543 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=1148/tid=1159] ppid=1146 vsize=149652 CPUtime=8.14
/proc/1148/task/1159/stat : 1159 (satake) S 1146 1148 27791 0 -1 4202560 2606 0 0 0 564 250 0 0 20 0 17 0 635048543 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=1148/tid=1160] ppid=1146 vsize=149652 CPUtime=9.32
/proc/1148/task/1160/stat : 1160 (satake) S 1146 1148 27791 0 -1 4202560 2641 0 0 0 644 288 0 0 20 0 17 0 635048543 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=1148/tid=1161] ppid=1146 vsize=149652 CPUtime=8.7
/proc/1148/task/1161/stat : 1161 (satake) S 1146 1148 27791 0 -1 4202560 2474 0 0 0 568 302 0 0 20 0 17 0 635048543 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=1148/tid=1162] ppid=1146 vsize=149652 CPUtime=8.62
/proc/1148/task/1162/stat : 1162 (satake) S 1146 1148 27791 0 -1 4202560 2509 0 0 0 542 320 0 0 20 0 17 0 635048543 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=1148/tid=1163] ppid=1146 vsize=149652 CPUtime=9.38
/proc/1148/task/1163/stat : 1163 (satake) S 1146 1148 27791 0 -1 4202560 2606 0 0 0 634 304 0 0 20 0 17 0 635048543 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=1148/tid=1164] ppid=1146 vsize=149652 CPUtime=8.98
/proc/1148/task/1164/stat : 1164 (satake) S 1146 1148 27791 0 -1 4202560 2478 0 0 0 614 284 0 0 20 0 17 0 635048543 153243648 35093 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 174.33
Current children cumulated vsize (KiB) 149652
[startup+113.903 s]
/proc/loadavg: 2.73 3.38 3.89 2/201 1165
/proc/meminfo: memFree=19001480/36427776 swapFree=4588/150364
[pid=1148] ppid=1146 vsize=149164 CPUtime=175.86
/proc/1148/stat : 1148 (satake) S 1146 1148 27791 0 -1 4202496 39261 0 0 0 9146 8440 0 0 20 0 17 0 635048542 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1148/statm: 37291 35000 77 164 0 37126 0
[pid=1148/tid=1149] ppid=1146 vsize=149164 CPUtime=53.02
/proc/1148/task/1149/stat : 1149 (satake) R 1146 1148 27791 0 -1 4202560 1281 0 0 0 694 4608 0 0 20 0 17 0 635048542 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1150] ppid=1146 vsize=149164 CPUtime=6.58
/proc/1148/task/1150/stat : 1150 (satake) R 1146 1148 27791 0 -1 4202560 2399 0 0 0 516 142 0 0 20 0 17 0 635048542 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=149164 CPUtime=7.62
/proc/1148/task/1151/stat : 1151 (satake) R 1146 1148 27791 0 -1 4202560 2521 0 0 0 532 230 0 0 20 0 17 0 635048542 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=149164 CPUtime=7.84
/proc/1148/task/1152/stat : 1152 (satake) R 1146 1148 27791 0 -1 4202560 2600 0 0 0 540 244 0 0 20 0 17 0 635048542 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1148/tid=1153] ppid=1146 vsize=149164 CPUtime=7.08
/proc/1148/task/1153/stat : 1153 (satake) R 1146 1148 27791 0 -1 4202560 2360 0 0 0 512 196 0 0 20 0 17 0 635048542 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1154] ppid=1146 vsize=149164 CPUtime=8.78
/proc/1148/task/1154/stat : 1154 (satake) R 1146 1148 27791 0 -1 4202560 2605 0 0 0 598 280 0 0 20 0 17 0 635048542 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1155] ppid=1146 vsize=149164 CPUtime=8.18
/proc/1148/task/1155/stat : 1155 (satake) R 1146 1148 27791 0 -1 4202560 2337 0 0 0 558 260 0 0 20 0 17 0 635048542 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1156] ppid=1146 vsize=149164 CPUtime=6.72
/proc/1148/task/1156/stat : 1156 (satake) R 1146 1148 27791 0 -1 4202560 2506 0 0 0 508 164 0 0 20 0 17 0 635048542 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=1148/tid=1157] ppid=1146 vsize=149164 CPUtime=8.08
/proc/1148/task/1157/stat : 1157 (satake) R 1146 1148 27791 0 -1 4202560 2688 0 0 0 562 246 0 0 20 0 17 0 635048543 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1148/tid=1158] ppid=1146 vsize=149164 CPUtime=8.22
/proc/1148/task/1158/stat : 1158 (satake) R 1146 1148 27791 0 -1 4202560 2526 0 0 0 548 274 0 0 20 0 17 0 635048543 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=1148/tid=1159] ppid=1146 vsize=149164 CPUtime=8.22
/proc/1148/task/1159/stat : 1159 (satake) R 1146 1148 27791 0 -1 4202560 2606 0 0 0 564 258 0 0 20 0 17 0 635048543 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1148/tid=1160] ppid=1146 vsize=149164 CPUtime=9.44
/proc/1148/task/1160/stat : 1160 (satake) R 1146 1148 27791 0 -1 4202560 2641 0 0 0 646 298 0 0 20 0 17 0 635048543 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=1148/tid=1161] ppid=1146 vsize=149164 CPUtime=8.76
/proc/1148/task/1161/stat : 1161 (satake) R 1146 1148 27791 0 -1 4202560 2474 0 0 0 568 308 0 0 20 0 17 0 635048543 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=1148/tid=1162] ppid=1146 vsize=149164 CPUtime=8.72
/proc/1148/task/1162/stat : 1162 (satake) R 1146 1148 27791 0 -1 4202560 2509 0 0 0 544 328 0 0 20 0 17 0 635048543 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=1148/tid=1163] ppid=1146 vsize=149164 CPUtime=9.48
/proc/1148/task/1163/stat : 1163 (satake) R 1146 1148 27791 0 -1 4202560 2606 0 0 0 636 312 0 0 20 0 17 0 635048543 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=1148/tid=1164] ppid=1146 vsize=149164 CPUtime=9.04
/proc/1148/task/1164/stat : 1164 (satake) R 1146 1148 27791 0 -1 4202560 2478 0 0 0 616 288 0 0 20 0 17 0 635048543 152743936 35000 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 175.86
Current children cumulated vsize (KiB) 149164
[startup+114.102 s]
/proc/loadavg: 2.73 3.38 3.89 2/201 1165
/proc/meminfo: memFree=19001480/36427776 swapFree=4588/150364
[pid=1148] ppid=1146 vsize=142968 CPUtime=177.23
/proc/1148/stat : 1148 (satake) S 1146 1148 27791 0 -1 4202496 39261 0 0 0 9186 8537 0 0 20 0 10 0 635048542 146399232 33720 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1148/statm: 35742 33720 77 164 0 35577 0
[pid=1148/tid=1150] ppid=1146 vsize=142968 CPUtime=6.72
/proc/1148/task/1150/stat : 1150 (satake) R 1146 1148 27791 0 -1 4202560 2399 0 0 0 520 152 0 0 20 0 10 0 635048542 146399232 33720 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=142968 CPUtime=7.68
/proc/1148/task/1151/stat : 1151 (satake) R 1146 1148 27791 0 -1 4202560 2521 0 0 0 534 234 0 0 20 0 10 0 635048542 146399232 33720 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=142968 CPUtime=7.96
/proc/1148/task/1152/stat : 1152 (satake) R 1146 1148 27791 0 -1 4202560 2600 0 0 0 542 254 0 0 20 0 10 0 635048542 146399232 33720 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=1148/tid=1153] ppid=1146 vsize=142968 CPUtime=7.16
/proc/1148/task/1153/stat : 1153 (satake) R 1146 1148 27791 0 -1 4202560 2360 0 0 0 516 200 0 0 20 0 10 0 635048542 146399232 33720 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=1148/tid=1154] ppid=1146 vsize=142968 CPUtime=8.86
/proc/1148/task/1154/stat : 1154 (satake) R 1146 1148 27791 0 -1 4202560 2605 0 0 0 600 286 0 0 20 0 10 0 635048542 146399232 33720 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1155] ppid=1146 vsize=142968 CPUtime=8.26
/proc/1148/task/1155/stat : 1155 (satake) R 1146 1148 27791 0 -1 4202560 2337 0 0 0 558 268 0 0 20 0 10 0 635048542 146399232 33720 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1157] ppid=1146 vsize=142968 CPUtime=8.2
/proc/1148/task/1157/stat : 1157 (satake) R 1146 1148 27791 0 -1 4202560 2688 0 0 0 566 254 0 0 20 0 10 0 635048543 146399232 33720 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=1148/tid=1159] ppid=1146 vsize=142968 CPUtime=8.28
/proc/1148/task/1159/stat : 1159 (satake) R 1146 1148 27791 0 -1 4202560 2606 0 0 0 568 260 0 0 20 0 10 0 635048543 146399232 33720 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=1148/tid=1161] ppid=1146 vsize=142968 CPUtime=8.84
/proc/1148/task/1161/stat : 1161 (satake) R 1146 1148 27791 0 -1 4202560 2474 0 0 0 568 316 0 0 20 0 10 0 635048543 146399232 33720 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 177.23
Current children cumulated vsize (KiB) 142968
[startup+114.203 s]
/proc/loadavg: 2.73 3.38 3.89 2/201 1165
/proc/meminfo: memFree=19001480/36427776 swapFree=4588/150364
[pid=1148] ppid=1146 vsize=92628 CPUtime=177.45
/proc/1148/stat : 1148 (satake) S 1146 1148 27791 0 -1 4202496 39261 0 0 0 9199 8546 0 0 20 0 3 0 635048542 94851072 21792 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1148/statm: 23157 21537 77 164 0 22992 0
[pid=1148/tid=1154] ppid=1146 vsize=92628 CPUtime=8.9
/proc/1148/task/1154/stat : 1154 (satake) D 1146 1148 27791 0 -1 4202560 2605 0 0 0 602 288 0 0 20 0 3 0 635048542 94851072 21537 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=1148/tid=1159] ppid=1146 vsize=91604 CPUtime=8.32
/proc/1148/task/1159/stat : 1159 (satake) D 1146 1148 27791 0 -1 4202560 2606 0 0 0 570 262 0 0 20 0 3 0 635048543 93802496 21537 18446744073709551615 134512640 135180984 4290237024 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 177.45
Current children cumulated vsize (KiB) 92628
Child status: 16
Real time (s): 114.226
CPU time (s): 177.491
CPU user time (s): 91.9938
CPU system time (s): 85.4973
CPU usage (%): 155.386
Max. virtual memory (cumulated for all children) (KiB): 149652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.9937
system time used= 85.4973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39262
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= 7184005
involuntary context switches= 816779
runsolver used 0.424026 second user time and 1.37609 second system time
The end
Begin job on xenhost3-49 at 2009-06-11 23:57:02
IDJOB=1776807
IDBENCH=69594
IDSOLVER=631
FILE ID=xenhost3-49/1776807-1244757422
PBS_JOBID=
Free space on /tmp= 7037 MiB
SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE08/cnf/velev-engi-uns-1.0-4nd.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776807-1244757422/watcher-1776807-1244757422 -o /tmp/evaluation-result-1776807-1244757422/solver-1776807-1244757422 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776807-1244757422.cnf 16 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 700f8e86139a93fca212e22efa0f7d2b
RANDOM SEED= 1131051775
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: 19141908 kB
Buffers: 433532 kB
Cached: 14102696 kB
SwapCached: 0 kB
Active: 4079456 kB
Inactive: 10465896 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 1360 kB
Writeback: 0 kB
AnonPages: 7828 kB
Mapped: 3768 kB
Slab: 688020 kB
SReclaimable: 661256 kB
SUnreclaim: 26764 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7037 MiB
End job on xenhost3-49 at 2009-06-11 23:58:56