0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...410822/instance-3472290-1307410822.cnf
7.62/7.70 c Solving...
11354.69/370.53 s UNSATISFIABLE
11354.69/370.53
11354.69/370.53 c Models : 0
11354.69/370.53 c Time : 365.604s (Solving: 357.90s 1st Model: 0.00s Unsat: 357.90s)
11354.69/370.53 c CPU Time : 11349.800s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472290-1307410822/watcher-3472290-1307410822 -o /tmp/evaluation-result-3472290-1307410822/solver-3472290-1307410822 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472290-1307410822.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.57 31.04 25.33 1/413 12407
/proc/meminfo: memFree=263486836/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=75928 CPUtime=0.02 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 4576 0 0 0 2 0 0 0 25 0 1 0 6469217 77750272 4505 270582939648 4194304 4964800 140737486091344 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12407/statm: 18982 4512 373 189 0 13856 0
[startup+0.0376121 s]
/proc/loadavg: 29.57 31.04 25.33 1/413 12407
/proc/meminfo: memFree=263486836/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=75928 CPUtime=0.02 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 5048 0 0 0 2 0 0 0 25 0 1 0 6469217 77750272 4977 270582939648 4194304 4964800 140737486091344 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12407/statm: 18982 4987 373 189 0 13856 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 75928
[startup+0.100622 s]
/proc/loadavg: 29.57 31.04 25.33 1/413 12407
/proc/meminfo: memFree=263486836/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=101340 CPUtime=0.09 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 15858 0 0 0 7 2 0 0 25 0 1 0 6469217 103772160 15665 270582939648 4194304 4964800 140737486091344 18446744073709551615 4679106 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12407/statm: 25335 15674 374 189 0 20209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 101340
[startup+0.300622 s]
/proc/loadavg: 29.57 31.04 25.33 1/413 12407
/proc/meminfo: memFree=263486836/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=129736 CPUtime=0.29 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 32948 0 0 0 24 5 0 0 25 0 1 0 6469217 132849664 26820 270582939648 4194304 4964800 140737486091344 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12407/statm: 32434 26823 383 189 0 27308 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 129736
[startup+0.700639 s]
/proc/loadavg: 29.57 31.04 25.33 1/413 12407
/proc/meminfo: memFree=263486836/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=194652 CPUtime=0.69 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 56694 0 0 0 60 9 0 0 25 0 1 0 6469217 199323648 42807 270582939648 4194304 4964800 140737486091344 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12407/statm: 48663 42808 396 189 0 43537 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 194652
[startup+1.50071 s]
/proc/loadavg: 27.29 30.54 25.20 2/414 12408
/proc/meminfo: memFree=263285584/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=237808 CPUtime=1.48 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 66929 0 0 0 138 10 0 0 25 0 1 0 6469217 243515392 53042 270582939648 4194304 4964800 140737486091344 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12407/statm: 59452 53042 401 189 0 54326 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 237808
[startup+3.10071 s]
/proc/loadavg: 27.29 30.54 25.20 2/414 12408
/proc/meminfo: memFree=263262892/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=263416 CPUtime=3.09 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 73356 0 0 0 297 12 0 0 25 0 1 0 6469217 269737984 59469 270582939648 4194304 4964800 140737486091344 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12407/statm: 65854 59469 401 189 0 60728 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 263416
[startup+6.30084 s]
/proc/loadavg: 25.18 30.05 25.07 2/414 12408
/proc/meminfo: memFree=263235028/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=286944 CPUtime=6.29 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 79207 0 0 0 616 13 0 0 25 0 1 0 6469217 293830656 65320 270582939648 4194304 4964800 140737486091344 18446744073709551615 4612197 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12407/statm: 71736 65320 401 189 0 66610 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 286944
[startup+12.7019 s]
/proc/loadavg: 25.17 29.96 25.07 5/445 12439
/proc/meminfo: memFree=261615416/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=2955776 CPUtime=74.51 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 599537 0 0 0 2816 4635 0 0 18 0 32 0 6469217 3026714624 473168 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370295 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12407/statm: 738944 473169 451 189 0 733293 0
[pid=12407/tid=12409] ppid=12405 vsize=2955776 CPUtime=2.1 cores=0-31
/proc/12407/task/12409/stat : 12409 (claspmt) R 12405 12407 12381 0 -1 4202560 13995 0 0 0 53 157 0 0 16 0 32 0 6469988 3026714624 473169 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370443 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12407/tid=12410] ppid=12405 vsize=2955776 CPUtime=2.17 cores=0-31
/proc/12407/task/12410/stat : 12410 (claspmt) R 12405 12407 12381 0 -1 4202560 16445 0 0 0 59 158 0 0 16 0 32 0 6469988 3026714624 473169 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670009 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12407/tid=12411] ppid=12405 vsize=2955776 CPUtime=2.02 cores=0-31
/proc/12407/task/12411/stat : 12411 (claspmt) R 12405 12407 12381 0 -1 4202560 18778 0 0 0 56 146 0 0 16 0 32 0 6469988 3026714624 473169 270582939648 4194304 4964800 140737486091344 18446744073709551615 4669276 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12407/tid=12412] ppid=12405 vsize=2955776 CPUtime=1.96 cores=0-31
/proc/12407/task/12412/stat : 12412 (claspmt) R 12405 12407 12381 0 -1 4202560 15076 0 0 0 49 147 0 0 16 0 32 0 6469988 3026714624 473169 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12407/tid=12413] ppid=12405 vsize=2955776 CPUtime=2.84 cores=0-31
/proc/12407/task/12413/stat : 12413 (claspmt) R 12405 12407 12381 0 -1 4202560 16062 0 0 0 130 154 0 0 18 0 32 0 6469988 3026714624 473169 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12407/tid=12414] ppid=12405 vsize=2955776 CPUtime=2.15 cores=0-31
/proc/12407/task/12414/stat : 12414 (claspmt) R 12405 12407 12381 0 -1 4202560 18206 0 0 0 57 158 0 0 16 0 32 0 6469988 3026714624 473169 270582939648 4194304 4964800 140737486091344 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12407/tid=12415] ppid=12405 vsize=2955776 CPUtime=2.17 cores=0-31
/proc/12407/task/12415/stat : 12415 (claspmt) R 12405 12407 12381 0 -1 4202560 16733 0 0 0 63 154 0 0 16 0 32 0 6469988 3026714624 473170 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670091 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12407/tid=12416] ppid=12405 vsize=2955776 CPUtime=1.99 cores=0-31
/proc/12407/task/12416/stat : 12416 (claspmt) R 12405 12407 12381 0 -1 4202560 15043 0 0 0 49 150 0 0 16 0 32 0 6469988 3026714624 473170 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370229 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12407/tid=12417] ppid=12405 vsize=2955776 CPUtime=1.87 cores=0-31
/proc/12407/task/12417/stat : 12417 (claspmt) R 12405 12407 12381 0 -1 4202560 15172 0 0 0 45 142 0 0 16 0 32 0 6469988 3026714624 473170 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12407/tid=12418] ppid=12405 vsize=2955776 CPUtime=2.12 cores=0-31
/proc/12407/task/12418/stat : 12418 (claspmt) R 12405 12407 12381 0 -1 4202560 18965 0 0 0 58 154 0 0 16 0 32 0 6469988 3026714624 473170 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12407/tid=12419] ppid=12405 vsize=2955776 CPUtime=2.12 cores=0-31
/proc/12407/task/12419/stat : 12419 (claspmt) R 12405 12407 12381 0 -1 4202560 17566 0 0 0 56 156 0 0 16 0 32 0 6469988 3026714624 473170 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12407/tid=12420] ppid=12405 vsize=2955776 CPUtime=1.91 cores=0-31
/proc/12407/task/12420/stat : 12420 (claspmt) R 12405 12407 12381 0 -1 4202560 15153 0 0 0 50 141 0 0 16 0 32 0 6469988 3026714624 473170 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12407/tid=12421] ppid=12405 vsize=2955776 CPUtime=2.82 cores=0-31
/proc/12407/task/12421/stat : 12421 (claspmt) R 12405 12407 12381 0 -1 4202560 16233 0 0 0 134 148 0 0 16 0 32 0 6469988 3026714624 473170 270582939648 4194304 4964800 140737486091344 18446744073709551615 4399617 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12407/tid=12422] ppid=12405 vsize=2955776 CPUtime=2.14 cores=0-31
/proc/12407/task/12422/stat : 12422 (claspmt) R 12405 12407 12381 0 -1 4202560 17954 0 0 0 57 157 0 0 16 0 32 0 6469988 3026714624 473170 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12407/tid=12423] ppid=12405 vsize=2955776 CPUtime=2.21 cores=0-31
/proc/12407/task/12423/stat : 12423 (claspmt) R 12405 12407 12381 0 -1 4202560 16021 0 0 0 62 159 0 0 16 0 32 0 6469988 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12407/tid=12424] ppid=12405 vsize=2955776 CPUtime=1.8 cores=0-31
/proc/12407/task/12424/stat : 12424 (claspmt) R 12405 12407 12381 0 -1 4202560 14910 0 0 0 46 134 0 0 16 0 32 0 6469988 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12407/tid=12425] ppid=12405 vsize=2955776 CPUtime=2.06 cores=0-31
/proc/12407/task/12425/stat : 12425 (claspmt) R 12405 12407 12381 0 -1 4202560 14019 0 0 0 52 154 0 0 16 0 32 0 6469988 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12407/tid=12426] ppid=12405 vsize=2955776 CPUtime=2.05 cores=0-31
/proc/12407/task/12426/stat : 12426 (claspmt) R 12405 12407 12381 0 -1 4202560 18904 0 0 0 56 149 0 0 16 0 32 0 6469988 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12407/tid=12427] ppid=12405 vsize=2955776 CPUtime=2.04 cores=0-31
/proc/12407/task/12427/stat : 12427 (claspmt) R 12405 12407 12381 0 -1 4202560 18530 0 0 0 57 147 0 0 16 0 32 0 6469989 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12407/tid=12428] ppid=12405 vsize=2955776 CPUtime=1.83 cores=0-31
/proc/12407/task/12428/stat : 12428 (claspmt) R 12405 12407 12381 0 -1 4202560 15365 0 0 0 46 137 0 0 16 0 32 0 6469989 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370364 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12407/tid=12429] ppid=12405 vsize=2955776 CPUtime=2.84 cores=0-31
/proc/12407/task/12429/stat : 12429 (claspmt) R 12405 12407 12381 0 -1 4202560 16720 0 0 0 145 139 0 0 16 0 32 0 6469989 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12407/tid=12430] ppid=12405 vsize=2955776 CPUtime=1.97 cores=0-31
/proc/12407/task/12430/stat : 12430 (claspmt) R 12405 12407 12381 0 -1 4202560 18940 0 0 0 57 140 0 0 16 0 32 0 6469989 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12407/tid=12431] ppid=12405 vsize=2955776 CPUtime=1.96 cores=0-31
/proc/12407/task/12431/stat : 12431 (claspmt) R 12405 12407 12381 0 -1 4202560 17295 0 0 0 59 137 0 0 16 0 32 0 6469989 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12407/tid=12432] ppid=12405 vsize=2955776 CPUtime=1.86 cores=0-31
/proc/12407/task/12432/stat : 12432 (claspmt) R 12405 12407 12381 0 -1 4202560 14642 0 0 0 47 139 0 0 16 0 32 0 6469989 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370229 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12407/tid=12433] ppid=12405 vsize=2955776 CPUtime=1.96 cores=0-31
/proc/12407/task/12433/stat : 12433 (claspmt) R 12405 12407 12381 0 -1 4202560 15009 0 0 0 49 147 0 0 16 0 32 0 6469989 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12407/tid=12434] ppid=12405 vsize=2955776 CPUtime=2.06 cores=0-31
/proc/12407/task/12434/stat : 12434 (claspmt) R 12405 12407 12381 0 -1 4202560 18880 0 0 0 56 150 0 0 16 0 32 0 6469989 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12407/tid=12435] ppid=12405 vsize=2955776 CPUtime=2.08 cores=0-31
/proc/12407/task/12435/stat : 12435 (claspmt) R 12405 12407 12381 0 -1 4202560 18831 0 0 0 58 150 0 0 16 0 32 0 6469989 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12407/tid=12436] ppid=12405 vsize=2955776 CPUtime=1.98 cores=0-31
/proc/12407/task/12436/stat : 12436 (claspmt) R 12405 12407 12381 0 -1 4202560 15017 0 0 0 50 148 0 0 16 0 32 0 6469990 3026714624 473171 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12407/tid=12437] ppid=12405 vsize=2955776 CPUtime=2.87 cores=0-31
/proc/12407/task/12437/stat : 12437 (claspmt) R 12405 12407 12381 0 -1 4202560 16200 0 0 0 137 150 0 0 16 0 32 0 6469990 3026714624 473172 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12407/tid=12438] ppid=12405 vsize=2955776 CPUtime=2.16 cores=0-31
/proc/12407/task/12438/stat : 12438 (claspmt) R 12405 12407 12381 0 -1 4202560 18736 0 0 0 57 159 0 0 16 0 32 0 6469990 3026714624 473172 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12407/tid=12439] ppid=12405 vsize=2955776 CPUtime=2.05 cores=0-31
/proc/12407/task/12439/stat : 12439 (claspmt) R 12405 12407 12381 0 -1 4202560 17180 0 0 0 61 144 0 0 16 0 32 0 6469990 3026714624 473172 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 74.51
Current children cumulated vsize (KiB) 2955776
[startup+25.5014 s]
/proc/loadavg: 26.75 30.08 25.18 33/445 12439
/proc/meminfo: memFree=261529636/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=2955776 CPUtime=483.43 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 618432 0 0 0 43644 4699 0 0 25 0 32 0 6469217 3026714624 492063 270582939648 4194304 4964800 140737486091344 18446744073709551615 4669496 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12407/statm: 738944 492064 461 189 0 733293 0
[pid=12407/tid=12409] ppid=12405 vsize=2955776 CPUtime=14.9 cores=0-31
/proc/12407/task/12409/stat : 12409 (claspmt) R 12405 12407 12381 0 -1 4202560 14569 0 0 0 1331 159 0 0 25 0 32 0 6469988 3026714624 492064 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370462 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12407/tid=12410] ppid=12405 vsize=2955776 CPUtime=14.96 cores=0-31
/proc/12407/task/12410/stat : 12410 (claspmt) R 12405 12407 12381 0 -1 4202560 17105 0 0 0 1335 161 0 0 25 0 32 0 6469988 3026714624 492064 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12407/tid=12411] ppid=12405 vsize=2955776 CPUtime=14.82 cores=0-31
/proc/12407/task/12411/stat : 12411 (claspmt) R 12405 12407 12381 0 -1 4202560 19396 0 0 0 1334 148 0 0 25 0 32 0 6469988 3026714624 492064 270582939648 4194304 4964800 140737486091344 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12407/tid=12412] ppid=12405 vsize=2955776 CPUtime=14.75 cores=0-31
/proc/12407/task/12412/stat : 12412 (claspmt) R 12405 12407 12381 0 -1 4202560 15497 0 0 0 1327 148 0 0 25 0 32 0 6469988 3026714624 492064 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12407/tid=12413] ppid=12405 vsize=2955776 CPUtime=15.27 cores=0-31
/proc/12407/task/12413/stat : 12413 (claspmt) R 12405 12407 12381 0 -1 4202560 16078 0 0 0 1373 154 0 0 25 0 32 0 6469988 3026714624 492064 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12407/tid=12414] ppid=12405 vsize=2955776 CPUtime=14.94 cores=0-31
/proc/12407/task/12414/stat : 12414 (claspmt) R 12405 12407 12381 0 -1 4202560 18995 0 0 0 1334 160 0 0 25 0 32 0 6469988 3026714624 492064 270582939648 4194304 4964800 140737486091344 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12407/tid=12415] ppid=12405 vsize=2955776 CPUtime=14.97 cores=0-31
/proc/12407/task/12415/stat : 12415 (claspmt) R 12405 12407 12381 0 -1 4202560 17470 0 0 0 1340 157 0 0 25 0 32 0 6469988 3026714624 492064 270582939648 4194304 4964800 140737486091344 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12407/tid=12416] ppid=12405 vsize=2955776 CPUtime=14.77 cores=0-31
/proc/12407/task/12416/stat : 12416 (claspmt) R 12405 12407 12381 0 -1 4202560 15536 0 0 0 1326 151 0 0 25 0 32 0 6469988 3026714624 492064 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12407/tid=12417] ppid=12405 vsize=2955776 CPUtime=14.65 cores=0-31
/proc/12407/task/12417/stat : 12417 (claspmt) R 12405 12407 12381 0 -1 4202560 15665 0 0 0 1322 143 0 0 25 0 32 0 6469988 3026714624 492065 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12407/tid=12418] ppid=12405 vsize=2955776 CPUtime=14.91 cores=0-31
/proc/12407/task/12418/stat : 12418 (claspmt) R 12405 12407 12381 0 -1 4202560 19943 0 0 0 1334 157 0 0 25 0 32 0 6469988 3026714624 492065 270582939648 4194304 4964800 140737486091344 18446744073709551615 4319933 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12407/tid=12419] ppid=12405 vsize=2955776 CPUtime=14.9 cores=0-31
/proc/12407/task/12419/stat : 12419 (claspmt) R 12405 12407 12381 0 -1 4202560 18368 0 0 0 1331 159 0 0 25 0 32 0 6469988 3026714624 492065 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12407/tid=12420] ppid=12405 vsize=2955776 CPUtime=14.69 cores=0-31
/proc/12407/task/12420/stat : 12420 (claspmt) R 12405 12407 12381 0 -1 4202560 15496 0 0 0 1327 142 0 0 25 0 32 0 6469988 3026714624 492065 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12407/tid=12421] ppid=12405 vsize=2955776 CPUtime=15.62 cores=0-31
/proc/12407/task/12421/stat : 12421 (claspmt) R 12405 12407 12381 0 -1 4202560 16267 0 0 0 1414 148 0 0 25 0 32 0 6469988 3026714624 492065 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12407/tid=12422] ppid=12405 vsize=2955776 CPUtime=14.93 cores=0-31
/proc/12407/task/12422/stat : 12422 (claspmt) R 12405 12407 12381 0 -1 4202560 18609 0 0 0 1333 160 0 0 21 0 32 0 6469988 3026714624 492066 270582939648 4194304 4964800 140737486091344 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12407/tid=12423] ppid=12405 vsize=2955776 CPUtime=15 cores=0-31
/proc/12407/task/12423/stat : 12423 (claspmt) R 12405 12407 12381 0 -1 4202560 16806 0 0 0 1339 161 0 0 25 0 32 0 6469988 3026714624 492066 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12407/tid=12424] ppid=12405 vsize=2955776 CPUtime=14.58 cores=0-31
/proc/12407/task/12424/stat : 12424 (claspmt) R 12405 12407 12381 0 -1 4202560 15381 0 0 0 1322 136 0 0 25 0 32 0 6469988 3026714624 492066 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 8 0 0 0
################
# More data... #
################
[pid=12407/tid=12414] ppid=12405 vsize=3580984 CPUtime=347.65 cores=0-31
/proc/12407/task/12414/stat : 12414 (claspmt) R 12405 12407 12381 0 -1 4202560 26767 0 0 0 34581 184 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12407/tid=12415] ppid=12405 vsize=3580984 CPUtime=347.5 cores=0-31
/proc/12407/task/12415/stat : 12415 (claspmt) R 12405 12407 12381 0 -1 4202560 30318 0 0 0 34540 210 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 47956307705433 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12407/tid=12416] ppid=12405 vsize=3580984 CPUtime=347.51 cores=0-31
/proc/12407/task/12416/stat : 12416 (claspmt) R 12405 12407 12381 0 -1 4202560 16206 0 0 0 34597 154 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12407/tid=12417] ppid=12405 vsize=3580984 CPUtime=346.77 cores=0-31
/proc/12407/task/12417/stat : 12417 (claspmt) R 12405 12407 12381 0 -1 4202560 16680 0 0 0 34531 146 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370266 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12407/tid=12418] ppid=12405 vsize=3580984 CPUtime=347.63 cores=0-31
/proc/12407/task/12418/stat : 12418 (claspmt) R 12405 12407 12381 0 -1 4202560 36685 0 0 0 34548 215 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12407/tid=12419] ppid=12405 vsize=3580984 CPUtime=347.63 cores=0-31
/proc/12407/task/12419/stat : 12419 (claspmt) R 12405 12407 12381 0 -1 4202560 27770 0 0 0 34573 190 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12407/tid=12420] ppid=12405 vsize=3580984 CPUtime=347.42 cores=0-31
/proc/12407/task/12420/stat : 12420 (claspmt) R 12405 12407 12381 0 -1 4202560 18042 0 0 0 34594 148 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12407/tid=12421] ppid=12405 vsize=3580984 CPUtime=348.35 cores=0-31
/proc/12407/task/12421/stat : 12421 (claspmt) R 12405 12407 12381 0 -1 4202560 18331 0 0 0 34681 154 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12407/tid=12422] ppid=12405 vsize=3580984 CPUtime=347.65 cores=0-31
/proc/12407/task/12422/stat : 12422 (claspmt) R 12405 12407 12381 0 -1 4202560 26990 0 0 0 34575 190 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4362958 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12407/tid=12423] ppid=12405 vsize=3580984 CPUtime=347.73 cores=0-31
/proc/12407/task/12423/stat : 12423 (claspmt) R 12405 12407 12381 0 -1 4202560 28036 0 0 0 34563 210 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12407/tid=12424] ppid=12405 vsize=3580984 CPUtime=347.32 cores=0-31
/proc/12407/task/12424/stat : 12424 (claspmt) R 12405 12407 12381 0 -1 4202560 16081 0 0 0 34592 140 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12407/tid=12425] ppid=12405 vsize=3580984 CPUtime=347.58 cores=0-31
/proc/12407/task/12425/stat : 12425 (claspmt) R 12405 12407 12381 0 -1 4202560 15481 0 0 0 34600 158 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12407/tid=12426] ppid=12405 vsize=3580984 CPUtime=347.56 cores=0-31
/proc/12407/task/12426/stat : 12426 (claspmt) R 12405 12407 12381 0 -1 4202560 35875 0 0 0 34548 208 0 0 25 0 32 0 6469988 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12407/tid=12427] ppid=12405 vsize=3580984 CPUtime=347.49 cores=0-31
/proc/12407/task/12427/stat : 12427 (claspmt) R 12405 12407 12381 0 -1 4202560 27132 0 0 0 34575 174 0 0 25 0 32 0 6469989 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12407/tid=12428] ppid=12405 vsize=3580984 CPUtime=347.04 cores=0-31
/proc/12407/task/12428/stat : 12428 (claspmt) R 12405 12407 12381 0 -1 4202560 18401 0 0 0 34556 148 0 0 25 0 32 0 6469989 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12407/tid=12429] ppid=12405 vsize=3580984 CPUtime=348.38 cores=0-31
/proc/12407/task/12429/stat : 12429 (claspmt) R 12405 12407 12381 0 -1 4202560 18792 0 0 0 34693 145 0 0 25 0 32 0 6469989 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12407/tid=12430] ppid=12405 vsize=3580984 CPUtime=347.49 cores=0-31
/proc/12407/task/12430/stat : 12430 (claspmt) R 12405 12407 12381 0 -1 4202560 27604 0 0 0 34579 170 0 0 25 0 32 0 6469989 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12407/tid=12431] ppid=12405 vsize=3580984 CPUtime=347.47 cores=0-31
/proc/12407/task/12431/stat : 12431 (claspmt) R 12405 12407 12381 0 -1 4202560 28706 0 0 0 34568 179 0 0 25 0 32 0 6469989 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12407/tid=12432] ppid=12405 vsize=3580984 CPUtime=347.39 cores=0-31
/proc/12407/task/12432/stat : 12432 (claspmt) R 12405 12407 12381 0 -1 4202560 16080 0 0 0 34595 144 0 0 25 0 32 0 6469989 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12407/tid=12433] ppid=12405 vsize=3580984 CPUtime=347.47 cores=0-31
/proc/12407/task/12433/stat : 12433 (claspmt) R 12405 12407 12381 0 -1 4202560 16357 0 0 0 34596 151 0 0 25 0 32 0 6469989 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12407/tid=12434] ppid=12405 vsize=3580984 CPUtime=347.57 cores=0-31
/proc/12407/task/12434/stat : 12434 (claspmt) R 12405 12407 12381 0 -1 4202560 35621 0 0 0 34547 210 0 0 25 0 32 0 6469989 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12407/tid=12435] ppid=12405 vsize=3580984 CPUtime=347.57 cores=0-31
/proc/12407/task/12435/stat : 12435 (claspmt) R 12405 12407 12381 0 -1 4202560 29039 0 0 0 34576 181 0 0 25 0 32 0 6469989 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12407/tid=12436] ppid=12405 vsize=3580984 CPUtime=339.69 cores=0-31
/proc/12407/task/12436/stat : 12436 (claspmt) R 12405 12407 12381 0 -1 4202560 17215 0 0 0 33814 155 0 0 25 0 32 0 6469990 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12407/tid=12437] ppid=12405 vsize=3580984 CPUtime=348.4 cores=0-31
/proc/12407/task/12437/stat : 12437 (claspmt) R 12405 12407 12381 0 -1 4202560 18380 0 0 0 34683 157 0 0 25 0 32 0 6469990 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12407/tid=12438] ppid=12405 vsize=3580984 CPUtime=347.66 cores=0-31
/proc/12407/task/12438/stat : 12438 (claspmt) R 12405 12407 12381 0 -1 4202560 28542 0 0 0 34574 192 0 0 25 0 32 0 6469990 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12407/tid=12439] ppid=12405 vsize=3580984 CPUtime=347.57 cores=0-31
/proc/12407/task/12439/stat : 12439 (claspmt) R 12405 12407 12381 0 -1 4202560 27617 0 0 0 34573 184 0 0 25 0 32 0 6469990 3666927616 691245 270582939648 4194304 4964800 140737486091344 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 11119.8
Current children cumulated vsize (KiB) 3580984
[startup+364.702 s]
/proc/loadavg: 32.16 31.55 27.32 33/445 12452
/proc/meminfo: memFree=260732588/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=3580984 CPUtime=11324.3 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 817699 0 0 0 1127044 5391 0 0 25 0 32 0 6469217 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12407/statm: 895246 691330 463 189 0 889595 0
[pid=12407/tid=12409] ppid=12405 vsize=3580984 CPUtime=354.03 cores=0-31
/proc/12407/task/12409/stat : 12409 (claspmt) R 12405 12407 12381 0 -1 4202560 15296 0 0 0 35242 161 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12407/tid=12410] ppid=12405 vsize=3580984 CPUtime=352.31 cores=0-31
/proc/12407/task/12410/stat : 12410 (claspmt) R 12405 12407 12381 0 -1 4202560 33668 0 0 0 35015 216 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4684788 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12407/tid=12411] ppid=12405 vsize=3580984 CPUtime=353.93 cores=0-31
/proc/12407/task/12411/stat : 12411 (claspmt) R 12405 12407 12381 0 -1 4202560 25339 0 0 0 35226 167 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12407/tid=12412] ppid=12405 vsize=3580984 CPUtime=353.88 cores=0-31
/proc/12407/task/12412/stat : 12412 (claspmt) R 12405 12407 12381 0 -1 4202560 18301 0 0 0 35232 156 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12407/tid=12413] ppid=12405 vsize=3580984 CPUtime=354.28 cores=0-31
/proc/12407/task/12413/stat : 12413 (claspmt) R 12405 12407 12381 0 -1 4202560 17840 0 0 0 35269 159 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12407/tid=12414] ppid=12405 vsize=3580984 CPUtime=354.05 cores=0-31
/proc/12407/task/12414/stat : 12414 (claspmt) R 12405 12407 12381 0 -1 4202560 26767 0 0 0 35221 184 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12407/tid=12415] ppid=12405 vsize=3580984 CPUtime=353.9 cores=0-31
/proc/12407/task/12415/stat : 12415 (claspmt) R 12405 12407 12381 0 -1 4202560 30321 0 0 0 35180 210 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12407/tid=12416] ppid=12405 vsize=3580984 CPUtime=353.91 cores=0-31
/proc/12407/task/12416/stat : 12416 (claspmt) R 12405 12407 12381 0 -1 4202560 16206 0 0 0 35237 154 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12407/tid=12417] ppid=12405 vsize=3580984 CPUtime=353.17 cores=0-31
/proc/12407/task/12417/stat : 12417 (claspmt) R 12405 12407 12381 0 -1 4202560 16680 0 0 0 35171 146 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370259 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12407/tid=12418] ppid=12405 vsize=3580984 CPUtime=354.03 cores=0-31
/proc/12407/task/12418/stat : 12418 (claspmt) R 12405 12407 12381 0 -1 4202560 36685 0 0 0 35188 215 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12407/tid=12419] ppid=12405 vsize=3580984 CPUtime=354.03 cores=0-31
/proc/12407/task/12419/stat : 12419 (claspmt) R 12405 12407 12381 0 -1 4202560 27770 0 0 0 35213 190 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12407/tid=12420] ppid=12405 vsize=3580984 CPUtime=353.82 cores=0-31
/proc/12407/task/12420/stat : 12420 (claspmt) R 12405 12407 12381 0 -1 4202560 18048 0 0 0 35234 148 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12407/tid=12421] ppid=12405 vsize=3580984 CPUtime=354.75 cores=0-31
/proc/12407/task/12421/stat : 12421 (claspmt) R 12405 12407 12381 0 -1 4202560 18335 0 0 0 35321 154 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12407/tid=12422] ppid=12405 vsize=3580984 CPUtime=354.05 cores=0-31
/proc/12407/task/12422/stat : 12422 (claspmt) R 12405 12407 12381 0 -1 4202560 26991 0 0 0 35215 190 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12407/tid=12423] ppid=12405 vsize=3580984 CPUtime=354.13 cores=0-31
/proc/12407/task/12423/stat : 12423 (claspmt) R 12405 12407 12381 0 -1 4202560 28040 0 0 0 35203 210 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4365167 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12407/tid=12424] ppid=12405 vsize=3580984 CPUtime=353.72 cores=0-31
/proc/12407/task/12424/stat : 12424 (claspmt) R 12405 12407 12381 0 -1 4202560 16081 0 0 0 35232 140 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12407/tid=12425] ppid=12405 vsize=3580984 CPUtime=353.98 cores=0-31
/proc/12407/task/12425/stat : 12425 (claspmt) R 12405 12407 12381 0 -1 4202560 15481 0 0 0 35240 158 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12407/tid=12426] ppid=12405 vsize=3580984 CPUtime=353.95 cores=0-31
/proc/12407/task/12426/stat : 12426 (claspmt) R 12405 12407 12381 0 -1 4202560 35883 0 0 0 35187 208 0 0 25 0 32 0 6469988 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12407/tid=12427] ppid=12405 vsize=3580984 CPUtime=353.89 cores=0-31
/proc/12407/task/12427/stat : 12427 (claspmt) R 12405 12407 12381 0 -1 4202560 27132 0 0 0 35215 174 0 0 25 0 32 0 6469989 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12407/tid=12428] ppid=12405 vsize=3580984 CPUtime=353.43 cores=0-31
/proc/12407/task/12428/stat : 12428 (claspmt) R 12405 12407 12381 0 -1 4202560 18401 0 0 0 35195 148 0 0 25 0 32 0 6469989 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12407/tid=12429] ppid=12405 vsize=3580984 CPUtime=354.78 cores=0-31
/proc/12407/task/12429/stat : 12429 (claspmt) R 12405 12407 12381 0 -1 4202560 18792 0 0 0 35333 145 0 0 25 0 32 0 6469989 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12407/tid=12430] ppid=12405 vsize=3580984 CPUtime=353.89 cores=0-31
/proc/12407/task/12430/stat : 12430 (claspmt) R 12405 12407 12381 0 -1 4202560 27604 0 0 0 35219 170 0 0 25 0 32 0 6469989 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12407/tid=12431] ppid=12405 vsize=3580984 CPUtime=353.87 cores=0-31
/proc/12407/task/12431/stat : 12431 (claspmt) R 12405 12407 12381 0 -1 4202560 28706 0 0 0 35208 179 0 0 25 0 32 0 6469989 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12407/tid=12432] ppid=12405 vsize=3580984 CPUtime=353.79 cores=0-31
/proc/12407/task/12432/stat : 12432 (claspmt) R 12405 12407 12381 0 -1 4202560 16080 0 0 0 35235 144 0 0 25 0 32 0 6469989 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12407/tid=12433] ppid=12405 vsize=3580984 CPUtime=353.87 cores=0-31
/proc/12407/task/12433/stat : 12433 (claspmt) R 12405 12407 12381 0 -1 4202560 16357 0 0 0 35236 151 0 0 25 0 32 0 6469989 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4338784 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12407/tid=12434] ppid=12405 vsize=3580984 CPUtime=353.97 cores=0-31
/proc/12407/task/12434/stat : 12434 (claspmt) R 12405 12407 12381 0 -1 4202560 35664 0 0 0 35187 210 0 0 25 0 32 0 6469989 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4684732 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12407/tid=12435] ppid=12405 vsize=3580984 CPUtime=353.97 cores=0-31
/proc/12407/task/12435/stat : 12435 (claspmt) R 12405 12407 12381 0 -1 4202560 29040 0 0 0 35216 181 0 0 25 0 32 0 6469989 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12407/tid=12436] ppid=12405 vsize=3580984 CPUtime=345.9 cores=0-31
/proc/12407/task/12436/stat : 12436 (claspmt) R 12405 12407 12381 0 -1 4202560 17215 0 0 0 34435 155 0 0 25 0 32 0 6469990 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12407/tid=12437] ppid=12405 vsize=3580984 CPUtime=354.8 cores=0-31
/proc/12407/task/12437/stat : 12437 (claspmt) R 12405 12407 12381 0 -1 4202560 18384 0 0 0 35323 157 0 0 25 0 32 0 6469990 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12407/tid=12438] ppid=12405 vsize=3580984 CPUtime=354.06 cores=0-31
/proc/12407/task/12438/stat : 12438 (claspmt) R 12405 12407 12381 0 -1 4202560 28542 0 0 0 35214 192 0 0 25 0 32 0 6469990 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12407/tid=12439] ppid=12405 vsize=3580984 CPUtime=353.97 cores=0-31
/proc/12407/task/12439/stat : 12439 (claspmt) R 12405 12407 12381 0 -1 4202560 27617 0 0 0 35213 184 0 0 25 0 32 0 6469990 3666927616 691330 270582939648 4194304 4964800 140737486091344 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 11324.4
Current children cumulated vsize (KiB) 3580984
[startup+367.901 s]
/proc/loadavg: 32.30 31.59 27.36 2/414 12452
/proc/meminfo: memFree=260925904/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=3212548 CPUtime=11352.1 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 817712 0 0 0 1129794 5415 0 0 19 0 1 0 6469217 3289649152 621740 270582939648 4194304 4964800 140737486091344 18446744073709551615 258650613570 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12407/statm: 803137 621740 474 189 0 797486 0
Current children cumulated CPU time (s) 11352.1
Current children cumulated vsize (KiB) 3212548
[startup+369.501 s]
/proc/loadavg: 32.30 31.59 27.36 2/414 12452
/proc/meminfo: memFree=261274248/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=2948284 CPUtime=11353.7 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 817712 0 0 0 1129956 5416 0 0 22 0 1 0 6469217 3019042816 555519 270582939648 4194304 4964800 140737486091344 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12407/statm: 737071 555519 474 189 0 731420 0
Current children cumulated CPU time (s) 11353.7
Current children cumulated vsize (KiB) 2948284
[startup+370.301 s]
/proc/loadavg: 32.30 31.59 27.36 2/414 12452
/proc/meminfo: memFree=261274248/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=2760780 CPUtime=11354.5 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 817712 0 0 0 1130032 5417 0 0 25 0 1 0 6469217 2827038720 521717 270582939648 4194304 4964800 140737486091344 18446744073709551615 4646559 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12407/statm: 690195 521717 474 189 0 684544 0
Current children cumulated CPU time (s) 11354.5
Current children cumulated vsize (KiB) 2760780
[startup+370.501 s]
/proc/loadavg: 32.30 31.59 27.36 2/414 12452
/proc/meminfo: memFree=261274248/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=2412772 CPUtime=11354.7 cores=0-31
/proc/12407/stat : 12407 (claspmt) R 12405 12407 12381 0 -1 4202496 817712 0 0 0 1130050 5419 0 0 25 0 1 0 6469217 2470678528 445647 270582939648 4194304 4964800 140737486091344 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12407/statm: 603193 445647 474 189 0 597542 0
Current children cumulated CPU time (s) 11354.7
Current children cumulated vsize (KiB) 2412772
[startup+370.601 s]
/proc/loadavg: 29.80 31.08 27.21 2/414 12452
/proc/meminfo: memFree=263320988/264257624 swapFree=67111528/67111528
[pid=12407] ppid=12405 vsize=0 CPUtime=11354.8 cores=0-31
/proc/12407/stat : 12407 (claspmt) Z 12405 12407 12381 0 -1 4202524 817713 0 0 0 1130050 5430 0 0 25 0 1 0 6469217 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/12407/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 11354.8
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 370.634
CPU time (s): 11354.8
CPU user time (s): 11300.5
CPU system time (s): 54.3057
CPU usage (%): 3063.61
Max. virtual memory (cumulated for all children) (KiB): 3580984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11300.5
system time used= 54.3057
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 817713
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= 340540
involuntary context switches= 23697
runsolver used 2.07168 second user time and 8.5147 second system time
The end
Begin job on node200 at 2011-06-07 03:40:23
IDJOB=3472290
IDBENCH=69591
IDSOLVER=1961
FILE ID=node200/3472290-1307410822
RUNJOBID= node200-1307410822-12395
PBS_JOBID= 13509176
Free space on /tmp= 61720 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472290-1307410822/watcher-3472290-1307410822 -o /tmp/evaluation-result-3472290-1307410822/solver-3472290-1307410822 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472290-1307410822.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED=1634220425
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.99
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.03
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.97
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.18
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263487248 kB
Buffers: 66388 kB
Cached: 488868 kB
SwapCached: 0 kB
Active: 165108 kB
Inactive: 453604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263487248 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 24660 kB
Writeback: 0 kB
AnonPages: 64876 kB
Mapped: 13476 kB
Slab: 66840 kB
PageTables: 3968 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 165988 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61720 MiB
End job on node200 at 2011-06-07 03:46:34