0.00/0.01 c clasp version 2.0.0-RC2
0.00/0.01 c Reading from ...814863/instance-3472515-1307814863.cnf
3.19/3.28 c Solving...
80934.27/3347.33 s UNSATISFIABLE
80934.27/3347.33
80934.27/3347.33 c Models : 0
80934.27/3347.33 c Time : 3339.796s (Solving: 3336.52s 1st Model: 0.00s Unsat: 3336.52s)
80934.27/3347.33 c CPU Time : 80926.750s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3472515-1307814863/watcher-3472515-1307814863 -o /tmp/evaluation-result-3472515-1307814863/solver-3472515-1307814863 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472515-1307814863.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: 24.39 29.57 30.88 1/413 11443
/proc/meminfo: memFree=261854220/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=68032 CPUtime=0.02 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 1966 0 0 0 2 0 0 0 22 0 1 0 46873774 69664768 1896 270582939648 4194304 4964800 140737464272080 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/11443/statm: 17008 1900 373 189 0 11882 0
[startup+0.108769 s]
/proc/loadavg: 24.39 29.57 30.88 1/413 11443
/proc/meminfo: memFree=261854220/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=68032 CPUtime=0.1 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 8026 0 0 0 8 2 0 0 22 0 1 0 46873774 69664768 7955 270582939648 4194304 4964800 140737464272080 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/11443/statm: 17008 7960 373 189 0 11882 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 68032
[startup+0.200767 s]
/proc/loadavg: 24.39 29.57 30.88 1/413 11443
/proc/meminfo: memFree=261854220/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=89800 CPUtime=0.19 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 18469 0 0 0 16 3 0 0 22 0 1 0 46873774 91955200 16369 270582939648 4194304 4964800 140737464272080 18446744073709551615 4679151 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/11443/statm: 22450 16374 374 189 0 17324 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 89800
[startup+0.300777 s]
/proc/loadavg: 24.39 29.57 30.88 1/413 11443
/proc/meminfo: memFree=261854220/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=96708 CPUtime=0.29 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 22009 0 0 0 25 4 0 0 23 0 1 0 46873774 99028992 19037 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/11443/statm: 24177 19037 385 189 0 19051 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 96708
[startup+0.700787 s]
/proc/loadavg: 24.39 29.57 30.88 1/413 11443
/proc/meminfo: memFree=261854220/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=108240 CPUtime=0.68 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 24991 0 0 0 62 6 0 0 25 0 1 0 46873774 110837760 21936 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/11443/statm: 27060 21936 385 189 0 21934 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 108240
[startup+1.50081 s]
/proc/loadavg: 24.39 29.57 30.88 2/414 11444
/proc/meminfo: memFree=261747276/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=150984 CPUtime=1.49 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 36108 0 0 0 137 12 0 0 25 0 1 0 46873774 154607616 32448 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/11443/statm: 37746 32452 385 189 0 32620 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150984
[startup+3.10085 s]
/proc/loadavg: 24.39 29.57 30.88 2/414 11444
/proc/meminfo: memFree=261688748/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=231860 CPUtime=3.09 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 56967 0 0 0 287 22 0 0 25 0 1 0 46873774 237424640 52367 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/11443/statm: 57965 52367 385 189 0 52839 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 231860
[startup+6.30284 s]
/proc/loadavg: 24.92 29.60 30.88 2/445 11475
/proc/meminfo: memFree=260697012/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=2960596 CPUtime=43.82 cores=0-31
/proc/11443/stat : 11443 (claspmt) S 11441 11443 11206 0 -1 4202496 438402 0 0 0 603 3779 0 0 18 0 32 0 46873774 3031650304 336525 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/11443/statm: 740149 336528 428 189 0 734498 0
[pid=11443/tid=11445] ppid=11441 vsize=2960596 CPUtime=1.33 cores=0-31
/proc/11443/task/11445/stat : 11445 (claspmt) D 11441 11443 11206 0 -1 4202560 10187 0 0 0 8 125 0 0 17 0 32 0 46874102 3031650304 336533 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11443/tid=11446] ppid=11441 vsize=2960596 CPUtime=1.21 cores=0-31
/proc/11443/task/11446/stat : 11446 (claspmt) D 11441 11443 11206 0 -1 4202560 9963 0 0 0 6 115 0 0 18 0 32 0 46874102 3031650304 336539 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11443/tid=11447] ppid=11441 vsize=2960596 CPUtime=1.32 cores=0-31
/proc/11443/task/11447/stat : 11447 (claspmt) D 11441 11443 11206 0 -1 4202560 12581 0 0 0 9 123 0 0 16 0 32 0 46874102 3031650304 336543 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=11443/tid=11448] ppid=11441 vsize=2960596 CPUtime=1.33 cores=0-31
/proc/11443/task/11448/stat : 11448 (claspmt) D 11441 11443 11206 0 -1 4202560 9699 0 0 0 6 127 0 0 18 0 32 0 46874102 3031650304 336543 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11443/tid=11449] ppid=11441 vsize=2960596 CPUtime=1.28 cores=0-31
/proc/11443/task/11449/stat : 11449 (claspmt) D 11441 11443 11206 0 -1 4202560 9802 0 0 0 5 123 0 0 17 0 32 0 46874102 3031650304 336544 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11443/tid=11450] ppid=11441 vsize=2960596 CPUtime=1.23 cores=0-31
/proc/11443/task/11450/stat : 11450 (claspmt) D 11441 11443 11206 0 -1 4202560 13622 0 0 0 11 112 0 0 16 0 32 0 46874102 3031650304 336545 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=11443/tid=11451] ppid=11441 vsize=2960596 CPUtime=1.32 cores=0-31
/proc/11443/task/11451/stat : 11451 (claspmt) S 11441 11443 11206 0 -1 4202560 12507 0 0 0 6 126 0 0 17 0 32 0 46874102 3031650304 336547 270582939648 4194304 4964800 140737464272080 18446744073709551615 258651060958 0 0 4096 18946 18446604560604421600 0 0 -1 25 0 0 0
[pid=11443/tid=11452] ppid=11441 vsize=2960596 CPUtime=1.24 cores=0-31
/proc/11443/task/11452/stat : 11452 (claspmt) D 11441 11443 11206 0 -1 4202560 12903 0 0 0 14 110 0 0 16 0 32 0 46874102 3031650304 336550 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11443/tid=11453] ppid=11441 vsize=2960596 CPUtime=1.27 cores=0-31
/proc/11443/task/11453/stat : 11453 (claspmt) R 11441 11443 11206 0 -1 4202560 12260 0 0 0 10 117 0 0 16 0 32 0 46874102 3031650304 336560 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11443/tid=11454] ppid=11441 vsize=2960596 CPUtime=1.23 cores=0-31
/proc/11443/task/11454/stat : 11454 (claspmt) S 11441 11443 11206 0 -1 4202560 12642 0 0 0 10 113 0 0 16 0 32 0 46874102 3031650304 336562 270582939648 4194304 4964800 140737464272080 18446744073709551615 258651060958 0 0 4096 18946 18446744071566933584 0 0 -1 3 0 0 0
[pid=11443/tid=11455] ppid=11441 vsize=2960596 CPUtime=1.31 cores=0-31
/proc/11443/task/11455/stat : 11455 (claspmt) D 11441 11443 11206 0 -1 4202560 11611 0 0 0 6 125 0 0 17 0 32 0 46874102 3031650304 336569 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=11443/tid=11456] ppid=11441 vsize=2960596 CPUtime=1.33 cores=0-31
/proc/11443/task/11456/stat : 11456 (claspmt) D 11441 11443 11206 0 -1 4202560 11604 0 0 0 11 122 0 0 16 0 32 0 46874102 3031650304 336570 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11443/tid=11457] ppid=11441 vsize=2960596 CPUtime=1.31 cores=0-31
/proc/11443/task/11457/stat : 11457 (claspmt) D 11441 11443 11206 0 -1 4202560 12486 0 0 0 14 117 0 0 15 0 32 0 46874102 3031650304 336571 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=11443/tid=11458] ppid=11441 vsize=2960596 CPUtime=1.23 cores=0-31
/proc/11443/task/11458/stat : 11458 (claspmt) D 11441 11443 11206 0 -1 4202560 13983 0 0 0 14 109 0 0 16 0 32 0 46874102 3031650304 336572 270582939648 4194304 4964800 140737464272080 18446744073709551615 4697753 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=11443/tid=11459] ppid=11441 vsize=2960596 CPUtime=1.3 cores=0-31
/proc/11443/task/11459/stat : 11459 (claspmt) D 11441 11443 11206 0 -1 4202560 13092 0 0 0 9 121 0 0 16 0 32 0 46874102 3031650304 336572 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=11443/tid=11460] ppid=11441 vsize=2960596 CPUtime=1.32 cores=0-31
/proc/11443/task/11460/stat : 11460 (claspmt) D 11441 11443 11206 0 -1 4202560 12085 0 0 0 12 120 0 0 16 0 32 0 46874103 3031650304 336574 270582939648 4194304 4964800 140737464272080 18446744073709551615 4697753 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=11443/tid=11461] ppid=11441 vsize=2960596 CPUtime=1.3 cores=0-31
/proc/11443/task/11461/stat : 11461 (claspmt) D 11441 11443 11206 0 -1 4202560 11700 0 0 0 8 122 0 0 16 0 32 0 46874103 3031650304 336580 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11443/tid=11462] ppid=11441 vsize=2960596 CPUtime=1.33 cores=0-31
/proc/11443/task/11462/stat : 11462 (claspmt) D 11441 11443 11206 0 -1 4202560 12107 0 0 0 8 125 0 0 16 0 32 0 46874103 3031650304 336583 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11443/tid=11463] ppid=11441 vsize=2960596 CPUtime=1.32 cores=0-31
/proc/11443/task/11463/stat : 11463 (claspmt) R 11441 11443 11206 0 -1 4202560 12242 0 0 0 6 126 0 0 16 0 32 0 46874103 3031650304 336592 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11443/tid=11464] ppid=11441 vsize=2960596 CPUtime=1.33 cores=0-31
/proc/11443/task/11464/stat : 11464 (claspmt) D 11441 11443 11206 0 -1 4202560 11487 0 0 0 7 126 0 0 16 0 32 0 46874103 3031650304 336597 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=11443/tid=11465] ppid=11441 vsize=2960596 CPUtime=1.3 cores=0-31
/proc/11443/task/11465/stat : 11465 (claspmt) D 11441 11443 11206 0 -1 4202560 12258 0 0 0 12 118 0 0 16 0 32 0 46874103 3031650304 336602 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11443/tid=11466] ppid=11441 vsize=2960596 CPUtime=1.36 cores=0-31
/proc/11443/task/11466/stat : 11466 (claspmt) D 11441 11443 11206 0 -1 4202560 12027 0 0 0 9 127 0 0 17 0 32 0 46874103 3031650304 336604 270582939648 4194304 4964800 140737464272080 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11443/tid=11467] ppid=11441 vsize=2960596 CPUtime=1.35 cores=0-31
/proc/11443/task/11467/stat : 11467 (claspmt) D 11441 11443 11206 0 -1 4202560 12887 0 0 0 11 124 0 0 16 0 32 0 46874103 3031650304 336605 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11443/tid=11468] ppid=11441 vsize=2960596 CPUtime=1.32 cores=0-31
/proc/11443/task/11468/stat : 11468 (claspmt) D 11441 11443 11206 0 -1 4202560 11621 0 0 0 7 125 0 0 16 0 32 0 46874103 3031650304 336606 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11443/tid=11469] ppid=11441 vsize=2960596 CPUtime=1.34 cores=0-31
/proc/11443/task/11469/stat : 11469 (claspmt) D 11441 11443 11206 0 -1 4202560 11683 0 0 0 9 125 0 0 16 0 32 0 46874103 3031650304 336607 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11443/tid=11470] ppid=11441 vsize=2960596 CPUtime=1.2 cores=0-31
/proc/11443/task/11470/stat : 11470 (claspmt) D 11441 11443 11206 0 -1 4202560 12962 0 0 0 11 109 0 0 16 0 32 0 46874103 3031650304 336610 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11443/tid=11471] ppid=11441 vsize=2960596 CPUtime=1.29 cores=0-31
/proc/11443/task/11471/stat : 11471 (claspmt) D 11441 11443 11206 0 -1 4202560 12074 0 0 0 6 123 0 0 16 0 32 0 46874103 3031650304 336613 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11443/tid=11472] ppid=11441 vsize=2960596 CPUtime=1.32 cores=0-31
/proc/11443/task/11472/stat : 11472 (claspmt) D 11441 11443 11206 0 -1 4202560 11579 0 0 0 9 123 0 0 16 0 32 0 46874103 3031650304 336619 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=11443/tid=11473] ppid=11441 vsize=2960596 CPUtime=1.3 cores=0-31
/proc/11443/task/11473/stat : 11473 (claspmt) R 11441 11443 11206 0 -1 4202560 12171 0 0 0 10 120 0 0 16 0 32 0 46874103 3031650304 336631 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11443/tid=11474] ppid=11441 vsize=2960596 CPUtime=1.25 cores=0-31
/proc/11443/task/11474/stat : 11474 (claspmt) D 11441 11443 11206 0 -1 4202560 12523 0 0 0 9 116 0 0 16 0 32 0 46874103 3031650304 336633 270582939648 4194304 4964800 140737464272080 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=11443/tid=11475] ppid=11441 vsize=2960596 CPUtime=1.31 cores=0-31
/proc/11443/task/11475/stat : 11475 (claspmt) D 11441 11443 11206 0 -1 4202560 12379 0 0 0 8 123 0 0 17 0 32 0 46874104 3031650304 336634 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 43.82
Current children cumulated vsize (KiB) 2960596
[startup+12.7022 s]
/proc/loadavg: 25.08 29.55 30.86 5/445 11475
/proc/meminfo: memFree=259275340/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=3417692 CPUtime=76.43 cores=0-31
/proc/11443/stat : 11443 (claspmt) S 11441 11443 11206 0 -1 4202496 748077 0 0 0 2842 4801 0 0 18 0 32 0 46873774 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/11443/statm: 854423 645150 433 189 0 848772 0
[pid=11443/tid=11445] ppid=11441 vsize=3417692 CPUtime=1.88 cores=0-31
/proc/11443/task/11445/stat : 11445 (claspmt) S 11441 11443 11206 0 -1 4202560 18433 0 0 0 32 156 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604566278774240 0 0 -1 14 0 0 0
[pid=11443/tid=11446] ppid=11441 vsize=3417692 CPUtime=2.32 cores=0-31
/proc/11443/task/11446/stat : 11446 (claspmt) S 11441 11443 11206 0 -1 4202560 22417 0 0 0 81 151 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604563768622560 0 0 -1 26 0 0 0
[pid=11443/tid=11447] ppid=11441 vsize=3417692 CPUtime=2.29 cores=0-31
/proc/11443/task/11447/stat : 11447 (claspmt) S 11441 11443 11206 0 -1 4202560 25146 0 0 0 74 155 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604575000624608 0 0 -1 22 0 0 0
[pid=11443/tid=11448] ppid=11441 vsize=3417692 CPUtime=1.85 cores=0-31
/proc/11443/task/11448/stat : 11448 (claspmt) S 11441 11443 11206 0 -1 4202560 18296 0 0 0 27 158 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604564594826720 0 0 -1 0 0 0 0
[pid=11443/tid=11449] ppid=11441 vsize=3417692 CPUtime=3.73 cores=0-31
/proc/11443/task/11449/stat : 11449 (claspmt) R 11441 11443 11206 0 -1 4202560 22244 0 0 0 212 161 0 0 18 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11443/tid=11450] ppid=11441 vsize=3417692 CPUtime=2.19 cores=0-31
/proc/11443/task/11450/stat : 11450 (claspmt) S 11441 11443 11206 0 -1 4202560 25099 0 0 0 75 144 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604571378023904 0 0 -1 24 0 0 0
[pid=11443/tid=11451] ppid=11441 vsize=3417692 CPUtime=2.6 cores=0-31
/proc/11443/task/11451/stat : 11451 (claspmt) S 11441 11443 11206 0 -1 4202560 22690 0 0 0 92 168 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604563417292256 0 0 -1 1 0 0 0
[pid=11443/tid=11452] ppid=11441 vsize=3417692 CPUtime=1.61 cores=0-31
/proc/11443/task/11452/stat : 11452 (claspmt) S 11441 11443 11206 0 -1 4202560 19358 0 0 0 29 132 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604709090532832 0 0 -1 20 0 0 0
[pid=11443/tid=11453] ppid=11441 vsize=3417692 CPUtime=1.71 cores=0-31
/proc/11443/task/11453/stat : 11453 (claspmt) S 11441 11443 11206 0 -1 4202560 19250 0 0 0 26 145 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604570475372000 0 0 -1 7 0 0 0
[pid=11443/tid=11454] ppid=11441 vsize=3417692 CPUtime=2.24 cores=0-31
/proc/11443/task/11454/stat : 11454 (claspmt) S 11441 11443 11206 0 -1 4202560 23840 0 0 0 80 144 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604567467957728 0 0 -1 29 0 0 0
[pid=11443/tid=11455] ppid=11441 vsize=3417692 CPUtime=2.28 cores=0-31
/proc/11443/task/11455/stat : 11455 (claspmt) S 11441 11443 11206 0 -1 4202560 23117 0 0 0 72 156 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604569678921184 0 0 -1 17 0 0 0
[pid=11443/tid=11456] ppid=11441 vsize=3417692 CPUtime=1.81 cores=0-31
/proc/11443/task/11456/stat : 11456 (claspmt) S 11441 11443 11206 0 -1 4202560 19301 0 0 0 28 153 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604559621799392 0 0 -1 4 0 0 0
[pid=11443/tid=11457] ppid=11441 vsize=3417692 CPUtime=3.92 cores=0-31
/proc/11443/task/11457/stat : 11457 (claspmt) R 11441 11443 11206 0 -1 4202560 22724 0 0 0 240 152 0 0 18 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=11443/tid=11458] ppid=11441 vsize=3417692 CPUtime=2.28 cores=0-31
/proc/11443/task/11458/stat : 11458 (claspmt) S 11441 11443 11206 0 -1 4202560 25346 0 0 0 88 140 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604558782815712 0 0 -1 20 0 0 0
[pid=11443/tid=11459] ppid=11441 vsize=3417692 CPUtime=2.66 cores=0-31
/proc/11443/task/11459/stat : 11459 (claspmt) S 11441 11443 11206 0 -1 4202560 22137 0 0 0 105 161 0 0 16 0 32 0 46874102 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604573546143200 0 0 -1 19 0 0 0
[pid=11443/tid=11460] ppid=11441 vsize=3417692 CPUtime=1.76 cores=0-31
/proc/11443/task/11460/stat : 11460 (claspmt) S 11441 11443 11206 0 -1 4202560 19336 0 0 0 27 149 0 0 16 0 32 0 46874103 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604563932978656 0 0 -1 27 0 0 0
[pid=11443/tid=11461] ppid=11441 vsize=3417692 CPUtime=1.76 cores=0-31
/proc/11443/task/11461/stat : 11461 (claspmt) S 11441 11443 11206 0 -1 4202560 19280 0 0 0 26 150 0 0 16 0 32 0 46874103 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604563549511136 0 0 -1 9 0 0 0
[pid=11443/tid=11462] ppid=11441 vsize=3417692 CPUtime=2.34 cores=0-31
/proc/11443/task/11462/stat : 11462 (claspmt) S 11441 11443 11206 0 -1 4202560 23211 0 0 0 76 158 0 0 16 0 32 0 46874103 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604567364025824 0 0 -1 16 0 0 0
[pid=11443/tid=11463] ppid=11441 vsize=3417692 CPUtime=2.29 cores=0-31
/proc/11443/task/11463/stat : 11463 (claspmt) S 11441 11443 11206 0 -1 4202560 24966 0 0 0 68 161 0 0 16 0 32 0 46874103 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604564367646176 0 0 -1 21 0 0 0
[pid=11443/tid=11464] ppid=11441 vsize=3417692 CPUtime=1.82 cores=0-31
/proc/11443/task/11464/stat : 11464 (claspmt) S 11441 11443 11206 0 -1 4202560 19224 0 0 0 24 158 0 0 16 0 32 0 46874103 3499716608 645150 270582939648 4194304 4964800 140737464272080 18446744073709551615 258662772457 0 0 4096 18946 18446604568782470624 0 0 -1 25 0 0 0
[pid=11443/tid=11465] ppid=11441 vsize=3417692 CPUtime=3.82 cores=0-31
################
# More data... #
################
/proc/11443/task/11455/stat : 11455 (claspmt) R 11441 11443 11206 0 -1 4202560 49796 0 0 0 229960 247 0 0 20 0 32 0 46874102 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=11443/tid=11456] ppid=11441 vsize=11040456 CPUtime=2301.32 cores=0-31
/proc/11443/task/11456/stat : 11456 (claspmt) R 11441 11443 11206 0 -1 4202560 56800 0 0 0 229883 249 0 0 25 0 32 0 46874102 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4668564 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11443/tid=11457] ppid=11441 vsize=11040456 CPUtime=3202.21 cores=0-31
/proc/11443/task/11457/stat : 11457 (claspmt) R 11441 11443 11206 0 -1 4202560 25009 0 0 0 320063 158 0 0 25 0 32 0 46874102 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=11443/tid=11458] ppid=11441 vsize=11040456 CPUtime=2302.42 cores=0-31
/proc/11443/task/11458/stat : 11458 (claspmt) R 11441 11443 11206 0 -1 4202560 61761 0 0 0 229983 259 0 0 25 0 32 0 46874102 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11443/tid=11459] ppid=11441 vsize=11040456 CPUtime=2302.86 cores=0-31
/proc/11443/task/11459/stat : 11459 (claspmt) R 11441 11443 11206 0 -1 4202560 46951 0 0 0 230032 254 0 0 25 0 32 0 46874102 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11443/tid=11460] ppid=11441 vsize=11040456 CPUtime=2266.26 cores=0-31
/proc/11443/task/11460/stat : 11460 (claspmt) R 11441 11443 11206 0 -1 4202560 26180 0 0 0 226452 174 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11443/tid=11461] ppid=11441 vsize=11040456 CPUtime=2302 cores=0-31
/proc/11443/task/11461/stat : 11461 (claspmt) R 11441 11443 11206 0 -1 4202560 23618 0 0 0 230037 163 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11443/tid=11462] ppid=11441 vsize=11040456 CPUtime=2290.62 cores=0-31
/proc/11443/task/11462/stat : 11462 (claspmt) R 11441 11443 11206 0 -1 4202560 319530 0 0 0 228260 802 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=11443/tid=11463] ppid=11441 vsize=11040456 CPUtime=2302.45 cores=0-31
/proc/11443/task/11463/stat : 11463 (claspmt) R 11441 11443 11206 0 -1 4202560 59905 0 0 0 229976 269 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=11443/tid=11464] ppid=11441 vsize=11040456 CPUtime=2301.98 cores=0-31
/proc/11443/task/11464/stat : 11464 (claspmt) R 11441 11443 11206 0 -1 4202560 74599 0 0 0 229871 327 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=11443/tid=11465] ppid=11441 vsize=11040456 CPUtime=3202.26 cores=0-31
/proc/11443/task/11465/stat : 11465 (claspmt) R 11441 11443 11206 0 -1 4202560 25001 0 0 0 320041 185 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=11443/tid=11466] ppid=11441 vsize=11040456 CPUtime=2302.49 cores=0-31
/proc/11443/task/11466/stat : 11466 (claspmt) R 11441 11443 11206 0 -1 4202560 71459 0 0 0 229932 317 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11443/tid=11467] ppid=11441 vsize=11040456 CPUtime=2299.91 cores=0-31
/proc/11443/task/11467/stat : 11467 (claspmt) R 11441 11443 11206 0 -1 4202560 47920 0 0 0 229729 262 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=11443/tid=11468] ppid=11441 vsize=11040456 CPUtime=2302.01 cores=0-31
/proc/11443/task/11468/stat : 11468 (claspmt) R 11441 11443 11206 0 -1 4202560 27749 0 0 0 230016 185 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4651391 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11443/tid=11469] ppid=11441 vsize=11040456 CPUtime=2302.01 cores=0-31
/proc/11443/task/11469/stat : 11469 (claspmt) R 11441 11443 11206 0 -1 4202560 24769 0 0 0 230029 172 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4652140 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11443/tid=11470] ppid=11441 vsize=11040456 CPUtime=2302.24 cores=0-31
/proc/11443/task/11470/stat : 11470 (claspmt) R 11441 11443 11206 0 -1 4202560 231073 0 0 0 229590 634 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=11443/tid=11471] ppid=11441 vsize=11040456 CPUtime=2302.46 cores=0-31
/proc/11443/task/11471/stat : 11471 (claspmt) R 11441 11443 11206 0 -1 4202560 70941 0 0 0 229920 326 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11443/tid=11472] ppid=11441 vsize=11040456 CPUtime=2301.74 cores=0-31
/proc/11443/task/11472/stat : 11472 (claspmt) R 11441 11443 11206 0 -1 4202560 53042 0 0 0 229921 253 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11443/tid=11473] ppid=11441 vsize=11040456 CPUtime=3193.91 cores=0-31
/proc/11443/task/11473/stat : 11473 (claspmt) R 11441 11443 11206 0 -1 4202560 23426 0 0 0 319228 163 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11443/tid=11474] ppid=11441 vsize=11040456 CPUtime=2302.33 cores=0-31
/proc/11443/task/11474/stat : 11474 (claspmt) R 11441 11443 11206 0 -1 4202560 71722 0 0 0 229922 311 0 0 25 0 32 0 46874103 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=11443/tid=11475] ppid=11441 vsize=11040456 CPUtime=2302.74 cores=0-31
/proc/11443/task/11475/stat : 11475 (claspmt) R 11441 11443 11206 0 -1 4202560 76834 0 0 0 229921 353 0 0 25 0 32 0 46874104 11305426944 2501111 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 77207.9
Current children cumulated vsize (KiB) 11040456
[startup+3282.3 s]
/proc/loadavg: 32.24 32.25 30.74 33/445 11575
/proc/meminfo: memFree=251742100/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=11246068 CPUtime=79125.7 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 2630962 0 0 0 7902681 9891 0 0 25 0 32 0 46873774 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11443/statm: 2811517 2526513 457 189 0 2805866 0
[pid=11443/tid=11445] ppid=11441 vsize=11246068 CPUtime=2362.11 cores=0-31
/proc/11443/task/11445/stat : 11445 (claspmt) R 11441 11443 11206 0 -1 4202560 26904 0 0 0 236032 179 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4652165 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=11443/tid=11446] ppid=11441 vsize=11246068 CPUtime=2362.16 cores=0-31
/proc/11443/task/11446/stat : 11446 (claspmt) R 11441 11443 11206 0 -1 4202560 398417 0 0 0 235237 979 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=11443/tid=11447] ppid=11441 vsize=11246068 CPUtime=2362.46 cores=0-31
/proc/11443/task/11447/stat : 11447 (claspmt) R 11441 11443 11206 0 -1 4202560 62191 0 0 0 235958 288 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=11443/tid=11448] ppid=11441 vsize=11246068 CPUtime=2361.93 cores=0-31
/proc/11443/task/11448/stat : 11448 (claspmt) R 11441 11443 11206 0 -1 4202560 56520 0 0 0 235929 264 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4342186 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=11443/tid=11449] ppid=11441 vsize=11246068 CPUtime=3261.98 cores=0-31
/proc/11443/task/11449/stat : 11449 (claspmt) R 11441 11443 11206 0 -1 4202560 24607 0 0 0 326031 167 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11443/tid=11450] ppid=11441 vsize=11246068 CPUtime=2361.78 cores=0-31
/proc/11443/task/11450/stat : 11450 (claspmt) R 11441 11443 11206 0 -1 4202560 83888 0 0 0 235858 320 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11443/tid=11451] ppid=11441 vsize=11246068 CPUtime=2362.72 cores=0-31
/proc/11443/task/11451/stat : 11451 (claspmt) R 11441 11443 11206 0 -1 4202560 77470 0 0 0 235900 372 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11443/tid=11452] ppid=11441 vsize=11246068 CPUtime=2361.79 cores=0-31
/proc/11443/task/11452/stat : 11452 (claspmt) R 11441 11443 11206 0 -1 4202560 30569 0 0 0 236004 175 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11443/tid=11453] ppid=11441 vsize=11246068 CPUtime=2356.5 cores=0-31
/proc/11443/task/11453/stat : 11453 (claspmt) R 11441 11443 11206 0 -1 4202560 25730 0 0 0 235480 170 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11443/tid=11454] ppid=11441 vsize=11246068 CPUtime=2362.22 cores=0-31
/proc/11443/task/11454/stat : 11454 (claspmt) R 11441 11443 11206 0 -1 4202560 292318 0 0 0 235418 804 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4669017 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=11443/tid=11455] ppid=11441 vsize=11246068 CPUtime=2362.05 cores=0-31
/proc/11443/task/11455/stat : 11455 (claspmt) R 11441 11443 11206 0 -1 4202560 51576 0 0 0 235954 251 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=11443/tid=11456] ppid=11441 vsize=11246068 CPUtime=2361.3 cores=0-31
/proc/11443/task/11456/stat : 11456 (claspmt) R 11441 11443 11206 0 -1 4202560 56801 0 0 0 235881 249 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11443/tid=11457] ppid=11441 vsize=11246068 CPUtime=3262.2 cores=0-31
/proc/11443/task/11457/stat : 11457 (claspmt) R 11441 11443 11206 0 -1 4202560 25009 0 0 0 326062 158 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=11443/tid=11458] ppid=11441 vsize=11246068 CPUtime=2362.41 cores=0-31
/proc/11443/task/11458/stat : 11458 (claspmt) R 11441 11443 11206 0 -1 4202560 61889 0 0 0 235982 259 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11443/tid=11459] ppid=11441 vsize=11246068 CPUtime=2362.84 cores=0-31
/proc/11443/task/11459/stat : 11459 (claspmt) R 11441 11443 11206 0 -1 4202560 48864 0 0 0 236023 261 0 0 25 0 32 0 46874102 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11443/tid=11460] ppid=11441 vsize=11246068 CPUtime=2326.24 cores=0-31
/proc/11443/task/11460/stat : 11460 (claspmt) R 11441 11443 11206 0 -1 4202560 26208 0 0 0 232450 174 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4652165 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11443/tid=11461] ppid=11441 vsize=11246068 CPUtime=2361.99 cores=0-31
/proc/11443/task/11461/stat : 11461 (claspmt) R 11441 11443 11206 0 -1 4202560 23618 0 0 0 236036 163 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4371960 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11443/tid=11462] ppid=11441 vsize=11246068 CPUtime=2348.92 cores=0-31
/proc/11443/task/11462/stat : 11462 (claspmt) R 11441 11443 11206 0 -1 4202560 319567 0 0 0 234090 802 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=11443/tid=11463] ppid=11441 vsize=11246068 CPUtime=2362.44 cores=0-31
/proc/11443/task/11463/stat : 11463 (claspmt) R 11441 11443 11206 0 -1 4202560 59961 0 0 0 235975 269 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=11443/tid=11464] ppid=11441 vsize=11246068 CPUtime=2361.97 cores=0-31
/proc/11443/task/11464/stat : 11464 (claspmt) R 11441 11443 11206 0 -1 4202560 74622 0 0 0 235870 327 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=11443/tid=11465] ppid=11441 vsize=11246068 CPUtime=3262.23 cores=0-31
/proc/11443/task/11465/stat : 11465 (claspmt) R 11441 11443 11206 0 -1 4202560 25001 0 0 0 326037 186 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=11443/tid=11466] ppid=11441 vsize=11246068 CPUtime=2362.48 cores=0-31
/proc/11443/task/11466/stat : 11466 (claspmt) R 11441 11443 11206 0 -1 4202560 74916 0 0 0 235913 335 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11443/tid=11467] ppid=11441 vsize=11246068 CPUtime=2359.9 cores=0-31
/proc/11443/task/11467/stat : 11467 (claspmt) R 11441 11443 11206 0 -1 4202560 48841 0 0 0 235724 266 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=11443/tid=11468] ppid=11441 vsize=11246068 CPUtime=2362 cores=0-31
/proc/11443/task/11468/stat : 11468 (claspmt) R 11441 11443 11206 0 -1 4202560 28029 0 0 0 236013 187 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11443/tid=11469] ppid=11441 vsize=11246068 CPUtime=2362 cores=0-31
/proc/11443/task/11469/stat : 11469 (claspmt) R 11441 11443 11206 0 -1 4202560 24769 0 0 0 236028 172 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11443/tid=11470] ppid=11441 vsize=11246068 CPUtime=2362.2 cores=0-31
/proc/11443/task/11470/stat : 11470 (claspmt) R 11441 11443 11206 0 -1 4202560 232792 0 0 0 235582 638 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=11443/tid=11471] ppid=11441 vsize=11246068 CPUtime=2362.45 cores=0-31
/proc/11443/task/11471/stat : 11471 (claspmt) R 11441 11443 11206 0 -1 4202560 71146 0 0 0 235918 327 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11443/tid=11472] ppid=11441 vsize=11246068 CPUtime=2361.72 cores=0-31
/proc/11443/task/11472/stat : 11472 (claspmt) R 11441 11443 11206 0 -1 4202560 53237 0 0 0 235919 253 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11443/tid=11473] ppid=11441 vsize=11246068 CPUtime=3253.9 cores=0-31
/proc/11443/task/11473/stat : 11473 (claspmt) R 11441 11443 11206 0 -1 4202560 23426 0 0 0 325227 163 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11443/tid=11474] ppid=11441 vsize=11246068 CPUtime=2362.32 cores=0-31
/proc/11443/task/11474/stat : 11474 (claspmt) R 11441 11443 11206 0 -1 4202560 72185 0 0 0 235920 312 0 0 25 0 32 0 46874103 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=11443/tid=11475] ppid=11441 vsize=11246068 CPUtime=2362.72 cores=0-31
/proc/11443/task/11475/stat : 11475 (claspmt) R 11441 11443 11206 0 -1 4202560 78455 0 0 0 235912 360 0 0 25 0 32 0 46874104 11515973632 2526513 270582939648 4194304 4964800 140737464272080 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 79125.7
Current children cumulated vsize (KiB) 11246068
[startup+3342.3 s]
/proc/loadavg: 30.32 31.86 30.71 2/414 11577
/proc/meminfo: memFree=251891068/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=11017904 CPUtime=80929.2 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 2635787 0 0 0 8082897 10028 0 0 18 0 1 0 46873774 11282333696 2479395 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650611643 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11443/statm: 2754476 2479395 468 189 0 2748825 0
Current children cumulated CPU time (s) 80929.2
Current children cumulated vsize (KiB) 11017904
Solver just ended. Dumping a history of the last processes samples
[startup+3344 s]
/proc/loadavg: 27.98 31.35 30.55 2/414 11577
/proc/meminfo: memFree=252092196/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=10861196 CPUtime=80931 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 2635787 0 0 0 8083067 10029 0 0 22 0 1 0 46873774 11121864704 2437943 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650613570 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11443/statm: 2715299 2437943 468 189 0 2709648 0
Current children cumulated CPU time (s) 80931
Current children cumulated vsize (KiB) 10861196
[startup+3345.6 s]
/proc/loadavg: 27.98 31.35 30.55 2/414 11577
/proc/meminfo: memFree=252203308/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=10673776 CPUtime=80932.5 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 2635787 0 0 0 8083225 10030 0 0 25 0 1 0 46873774 10929946624 2400088 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650610978 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11443/statm: 2668444 2400088 468 189 0 2662793 0
Current children cumulated CPU time (s) 80932.5
Current children cumulated vsize (KiB) 10673776
[startup+3346.4 s]
/proc/loadavg: 27.98 31.35 30.55 2/414 11577
/proc/meminfo: memFree=252316768/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=10604128 CPUtime=80933.4 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 2635787 0 0 0 8083304 10031 0 0 25 0 1 0 46873774 10858627072 2374144 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650605132 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11443/statm: 2651032 2374144 468 189 0 2645381 0
Current children cumulated CPU time (s) 80933.4
Current children cumulated vsize (KiB) 10604128
[startup+3347.2 s]
/proc/loadavg: 27.98 31.35 30.55 2/414 11577
/proc/meminfo: memFree=252316768/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=4627208 CPUtime=80934.1 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202496 2635787 0 0 0 8083351 10064 0 0 25 0 1 0 46873774 4738260992 897785 270582939648 4194304 4964800 140737464272080 18446744073709551615 258650999159 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11443/statm: 1156802 897264 468 189 0 1151151 0
Current children cumulated CPU time (s) 80934.1
Current children cumulated vsize (KiB) 4627208
[startup+3347.42 s]
/proc/loadavg: 27.98 31.35 30.55 2/414 11577
/proc/meminfo: memFree=259840836/264257624 swapFree=67111528/67111528
[pid=11443] ppid=11441 vsize=0 CPUtime=80934.4 cores=0-31
/proc/11443/stat : 11443 (claspmt) R 11441 11443 11206 0 -1 4202500 2635788 0 0 0 8083351 10086 0 0 25 0 1 0 46873774 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/11443/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 80934.4
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 3347.46
CPU time (s): 80934.4
CPU user time (s): 80833.5
CPU system time (s): 100.902
CPU usage (%): 2417.78
Max. virtual memory (cumulated for all children) (KiB): 11311604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80833.5
system time used= 100.902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2635788
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= 934144
involuntary context switches= 195777
runsolver used 18.2532 second user time and 75.0576 second system time
The end
Begin job on node200 at 2011-06-11 19:54:29
IDJOB=3472515
IDBENCH=85005
IDSOLVER=1961
FILE ID=node200/3472515-1307814863
RUNJOBID= node200-1307814819-11220
PBS_JOBID= 13550839
Free space on /tmp= 61592 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.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-3472515-1307814863/watcher-3472515-1307814863 -o /tmp/evaluation-result-3472515-1307814863/solver-3472515-1307814863 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472515-1307814863.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED=1171143045
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: 261855028 kB
Buffers: 294296 kB
Cached: 1776504 kB
SwapCached: 0 kB
Active: 478224 kB
Inactive: 1656004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 261855028 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 157648 kB
Writeback: 4 kB
AnonPages: 63340 kB
Mapped: 14532 kB
Slab: 187216 kB
PageTables: 4368 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 166076 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= 61588 MiB
End job on node200 at 2011-06-11 20:50:16