0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...818219/instance-3472516-1307818219.cnf
27.78/27.82 c Solving...
24770.10/1041.64 s UNSATISFIABLE
24770.10/1041.64
24770.10/1041.64 c Models : 0
24770.10/1041.64 c Time : 1037.076s (Solving: 1009.26s 1st Model: 0.00s Unsat: 1009.26s)
24770.10/1041.64 c CPU Time : 24765.550s
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-3472516-1307818219/watcher-3472516-1307818219 -o /tmp/evaluation-result-3472516-1307818219/solver-3472516-1307818219 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472516-1307818219.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: 25.74 30.83 30.38 1/413 11636
/proc/meminfo: memFree=261922576/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=47508 CPUtime=0.03 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 4831 0 0 0 2 1 0 0 22 0 1 0 47209101 48648192 4760 270582939648 4194304 4964800 140737109382240 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/11636/statm: 11877 4768 373 189 0 6751 0
[startup+0.086638 s]
/proc/loadavg: 25.74 30.83 30.38 1/413 11636
/proc/meminfo: memFree=261922576/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=65596 CPUtime=0.08 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 13180 0 0 0 6 2 0 0 22 0 1 0 47209101 67170304 11300 270582939648 4194304 4964800 140737109382240 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/11636/statm: 16399 11314 383 189 0 11273 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 65596
[startup+0.100639 s]
/proc/loadavg: 25.74 30.83 30.38 1/413 11636
/proc/meminfo: memFree=261922576/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=66924 CPUtime=0.09 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 13873 0 0 0 7 2 0 0 22 0 1 0 47209101 68530176 11691 270582939648 4194304 4964800 140737109382240 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/11636/statm: 16731 11694 383 189 0 11605 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 66924
[startup+0.300651 s]
/proc/loadavg: 25.74 30.83 30.38 1/413 11636
/proc/meminfo: memFree=261922576/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=91244 CPUtime=0.29 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 22141 0 0 0 25 4 0 0 23 0 1 0 47209101 93433856 17762 270582939648 4194304 4964800 140737109382240 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/11636/statm: 22811 17763 383 189 0 17685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 91244
[startup+0.700655 s]
/proc/loadavg: 25.74 30.83 30.38 1/413 11636
/proc/meminfo: memFree=261922576/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=142772 CPUtime=0.69 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 40419 0 0 0 61 8 0 0 25 0 1 0 47209101 146198528 29545 270582939648 4194304 4964800 140737109382240 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/11636/statm: 35693 29546 383 189 0 30567 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 142772
[startup+1.5007 s]
/proc/loadavg: 23.75 30.33 30.22 2/414 11637
/proc/meminfo: memFree=261771412/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=250348 CPUtime=1.49 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 78679 0 0 0 131 18 0 0 25 0 1 0 47209101 256356352 54171 270582939648 4194304 4964800 140737109382240 18446744073709551615 258650652583 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/11636/statm: 62587 54172 396 189 0 57461 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 250348
[startup+3.10074 s]
/proc/loadavg: 23.75 30.33 30.22 2/414 11637
/proc/meminfo: memFree=261640532/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=352728 CPUtime=3.09 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 102432 0 0 0 287 22 0 0 25 0 1 0 47209101 361193472 77924 270582939648 4194304 4964800 140737109382240 18446744073709551615 4607600 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/11636/statm: 88182 77924 400 189 0 83056 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 352728
[startup+6.30085 s]
/proc/loadavg: 23.75 30.33 30.22 2/414 11637
/proc/meminfo: memFree=261611332/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=352728 CPUtime=6.29 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 102437 0 0 0 606 23 0 0 25 0 1 0 47209101 361193472 77929 270582939648 4194304 4964800 140737109382240 18446744073709551615 4600357 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/11636/statm: 88182 77929 401 189 0 83056 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 352728
[startup+12.7011 s]
/proc/loadavg: 20.33 29.38 29.92 2/414 11637
/proc/meminfo: memFree=261613772/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=352728 CPUtime=12.69 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 102440 0 0 0 1246 23 0 0 25 0 1 0 47209101 361193472 77932 270582939648 4194304 4964800 140737109382240 18446744073709551615 4600304 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/11636/statm: 88182 77932 401 189 0 83056 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 352728
[startup+25.5005 s]
/proc/loadavg: 17.36 28.45 29.61 2/414 11637
/proc/meminfo: memFree=261599984/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=370440 CPUtime=25.49 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 106864 0 0 0 2525 24 0 0 25 0 1 0 47209101 379330560 82356 270582939648 4194304 4964800 140737109382240 18446744073709551615 258650653904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11636/statm: 92610 82356 401 189 0 87484 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 370440
[startup+51.1015 s]
/proc/loadavg: 14.00 26.78 29.03 5/445 11670
/proc/meminfo: memFree=260431132/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=2799796 CPUtime=138.24 cores=0-31
/proc/11636/stat : 11636 (claspmt) S 11634 11636 11606 0 -1 4202496 456438 0 0 0 11612 2212 0 0 18 0 32 0 47209101 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/11636/statm: 699949 375483 439 189 0 694298 0
[pid=11636/tid=11638] ppid=11634 vsize=2799796 CPUtime=0.27 cores=0-31
/proc/11636/task/11638/stat : 11638 (claspmt) S 11634 11636 11606 0 -1 4202560 217 0 0 0 27 0 0 0 18 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604569506217440 0 0 -1 1 0 0 0
[pid=11636/tid=11639] ppid=11634 vsize=2799796 CPUtime=1.21 cores=0-31
/proc/11636/task/11639/stat : 11639 (claspmt) S 11634 11636 11606 0 -1 4202560 11705 0 0 0 43 78 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604504580316640 0 0 -1 2 0 0 0
[pid=11636/tid=11640] ppid=11634 vsize=2799796 CPUtime=1.19 cores=0-31
/proc/11636/task/11640/stat : 11640 (claspmt) S 11634 11636 11606 0 -1 4202560 12169 0 0 0 39 80 0 0 17 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604564515921376 0 0 -1 16 0 0 0
[pid=11636/tid=11641] ppid=11634 vsize=2799796 CPUtime=0.91 cores=0-31
/proc/11636/task/11641/stat : 11641 (claspmt) S 11634 11636 11606 0 -1 4202560 10329 0 0 0 16 75 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604500863450592 0 0 -1 16 0 0 0
[pid=11636/tid=11642] ppid=11634 vsize=2799796 CPUtime=20.66 cores=0-31
/proc/11636/task/11642/stat : 11642 (claspmt) R 11634 11636 11606 0 -1 4202560 12833 0 0 0 1986 80 0 0 25 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11636/tid=11643] ppid=11634 vsize=2799796 CPUtime=1.15 cores=0-31
/proc/11636/task/11643/stat : 11643 (claspmt) S 11634 11636 11606 0 -1 4202560 12616 0 0 0 39 76 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604488811634144 0 0 -1 4 0 0 0
[pid=11636/tid=11644] ppid=11634 vsize=2799796 CPUtime=1.26 cores=0-31
/proc/11636/task/11644/stat : 11644 (claspmt) S 11634 11636 11606 0 -1 4202560 11170 0 0 0 48 78 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604564093427168 0 0 -1 24 0 0 0
[pid=11636/tid=11645] ppid=11634 vsize=2799796 CPUtime=0.85 cores=0-31
/proc/11636/task/11645/stat : 11645 (claspmt) S 11634 11636 11606 0 -1 4202560 9428 0 0 0 21 64 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604504580308448 0 0 -1 17 0 0 0
[pid=11636/tid=11646] ppid=11634 vsize=2799796 CPUtime=0.9 cores=0-31
/proc/11636/task/11646/stat : 11646 (claspmt) S 11634 11636 11606 0 -1 4202560 10377 0 0 0 15 75 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604499161783776 0 0 -1 20 0 0 0
[pid=11636/tid=11647] ppid=11634 vsize=2799796 CPUtime=1.16 cores=0-31
/proc/11636/task/11647/stat : 11647 (claspmt) S 11634 11636 11606 0 -1 4202560 13105 0 0 0 40 76 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604563089718752 0 0 -1 30 0 0 0
[pid=11636/tid=11648] ppid=11634 vsize=2799796 CPUtime=1.15 cores=0-31
/proc/11636/task/11648/stat : 11648 (claspmt) S 11634 11636 11606 0 -1 4202560 12660 0 0 0 42 73 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604566110559712 0 0 -1 0 0 0 0
[pid=11636/tid=11649] ppid=11634 vsize=2799796 CPUtime=0.76 cores=0-31
/proc/11636/task/11649/stat : 11649 (claspmt) S 11634 11636 11606 0 -1 4202560 10417 0 0 0 17 59 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604488811625952 0 0 -1 28 0 0 0
[pid=11636/tid=11650] ppid=11634 vsize=2799796 CPUtime=20.66 cores=0-31
/proc/11636/task/11650/stat : 11650 (claspmt) R 11634 11636 11606 0 -1 4202560 11804 0 0 0 1991 75 0 0 25 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11636/tid=11651] ppid=11634 vsize=2799796 CPUtime=1.06 cores=0-31
/proc/11636/task/11651/stat : 11651 (claspmt) S 11634 11636 11606 0 -1 4202560 12826 0 0 0 40 66 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604506048019936 0 0 -1 9 0 0 0
[pid=11636/tid=11652] ppid=11634 vsize=2799796 CPUtime=1.26 cores=0-31
/proc/11636/task/11652/stat : 11652 (claspmt) S 11634 11636 11606 0 -1 4202560 11956 0 0 0 50 76 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604497670495712 0 0 -1 11 0 0 0
[pid=11636/tid=11653] ppid=11634 vsize=2799796 CPUtime=0.89 cores=0-31
/proc/11636/task/11653/stat : 11653 (claspmt) S 11634 11636 11606 0 -1 4202560 10174 0 0 0 17 72 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604500577189344 0 0 -1 29 0 0 0
[pid=11636/tid=11654] ppid=11634 vsize=2799796 CPUtime=0.79 cores=0-31
/proc/11636/task/11654/stat : 11654 (claspmt) S 11634 11636 11606 0 -1 4202560 10248 0 0 0 20 59 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604562059877856 0 0 -1 7 0 0 0
[pid=11636/tid=11655] ppid=11634 vsize=2799796 CPUtime=1.16 cores=0-31
/proc/11636/task/11655/stat : 11655 (claspmt) S 11634 11636 11606 0 -1 4202560 12005 0 0 0 43 73 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604572680642016 0 0 -1 26 0 0 0
[pid=11636/tid=11656] ppid=11634 vsize=2799796 CPUtime=1.15 cores=0-31
/proc/11636/task/11656/stat : 11656 (claspmt) S 11634 11636 11606 0 -1 4202560 12641 0 0 0 39 76 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604503315430880 0 0 -1 8 0 0 0
[pid=11636/tid=11657] ppid=11634 vsize=2799796 CPUtime=0.86 cores=0-31
/proc/11636/task/11657/stat : 11657 (claspmt) S 11634 11636 11606 0 -1 4202560 10253 0 0 0 15 71 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604569301253600 0 0 -1 12 0 0 0
[pid=11636/tid=11658] ppid=11634 vsize=2799796 CPUtime=20.65 cores=0-31
/proc/11636/task/11658/stat : 11658 (claspmt) R 11634 11636 11606 0 -1 4202560 13083 0 0 0 1986 79 0 0 25 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=11636/tid=11659] ppid=11634 vsize=2799796 CPUtime=1.18 cores=0-31
/proc/11636/task/11659/stat : 11659 (claspmt) S 11634 11636 11606 0 -1 4202560 12596 0 0 0 40 78 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604492254551520 0 0 -1 10 0 0 0
[pid=11636/tid=11660] ppid=11634 vsize=2799796 CPUtime=1.08 cores=0-31
/proc/11636/task/11660/stat : 11660 (claspmt) S 11634 11636 11606 0 -1 4202560 11545 0 0 0 51 57 0 0 16 0 32 0 47211884 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604558942068192 0 0 -1 15 0 0 0
[pid=11636/tid=11661] ppid=11634 vsize=2799796 CPUtime=0.85 cores=0-31
/proc/11636/task/11661/stat : 11661 (claspmt) S 11634 11636 11606 0 -1 4202560 9151 0 0 0 17 68 0 0 16 0 32 0 47211885 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604505801719264 0 0 -1 27 0 0 0
[pid=11636/tid=11662] ppid=11634 vsize=2799796 CPUtime=0.88 cores=0-31
/proc/11636/task/11662/stat : 11662 (claspmt) S 11634 11636 11606 0 -1 4202560 10138 0 0 0 19 69 0 0 16 0 32 0 47211885 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604503315439072 0 0 -1 14 0 0 0
[pid=11636/tid=11663] ppid=11634 vsize=2799796 CPUtime=1.13 cores=0-31
/proc/11636/task/11663/stat : 11663 (claspmt) S 11634 11636 11606 0 -1 4202560 12194 0 0 0 42 71 0 0 16 0 32 0 47211885 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604564843904480 0 0 -1 27 0 0 0
[pid=11636/tid=11664] ppid=11634 vsize=2799796 CPUtime=1.04 cores=0-31
/proc/11636/task/11664/stat : 11664 (claspmt) S 11634 11636 11606 0 -1 4202560 12491 0 0 0 42 62 0 0 16 0 32 0 47211885 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604500427668960 0 0 -1 19 0 0 0
[pid=11636/tid=11665] ppid=11634 vsize=2799796 CPUtime=0.95 cores=0-31
/proc/11636/task/11665/stat : 11665 (claspmt) S 11634 11636 11606 0 -1 4202560 10333 0 0 0 17 78 0 0 16 0 32 0 47211885 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604499407756768 0 0 -1 5 0 0 0
[pid=11636/tid=11666] ppid=11634 vsize=2799796 CPUtime=20.6 cores=0-31
/proc/11636/task/11666/stat : 11666 (claspmt) R 11634 11636 11606 0 -1 4202560 12283 0 0 0 1982 78 0 0 25 0 32 0 47211885 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11636/tid=11667] ppid=11634 vsize=2799796 CPUtime=1.14 cores=0-31
/proc/11636/task/11667/stat : 11667 (claspmt) S 11634 11636 11606 0 -1 4202560 12318 0 0 0 43 71 0 0 16 0 32 0 47211885 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604488811642336 0 0 -1 25 0 0 0
[pid=11636/tid=11668] ppid=11634 vsize=2799796 CPUtime=1.29 cores=0-31
/proc/11636/task/11668/stat : 11668 (claspmt) S 11634 11636 11606 0 -1 4202560 11903 0 0 0 52 77 0 0 16 0 32 0 47211885 2866991104 375483 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604492871081440 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 138.24
Current children cumulated vsize (KiB) 2799796
[startup+102.32 s]
/proc/loadavg: 7.99 22.95 27.58 5/445 11670
/proc/meminfo: memFree=260428808/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=2799796 CPUtime=343.06 cores=0-31
/proc/11636/stat : 11636 (claspmt) S 11634 11636 11606 0 -1 4202496 457094 0 0 0 32091 2215 0 0 18 0 32 0 47209101 2866991104 376135 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/11636/statm: 699949 376135 439 189 0 694298 0
[pid=11636/tid=11638] ppid=11634 vsize=2799796 CPUtime=0.27 cores=0-31
/proc/11636/task/11638/stat : 11638 (claspmt) S 11634 11636 11606 0 -1 4202560 217 0 0 0 27 0 0 0 18 0 32 0 47211884 2866991104 376135 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604569506217440 0 0 -1 1 0 0 0
[pid=11636/tid=11639] ppid=11634 vsize=2799796 CPUtime=1.21 cores=0-31
/proc/11636/task/11639/stat : 11639 (claspmt) S 11634 11636 11606 0 -1 4202560 11705 0 0 0 43 78 0 0 16 0 32 0 47211884 2866991104 376135 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604504580316640 0 0 -1 2 0 0 0
[pid=11636/tid=11640] ppid=11634 vsize=2799796 CPUtime=1.19 cores=0-31
/proc/11636/task/11640/stat : 11640 (claspmt) S 11634 11636 11606 0 -1 4202560 12169 0 0 0 39 80 0 0 17 0 32 0 47211884 2866991104 376135 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604564515921376 0 0 -1 16 0 0 0
[pid=11636/tid=11641] ppid=11634 vsize=2799796 CPUtime=0.91 cores=0-31
/proc/11636/task/11641/stat : 11641 (claspmt) S 11634 11636 11606 0 -1 4202560 10329 0 0 0 16 75 0 0 16 0 32 0 47211884 2866991104 376135 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604500863450592 0 0 -1 16 0 0 0
[pid=11636/tid=11642] ppid=11634 vsize=2799796 CPUtime=71.86 cores=0-31
/proc/11636/task/11642/stat : 11642 (claspmt) R 11634 11636 11606 0 -1 4202560 13038 0 0 0 7105 81 0 0 25 0 32 0 47211884 2866991104 376135 270582939648 4194304 4964800 140737109382240 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11636/tid=11643] ppid=11634 vsize=2799796 CPUtime=1.15 cores=0-31
/proc/11636/task/11643/stat : 11643 (claspmt) S 11634 11636 11606 0 -1 4202560 12616 0 0 0 39 76 0 0 16 0 32 0 47211884 2866991104 376135 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604488811634144 0 0 -1 4 0 0 0
[pid=11636/tid=11644] ppid=11634 vsize=2799796 CPUtime=1.26 cores=0-31
/proc/11636/task/11644/stat : 11644 (claspmt) S 11634 11636 11606 0 -1 4202560 11170 0 0 0 48 78 0 0 16 0 32 0 47211884 2866991104 376135 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662772457 0 0 4096 18946 18446604564093427168 0 0 -1 24 0 0 0
################
# More data... #
################
[pid=11636/tid=11650] ppid=11634 vsize=5545584 CPUtime=980.91 cores=0-31
/proc/11636/task/11650/stat : 11650 (claspmt) R 11634 11636 11606 0 -1 4202560 12257 0 0 0 98012 79 0 0 25 0 32 0 47211884 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4669445 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11636/tid=11651] ppid=11634 vsize=5545584 CPUtime=729.1 cores=0-31
/proc/11636/task/11651/stat : 11651 (claspmt) R 11634 11636 11606 0 -1 4202560 43263 0 0 0 72732 178 0 0 25 0 32 0 47211884 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11636/tid=11652] ppid=11634 vsize=5545584 CPUtime=728.6 cores=0-31
/proc/11636/task/11652/stat : 11652 (claspmt) R 11634 11636 11606 0 -1 4202560 40792 0 0 0 72677 183 0 0 25 0 32 0 47211884 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11636/tid=11653] ppid=11634 vsize=5545584 CPUtime=729.1 cores=0-31
/proc/11636/task/11653/stat : 11653 (claspmt) R 11634 11636 11606 0 -1 4202560 16311 0 0 0 72812 98 0 0 25 0 32 0 47211884 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4370462 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=11636/tid=11654] ppid=11634 vsize=5545584 CPUtime=728.94 cores=0-31
/proc/11636/task/11654/stat : 11654 (claspmt) R 11634 11636 11606 0 -1 4202560 15441 0 0 0 72816 78 0 0 25 0 32 0 47211884 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4652165 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11636/tid=11655] ppid=11634 vsize=5545584 CPUtime=729.24 cores=0-31
/proc/11636/task/11655/stat : 11655 (claspmt) R 11634 11636 11606 0 -1 4202560 73491 0 0 0 72656 268 0 0 25 0 32 0 47211884 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=11636/tid=11656] ppid=11634 vsize=5545584 CPUtime=729.22 cores=0-31
/proc/11636/task/11656/stat : 11656 (claspmt) R 11634 11636 11606 0 -1 4202560 34565 0 0 0 72767 155 0 0 25 0 32 0 47211884 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11636/tid=11657] ppid=11634 vsize=5545584 CPUtime=729.02 cores=0-31
/proc/11636/task/11657/stat : 11657 (claspmt) R 11634 11636 11606 0 -1 4202560 17453 0 0 0 72805 97 0 0 25 0 32 0 47211884 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4370259 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=11636/tid=11658] ppid=11634 vsize=5545584 CPUtime=983.82 cores=0-31
/proc/11636/task/11658/stat : 11658 (claspmt) R 11634 11636 11606 0 -1 4202560 13700 0 0 0 98301 81 0 0 25 0 32 0 47211884 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=11636/tid=11659] ppid=11634 vsize=5545584 CPUtime=729.22 cores=0-31
/proc/11636/task/11659/stat : 11659 (claspmt) R 11634 11636 11606 0 -1 4202560 46553 0 0 0 72734 188 0 0 25 0 32 0 47211884 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11636/tid=11660] ppid=11634 vsize=5545584 CPUtime=726.65 cores=0-31
/proc/11636/task/11660/stat : 11660 (claspmt) R 11634 11636 11606 0 -1 4202560 35053 0 0 0 72524 141 0 0 25 0 32 0 47211884 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11636/tid=11661] ppid=11634 vsize=5545584 CPUtime=728.9 cores=0-31
/proc/11636/task/11661/stat : 11661 (claspmt) R 11634 11636 11606 0 -1 4202560 16502 0 0 0 72798 92 0 0 25 0 32 0 47211885 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=11636/tid=11662] ppid=11634 vsize=5545584 CPUtime=726.8 cores=0-31
/proc/11636/task/11662/stat : 11662 (claspmt) R 11634 11636 11606 0 -1 4202560 14804 0 0 0 72594 86 0 0 25 0 32 0 47211885 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4652165 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=11636/tid=11663] ppid=11634 vsize=5545584 CPUtime=729 cores=0-31
/proc/11636/task/11663/stat : 11663 (claspmt) R 11634 11636 11606 0 -1 4202560 113121 0 0 0 72490 410 0 0 25 0 32 0 47211885 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11636/tid=11664] ppid=11634 vsize=5545584 CPUtime=729.13 cores=0-31
/proc/11636/task/11664/stat : 11664 (claspmt) R 11634 11636 11606 0 -1 4202560 38000 0 0 0 72768 145 0 0 25 0 32 0 47211885 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11636/tid=11665] ppid=11634 vsize=5545584 CPUtime=729.05 cores=0-31
/proc/11636/task/11665/stat : 11665 (claspmt) R 11634 11636 11606 0 -1 4202560 21156 0 0 0 72785 120 0 0 25 0 32 0 47211885 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11636/tid=11666] ppid=11634 vsize=5545584 CPUtime=979.84 cores=0-31
/proc/11636/task/11666/stat : 11666 (claspmt) R 11634 11636 11606 0 -1 4202560 12573 0 0 0 97902 82 0 0 25 0 32 0 47211885 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11636/tid=11667] ppid=11634 vsize=5545584 CPUtime=729.13 cores=0-31
/proc/11636/task/11667/stat : 11667 (claspmt) R 11634 11636 11606 0 -1 4202560 45589 0 0 0 72727 186 0 0 25 0 32 0 47211885 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11636/tid=11668] ppid=11634 vsize=5545584 CPUtime=729.27 cores=0-31
/proc/11636/task/11668/stat : 11668 (claspmt) R 11634 11636 11606 0 -1 4202560 57795 0 0 0 72693 234 0 0 25 0 32 0 47211885 5678678016 1134259 270582939648 4194304 4964800 140737109382240 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 24358.2
Current children cumulated vsize (KiB) 5545584
[startup+1030.3 s]
/proc/loadavg: 32.05 30.50 28.00 33/445 11705
/proc/meminfo: memFree=257389808/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=5545584 CPUtime=24562.7 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 1216199 0 0 0 2451416 4858 0 0 25 0 32 0 47209101 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 258650623147 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11636/statm: 1386396 1134340 463 189 0 1380745 0
[pid=11636/tid=11638] ppid=11634 vsize=5545584 CPUtime=734.66 cores=0-31
/proc/11636/task/11638/stat : 11638 (claspmt) R 11634 11636 11606 0 -1 4202560 5856 0 0 0 73445 21 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11636/tid=11639] ppid=11634 vsize=5545584 CPUtime=734.98 cores=0-31
/proc/11636/task/11639/stat : 11639 (claspmt) R 11634 11636 11606 0 -1 4202560 79449 0 0 0 73182 316 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=11636/tid=11640] ppid=11634 vsize=5545584 CPUtime=724.09 cores=0-31
/proc/11636/task/11640/stat : 11640 (claspmt) R 11634 11636 11606 0 -1 4202560 45393 0 0 0 72228 181 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=11636/tid=11641] ppid=11634 vsize=5545584 CPUtime=735.26 cores=0-31
/proc/11636/task/11641/stat : 11641 (claspmt) R 11634 11636 11606 0 -1 4202560 22383 0 0 0 73395 131 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4652146 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=11636/tid=11642] ppid=11634 vsize=5545584 CPUtime=996.38 cores=0-31
/proc/11636/task/11642/stat : 11642 (claspmt) R 11634 11636 11606 0 -1 4202560 13243 0 0 0 99555 83 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=11636/tid=11643] ppid=11634 vsize=5545584 CPUtime=735.6 cores=0-31
/proc/11636/task/11643/stat : 11643 (claspmt) R 11634 11636 11606 0 -1 4202560 41898 0 0 0 73388 172 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11636/tid=11644] ppid=11634 vsize=5545584 CPUtime=735.77 cores=0-31
/proc/11636/task/11644/stat : 11644 (claspmt) R 11634 11636 11606 0 -1 4202560 37679 0 0 0 73404 173 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11636/tid=11645] ppid=11634 vsize=5545584 CPUtime=735.39 cores=0-31
/proc/11636/task/11645/stat : 11645 (claspmt) R 11634 11636 11606 0 -1 4202560 14263 0 0 0 73454 85 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=11636/tid=11646] ppid=11634 vsize=5545584 CPUtime=735.47 cores=0-31
/proc/11636/task/11646/stat : 11646 (claspmt) R 11634 11636 11606 0 -1 4202560 15520 0 0 0 73452 95 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=11636/tid=11647] ppid=11634 vsize=5545584 CPUtime=735.63 cores=0-31
/proc/11636/task/11647/stat : 11647 (claspmt) S 11634 11636 11606 0 -1 4202560 90047 0 0 0 73212 351 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 258651060958 0 0 4096 18946 18446744071566930704 0 0 -1 30 0 0 0
[pid=11636/tid=11648] ppid=11634 vsize=5545584 CPUtime=735.17 cores=0-31
/proc/11636/task/11648/stat : 11648 (claspmt) R 11634 11636 11606 0 -1 4202560 45585 0 0 0 73330 187 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=11636/tid=11649] ppid=11634 vsize=5545584 CPUtime=735.29 cores=0-31
/proc/11636/task/11649/stat : 11649 (claspmt) R 11634 11636 11606 0 -1 4202560 18693 0 0 0 73441 88 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4342149 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11636/tid=11650] ppid=11634 vsize=5545584 CPUtime=987.31 cores=0-31
/proc/11636/task/11650/stat : 11650 (claspmt) R 11634 11636 11606 0 -1 4202560 12257 0 0 0 98652 79 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11636/tid=11651] ppid=11634 vsize=5545584 CPUtime=735.5 cores=0-31
/proc/11636/task/11651/stat : 11651 (claspmt) R 11634 11636 11606 0 -1 4202560 43263 0 0 0 73372 178 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11636/tid=11652] ppid=11634 vsize=5545584 CPUtime=735 cores=0-31
/proc/11636/task/11652/stat : 11652 (claspmt) R 11634 11636 11606 0 -1 4202560 40792 0 0 0 73317 183 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11636/tid=11653] ppid=11634 vsize=5545584 CPUtime=735.5 cores=0-31
/proc/11636/task/11653/stat : 11653 (claspmt) R 11634 11636 11606 0 -1 4202560 16312 0 0 0 73452 98 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=11636/tid=11654] ppid=11634 vsize=5545584 CPUtime=735.34 cores=0-31
/proc/11636/task/11654/stat : 11654 (claspmt) R 11634 11636 11606 0 -1 4202560 15441 0 0 0 73456 78 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11636/tid=11655] ppid=11634 vsize=5545584 CPUtime=735.64 cores=0-31
/proc/11636/task/11655/stat : 11655 (claspmt) R 11634 11636 11606 0 -1 4202560 73493 0 0 0 73296 268 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=11636/tid=11656] ppid=11634 vsize=5545584 CPUtime=735.62 cores=0-31
/proc/11636/task/11656/stat : 11656 (claspmt) R 11634 11636 11606 0 -1 4202560 34565 0 0 0 73407 155 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4669877 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11636/tid=11657] ppid=11634 vsize=5545584 CPUtime=735.42 cores=0-31
/proc/11636/task/11657/stat : 11657 (claspmt) R 11634 11636 11606 0 -1 4202560 17453 0 0 0 73445 97 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=11636/tid=11658] ppid=11634 vsize=5545584 CPUtime=990.22 cores=0-31
/proc/11636/task/11658/stat : 11658 (claspmt) R 11634 11636 11606 0 -1 4202560 13700 0 0 0 98941 81 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=11636/tid=11659] ppid=11634 vsize=5545584 CPUtime=735.62 cores=0-31
/proc/11636/task/11659/stat : 11659 (claspmt) R 11634 11636 11606 0 -1 4202560 46568 0 0 0 73374 188 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11636/tid=11660] ppid=11634 vsize=5545584 CPUtime=733.05 cores=0-31
/proc/11636/task/11660/stat : 11660 (claspmt) R 11634 11636 11606 0 -1 4202560 35053 0 0 0 73164 141 0 0 25 0 32 0 47211884 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4651383 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11636/tid=11661] ppid=11634 vsize=5545584 CPUtime=735.29 cores=0-31
/proc/11636/task/11661/stat : 11661 (claspmt) R 11634 11636 11606 0 -1 4202560 16503 0 0 0 73437 92 0 0 25 0 32 0 47211885 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4369545 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=11636/tid=11662] ppid=11634 vsize=5545584 CPUtime=733.2 cores=0-31
/proc/11636/task/11662/stat : 11662 (claspmt) R 11634 11636 11606 0 -1 4202560 14804 0 0 0 73234 86 0 0 25 0 32 0 47211885 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=11636/tid=11663] ppid=11634 vsize=5545584 CPUtime=735.4 cores=0-31
/proc/11636/task/11663/stat : 11663 (claspmt) R 11634 11636 11606 0 -1 4202560 113121 0 0 0 73130 410 0 0 25 0 32 0 47211885 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11636/tid=11664] ppid=11634 vsize=5545584 CPUtime=735.53 cores=0-31
/proc/11636/task/11664/stat : 11664 (claspmt) R 11634 11636 11606 0 -1 4202560 38010 0 0 0 73408 145 0 0 25 0 32 0 47211885 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4669078 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11636/tid=11665] ppid=11634 vsize=5545584 CPUtime=735.45 cores=0-31
/proc/11636/task/11665/stat : 11665 (claspmt) R 11634 11636 11606 0 -1 4202560 21156 0 0 0 73425 120 0 0 25 0 32 0 47211885 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11636/tid=11666] ppid=11634 vsize=5545584 CPUtime=986.24 cores=0-31
/proc/11636/task/11666/stat : 11666 (claspmt) R 11634 11636 11606 0 -1 4202560 12573 0 0 0 98542 82 0 0 25 0 32 0 47211885 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11636/tid=11667] ppid=11634 vsize=5545584 CPUtime=735.53 cores=0-31
/proc/11636/task/11667/stat : 11667 (claspmt) R 11634 11636 11606 0 -1 4202560 45592 0 0 0 73367 186 0 0 25 0 32 0 47211885 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11636/tid=11668] ppid=11634 vsize=5545584 CPUtime=735.67 cores=0-31
/proc/11636/task/11668/stat : 11668 (claspmt) R 11634 11636 11606 0 -1 4202560 57795 0 0 0 73333 234 0 0 25 0 32 0 47211885 5678678016 1134340 270582939648 4194304 4964800 140737109382240 18446744073709551615 4365155 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 24562.7
Current children cumulated vsize (KiB) 5545584
[startup+1036.7 s]
/proc/loadavg: 32.04 30.55 28.04 33/445 11705
/proc/meminfo: memFree=257390032/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=5545584 CPUtime=24764.4 cores=0-31
/proc/11636/stat : 11636 (claspmt) S 11634 11636 11606 0 -1 4202496 1216275 0 0 0 2471566 4873 0 0 24 0 8 0 47209101 5678678016 1134411 270582939648 4194304 4964800 140737109382240 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11636/statm: 1386396 1134411 464 189 0 1380745 0
[pid=11636/tid=11640] ppid=11634 vsize=5545584 CPUtime=730.45 cores=0-31
/proc/11636/task/11640/stat : 11640 (claspmt) R 11634 11636 11606 0 -1 4202560 45416 0 0 0 72862 183 0 0 17 0 8 0 47211884 5678678016 1134411 270582939648 4194304 4964800 140737109382240 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=11636/tid=11643] ppid=11634 vsize=5545584 CPUtime=741.96 cores=0-31
/proc/11636/task/11643/stat : 11643 (claspmt) R 11634 11636 11606 0 -1 4202560 41909 0 0 0 74023 173 0 0 17 0 8 0 47211884 5678678016 1134411 270582939648 4194304 4964800 140737109382240 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11636/tid=11651] ppid=11634 vsize=5545584 CPUtime=741.9 cores=0-31
/proc/11636/task/11651/stat : 11651 (claspmt) R 11634 11636 11606 0 -1 4202560 43263 0 0 0 74010 180 0 0 18 0 8 0 47211884 5678678016 1134411 270582939648 4194304 4964800 140737109382240 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=11636/tid=11659] ppid=11634 vsize=5545584 CPUtime=741.98 cores=0-31
/proc/11636/task/11659/stat : 11659 (claspmt) R 11634 11636 11606 0 -1 4202560 46579 0 0 0 74009 189 0 0 17 0 8 0 47211884 5678678016 1134411 270582939648 4194304 4964800 140737109382240 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11636/tid=11663] ppid=11634 vsize=5545584 CPUtime=741.79 cores=0-31
/proc/11636/task/11663/stat : 11663 (claspmt) S 11634 11636 11606 0 -1 4202560 113125 0 0 0 73768 411 0 0 18 0 8 0 47211885 5678678016 1134411 270582939648 4194304 4964800 140737109382240 18446744073709551615 258651060958 0 0 4096 18946 18446604564515921376 0 0 -1 15 0 0 0
[pid=11636/tid=11664] ppid=11634 vsize=5545584 CPUtime=741.9 cores=0-31
/proc/11636/task/11664/stat : 11664 (claspmt) R 11634 11636 11606 0 -1 4202560 38023 0 0 0 74042 148 0 0 17 0 8 0 47211885 5678678016 1134411 270582939648 4194304 4964800 140737109382240 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11636/tid=11667] ppid=11634 vsize=5545584 CPUtime=741.92 cores=0-31
/proc/11636/task/11667/stat : 11667 (claspmt) R 11634 11636 11606 0 -1 4202560 45599 0 0 0 74005 187 0 0 18 0 8 0 47211885 5678678016 1134411 270582939648 4194304 4964800 140737109382240 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 24764.4
Current children cumulated vsize (KiB) 5545584
[startup+1039.9 s]
/proc/loadavg: 32.04 30.55 28.04 2/414 11705
/proc/meminfo: memFree=257422128/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=5428960 CPUtime=24768.4 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 1216285 0 0 0 2471941 4895 0 0 25 0 1 0 47209101 5559255040 1124449 270582939648 4194304 4964800 140737109382240 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/11636/statm: 1357240 1124449 474 189 0 1351589 0
Current children cumulated CPU time (s) 24768.4
Current children cumulated vsize (KiB) 5428960
[startup+1040.7 s]
/proc/loadavg: 32.04 30.55 28.04 2/414 11705
/proc/meminfo: memFree=257436648/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=5363424 CPUtime=24769.2 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 1216285 0 0 0 2472021 4896 0 0 25 0 1 0 47209101 5492146176 1119850 270582939648 4194304 4964800 140737109382240 18446744073709551615 258650604936 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/11636/statm: 1340856 1119850 474 189 0 1335205 0
Current children cumulated CPU time (s) 24769.2
Current children cumulated vsize (KiB) 5363424
[startup+1041.5 s]
/proc/loadavg: 32.04 30.55 28.04 2/414 11705
/proc/meminfo: memFree=257436648/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=4023332 CPUtime=24770 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202496 1216285 0 0 0 2472091 4906 0 0 25 0 1 0 47209101 4119891968 748439 270582939648 4194304 4964800 140737109382240 18446744073709551615 258650999159 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/11636/statm: 1005833 747927 474 189 0 1000182 0
Current children cumulated CPU time (s) 24770
Current children cumulated vsize (KiB) 4023332
[startup+1041.73 s]
/proc/loadavg: 29.56 30.06 27.90 2/414 11705
/proc/meminfo: memFree=260237684/264257624 swapFree=67111528/67111528
[pid=11636] ppid=11634 vsize=0 CPUtime=24770.2 cores=0-31
/proc/11636/stat : 11636 (claspmt) R 11634 11636 11606 0 -1 4202500 1216286 0 0 0 2472091 4929 0 0 25 0 1 0 47209101 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11636/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 24770.2
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1041.74
CPU time (s): 24770.2
CPU user time (s): 24720.9
CPU system time (s): 49.3015
CPU usage (%): 2377.77
Max. virtual memory (cumulated for all children) (KiB): 5545584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24720.9
system time used= 49.3015
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1216286
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= 477444
involuntary context switches= 58072
runsolver used 5.51216 second user time and 23.7224 second system time
The end
Begin job on node200 at 2011-06-11 20:50:22
IDJOB=3472516
IDBENCH=85007
IDSOLVER=1961
FILE ID=node200/3472516-1307818219
RUNJOBID= node200-1307818219-11620
PBS_JOBID= 13550840
Free space on /tmp= 61668 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.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-3472516-1307818219/watcher-3472516-1307818219 -o /tmp/evaluation-result-3472516-1307818219/solver-3472516-1307818219 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472516-1307818219.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED=173355263
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: 261923360 kB
Buffers: 295016 kB
Cached: 1707708 kB
SwapCached: 0 kB
Active: 399264 kB
Inactive: 1666692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 261923360 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 77980 kB
Writeback: 0 kB
AnonPages: 63380 kB
Mapped: 14480 kB
Slab: 187412 kB
PageTables: 4416 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 167920 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= 61664 MiB
End job on node200 at 2011-06-11 21:07:44