0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...480682/instance-3472324-1307480682.cnf
1.39/1.41 c Solving...
763.23/99.39 s UNSATISFIABLE
763.23/99.39
763.23/99.39 c Models : 0
763.23/99.39 c Time : 98.588s (Solving: 97.18s 1st Model: 0.00s Unsat: 97.18s)
763.23/99.39 c CPU Time : 762.520s
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-3472324-1307480682/watcher-3472324-1307480682 -o /tmp/evaluation-result-3472324-1307480682/solver-3472324-1307480682 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472324-1307480682.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: 26.35 14.64 8.20 1/413 17409
/proc/meminfo: memFree=263192044/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=40572 CPUtime=0.03 cores=0-31
/proc/17409/stat : 17409 (claspmt) R 17407 17409 17263 0 -1 4202496 4780 0 0 0 2 1 0 0 20 0 1 0 13455158 41545728 4711 270582939648 4194304 4964800 140734239944208 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17409/statm: 10143 4719 373 189 0 5017 0
[startup+0.049553 s]
/proc/loadavg: 26.35 14.64 8.20 1/413 17409
/proc/meminfo: memFree=263192044/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=49664 CPUtime=0.04 cores=0-31
/proc/17409/stat : 17409 (claspmt) R 17407 17409 17263 0 -1 4202496 8594 0 0 0 3 1 0 0 20 0 1 0 13455158 50855936 7445 270582939648 4194304 4964800 140734239944208 18446744073709551615 4679151 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17409/statm: 12416 7455 374 189 0 7290 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 49664
[startup+0.100558 s]
/proc/loadavg: 26.35 14.64 8.20 1/413 17409
/proc/meminfo: memFree=263192044/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=58396 CPUtime=0.09 cores=0-31
/proc/17409/stat : 17409 (claspmt) R 17407 17409 17263 0 -1 4202496 11617 0 0 0 7 2 0 0 20 0 1 0 13455158 59797504 9592 270582939648 4194304 4964800 140734239944208 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17409/statm: 14599 9594 383 189 0 9473 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58396
[startup+0.30056 s]
/proc/loadavg: 26.35 14.64 8.20 1/413 17409
/proc/meminfo: memFree=263192044/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=90996 CPUtime=0.28 cores=0-31
/proc/17409/stat : 17409 (claspmt) R 17407 17409 17263 0 -1 4202496 23215 0 0 0 24 4 0 0 21 0 1 0 13455158 93179904 17712 270582939648 4194304 4964800 140734239944208 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17409/statm: 22749 17717 397 189 0 17623 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 90996
[startup+0.700585 s]
/proc/loadavg: 26.35 14.64 8.20 1/413 17409
/proc/meminfo: memFree=263192044/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=104708 CPUtime=0.69 cores=0-31
/proc/17409/stat : 17409 (claspmt) R 17407 17409 17263 0 -1 4202496 26472 0 0 0 64 5 0 0 22 0 1 0 13455158 107220992 20969 270582939648 4194304 4964800 140734239944208 18446744073709551615 4600585 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17409/statm: 26177 20969 401 189 0 21051 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104708
[startup+1.50163 s]
/proc/loadavg: 26.35 14.64 8.20 2/414 17410
/proc/meminfo: memFree=263109064/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=659892 CPUtime=3.52 cores=0-31
/proc/17409/stat : 17409 (claspmt) S 17407 17409 17263 0 -1 4202496 51334 0 0 0 145 207 0 0 19 0 32 0 13455158 675729408 38718 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/17409/statm: 164973 38730 429 189 0 159322 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 659892
[startup+3.10266 s]
/proc/loadavg: 26.35 14.64 8.20 6/445 17441
/proc/meminfo: memFree=262794752/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=2075712 CPUtime=20.72 cores=0-31
/proc/17409/stat : 17409 (claspmt) S 17407 17409 17263 0 -1 4202496 207583 0 0 0 605 1467 0 0 19 0 32 0 13455158 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/17409/statm: 518928 161599 440 189 0 513277 0
[pid=17409/tid=17411] ppid=17407 vsize=2075712 CPUtime=0.54 cores=0-31
/proc/17409/task/17411/stat : 17411 (claspmt) S 17407 17409 17263 0 -1 4202560 5227 0 0 0 7 47 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604501687549408 0 0 -1 1 0 0 0
[pid=17409/tid=17412] ppid=17407 vsize=2075712 CPUtime=0.61 cores=0-31
/proc/17409/task/17412/stat : 17412 (claspmt) S 17407 17409 17263 0 -1 4202560 6465 0 0 0 12 49 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604501499944416 0 0 -1 30 0 0 0
[pid=17409/tid=17413] ppid=17407 vsize=2075712 CPUtime=0.54 cores=0-31
/proc/17409/task/17413/stat : 17413 (claspmt) S 17407 17409 17263 0 -1 4202560 6451 0 0 0 9 45 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604504403385824 0 0 -1 27 0 0 0
[pid=17409/tid=17414] ppid=17407 vsize=2075712 CPUtime=0.5 cores=0-31
/proc/17409/task/17414/stat : 17414 (claspmt) S 17407 17409 17263 0 -1 4202560 5125 0 0 0 6 44 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604502148120032 0 0 -1 29 0 0 0
[pid=17409/tid=17415] ppid=17407 vsize=2075712 CPUtime=0.83 cores=0-31
/proc/17409/task/17415/stat : 17415 (claspmt) R 17407 17409 17263 0 -1 4202560 6034 0 0 0 33 50 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 4669044 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17409/tid=17416] ppid=17407 vsize=2075712 CPUtime=0.61 cores=0-31
/proc/17409/task/17416/stat : 17416 (claspmt) S 17407 17409 17263 0 -1 4202560 6592 0 0 0 11 50 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604497637211616 0 0 -1 12 0 0 0
[pid=17409/tid=17417] ppid=17407 vsize=2075712 CPUtime=0.63 cores=0-31
/proc/17409/task/17417/stat : 17417 (claspmt) S 17407 17409 17263 0 -1 4202560 5708 0 0 0 14 49 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604499003473376 0 0 -1 5 0 0 0
[pid=17409/tid=17418] ppid=17407 vsize=2075712 CPUtime=0.43 cores=0-31
/proc/17409/task/17418/stat : 17418 (claspmt) S 17407 17409 17263 0 -1 4202560 5250 0 0 0 6 37 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604563589209568 0 0 -1 9 0 0 0
[pid=17409/tid=17419] ppid=17407 vsize=2075712 CPUtime=0.57 cores=0-31
/proc/17409/task/17419/stat : 17419 (claspmt) S 17407 17409 17263 0 -1 4202560 5223 0 0 0 7 50 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604501858221536 0 0 -1 2 0 0 0
[pid=17409/tid=17420] ppid=17407 vsize=2075712 CPUtime=0.59 cores=0-31
/proc/17409/task/17420/stat : 17420 (claspmt) S 17407 17409 17263 0 -1 4202560 6717 0 0 0 15 44 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604498276400608 0 0 -1 26 0 0 0
[pid=17409/tid=17421] ppid=17407 vsize=2075712 CPUtime=0.63 cores=0-31
/proc/17409/task/17421/stat : 17421 (claspmt) S 17407 17409 17263 0 -1 4202560 6190 0 0 0 12 51 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604502853115360 0 0 -1 23 0 0 0
[pid=17409/tid=17422] ppid=17407 vsize=2075712 CPUtime=0.5 cores=0-31
/proc/17409/task/17422/stat : 17422 (claspmt) S 17407 17409 17263 0 -1 4202560 5158 0 0 0 5 45 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604506098408928 0 0 -1 24 0 0 0
[pid=17409/tid=17423] ppid=17407 vsize=2075712 CPUtime=1.07 cores=0-31
/proc/17409/task/17423/stat : 17423 (claspmt) R 17407 17409 17263 0 -1 4202560 5135 0 0 0 62 45 0 0 18 0 32 0 13455299 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17409/tid=17424] ppid=17407 vsize=2075712 CPUtime=0.64 cores=0-31
/proc/17409/task/17424/stat : 17424 (claspmt) S 17407 17409 17263 0 -1 4202560 6597 0 0 0 13 51 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604499546873312 0 0 -1 22 0 0 0
[pid=17409/tid=17425] ppid=17407 vsize=2075712 CPUtime=0.65 cores=0-31
/proc/17409/task/17425/stat : 17425 (claspmt) S 17407 17409 17263 0 -1 4202560 6459 0 0 0 13 52 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604502516891104 0 0 -1 10 0 0 0
[pid=17409/tid=17426] ppid=17407 vsize=2075712 CPUtime=0.51 cores=0-31
/proc/17409/task/17426/stat : 17426 (claspmt) S 17407 17409 17263 0 -1 4202560 4822 0 0 0 6 45 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604500214537696 0 0 -1 11 0 0 0
[pid=17409/tid=17427] ppid=17407 vsize=2075712 CPUtime=0.54 cores=0-31
/proc/17409/task/17427/stat : 17427 (claspmt) S 17407 17409 17263 0 -1 4202560 4981 0 0 0 6 48 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604502642236896 0 0 -1 22 0 0 0
[pid=17409/tid=17428] ppid=17407 vsize=2075712 CPUtime=0.6 cores=0-31
/proc/17409/task/17428/stat : 17428 (claspmt) S 17407 17409 17263 0 -1 4202560 6644 0 0 0 13 47 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604501640068576 0 0 -1 13 0 0 0
[pid=17409/tid=17429] ppid=17407 vsize=2075712 CPUtime=0.62 cores=0-31
/proc/17409/task/17429/stat : 17429 (claspmt) S 17407 17409 17263 0 -1 4202560 6562 0 0 0 13 49 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604501499952608 0 0 -1 18 0 0 0
[pid=17409/tid=17430] ppid=17407 vsize=2075712 CPUtime=0.48 cores=0-31
/proc/17409/task/17430/stat : 17430 (claspmt) S 17407 17409 17263 0 -1 4202560 4691 0 0 0 9 39 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604504841018848 0 0 -1 15 0 0 0
[pid=17409/tid=17431] ppid=17407 vsize=2075712 CPUtime=1 cores=0-31
/proc/17409/task/17431/stat : 17431 (claspmt) R 17407 17409 17263 0 -1 4202560 5914 0 0 0 62 38 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17409/tid=17432] ppid=17407 vsize=2075712 CPUtime=0.61 cores=0-31
/proc/17409/task/17432/stat : 17432 (claspmt) S 17407 17409 17263 0 -1 4202560 6235 0 0 0 12 49 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604504398052832 0 0 -1 6 0 0 0
[pid=17409/tid=17433] ppid=17407 vsize=2075712 CPUtime=0.67 cores=0-31
/proc/17409/task/17433/stat : 17433 (claspmt) S 17407 17409 17263 0 -1 4202560 5940 0 0 0 13 54 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604505588375008 0 0 -1 26 0 0 0
[pid=17409/tid=17434] ppid=17407 vsize=2075712 CPUtime=0.49 cores=0-31
/proc/17409/task/17434/stat : 17434 (claspmt) S 17407 17409 17263 0 -1 4202560 5083 0 0 0 6 43 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604505967549920 0 0 -1 19 0 0 0
[pid=17409/tid=17435] ppid=17407 vsize=2075712 CPUtime=0.55 cores=0-31
/proc/17409/task/17435/stat : 17435 (claspmt) S 17407 17409 17263 0 -1 4202560 4715 0 0 0 6 49 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604502516882912 0 0 -1 0 0 0 0
[pid=17409/tid=17436] ppid=17407 vsize=2075712 CPUtime=0.6 cores=0-31
/proc/17409/task/17436/stat : 17436 (claspmt) S 17407 17409 17263 0 -1 4202560 6437 0 0 0 12 48 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604504841027040 0 0 -1 4 0 0 0
[pid=17409/tid=17437] ppid=17407 vsize=2075712 CPUtime=0.57 cores=0-31
/proc/17409/task/17437/stat : 17437 (claspmt) S 17407 17409 17263 0 -1 4202560 6464 0 0 0 12 45 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604499546881504 0 0 -1 14 0 0 0
[pid=17409/tid=17438] ppid=17407 vsize=2075712 CPUtime=0.52 cores=0-31
/proc/17409/task/17438/stat : 17438 (claspmt) S 17407 17409 17263 0 -1 4202560 4865 0 0 0 5 47 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604505494789600 0 0 -1 21 0 0 0
[pid=17409/tid=17439] ppid=17407 vsize=2075712 CPUtime=0.7 cores=0-31
/proc/17409/task/17439/stat : 17439 (claspmt) R 17407 17409 17263 0 -1 4202560 6221 0 0 0 30 40 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668607 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17409/tid=17440] ppid=17407 vsize=2075712 CPUtime=0.58 cores=0-31
/proc/17409/task/17440/stat : 17440 (claspmt) S 17407 17409 17263 0 -1 4202560 6210 0 0 0 11 47 0 0 18 0 32 0 13455300 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604505670442464 0 0 -1 20 0 0 0
[pid=17409/tid=17441] ppid=17407 vsize=2075712 CPUtime=0.62 cores=0-31
/proc/17409/task/17441/stat : 17441 (claspmt) S 17407 17409 17263 0 -1 4202560 6496 0 0 0 13 49 0 0 18 0 32 0 13455301 2125529088 161599 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604502853123552 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 20.72
Current children cumulated vsize (KiB) 2075712
[startup+6.30177 s]
/proc/loadavg: 24.56 14.47 8.17 5/445 17441
/proc/meminfo: memFree=262545800/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=2075712 CPUtime=33.51 cores=0-31
/proc/17409/stat : 17409 (claspmt) S 17407 17409 17263 0 -1 4202496 207987 0 0 0 1884 1467 0 0 19 0 32 0 13455158 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/17409/statm: 518928 162003 440 189 0 513277 0
[pid=17409/tid=17411] ppid=17407 vsize=2075712 CPUtime=0.54 cores=0-31
/proc/17409/task/17411/stat : 17411 (claspmt) S 17407 17409 17263 0 -1 4202560 5227 0 0 0 7 47 0 0 18 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604501687549408 0 0 -1 1 0 0 0
[pid=17409/tid=17412] ppid=17407 vsize=2075712 CPUtime=0.61 cores=0-31
/proc/17409/task/17412/stat : 17412 (claspmt) S 17407 17409 17263 0 -1 4202560 6465 0 0 0 12 49 0 0 18 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604501499944416 0 0 -1 30 0 0 0
[pid=17409/tid=17413] ppid=17407 vsize=2075712 CPUtime=0.54 cores=0-31
/proc/17409/task/17413/stat : 17413 (claspmt) S 17407 17409 17263 0 -1 4202560 6451 0 0 0 9 45 0 0 18 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604504403385824 0 0 -1 27 0 0 0
[pid=17409/tid=17414] ppid=17407 vsize=2075712 CPUtime=0.5 cores=0-31
/proc/17409/task/17414/stat : 17414 (claspmt) S 17407 17409 17263 0 -1 4202560 5125 0 0 0 6 44 0 0 18 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604502148120032 0 0 -1 29 0 0 0
[pid=17409/tid=17415] ppid=17407 vsize=2075712 CPUtime=4.03 cores=0-31
/proc/17409/task/17415/stat : 17415 (claspmt) R 17407 17409 17263 0 -1 4202560 6150 0 0 0 353 50 0 0 25 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17409/tid=17416] ppid=17407 vsize=2075712 CPUtime=0.61 cores=0-31
/proc/17409/task/17416/stat : 17416 (claspmt) S 17407 17409 17263 0 -1 4202560 6592 0 0 0 11 50 0 0 18 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604497637211616 0 0 -1 12 0 0 0
[pid=17409/tid=17417] ppid=17407 vsize=2075712 CPUtime=0.63 cores=0-31
/proc/17409/task/17417/stat : 17417 (claspmt) S 17407 17409 17263 0 -1 4202560 5708 0 0 0 14 49 0 0 18 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604499003473376 0 0 -1 5 0 0 0
[pid=17409/tid=17418] ppid=17407 vsize=2075712 CPUtime=0.43 cores=0-31
/proc/17409/task/17418/stat : 17418 (claspmt) S 17407 17409 17263 0 -1 4202560 5250 0 0 0 6 37 0 0 18 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604563589209568 0 0 -1 9 0 0 0
[pid=17409/tid=17419] ppid=17407 vsize=2075712 CPUtime=0.57 cores=0-31
/proc/17409/task/17419/stat : 17419 (claspmt) S 17407 17409 17263 0 -1 4202560 5223 0 0 0 7 50 0 0 18 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604501858221536 0 0 -1 2 0 0 0
[pid=17409/tid=17420] ppid=17407 vsize=2075712 CPUtime=0.59 cores=0-31
/proc/17409/task/17420/stat : 17420 (claspmt) S 17407 17409 17263 0 -1 4202560 6717 0 0 0 15 44 0 0 18 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604498276400608 0 0 -1 26 0 0 0
[pid=17409/tid=17421] ppid=17407 vsize=2075712 CPUtime=0.63 cores=0-31
/proc/17409/task/17421/stat : 17421 (claspmt) S 17407 17409 17263 0 -1 4202560 6190 0 0 0 12 51 0 0 18 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604502853115360 0 0 -1 23 0 0 0
[pid=17409/tid=17422] ppid=17407 vsize=2075712 CPUtime=0.5 cores=0-31
/proc/17409/task/17422/stat : 17422 (claspmt) S 17407 17409 17263 0 -1 4202560 5158 0 0 0 5 45 0 0 18 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604506098408928 0 0 -1 24 0 0 0
[pid=17409/tid=17423] ppid=17407 vsize=2075712 CPUtime=4.26 cores=0-31
/proc/17409/task/17423/stat : 17423 (claspmt) R 17407 17409 17263 0 -1 4202560 5143 0 0 0 381 45 0 0 25 0 32 0 13455299 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17409/tid=17424] ppid=17407 vsize=2075712 CPUtime=0.64 cores=0-31
/proc/17409/task/17424/stat : 17424 (claspmt) S 17407 17409 17263 0 -1 4202560 6597 0 0 0 13 51 0 0 18 0 32 0 13455300 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604499546873312 0 0 -1 22 0 0 0
[pid=17409/tid=17425] ppid=17407 vsize=2075712 CPUtime=0.65 cores=0-31
/proc/17409/task/17425/stat : 17425 (claspmt) S 17407 17409 17263 0 -1 4202560 6459 0 0 0 13 52 0 0 18 0 32 0 13455300 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604502516891104 0 0 -1 10 0 0 0
[pid=17409/tid=17426] ppid=17407 vsize=2075712 CPUtime=0.51 cores=0-31
/proc/17409/task/17426/stat : 17426 (claspmt) S 17407 17409 17263 0 -1 4202560 4822 0 0 0 6 45 0 0 18 0 32 0 13455300 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604500214537696 0 0 -1 11 0 0 0
[pid=17409/tid=17427] ppid=17407 vsize=2075712 CPUtime=0.54 cores=0-31
/proc/17409/task/17427/stat : 17427 (claspmt) S 17407 17409 17263 0 -1 4202560 4981 0 0 0 6 48 0 0 18 0 32 0 13455300 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604502642236896 0 0 -1 22 0 0 0
[pid=17409/tid=17428] ppid=17407 vsize=2075712 CPUtime=0.6 cores=0-31
/proc/17409/task/17428/stat : 17428 (claspmt) S 17407 17409 17263 0 -1 4202560 6644 0 0 0 13 47 0 0 18 0 32 0 13455300 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604501640068576 0 0 -1 13 0 0 0
[pid=17409/tid=17429] ppid=17407 vsize=2075712 CPUtime=0.62 cores=0-31
/proc/17409/task/17429/stat : 17429 (claspmt) S 17407 17409 17263 0 -1 4202560 6562 0 0 0 13 49 0 0 18 0 32 0 13455300 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604501499952608 0 0 -1 18 0 0 0
[pid=17409/tid=17430] ppid=17407 vsize=2075712 CPUtime=0.48 cores=0-31
/proc/17409/task/17430/stat : 17430 (claspmt) S 17407 17409 17263 0 -1 4202560 4691 0 0 0 9 39 0 0 18 0 32 0 13455300 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604504841018848 0 0 -1 15 0 0 0
[pid=17409/tid=17431] ppid=17407 vsize=2075712 CPUtime=4.2 cores=0-31
/proc/17409/task/17431/stat : 17431 (claspmt) R 17407 17409 17263 0 -1 4202560 6076 0 0 0 382 38 0 0 25 0 32 0 13455300 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17409/tid=17432] ppid=17407 vsize=2075712 CPUtime=0.61 cores=0-31
/proc/17409/task/17432/stat : 17432 (claspmt) S 17407 17409 17263 0 -1 4202560 6235 0 0 0 12 49 0 0 18 0 32 0 13455300 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604504398052832 0 0 -1 6 0 0 0
[pid=17409/tid=17433] ppid=17407 vsize=2075712 CPUtime=0.67 cores=0-31
/proc/17409/task/17433/stat : 17433 (claspmt) S 17407 17409 17263 0 -1 4202560 5940 0 0 0 13 54 0 0 18 0 32 0 13455300 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604505588375008 0 0 -1 26 0 0 0
[pid=17409/tid=17434] ppid=17407 vsize=2075712 CPUtime=0.49 cores=0-31
/proc/17409/task/17434/stat : 17434 (claspmt) S 17407 17409 17263 0 -1 4202560 5083 0 0 0 6 43 0 0 18 0 32 0 13455300 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604505967549920 0 0 -1 19 0 0 0
[pid=17409/tid=17435] ppid=17407 vsize=2075712 CPUtime=0.55 cores=0-31
/proc/17409/task/17435/stat : 17435 (claspmt) S 17407 17409 17263 0 -1 4202560 4715 0 0 0 6 49 0 0 18 0 32 0 13455300 2125529088 162003 270582939648 4194304 4964800 140734239944208 18446744073709551615 258662772457 0 0 4096 18946 18446604502516882912 0 0 -1 0 0 0 0
################
# More data... #
################
Current children cumulated vsize (KiB) 2075712
[startup+97.5018 s]
/proc/loadavg: 12.88 12.66 8.08 33/445 17445
/proc/meminfo: memFree=262500436/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=2075712 CPUtime=728.25 cores=0-31
/proc/17409/stat : 17409 (claspmt) R 17407 17409 17263 0 -1 4202496 221438 0 0 0 71308 1517 0 0 25 0 32 0 13455158 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668748 0 0 4096 18946 18446744073709551615 0 0 17 27 0 0 0
/proc/17409/statm: 518928 175454 461 189 0 513277 0
[pid=17409/tid=17411] ppid=17407 vsize=2075712 CPUtime=12.43 cores=0-31
/proc/17409/task/17411/stat : 17411 (claspmt) R 17407 17409 17263 0 -1 4202560 5574 0 0 0 1194 49 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17409/tid=17412] ppid=17407 vsize=2075712 CPUtime=12.4 cores=0-31
/proc/17409/task/17412/stat : 17412 (claspmt) R 17407 17409 17263 0 -1 4202560 7440 0 0 0 1189 51 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17409/tid=17413] ppid=17407 vsize=2075712 CPUtime=12.39 cores=0-31
/proc/17409/task/17413/stat : 17413 (claspmt) R 17407 17409 17263 0 -1 4202560 6721 0 0 0 1193 46 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17409/tid=17414] ppid=17407 vsize=2075712 CPUtime=12.4 cores=0-31
/proc/17409/task/17414/stat : 17414 (claspmt) R 17407 17409 17263 0 -1 4202560 5515 0 0 0 1195 45 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17409/tid=17415] ppid=17407 vsize=2075712 CPUtime=94.51 cores=0-31
/proc/17409/task/17415/stat : 17415 (claspmt) R 17407 17409 17263 0 -1 4202560 6624 0 0 0 9400 51 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17409/tid=17416] ppid=17407 vsize=2075712 CPUtime=12.48 cores=0-31
/proc/17409/task/17416/stat : 17416 (claspmt) R 17407 17409 17263 0 -1 4202560 6913 0 0 0 1197 51 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17409/tid=17417] ppid=17407 vsize=2075712 CPUtime=12.5 cores=0-31
/proc/17409/task/17417/stat : 17417 (claspmt) R 17407 17409 17263 0 -1 4202560 6353 0 0 0 1198 52 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17409/tid=17418] ppid=17407 vsize=2075712 CPUtime=12.31 cores=0-31
/proc/17409/task/17418/stat : 17418 (claspmt) R 17407 17409 17263 0 -1 4202560 5555 0 0 0 1193 38 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17409/tid=17419] ppid=17407 vsize=2075712 CPUtime=12.46 cores=0-31
/proc/17409/task/17419/stat : 17419 (claspmt) R 17407 17409 17263 0 -1 4202560 5594 0 0 0 1196 50 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17409/tid=17420] ppid=17407 vsize=2075712 CPUtime=12.45 cores=0-31
/proc/17409/task/17420/stat : 17420 (claspmt) R 17407 17409 17263 0 -1 4202560 7350 0 0 0 1199 46 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17409/tid=17421] ppid=17407 vsize=2075712 CPUtime=12.17 cores=0-31
/proc/17409/task/17421/stat : 17421 (claspmt) R 17407 17409 17263 0 -1 4202560 6538 0 0 0 1164 53 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4684009 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17409/tid=17422] ppid=17407 vsize=2075712 CPUtime=12.39 cores=0-31
/proc/17409/task/17422/stat : 17422 (claspmt) R 17407 17409 17263 0 -1 4202560 5699 0 0 0 1192 47 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668636 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17409/tid=17423] ppid=17407 vsize=2075712 CPUtime=95.35 cores=0-31
/proc/17409/task/17423/stat : 17423 (claspmt) R 17407 17409 17263 0 -1 4202560 5190 0 0 0 9490 45 0 0 25 0 32 0 13455299 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17409/tid=17424] ppid=17407 vsize=2075712 CPUtime=12.49 cores=0-31
/proc/17409/task/17424/stat : 17424 (claspmt) R 17407 17409 17263 0 -1 4202560 6968 0 0 0 1197 52 0 0 25 0 32 0 13455300 2125529088 175454 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17409/tid=17425] ppid=17407 vsize=2075712 CPUtime=12.51 cores=0-31
/proc/17409/task/17425/stat : 17425 (claspmt) R 17407 17409 17263 0 -1 4202560 6983 0 0 0 1198 53 0 0 25 0 32 0 13455300 2125529088 175455 270582939648 4194304 4964800 140734239944208 18446744073709551615 4365674 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17409/tid=17426] ppid=17407 vsize=2075712 CPUtime=12.35 cores=0-31
/proc/17409/task/17426/stat : 17426 (claspmt) R 17407 17409 17263 0 -1 4202560 5330 0 0 0 1189 46 0 0 25 0 32 0 13455300 2125529088 175455 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=17409/tid=17427] ppid=17407 vsize=2075712 CPUtime=12.42 cores=0-31
/proc/17409/task/17427/stat : 17427 (claspmt) R 17407 17409 17263 0 -1 4202560 5396 0 0 0 1193 49 0 0 25 0 32 0 13455300 2125529088 175455 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17409/tid=17428] ppid=17407 vsize=2075712 CPUtime=12.48 cores=0-31
/proc/17409/task/17428/stat : 17428 (claspmt) R 17407 17409 17263 0 -1 4202560 7143 0 0 0 1199 49 0 0 18 0 32 0 13455300 2125529088 175455 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17409/tid=17429] ppid=17407 vsize=2075712 CPUtime=12.39 cores=0-31
/proc/17409/task/17429/stat : 17429 (claspmt) R 17407 17409 17263 0 -1 4202560 6786 0 0 0 1189 50 0 0 25 0 32 0 13455300 2125529088 175455 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17409/tid=17430] ppid=17407 vsize=2075712 CPUtime=12.19 cores=0-31
/proc/17409/task/17430/stat : 17430 (claspmt) R 17407 17409 17263 0 -1 4202560 5186 0 0 0 1178 41 0 0 25 0 32 0 13455300 2125529088 175455 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668718 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17409/tid=17431] ppid=17407 vsize=2075712 CPUtime=94.84 cores=0-31
/proc/17409/task/17431/stat : 17431 (claspmt) R 17407 17409 17263 0 -1 4202560 6401 0 0 0 9445 39 0 0 25 0 32 0 13455300 2125529088 175455 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17409/tid=17432] ppid=17407 vsize=2075712 CPUtime=12.48 cores=0-31
/proc/17409/task/17432/stat : 17432 (claspmt) R 17407 17409 17263 0 -1 4202560 6560 0 0 0 1198 50 0 0 25 0 32 0 13455300 2125529088 175455 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17409/tid=17433] ppid=17407 vsize=2075712 CPUtime=12.53 cores=0-31
/proc/17409/task/17433/stat : 17433 (claspmt) R 17407 17409 17263 0 -1 4202560 6285 0 0 0 1198 55 0 0 25 0 32 0 13455300 2125529088 175455 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17409/tid=17434] ppid=17407 vsize=2075712 CPUtime=12.38 cores=0-31
/proc/17409/task/17434/stat : 17434 (claspmt) R 17407 17409 17263 0 -1 4202560 5353 0 0 0 1194 44 0 0 25 0 32 0 13455300 2125529088 175455 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17409/tid=17435] ppid=17407 vsize=2075712 CPUtime=12.45 cores=0-31
/proc/17409/task/17435/stat : 17435 (claspmt) R 17407 17409 17263 0 -1 4202560 5163 0 0 0 1194 51 0 0 25 0 32 0 13455300 2125529088 175456 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17409/tid=17436] ppid=17407 vsize=2075712 CPUtime=12.47 cores=0-31
/proc/17409/task/17436/stat : 17436 (claspmt) R 17407 17409 17263 0 -1 4202560 7023 0 0 0 1197 50 0 0 25 0 32 0 13455300 2125529088 175456 270582939648 4194304 4964800 140734239944208 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17409/tid=17437] ppid=17407 vsize=2075712 CPUtime=12.38 cores=0-31
/proc/17409/task/17437/stat : 17437 (claspmt) R 17407 17409 17263 0 -1 4202560 6908 0 0 0 1191 47 0 0 25 0 32 0 13455300 2125529088 175456 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17409/tid=17438] ppid=17407 vsize=2075712 CPUtime=12.41 cores=0-31
/proc/17409/task/17438/stat : 17438 (claspmt) R 17407 17409 17263 0 -1 4202560 5178 0 0 0 1193 48 0 0 25 0 32 0 13455300 2125529088 175456 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17409/tid=17439] ppid=17407 vsize=2075712 CPUtime=94.77 cores=0-31
/proc/17409/task/17439/stat : 17439 (claspmt) R 17407 17409 17263 0 -1 4202560 6666 0 0 0 9436 41 0 0 25 0 32 0 13455300 2125529088 175456 270582939648 4194304 4964800 140734239944208 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17409/tid=17440] ppid=17407 vsize=2075712 CPUtime=12.44 cores=0-31
/proc/17409/task/17440/stat : 17440 (claspmt) R 17407 17409 17263 0 -1 4202560 6750 0 0 0 1195 49 0 0 25 0 32 0 13455300 2125529088 175456 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670155 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17409/tid=17441] ppid=17407 vsize=2075712 CPUtime=12.49 cores=0-31
/proc/17409/task/17441/stat : 17441 (claspmt) R 17407 17409 17263 0 -1 4202560 7032 0 0 0 1198 51 0 0 25 0 32 0 13455301 2125529088 175456 270582939648 4194304 4964800 140734239944208 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 728.25
Current children cumulated vsize (KiB) 2075712
[startup+98.3018 s]
/proc/loadavg: 12.88 12.66 8.08 33/445 17445
/proc/meminfo: memFree=262496592/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=2075712 CPUtime=753.81 cores=0-31
/proc/17409/stat : 17409 (claspmt) R 17407 17409 17263 0 -1 4202496 222354 0 0 0 73861 1520 0 0 25 0 32 0 13455158 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 27 0 0 0
/proc/17409/statm: 518928 176370 461 189 0 513277 0
[pid=17409/tid=17411] ppid=17407 vsize=2075712 CPUtime=13.23 cores=0-31
/proc/17409/task/17411/stat : 17411 (claspmt) R 17407 17409 17263 0 -1 4202560 5574 0 0 0 1274 49 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668627 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17409/tid=17412] ppid=17407 vsize=2075712 CPUtime=13.19 cores=0-31
/proc/17409/task/17412/stat : 17412 (claspmt) R 17407 17409 17263 0 -1 4202560 7478 0 0 0 1268 51 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17409/tid=17413] ppid=17407 vsize=2075712 CPUtime=13.19 cores=0-31
/proc/17409/task/17413/stat : 17413 (claspmt) R 17407 17409 17263 0 -1 4202560 6722 0 0 0 1273 46 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17409/tid=17414] ppid=17407 vsize=2075712 CPUtime=13.2 cores=0-31
/proc/17409/task/17414/stat : 17414 (claspmt) R 17407 17409 17263 0 -1 4202560 5553 0 0 0 1275 45 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17409/tid=17415] ppid=17407 vsize=2075712 CPUtime=95.31 cores=0-31
/proc/17409/task/17415/stat : 17415 (claspmt) R 17407 17409 17263 0 -1 4202560 6624 0 0 0 9480 51 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17409/tid=17416] ppid=17407 vsize=2075712 CPUtime=13.28 cores=0-31
/proc/17409/task/17416/stat : 17416 (claspmt) R 17407 17409 17263 0 -1 4202560 6944 0 0 0 1277 51 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17409/tid=17417] ppid=17407 vsize=2075712 CPUtime=13.3 cores=0-31
/proc/17409/task/17417/stat : 17417 (claspmt) R 17407 17409 17263 0 -1 4202560 6399 0 0 0 1278 52 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17409/tid=17418] ppid=17407 vsize=2075712 CPUtime=13.11 cores=0-31
/proc/17409/task/17418/stat : 17418 (claspmt) R 17407 17409 17263 0 -1 4202560 5582 0 0 0 1273 38 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17409/tid=17419] ppid=17407 vsize=2075712 CPUtime=13.26 cores=0-31
/proc/17409/task/17419/stat : 17419 (claspmt) R 17407 17409 17263 0 -1 4202560 5606 0 0 0 1276 50 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668553 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17409/tid=17420] ppid=17407 vsize=2075712 CPUtime=13.25 cores=0-31
/proc/17409/task/17420/stat : 17420 (claspmt) R 17407 17409 17263 0 -1 4202560 7598 0 0 0 1278 47 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17409/tid=17421] ppid=17407 vsize=2075712 CPUtime=12.94 cores=0-31
/proc/17409/task/17421/stat : 17421 (claspmt) R 17407 17409 17263 0 -1 4202560 6543 0 0 0 1241 53 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17409/tid=17422] ppid=17407 vsize=2075712 CPUtime=13.19 cores=0-31
/proc/17409/task/17422/stat : 17422 (claspmt) R 17407 17409 17263 0 -1 4202560 5777 0 0 0 1272 47 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17409/tid=17423] ppid=17407 vsize=2075712 CPUtime=96.15 cores=0-31
/proc/17409/task/17423/stat : 17423 (claspmt) R 17407 17409 17263 0 -1 4202560 5190 0 0 0 9570 45 0 0 25 0 32 0 13455299 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17409/tid=17424] ppid=17407 vsize=2075712 CPUtime=13.29 cores=0-31
/proc/17409/task/17424/stat : 17424 (claspmt) R 17407 17409 17263 0 -1 4202560 6990 0 0 0 1277 52 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4669026 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17409/tid=17425] ppid=17407 vsize=2075712 CPUtime=13.31 cores=0-31
/proc/17409/task/17425/stat : 17425 (claspmt) R 17407 17409 17263 0 -1 4202560 6984 0 0 0 1278 53 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17409/tid=17426] ppid=17407 vsize=2075712 CPUtime=13.15 cores=0-31
/proc/17409/task/17426/stat : 17426 (claspmt) R 17407 17409 17263 0 -1 4202560 5356 0 0 0 1269 46 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=17409/tid=17427] ppid=17407 vsize=2075712 CPUtime=13.22 cores=0-31
/proc/17409/task/17427/stat : 17427 (claspmt) R 17407 17409 17263 0 -1 4202560 5425 0 0 0 1273 49 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17409/tid=17428] ppid=17407 vsize=2075712 CPUtime=13.28 cores=0-31
/proc/17409/task/17428/stat : 17428 (claspmt) R 17407 17409 17263 0 -1 4202560 7188 0 0 0 1278 50 0 0 19 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17409/tid=17429] ppid=17407 vsize=2075712 CPUtime=13.19 cores=0-31
/proc/17409/task/17429/stat : 17429 (claspmt) R 17407 17409 17263 0 -1 4202560 6794 0 0 0 1269 50 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17409/tid=17430] ppid=17407 vsize=2075712 CPUtime=12.98 cores=0-31
/proc/17409/task/17430/stat : 17430 (claspmt) R 17407 17409 17263 0 -1 4202560 5232 0 0 0 1257 41 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4684760 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17409/tid=17431] ppid=17407 vsize=2075712 CPUtime=95.64 cores=0-31
/proc/17409/task/17431/stat : 17431 (claspmt) R 17407 17409 17263 0 -1 4202560 6401 0 0 0 9525 39 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17409/tid=17432] ppid=17407 vsize=2075712 CPUtime=13.27 cores=0-31
/proc/17409/task/17432/stat : 17432 (claspmt) R 17407 17409 17263 0 -1 4202560 6579 0 0 0 1277 50 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17409/tid=17433] ppid=17407 vsize=2075712 CPUtime=13.33 cores=0-31
/proc/17409/task/17433/stat : 17433 (claspmt) R 17407 17409 17263 0 -1 4202560 6333 0 0 0 1278 55 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17409/tid=17434] ppid=17407 vsize=2075712 CPUtime=13.18 cores=0-31
/proc/17409/task/17434/stat : 17434 (claspmt) R 17407 17409 17263 0 -1 4202560 5368 0 0 0 1274 44 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17409/tid=17435] ppid=17407 vsize=2075712 CPUtime=13.25 cores=0-31
/proc/17409/task/17435/stat : 17435 (claspmt) R 17407 17409 17263 0 -1 4202560 5184 0 0 0 1274 51 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17409/tid=17436] ppid=17407 vsize=2075712 CPUtime=13.27 cores=0-31
/proc/17409/task/17436/stat : 17436 (claspmt) R 17407 17409 17263 0 -1 4202560 7028 0 0 0 1277 50 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17409/tid=17437] ppid=17407 vsize=2075712 CPUtime=13.18 cores=0-31
/proc/17409/task/17437/stat : 17437 (claspmt) R 17407 17409 17263 0 -1 4202560 6910 0 0 0 1271 47 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17409/tid=17438] ppid=17407 vsize=2075712 CPUtime=13.21 cores=0-31
/proc/17409/task/17438/stat : 17438 (claspmt) R 17407 17409 17263 0 -1 4202560 5188 0 0 0 1273 48 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17409/tid=17439] ppid=17407 vsize=2075712 CPUtime=95.57 cores=0-31
/proc/17409/task/17439/stat : 17439 (claspmt) R 17407 17409 17263 0 -1 4202560 6666 0 0 0 9516 41 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17409/tid=17440] ppid=17407 vsize=2075712 CPUtime=13.24 cores=0-31
/proc/17409/task/17440/stat : 17440 (claspmt) R 17407 17409 17263 0 -1 4202560 6766 0 0 0 1275 49 0 0 25 0 32 0 13455300 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17409/tid=17441] ppid=17407 vsize=2075712 CPUtime=13.29 cores=0-31
/proc/17409/task/17441/stat : 17441 (claspmt) R 17407 17409 17263 0 -1 4202560 7089 0 0 0 1278 51 0 0 25 0 32 0 13455301 2125529088 176370 270582939648 4194304 4964800 140734239944208 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 753.81
Current children cumulated vsize (KiB) 2075712
[startup+99.101 s]
/proc/loadavg: 14.41 12.98 8.21 2/414 17445
/proc/meminfo: memFree=262585624/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=1835072 CPUtime=763.03 cores=0-31
/proc/17409/stat : 17409 (claspmt) R 17407 17409 17263 0 -1 4202496 222422 0 0 0 74778 1525 0 0 25 0 1 0 13455158 1879113728 138326 270582939648 4194304 4964800 140734239944208 18446744073709551615 258650611751 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/17409/statm: 458768 138326 472 189 0 453117 0
Current children cumulated CPU time (s) 763.03
Current children cumulated vsize (KiB) 1835072
[startup+99.301 s]
/proc/loadavg: 14.41 12.98 8.21 2/414 17445
/proc/meminfo: memFree=262585624/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=1769624 CPUtime=763.23 cores=0-31
/proc/17409/stat : 17409 (claspmt) R 17407 17409 17263 0 -1 4202496 222422 0 0 0 74797 1526 0 0 25 0 1 0 13455158 1812094976 121006 270582939648 4194304 4964800 140734239944208 18446744073709551615 258650611751 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/17409/statm: 442406 121006 472 189 0 436755 0
Current children cumulated CPU time (s) 763.23
Current children cumulated vsize (KiB) 1769624
[startup+99.401 s]
/proc/loadavg: 14.41 12.98 8.21 2/414 17445
/proc/meminfo: memFree=262585624/264257624 swapFree=67111528/67111528
[pid=17409] ppid=17407 vsize=0 CPUtime=763.32 cores=0-31
/proc/17409/stat : 17409 (claspmt) R 17407 17409 17263 0 -1 4202500 222423 0 0 0 74804 1528 0 0 25 0 1 0 13455158 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 27 0 0 0
/proc/17409/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 763.32
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 99.412
CPU time (s): 763.346
CPU user time (s): 748.048
CPU system time (s): 15.2977
CPU usage (%): 767.861
Max. virtual memory (cumulated for all children) (KiB): 2075712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 748.048
system time used= 15.2977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222423
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= 128405
involuntary context switches= 1780
runsolver used 0.600908 second user time and 2.14267 second system time
The end
Begin job on node200 at 2011-06-07 23:04:43
IDJOB=3472324
IDBENCH=71003
IDSOLVER=1961
FILE ID=node200/3472324-1307480682
RUNJOBID= node200-1307480514-17277
PBS_JOBID= 13509195
Free space on /tmp= 61732 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.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-3472324-1307480682/watcher-3472324-1307480682 -o /tmp/evaluation-result-3472324-1307480682/solver-3472324-1307480682 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472324-1307480682.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= ef1df882c8a642421a1d0216a16bf652
RANDOM SEED=47364894
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: 263192324 kB
Buffers: 144264 kB
Cached: 660440 kB
SwapCached: 0 kB
Active: 189836 kB
Inactive: 678108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263192324 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12828 kB
Writeback: 0 kB
AnonPages: 63512 kB
Mapped: 14532 kB
Slab: 120612 kB
PageTables: 4456 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 169076 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= 61732 MiB
End job on node200 at 2011-06-07 23:06:22