0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...411355/instance-3472294-1307411355.cnf
4.79/4.86 c Solving...
895.04/37.32 s UNSATISFIABLE
895.04/37.32
895.04/37.32 c Models : 0
895.04/37.32 c Time : 35.093s (Solving: 30.23s 1st Model: 0.00s Unsat: 30.23s)
895.04/37.32 c CPU Time : 892.940s
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-3472294-1307411355/watcher-3472294-1307411355 -o /tmp/evaluation-result-3472294-1307411355/solver-3472294-1307411355 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472294-1307411355.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: 28.61 30.17 27.47 1/413 12678
/proc/meminfo: memFree=263490304/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=60292 CPUtime=0.02 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202496 4637 0 0 0 2 0 0 0 21 0 1 0 6522530 61739008 4567 270582939648 4194304 4964800 140735566562144 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12678/statm: 15073 4575 373 189 0 9947 0
[startup+0.0667949 s]
/proc/loadavg: 28.61 30.17 27.47 1/413 12678
/proc/meminfo: memFree=263490304/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=60292 CPUtime=0.05 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202496 9912 0 0 0 4 1 0 0 21 0 1 0 6522530 61739008 9843 270582939648 4194304 4964800 140735566562144 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12678/statm: 15073 9852 373 189 0 9947 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 60292
[startup+0.100799 s]
/proc/loadavg: 28.61 30.17 27.47 1/413 12678
/proc/meminfo: memFree=263490304/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=83028 CPUtime=0.08 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202496 18194 0 0 0 6 2 0 0 21 0 1 0 6522530 85020672 15663 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12678/statm: 20757 15665 383 189 0 15631 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83028
[startup+0.300801 s]
/proc/loadavg: 28.61 30.17 27.47 1/413 12678
/proc/meminfo: memFree=263490304/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=109404 CPUtime=0.29 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202496 27233 0 0 0 24 5 0 0 22 0 1 0 6522530 112029696 22068 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12678/statm: 27351 22071 383 189 0 22225 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 109404
[startup+0.700814 s]
/proc/loadavg: 28.61 30.17 27.47 1/413 12678
/proc/meminfo: memFree=263490304/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=169768 CPUtime=0.69 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202496 46194 0 0 0 61 8 0 0 23 0 1 0 6522530 173842432 36554 270582939648 4194304 4964800 140735566562144 18446744073709551615 4618241 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12678/statm: 42442 36554 396 189 0 37316 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 169768
[startup+1.50088 s]
/proc/loadavg: 28.61 30.17 27.47 2/414 12679
/proc/meminfo: memFree=263341852/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=181120 CPUtime=1.48 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202496 49322 0 0 0 140 8 0 0 25 0 1 0 6522530 185466880 39682 270582939648 4194304 4964800 140735566562144 18446744073709551615 4611782 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12678/statm: 45280 39682 401 189 0 40154 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 181120
[startup+3.10089 s]
/proc/loadavg: 26.40 29.68 27.33 2/414 12679
/proc/meminfo: memFree=263322336/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=197752 CPUtime=3.09 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202496 53464 0 0 0 300 9 0 0 25 0 1 0 6522530 202498048 43824 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/12678/statm: 49438 43824 401 189 0 44312 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 197752
[startup+6.30292 s]
/proc/loadavg: 26.40 29.68 27.33 32/445 12710
/proc/meminfo: memFree=262987632/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=2114620 CPUtime=34.79 cores=0-31
/proc/12678/stat : 12678 (claspmt) S 12676 12678 12474 0 -1 4202496 308946 0 0 0 612 2867 0 0 18 0 32 0 6522530 2165370880 222058 270582939648 4194304 4964800 140735566562144 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 14 0 0 0
/proc/12678/statm: 528655 222069 434 189 0 523004 0
[pid=12678/tid=12680] ppid=12676 vsize=2114620 CPUtime=0.97 cores=0-31
/proc/12678/task/12680/stat : 12680 (claspmt) D 12676 12678 12474 0 -1 4202560 5543 0 0 0 3 94 0 0 18 0 32 0 6523017 2165370880 222069 270582939648 4194304 4964800 140735566562144 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=2114620 CPUtime=0.94 cores=0-31
/proc/12678/task/12681/stat : 12681 (claspmt) D 12676 12678 12474 0 -1 4202560 7713 0 0 0 2 92 0 0 18 0 32 0 6523017 2165370880 222071 270582939648 4194304 4964800 140735566562144 18446744073709551615 4377917 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12678/tid=12682] ppid=12676 vsize=2114620 CPUtime=0.96 cores=0-31
/proc/12678/task/12682/stat : 12682 (claspmt) D 12676 12678 12474 0 -1 4202560 5646 0 0 0 2 94 0 0 18 0 32 0 6523017 2165370880 222080 270582939648 4194304 4964800 140735566562144 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12678/tid=12683] ppid=12676 vsize=2114620 CPUtime=0.94 cores=0-31
/proc/12678/task/12683/stat : 12683 (claspmt) R 12676 12678 12474 0 -1 4202560 8712 0 0 0 4 90 0 0 17 0 32 0 6523017 2165370880 222083 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616986 0 0 4096 18946 57221120 0 0 -1 24 0 0 0
[pid=12678/tid=12684] ppid=12676 vsize=2114620 CPUtime=0.96 cores=0-31
/proc/12678/task/12684/stat : 12684 (claspmt) D 12676 12678 12474 0 -1 4202560 9052 0 0 0 6 90 0 0 17 0 32 0 6523017 2165370880 222087 270582939648 4194304 4964800 140735566562144 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12678/tid=12685] ppid=12676 vsize=2114620 CPUtime=0.95 cores=0-31
/proc/12678/task/12685/stat : 12685 (claspmt) D 12676 12678 12474 0 -1 4202560 7388 0 0 0 3 92 0 0 18 0 32 0 6523017 2165370880 222095 270582939648 4194304 4964800 140735566562144 18446744073709551615 4377969 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12678/tid=12686] ppid=12676 vsize=2114620 CPUtime=0.91 cores=0-31
/proc/12678/task/12686/stat : 12686 (claspmt) D 12676 12678 12474 0 -1 4202560 5739 0 0 0 1 90 0 0 18 0 32 0 6523017 2165370880 222098 270582939648 4194304 4964800 140735566562144 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12678/tid=12687] ppid=12676 vsize=2114620 CPUtime=0.97 cores=0-31
/proc/12678/task/12687/stat : 12687 (claspmt) D 12676 12678 12474 0 -1 4202560 8422 0 0 0 5 92 0 0 17 0 32 0 6523017 2165370880 222102 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12678/tid=12688] ppid=12676 vsize=2114620 CPUtime=0.94 cores=0-31
/proc/12678/task/12688/stat : 12688 (claspmt) D 12676 12678 12474 0 -1 4202560 8329 0 0 0 3 91 0 0 17 0 32 0 6523017 2165370880 222106 270582939648 4194304 4964800 140735566562144 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12678/tid=12689] ppid=12676 vsize=2114620 CPUtime=0.97 cores=0-31
/proc/12678/task/12689/stat : 12689 (claspmt) D 12676 12678 12474 0 -1 4202560 8269 0 0 0 3 94 0 0 18 0 32 0 6523017 2165370880 222109 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12678/tid=12690] ppid=12676 vsize=2114620 CPUtime=0.96 cores=0-31
/proc/12678/task/12690/stat : 12690 (claspmt) D 12676 12678 12474 0 -1 4202560 8641 0 0 0 5 91 0 0 18 0 32 0 6523017 2165370880 222111 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12678/tid=12691] ppid=12676 vsize=2114620 CPUtime=0.93 cores=0-31
/proc/12678/task/12691/stat : 12691 (claspmt) D 12676 12678 12474 0 -1 4202560 8958 0 0 0 6 87 0 0 17 0 32 0 6523017 2165370880 222113 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12678/tid=12692] ppid=12676 vsize=2114620 CPUtime=0.95 cores=0-31
/proc/12678/task/12692/stat : 12692 (claspmt) D 12676 12678 12474 0 -1 4202560 8942 0 0 0 6 89 0 0 17 0 32 0 6523017 2165370880 222121 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650653008 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12678/tid=12693] ppid=12676 vsize=2114620 CPUtime=0.96 cores=0-31
/proc/12678/task/12693/stat : 12693 (claspmt) R 12676 12678 12474 0 -1 4202560 9010 0 0 0 5 91 0 0 18 0 32 0 6523017 2165370880 222121 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12678/tid=12694] ppid=12676 vsize=2114620 CPUtime=0.95 cores=0-31
/proc/12678/task/12694/stat : 12694 (claspmt) R 12676 12678 12474 0 -1 4202560 8638 0 0 0 3 92 0 0 18 0 32 0 6523017 2165370880 222126 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12678/tid=12695] ppid=12676 vsize=2180156 CPUtime=0.98 cores=0-31
/proc/12678/task/12695/stat : 12695 (claspmt) D 12676 12678 12474 0 -1 4202560 4500 0 0 0 1 97 0 0 18 0 32 0 6523017 2232479744 222131 270582939648 4194304 4964800 140735566562144 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12678/tid=12696] ppid=12676 vsize=2180156 CPUtime=0.98 cores=0-31
/proc/12678/task/12696/stat : 12696 (claspmt) D 12676 12678 12474 0 -1 4202560 8429 0 0 0 5 93 0 0 18 0 32 0 6523017 2232479744 222139 270582939648 4194304 4964800 140735566562144 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12678/tid=12697] ppid=12676 vsize=2180156 CPUtime=0.97 cores=0-31
/proc/12678/task/12697/stat : 12697 (claspmt) D 12676 12678 12474 0 -1 4202560 8197 0 0 0 3 94 0 0 18 0 32 0 6523017 2232479744 222140 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650981722 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12678/tid=12698] ppid=12676 vsize=2180316 CPUtime=0.98 cores=0-31
/proc/12678/task/12698/stat : 12698 (claspmt) D 12676 12678 12474 0 -1 4202560 8226 0 0 0 2 96 0 0 18 0 32 0 6523017 2232643584 222144 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12678/tid=12699] ppid=12676 vsize=2180316 CPUtime=0.96 cores=0-31
/proc/12678/task/12699/stat : 12699 (claspmt) D 12676 12678 12474 0 -1 4202560 8042 0 0 0 5 91 0 0 18 0 32 0 6523017 2232643584 222148 270582939648 4194304 4964800 140735566562144 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12678/tid=12700] ppid=12676 vsize=2180316 CPUtime=0.95 cores=0-31
/proc/12678/task/12700/stat : 12700 (claspmt) R 12676 12678 12474 0 -1 4202560 8303 0 0 0 5 90 0 0 17 0 32 0 6523017 2232643584 222154 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12678/tid=12701] ppid=12676 vsize=2180316 CPUtime=0.93 cores=0-31
/proc/12678/task/12701/stat : 12701 (claspmt) D 12676 12678 12474 0 -1 4202560 10079 0 0 0 6 87 0 0 17 0 32 0 6523017 2232643584 222158 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12678/tid=12702] ppid=12676 vsize=2180316 CPUtime=0.94 cores=0-31
/proc/12678/task/12702/stat : 12702 (claspmt) D 12676 12678 12474 0 -1 4202560 9782 0 0 0 5 89 0 0 17 0 32 0 6523018 2232643584 222166 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12678/tid=12703] ppid=12676 vsize=2180316 CPUtime=0.98 cores=0-31
/proc/12678/task/12703/stat : 12703 (claspmt) D 12676 12678 12474 0 -1 4202560 7944 0 0 0 4 94 0 0 17 0 32 0 6523018 2232643584 222167 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12678/tid=12704] ppid=12676 vsize=2180316 CPUtime=0.97 cores=0-31
/proc/12678/task/12704/stat : 12704 (claspmt) D 12676 12678 12474 0 -1 4202560 5951 0 0 0 4 93 0 0 18 0 32 0 6523018 2232643584 222176 270582939648 4194304 4964800 140735566562144 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12678/tid=12705] ppid=12676 vsize=2180316 CPUtime=0.96 cores=0-31
/proc/12678/task/12705/stat : 12705 (claspmt) D 12676 12678 12474 0 -1 4202560 8626 0 0 0 3 93 0 0 18 0 32 0 6523018 2232643584 222179 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12678/tid=12706] ppid=12676 vsize=2180316 CPUtime=0.95 cores=0-31
/proc/12678/task/12706/stat : 12706 (claspmt) D 12676 12678 12474 0 -1 4202560 9248 0 0 0 5 90 0 0 17 0 32 0 6523018 2232643584 222184 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12678/tid=12707] ppid=12676 vsize=2180316 CPUtime=0.96 cores=0-31
/proc/12678/task/12707/stat : 12707 (claspmt) R 12676 12678 12474 0 -1 4202560 8687 0 0 0 4 92 0 0 17 0 32 0 6523018 2232643584 222186 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12678/tid=12708] ppid=12676 vsize=2180316 CPUtime=0.95 cores=0-31
/proc/12678/task/12708/stat : 12708 (claspmt) D 12676 12678 12474 0 -1 4202560 7988 0 0 0 3 92 0 0 18 0 32 0 6523018 2232643584 222193 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12678/tid=12709] ppid=12676 vsize=2180316 CPUtime=0.94 cores=0-31
/proc/12678/task/12709/stat : 12709 (claspmt) D 12676 12678 12474 0 -1 4202560 9189 0 0 0 5 89 0 0 17 0 32 0 6523018 2232643584 222194 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12678/tid=12710] ppid=12676 vsize=2180316 CPUtime=0.94 cores=0-31
/proc/12678/task/12710/stat : 12710 (claspmt) R 12676 12678 12474 0 -1 4202560 9058 0 0 0 3 91 0 0 18 0 32 0 6523018 2232643584 222196 270582939648 4194304 4964800 140735566562144 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 34.79
Current children cumulated vsize (KiB) 2114620
[startup+12.7021 s]
/proc/loadavg: 26.89 29.68 27.35 33/445 12710
/proc/meminfo: memFree=262136340/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=2550168 CPUtime=178.18 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202496 428942 0 0 0 14571 3247 0 0 25 0 32 0 6522530 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4370224 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/12678/statm: 637542 339155 461 189 0 631891 0
[pid=12678/tid=12680] ppid=12676 vsize=2550168 CPUtime=5.37 cores=0-31
/proc/12678/task/12680/stat : 12680 (claspmt) R 12676 12678 12474 0 -1 4202560 9554 0 0 0 430 107 0 0 20 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=2550168 CPUtime=5.38 cores=0-31
/proc/12678/task/12681/stat : 12681 (claspmt) R 12676 12678 12474 0 -1 4202560 13203 0 0 0 431 107 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12678/tid=12682] ppid=12676 vsize=2550168 CPUtime=5.1 cores=0-31
/proc/12678/task/12682/stat : 12682 (claspmt) R 12676 12678 12474 0 -1 4202560 12850 0 0 0 400 110 0 0 25 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668822 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12678/tid=12683] ppid=12676 vsize=2550168 CPUtime=5.21 cores=0-31
/proc/12678/task/12683/stat : 12683 (claspmt) R 12676 12678 12474 0 -1 4202560 10565 0 0 0 425 96 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4370266 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12678/tid=12684] ppid=12676 vsize=2550168 CPUtime=6.24 cores=0-31
/proc/12678/task/12684/stat : 12684 (claspmt) R 12676 12678 12474 0 -1 4202560 11714 0 0 0 525 99 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12678/tid=12685] ppid=12676 vsize=2550168 CPUtime=5.39 cores=0-31
/proc/12678/task/12685/stat : 12685 (claspmt) R 12676 12678 12474 0 -1 4202560 13554 0 0 0 431 108 0 0 25 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12678/tid=12686] ppid=12676 vsize=2550168 CPUtime=5.38 cores=0-31
/proc/12678/task/12686/stat : 12686 (claspmt) R 12676 12678 12474 0 -1 4202560 11148 0 0 0 433 105 0 0 25 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668969 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12678/tid=12687] ppid=12676 vsize=2550168 CPUtime=5.28 cores=0-31
/proc/12678/task/12687/stat : 12687 (claspmt) R 12676 12678 12474 0 -1 4202560 10852 0 0 0 426 102 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12678/tid=12688] ppid=12676 vsize=2550168 CPUtime=5.23 cores=0-31
/proc/12678/task/12688/stat : 12688 (claspmt) R 12676 12678 12474 0 -1 4202560 10704 0 0 0 424 99 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668759 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12678/tid=12689] ppid=12676 vsize=2550168 CPUtime=5.4 cores=0-31
/proc/12678/task/12689/stat : 12689 (claspmt) R 12676 12678 12474 0 -1 4202560 13546 0 0 0 432 108 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12678/tid=12690] ppid=12676 vsize=2550168 CPUtime=5.38 cores=0-31
/proc/12678/task/12690/stat : 12690 (claspmt) R 12676 12678 12474 0 -1 4202560 13890 0 0 0 432 106 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12678/tid=12691] ppid=12676 vsize=2550168 CPUtime=5.2 cores=0-31
/proc/12678/task/12691/stat : 12691 (claspmt) R 12676 12678 12474 0 -1 4202560 10567 0 0 0 426 94 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12678/tid=12692] ppid=12676 vsize=2550168 CPUtime=6.23 cores=0-31
/proc/12678/task/12692/stat : 12692 (claspmt) R 12676 12678 12474 0 -1 4202560 11404 0 0 0 524 99 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670427 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12678/tid=12693] ppid=12676 vsize=2550168 CPUtime=5.38 cores=0-31
/proc/12678/task/12693/stat : 12693 (claspmt) R 12676 12678 12474 0 -1 4202560 13847 0 0 0 431 107 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12678/tid=12694] ppid=12676 vsize=2550168 CPUtime=5.36 cores=0-31
/proc/12678/task/12694/stat : 12694 (claspmt) R 12676 12678 12474 0 -1 4202560 11924 0 0 0 431 105 0 0 18 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12678/tid=12695] ppid=12676 vsize=2550168 CPUtime=5.43 cores=0-31
/proc/12678/task/12695/stat : 12695 (claspmt) R 12676 12678 12474 0 -1 4202560 9930 0 0 0 429 114 0 0 25 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12678/tid=12696] ppid=12676 vsize=2550168 CPUtime=5.28 cores=0-31
/proc/12678/task/12696/stat : 12696 (claspmt) R 12676 12678 12474 0 -1 4202560 10778 0 0 0 426 102 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4371527 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12678/tid=12697] ppid=12676 vsize=2550168 CPUtime=5.4 cores=0-31
/proc/12678/task/12697/stat : 12697 (claspmt) R 12676 12678 12474 0 -1 4202560 13563 0 0 0 431 109 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12678/tid=12698] ppid=12676 vsize=2550168 CPUtime=5.41 cores=0-31
/proc/12678/task/12698/stat : 12698 (claspmt) R 12676 12678 12474 0 -1 4202560 13031 0 0 0 430 111 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12678/tid=12699] ppid=12676 vsize=2550168 CPUtime=5.28 cores=0-31
/proc/12678/task/12699/stat : 12699 (claspmt) R 12676 12678 12474 0 -1 4202560 10728 0 0 0 427 101 0 0 22 0 32 0 6523017 2611372032 339155 270582939648 4194304 4964800 140735566562144 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12678/tid=12700] ppid=12676 vsize=2550168 CPUtime=6.43 cores=0-31
################
# More data... #
################
/proc/12678/task/12681/stat : 12681 (claspmt) R 12676 12678 12474 0 -1 4202560 14041 0 0 0 1706 110 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12678/tid=12682] ppid=12676 vsize=2550168 CPUtime=17.52 cores=0-31
/proc/12678/task/12682/stat : 12682 (claspmt) R 12676 12678 12474 0 -1 4202560 13265 0 0 0 1641 111 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12678/tid=12683] ppid=12676 vsize=2550168 CPUtime=18.01 cores=0-31
/proc/12678/task/12683/stat : 12683 (claspmt) R 12676 12678 12474 0 -1 4202560 10841 0 0 0 1704 97 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12678/tid=12684] ppid=12676 vsize=2550168 CPUtime=19.04 cores=0-31
/proc/12678/task/12684/stat : 12684 (claspmt) R 12676 12678 12474 0 -1 4202560 11722 0 0 0 1805 99 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12678/tid=12685] ppid=12676 vsize=2550168 CPUtime=18.17 cores=0-31
/proc/12678/task/12685/stat : 12685 (claspmt) R 12676 12678 12474 0 -1 4202560 14017 0 0 0 1708 109 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12678/tid=12686] ppid=12676 vsize=2550168 CPUtime=18.17 cores=0-31
/proc/12678/task/12686/stat : 12686 (claspmt) R 12676 12678 12474 0 -1 4202560 11655 0 0 0 1710 107 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12678/tid=12687] ppid=12676 vsize=2550168 CPUtime=18.08 cores=0-31
/proc/12678/task/12687/stat : 12687 (claspmt) R 12676 12678 12474 0 -1 4202560 10980 0 0 0 1705 103 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12678/tid=12688] ppid=12676 vsize=2550168 CPUtime=18.03 cores=0-31
/proc/12678/task/12688/stat : 12688 (claspmt) R 12676 12678 12474 0 -1 4202560 10919 0 0 0 1703 100 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12678/tid=12689] ppid=12676 vsize=2550168 CPUtime=18.19 cores=0-31
/proc/12678/task/12689/stat : 12689 (claspmt) R 12676 12678 12474 0 -1 4202560 14741 0 0 0 1706 113 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12678/tid=12690] ppid=12676 vsize=2550168 CPUtime=18.17 cores=0-31
/proc/12678/task/12690/stat : 12690 (claspmt) R 12676 12678 12474 0 -1 4202560 14822 0 0 0 1709 108 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12678/tid=12691] ppid=12676 vsize=2550168 CPUtime=18 cores=0-31
/proc/12678/task/12691/stat : 12691 (claspmt) R 12676 12678 12474 0 -1 4202560 10677 0 0 0 1706 94 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670440 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12678/tid=12692] ppid=12676 vsize=2550168 CPUtime=19.03 cores=0-31
/proc/12678/task/12692/stat : 12692 (claspmt) R 12676 12678 12474 0 -1 4202560 11409 0 0 0 1804 99 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12678/tid=12693] ppid=12676 vsize=2550168 CPUtime=18.18 cores=0-31
/proc/12678/task/12693/stat : 12693 (claspmt) R 12676 12678 12474 0 -1 4202560 14249 0 0 0 1709 109 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12678/tid=12694] ppid=12676 vsize=2550168 CPUtime=18.16 cores=0-31
/proc/12678/task/12694/stat : 12694 (claspmt) R 12676 12678 12474 0 -1 4202560 12404 0 0 0 1708 108 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12678/tid=12695] ppid=12676 vsize=2550168 CPUtime=18.23 cores=0-31
/proc/12678/task/12695/stat : 12695 (claspmt) R 12676 12678 12474 0 -1 4202560 10116 0 0 0 1708 115 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12678/tid=12696] ppid=12676 vsize=2550168 CPUtime=18.08 cores=0-31
/proc/12678/task/12696/stat : 12696 (claspmt) R 12676 12678 12474 0 -1 4202560 11006 0 0 0 1705 103 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4629451 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12678/tid=12697] ppid=12676 vsize=2550168 CPUtime=18.2 cores=0-31
/proc/12678/task/12697/stat : 12697 (claspmt) R 12676 12678 12474 0 -1 4202560 15461 0 0 0 1706 114 0 0 23 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12678/tid=12698] ppid=12676 vsize=2550168 CPUtime=18.2 cores=0-31
/proc/12678/task/12698/stat : 12698 (claspmt) R 12676 12678 12474 0 -1 4202560 13689 0 0 0 1707 113 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12678/tid=12699] ppid=12676 vsize=2550168 CPUtime=18.07 cores=0-31
/proc/12678/task/12699/stat : 12699 (claspmt) R 12676 12678 12474 0 -1 4202560 10869 0 0 0 1706 101 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12678/tid=12700] ppid=12676 vsize=2550168 CPUtime=19.22 cores=0-31
/proc/12678/task/12700/stat : 12700 (claspmt) R 12676 12678 12474 0 -1 4202560 11294 0 0 0 1820 102 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12678/tid=12701] ppid=12676 vsize=2550168 CPUtime=18.09 cores=0-31
/proc/12678/task/12701/stat : 12701 (claspmt) R 12676 12678 12474 0 -1 4202560 14765 0 0 0 1707 102 0 0 25 0 32 0 6523017 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12678/tid=12702] ppid=12676 vsize=2550168 CPUtime=18.11 cores=0-31
/proc/12678/task/12702/stat : 12702 (claspmt) R 12676 12678 12474 0 -1 4202560 12935 0 0 0 1709 102 0 0 25 0 32 0 6523018 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12678/tid=12703] ppid=12676 vsize=2550168 CPUtime=18.08 cores=0-31
/proc/12678/task/12703/stat : 12703 (claspmt) R 12676 12678 12474 0 -1 4202560 10565 0 0 0 1704 104 0 0 25 0 32 0 6523018 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12678/tid=12704] ppid=12676 vsize=2550168 CPUtime=18.17 cores=0-31
/proc/12678/task/12704/stat : 12704 (claspmt) R 12676 12678 12474 0 -1 4202560 10462 0 0 0 1710 107 0 0 25 0 32 0 6523018 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12678/tid=12705] ppid=12676 vsize=2550168 CPUtime=18.18 cores=0-31
/proc/12678/task/12705/stat : 12705 (claspmt) R 12676 12678 12474 0 -1 4202560 14587 0 0 0 1705 113 0 0 25 0 32 0 6523018 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12678/tid=12706] ppid=12676 vsize=2550168 CPUtime=18.1 cores=0-31
/proc/12678/task/12706/stat : 12706 (claspmt) R 12676 12678 12474 0 -1 4202560 14339 0 0 0 1706 104 0 0 25 0 32 0 6523018 2611372032 353107 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12678/tid=12707] ppid=12676 vsize=2550168 CPUtime=18.04 cores=0-31
/proc/12678/task/12707/stat : 12707 (claspmt) R 12676 12678 12474 0 -1 4202560 10815 0 0 0 1704 100 0 0 25 0 32 0 6523018 2611372032 353109 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12678/tid=12708] ppid=12676 vsize=2550168 CPUtime=19.01 cores=0-31
/proc/12678/task/12708/stat : 12708 (claspmt) R 12676 12678 12474 0 -1 4202560 11016 0 0 0 1797 104 0 0 25 0 32 0 6523018 2611372032 353109 270582939648 4194304 4964800 140735566562144 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12678/tid=12709] ppid=12676 vsize=2550168 CPUtime=18.13 cores=0-31
/proc/12678/task/12709/stat : 12709 (claspmt) R 12676 12678 12474 0 -1 4202560 14758 0 0 0 1707 106 0 0 18 0 32 0 6523018 2611372032 353109 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12678/tid=12710] ppid=12676 vsize=2550168 CPUtime=18.15 cores=0-31
/proc/12678/task/12710/stat : 12710 (claspmt) R 12676 12678 12474 0 -1 4202560 12598 0 0 0 1709 106 0 0 25 0 32 0 6523018 2611372032 353109 270582939648 4194304 4964800 140735566562144 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 587.27
Current children cumulated vsize (KiB) 2550168
Solver just ended. Dumping a history of the last processes samples
[startup+31.9218 s]
/proc/loadavg: 28.02 29.79 27.43 33/445 12712
/proc/meminfo: memFree=262058476/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=2550168 CPUtime=792.48 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202496 448876 0 0 0 75926 3322 0 0 25 0 32 0 6522530 2611372032 359089 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/12678/statm: 637542 359089 461 189 0 631891 0
[pid=12678/tid=12680] ppid=12676 vsize=2550168 CPUtime=24.58 cores=0-31
/proc/12678/task/12680/stat : 12680 (claspmt) R 12676 12678 12474 0 -1 4202560 9748 0 0 0 2351 107 0 0 25 0 32 0 6523017 2611372032 359089 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=2550168 CPUtime=24.59 cores=0-31
/proc/12678/task/12681/stat : 12681 (claspmt) R 12676 12678 12474 0 -1 4202560 14957 0 0 0 2345 114 0 0 25 0 32 0 6523017 2611372032 359089 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12678/tid=12682] ppid=12676 vsize=2550168 CPUtime=23.76 cores=0-31
/proc/12678/task/12682/stat : 12682 (claspmt) R 12676 12678 12474 0 -1 4202560 13575 0 0 0 2263 113 0 0 21 0 32 0 6523017 2611372032 359089 270582939648 4194304 4964800 140735566562144 18446744073709551615 4363158 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12678/tid=12683] ppid=12676 vsize=2550168 CPUtime=24.42 cores=0-31
/proc/12678/task/12683/stat : 12683 (claspmt) R 12676 12678 12474 0 -1 4202560 10900 0 0 0 2345 97 0 0 25 0 32 0 6523017 2611372032 359089 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12678/tid=12684] ppid=12676 vsize=2550168 CPUtime=25.46 cores=0-31
/proc/12678/task/12684/stat : 12684 (claspmt) R 12676 12678 12474 0 -1 4202560 11724 0 0 0 2447 99 0 0 25 0 32 0 6523017 2611372032 359089 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12678/tid=12685] ppid=12676 vsize=2550168 CPUtime=24.6 cores=0-31
/proc/12678/task/12685/stat : 12685 (claspmt) R 12676 12678 12474 0 -1 4202560 14089 0 0 0 2350 110 0 0 25 0 32 0 6523017 2611372032 359090 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12678/tid=12686] ppid=12676 vsize=2550168 CPUtime=24.59 cores=0-31
/proc/12678/task/12686/stat : 12686 (claspmt) R 12676 12678 12474 0 -1 4202560 11865 0 0 0 2351 108 0 0 25 0 32 0 6523017 2611372032 359090 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12678/tid=12687] ppid=12676 vsize=2550168 CPUtime=24.5 cores=0-31
/proc/12678/task/12687/stat : 12687 (claspmt) R 12676 12678 12474 0 -1 4202560 11006 0 0 0 2347 103 0 0 25 0 32 0 6523017 2611372032 359090 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669973 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12678/tid=12688] ppid=12676 vsize=2550168 CPUtime=24.45 cores=0-31
/proc/12678/task/12688/stat : 12688 (claspmt) R 12676 12678 12474 0 -1 4202560 10948 0 0 0 2345 100 0 0 25 0 32 0 6523017 2611372032 359091 270582939648 4194304 4964800 140735566562144 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12678/tid=12689] ppid=12676 vsize=2550168 CPUtime=24.6 cores=0-31
/proc/12678/task/12689/stat : 12689 (claspmt) R 12676 12678 12474 0 -1 4202560 15698 0 0 0 2344 116 0 0 25 0 32 0 6523017 2611372032 359091 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12678/tid=12690] ppid=12676 vsize=2550168 CPUtime=24.6 cores=0-31
/proc/12678/task/12690/stat : 12690 (claspmt) R 12676 12678 12474 0 -1 4202560 15108 0 0 0 2350 110 0 0 25 0 32 0 6523017 2611372032 359091 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12678/tid=12691] ppid=12676 vsize=2550168 CPUtime=24.41 cores=0-31
/proc/12678/task/12691/stat : 12691 (claspmt) R 12676 12678 12474 0 -1 4202560 10681 0 0 0 2347 94 0 0 25 0 32 0 6523017 2611372032 359091 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12678/tid=12692] ppid=12676 vsize=2550168 CPUtime=25.45 cores=0-31
/proc/12678/task/12692/stat : 12692 (claspmt) R 12676 12678 12474 0 -1 4202560 11412 0 0 0 2446 99 0 0 25 0 32 0 6523017 2611372032 359091 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12678/tid=12693] ppid=12676 vsize=2550168 CPUtime=24.61 cores=0-31
/proc/12678/task/12693/stat : 12693 (claspmt) R 12676 12678 12474 0 -1 4202560 14403 0 0 0 2351 110 0 0 25 0 32 0 6523017 2611372032 359091 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12678/tid=12694] ppid=12676 vsize=2550168 CPUtime=24.58 cores=0-31
/proc/12678/task/12694/stat : 12694 (claspmt) R 12676 12678 12474 0 -1 4202560 12439 0 0 0 2350 108 0 0 25 0 32 0 6523017 2611372032 359091 270582939648 4194304 4964800 140735566562144 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12678/tid=12695] ppid=12676 vsize=2550168 CPUtime=24.65 cores=0-31
/proc/12678/task/12695/stat : 12695 (claspmt) R 12676 12678 12474 0 -1 4202560 10133 0 0 0 2350 115 0 0 25 0 32 0 6523017 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12678/tid=12696] ppid=12676 vsize=2550168 CPUtime=24.5 cores=0-31
/proc/12678/task/12696/stat : 12696 (claspmt) R 12676 12678 12474 0 -1 4202560 11012 0 0 0 2347 103 0 0 25 0 32 0 6523017 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12678/tid=12697] ppid=12676 vsize=2550168 CPUtime=24.61 cores=0-31
/proc/12678/task/12697/stat : 12697 (claspmt) R 12676 12678 12474 0 -1 4202560 16051 0 0 0 2346 115 0 0 25 0 32 0 6523017 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12678/tid=12698] ppid=12676 vsize=2550168 CPUtime=24.62 cores=0-31
/proc/12678/task/12698/stat : 12698 (claspmt) R 12676 12678 12474 0 -1 4202560 14003 0 0 0 2348 114 0 0 25 0 32 0 6523017 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12678/tid=12699] ppid=12676 vsize=2550168 CPUtime=24.49 cores=0-31
/proc/12678/task/12699/stat : 12699 (claspmt) R 12676 12678 12474 0 -1 4202560 10927 0 0 0 2348 101 0 0 25 0 32 0 6523017 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12678/tid=12700] ppid=12676 vsize=2550168 CPUtime=25.64 cores=0-31
/proc/12678/task/12700/stat : 12700 (claspmt) R 12676 12678 12474 0 -1 4202560 11295 0 0 0 2462 102 0 0 25 0 32 0 6523017 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12678/tid=12701] ppid=12676 vsize=2550168 CPUtime=24.51 cores=0-31
/proc/12678/task/12701/stat : 12701 (claspmt) R 12676 12678 12474 0 -1 4202560 15275 0 0 0 2347 104 0 0 25 0 32 0 6523017 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12678/tid=12702] ppid=12676 vsize=2550168 CPUtime=24.53 cores=0-31
/proc/12678/task/12702/stat : 12702 (claspmt) R 12676 12678 12474 0 -1 4202560 13074 0 0 0 2351 102 0 0 25 0 32 0 6523018 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4669973 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12678/tid=12703] ppid=12676 vsize=2550168 CPUtime=24.49 cores=0-31
/proc/12678/task/12703/stat : 12703 (claspmt) R 12676 12678 12474 0 -1 4202560 10574 0 0 0 2345 104 0 0 25 0 32 0 6523018 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12678/tid=12704] ppid=12676 vsize=2550168 CPUtime=24.59 cores=0-31
/proc/12678/task/12704/stat : 12704 (claspmt) R 12676 12678 12474 0 -1 4202560 10476 0 0 0 2352 107 0 0 25 0 32 0 6523018 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12678/tid=12705] ppid=12676 vsize=2550168 CPUtime=24.59 cores=0-31
/proc/12678/task/12705/stat : 12705 (claspmt) R 12676 12678 12474 0 -1 4202560 15043 0 0 0 2345 114 0 0 25 0 32 0 6523018 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12678/tid=12706] ppid=12676 vsize=2550168 CPUtime=24.52 cores=0-31
/proc/12678/task/12706/stat : 12706 (claspmt) R 12676 12678 12474 0 -1 4202560 14495 0 0 0 2347 105 0 0 25 0 32 0 6523018 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12678/tid=12707] ppid=12676 vsize=2550168 CPUtime=24.46 cores=0-31
/proc/12678/task/12707/stat : 12707 (claspmt) R 12676 12678 12474 0 -1 4202560 10833 0 0 0 2346 100 0 0 25 0 32 0 6523018 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4364593 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12678/tid=12708] ppid=12676 vsize=2550168 CPUtime=25.42 cores=0-31
/proc/12678/task/12708/stat : 12708 (claspmt) R 12676 12678 12474 0 -1 4202560 11018 0 0 0 2438 104 0 0 25 0 32 0 6523018 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4668770 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12678/tid=12709] ppid=12676 vsize=2550168 CPUtime=24.56 cores=0-31
/proc/12678/task/12709/stat : 12709 (claspmt) R 12676 12678 12474 0 -1 4202560 15066 0 0 0 2348 108 0 0 21 0 32 0 6523018 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12678/tid=12710] ppid=12676 vsize=2550168 CPUtime=24.56 cores=0-31
/proc/12678/task/12710/stat : 12710 (claspmt) R 12676 12678 12474 0 -1 4202560 12862 0 0 0 2350 106 0 0 25 0 32 0 6523018 2611372032 359092 270582939648 4194304 4964800 140735566562144 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 792.48
Current children cumulated vsize (KiB) 2550168
[startup+35.1021 s]
/proc/loadavg: 28.34 29.83 27.45 2/414 12712
/proc/meminfo: memFree=262037640/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=2459968 CPUtime=892.96 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202496 454051 0 0 0 85946 3350 0 0 17 0 1 0 6522530 2519007232 364220 270582939648 4194304 4964800 140735566562144 18446744073709551615 4699356 0 0 4096 18946 0 0 0 17 30 0 0 0
/proc/12678/statm: 614992 364220 472 189 0 609341 0
Current children cumulated CPU time (s) 892.96
Current children cumulated vsize (KiB) 2459968
[startup+36.7011 s]
/proc/loadavg: 28.34 29.83 27.45 2/414 12712
/proc/meminfo: memFree=262220440/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=2129816 CPUtime=894.54 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202496 454051 0 0 0 86101 3353 0 0 19 0 1 0 6522530 2180931584 280230 270582939648 4194304 4964800 140735566562144 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 30 0 0 0
/proc/12678/statm: 532454 280230 472 189 0 526803 0
Current children cumulated CPU time (s) 894.54
Current children cumulated vsize (KiB) 2129816
[startup+37.1011 s]
/proc/loadavg: 28.34 29.83 27.45 2/414 12712
/proc/meminfo: memFree=262220440/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=2027952 CPUtime=894.94 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202496 454051 0 0 0 86141 3353 0 0 20 0 1 0 6522530 2076622848 253626 270582939648 4194304 4964800 140735566562144 18446744073709551615 258650612750 0 0 4096 18946 0 0 0 17 30 0 0 0
/proc/12678/statm: 506988 253626 472 189 0 501337 0
Current children cumulated CPU time (s) 894.94
Current children cumulated vsize (KiB) 2027952
[startup+37.3011 s]
/proc/loadavg: 26.15 29.35 27.31 2/414 12712
/proc/meminfo: memFree=262616436/264257624 swapFree=67111528/67111528
[pid=12678] ppid=12676 vsize=0 CPUtime=895.17 cores=0-31
/proc/12678/stat : 12678 (claspmt) R 12676 12678 12474 0 -1 4202500 454052 0 0 0 86160 3357 0 0 21 0 1 0 6522530 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/12678/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 895.17
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 37.3583
CPU time (s): 895.205
CPU user time (s): 861.602
CPU system time (s): 33.6029
CPU usage (%): 2396.27
Max. virtual memory (cumulated for all children) (KiB): 2550168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 861.602
system time used= 33.6029
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 454052
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= 217559
involuntary context switches= 1959
runsolver used 0.282956 second user time and 0.899863 second system time
The end
Begin job on node200 at 2011-06-07 03:49:17
IDJOB=3472294
IDBENCH=69619
IDSOLVER=1961
FILE ID=node200/3472294-1307411355
RUNJOBID= node200-1307411196-12488
PBS_JOBID= 13509177
Free space on /tmp= 61728 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f7nidw.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-3472294-1307411355/watcher-3472294-1307411355 -o /tmp/evaluation-result-3472294-1307411355/solver-3472294-1307411355 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472294-1307411355.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2
RANDOM SEED=1142583221
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: 263490576 kB
Buffers: 67204 kB
Cached: 493580 kB
SwapCached: 0 kB
Active: 158552 kB
Inactive: 465612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263490576 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 17556 kB
Writeback: 0 kB
AnonPages: 62936 kB
Mapped: 14528 kB
Slab: 66572 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 160020 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= 61728 MiB
End job on node200 at 2011-06-07 03:49:54