0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...808729/instance-3472508-1307808729.cnf
11.19/11.29 c Solving...
7644.70/318.87 s UNSATISFIABLE
7644.70/318.87
7644.70/318.87 c Models : 0
7644.70/318.87 c Time : 315.885s (Solving: 304.60s 1st Model: 0.00s Unsat: 304.60s)
7644.70/318.87 c CPU Time : 7641.790s
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-3472508-1307808729/watcher-3472508-1307808729 -o /tmp/evaluation-result-3472508-1307808729/solver-3472508-1307808729 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472508-1307808729.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.24 30.57 30.55 2/413 10736
/proc/meminfo: memFree=262015172/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=76196 CPUtime=0.03 cores=0-31
/proc/10736/stat : 10736 (claspmt) R 10734 10736 10706 0 -1 4202496 5588 0 0 0 2 1 0 0 24 0 1 0 46260028 78024704 5517 270582939648 4194304 4964800 140737338318800 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10736/statm: 19049 5526 373 189 0 13923 0
[startup+0.056416 s]
/proc/loadavg: 25.24 30.57 30.55 2/413 10736
/proc/meminfo: memFree=262015172/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=76196 CPUtime=0.05 cores=0-31
/proc/10736/stat : 10736 (claspmt) R 10734 10736 10706 0 -1 4202496 7867 0 0 0 3 2 0 0 24 0 1 0 46260028 78024704 7796 270582939648 4194304 4964800 140737338318800 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10736/statm: 19049 7806 373 189 0 13923 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 76196
[startup+0.100415 s]
/proc/loadavg: 25.24 30.57 30.55 2/413 10736
/proc/meminfo: memFree=262015172/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=101728 CPUtime=0.09 cores=0-31
/proc/10736/stat : 10736 (claspmt) R 10734 10736 10706 0 -1 4202496 15737 0 0 0 6 3 0 0 24 0 1 0 46260028 104169472 15621 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679151 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10736/statm: 25432 15631 374 189 0 20306 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 101728
[startup+0.300381 s]
/proc/loadavg: 25.24 30.57 30.55 2/413 10736
/proc/meminfo: memFree=262015172/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=118408 CPUtime=0.29 cores=0-31
/proc/10736/stat : 10736 (claspmt) R 10734 10736 10706 0 -1 4202496 28850 0 0 0 23 6 0 0 25 0 1 0 46260028 121249792 24226 270582939648 4194304 4964800 140737338318800 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10736/statm: 29602 24227 386 189 0 24476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 118408
[startup+0.700406 s]
/proc/loadavg: 25.24 30.57 30.55 2/413 10736
/proc/meminfo: memFree=262015172/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=143980 CPUtime=0.69 cores=0-31
/proc/10736/stat : 10736 (claspmt) R 10734 10736 10706 0 -1 4202496 37694 0 0 0 60 9 0 0 25 0 1 0 46260028 147435520 30182 270582939648 4194304 4964800 140737338318800 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10736/statm: 35995 30183 386 189 0 30869 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 143980
[startup+1.50042 s]
/proc/loadavg: 23.29 30.08 30.39 2/414 10737
/proc/meminfo: memFree=261841344/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=225732 CPUtime=1.49 cores=0-31
/proc/10736/stat : 10736 (claspmt) R 10734 10736 10706 0 -1 4202496 64130 0 0 0 134 15 0 0 25 0 1 0 46260028 231149568 50206 270582939648 4194304 4964800 140737338318800 18446744073709551615 4615747 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10736/statm: 56433 50206 397 189 0 51307 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 225732
[startup+3.10048 s]
/proc/loadavg: 23.29 30.08 30.39 2/414 10739
/proc/meminfo: memFree=261807544/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=240888 CPUtime=3.09 cores=0-31
/proc/10736/stat : 10736 (claspmt) R 10734 10736 10706 0 -1 4202496 68046 0 0 0 293 16 0 0 25 0 1 0 46260028 246669312 54122 270582939648 4194304 4964800 140737338318800 18446744073709551615 4607330 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/10736/statm: 60222 54122 400 189 0 55096 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 240888
[startup+6.30059 s]
/proc/loadavg: 23.29 30.08 30.39 2/414 10739
/proc/meminfo: memFree=261794304/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=253560 CPUtime=6.29 cores=0-31
/proc/10736/stat : 10736 (claspmt) R 10734 10736 10706 0 -1 4202496 71219 0 0 0 613 16 0 0 25 0 1 0 46260028 259645440 57295 270582939648 4194304 4964800 140737338318800 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/10736/statm: 63390 57295 401 189 0 58264 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 253560
[startup+12.7028 s]
/proc/loadavg: 19.87 29.12 30.08 32/445 10770
/proc/meminfo: memFree=261332012/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=1294664 CPUtime=44.79 cores=0-31
/proc/10736/stat : 10736 (claspmt) S 10734 10736 10706 0 -1 4202496 350184 0 0 0 1252 3227 0 0 18 0 32 0 46260028 1325735936 238628 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/10736/statm: 323666 238628 432 189 0 318015 0
[pid=10736/tid=10740] ppid=10734 vsize=1294664 CPUtime=1.07 cores=0-31
/proc/10736/task/10740/stat : 10740 (claspmt) D 10734 10736 10706 0 -1 4202560 5986 0 0 0 3 104 0 0 18 0 32 0 46261158 1325735936 238628 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10736/tid=10741] ppid=10734 vsize=1294664 CPUtime=1.11 cores=0-31
/proc/10736/task/10741/stat : 10741 (claspmt) D 10734 10736 10706 0 -1 4202560 6585 0 0 0 4 107 0 0 18 0 32 0 46261158 1325735936 238633 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10736/tid=10742] ppid=10734 vsize=1294664 CPUtime=1.1 cores=0-31
/proc/10736/task/10742/stat : 10742 (claspmt) R 10734 10736 10706 0 -1 4202560 5226 0 0 0 2 108 0 0 18 0 32 0 46261158 1325735936 238651 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10736/tid=10743] ppid=10734 vsize=1294664 CPUtime=1.1 cores=0-31
/proc/10736/task/10743/stat : 10743 (claspmt) R 10734 10736 10706 0 -1 4202560 8633 0 0 0 3 107 0 0 18 0 32 0 46261158 1325735936 238683 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10736/tid=10744] ppid=10734 vsize=1294664 CPUtime=1.09 cores=0-31
/proc/10736/task/10744/stat : 10744 (claspmt) R 10734 10736 10706 0 -1 4202560 9435 0 0 0 2 107 0 0 18 0 32 0 46261158 1325735936 238683 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10736/tid=10745] ppid=10734 vsize=1294664 CPUtime=1.11 cores=0-31
/proc/10736/task/10745/stat : 10745 (claspmt) D 10734 10736 10706 0 -1 4202560 5440 0 0 0 1 110 0 0 18 0 32 0 46261158 1325735936 238683 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10736/tid=10746] ppid=10734 vsize=1294664 CPUtime=1.09 cores=0-31
/proc/10736/task/10746/stat : 10746 (claspmt) R 10734 10736 10706 0 -1 4202560 9578 0 0 0 2 107 0 0 18 0 32 0 46261158 1325735936 238683 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10736/tid=10747] ppid=10734 vsize=1294664 CPUtime=1.1 cores=0-31
/proc/10736/task/10747/stat : 10747 (claspmt) D 10734 10736 10706 0 -1 4202560 8832 0 0 0 3 107 0 0 18 0 32 0 46261158 1325735936 238685 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10736/tid=10748] ppid=10734 vsize=1294664 CPUtime=1.14 cores=0-31
/proc/10736/task/10748/stat : 10748 (claspmt) D 10734 10736 10706 0 -1 4202560 6889 0 0 0 4 110 0 0 18 0 32 0 46261158 1325735936 238690 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10736/tid=10749] ppid=10734 vsize=1294664 CPUtime=1.1 cores=0-31
/proc/10736/task/10749/stat : 10749 (claspmt) R 10734 10736 10706 0 -1 4202560 9633 0 0 0 2 108 0 0 18 0 32 0 46261158 1325735936 238705 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10736/tid=10750] ppid=10734 vsize=1294664 CPUtime=1.1 cores=0-31
/proc/10736/task/10750/stat : 10750 (claspmt) D 10734 10736 10706 0 -1 4202560 9366 0 0 0 4 106 0 0 18 0 32 0 46261158 1325735936 238705 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10736/tid=10751] ppid=10734 vsize=1294664 CPUtime=1.09 cores=0-31
/proc/10736/task/10751/stat : 10751 (claspmt) D 10734 10736 10706 0 -1 4202560 10094 0 0 0 6 103 0 0 18 0 32 0 46261158 1325735936 238705 270582939648 4194304 4964800 140737338318800 18446744073709551615 4367551 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10736/tid=10752] ppid=10734 vsize=1294664 CPUtime=0.99 cores=0-31
/proc/10736/task/10752/stat : 10752 (claspmt) D 10734 10736 10706 0 -1 4202560 12066 0 0 0 9 90 0 0 18 0 32 0 46261158 1325735936 238714 270582939648 4194304 4964800 140737338318800 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10736/tid=10753] ppid=10734 vsize=1294664 CPUtime=1.09 cores=0-31
/proc/10736/task/10753/stat : 10753 (claspmt) D 10734 10736 10706 0 -1 4202560 9278 0 0 0 4 105 0 0 18 0 32 0 46261158 1325735936 238716 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10736/tid=10754] ppid=10734 vsize=1294664 CPUtime=1 cores=0-31
/proc/10736/task/10754/stat : 10754 (claspmt) R 10734 10736 10706 0 -1 4202560 8011 0 0 0 2 98 0 0 18 0 32 0 46261158 1325735936 238730 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=10736/tid=10755] ppid=10734 vsize=1294664 CPUtime=1.1 cores=0-31
/proc/10736/task/10755/stat : 10755 (claspmt) R 10734 10736 10706 0 -1 4202560 9192 0 0 0 3 107 0 0 18 0 32 0 46261158 1325735936 238734 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10736/tid=10756] ppid=10734 vsize=1294664 CPUtime=1 cores=0-31
/proc/10736/task/10756/stat : 10756 (claspmt) D 10734 10736 10706 0 -1 4202560 7989 0 0 0 4 96 0 0 18 0 32 0 46261158 1325735936 238735 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10736/tid=10757] ppid=10734 vsize=1294664 CPUtime=1.08 cores=0-31
/proc/10736/task/10757/stat : 10757 (claspmt) D 10734 10736 10706 0 -1 4202560 10018 0 0 0 5 103 0 0 18 0 32 0 46261158 1325735936 238736 270582939648 4194304 4964800 140737338318800 18446744073709551615 4377917 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10736/tid=10758] ppid=10734 vsize=1294664 CPUtime=1.12 cores=0-31
/proc/10736/task/10758/stat : 10758 (claspmt) R 10734 10736 10706 0 -1 4202560 9918 0 0 0 5 107 0 0 18 0 32 0 46261159 1325735936 238745 270582939648 4194304 4964800 140737338318800 18446744073709551615 4377943 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10736/tid=10759] ppid=10734 vsize=1294664 CPUtime=1.1 cores=0-31
/proc/10736/task/10759/stat : 10759 (claspmt) R 10734 10736 10706 0 -1 4202560 9789 0 0 0 6 104 0 0 18 0 32 0 46261159 1325735936 238751 270582939648 4194304 4964800 140737338318800 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10736/tid=10760] ppid=10734 vsize=1294664 CPUtime=1.04 cores=0-31
/proc/10736/task/10760/stat : 10760 (claspmt) D 10734 10736 10706 0 -1 4202560 8661 0 0 0 2 102 0 0 18 0 32 0 46261159 1325735936 238751 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10736/tid=10761] ppid=10734 vsize=1296364 CPUtime=1.07 cores=0-31
/proc/10736/task/10761/stat : 10761 (claspmt) D 10734 10736 10706 0 -1 4202560 10038 0 0 0 6 101 0 0 18 0 32 0 46261159 1327476736 238755 270582939648 4194304 4964800 140737338318800 18446744073709551615 4377868 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10736/tid=10762] ppid=10734 vsize=1296364 CPUtime=1.09 cores=0-31
/proc/10736/task/10762/stat : 10762 (claspmt) R 10734 10736 10706 0 -1 4202560 9787 0 0 0 4 105 0 0 18 0 32 0 46261159 1327476736 238765 270582939648 4194304 4964800 140737338318800 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10736/tid=10763] ppid=10734 vsize=1296364 CPUtime=0.97 cores=0-31
/proc/10736/task/10763/stat : 10763 (claspmt) D 10734 10736 10706 0 -1 4202560 12090 0 0 0 10 87 0 0 18 0 32 0 46261159 1327476736 238766 270582939648 4194304 4964800 140737338318800 18446744073709551615 4697753 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10736/tid=10764] ppid=10734 vsize=1296364 CPUtime=1.1 cores=0-31
/proc/10736/task/10764/stat : 10764 (claspmt) D 10734 10736 10706 0 -1 4202560 9651 0 0 0 4 106 0 0 18 0 32 0 46261159 1327476736 238768 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10736/tid=10765] ppid=10734 vsize=1296364 CPUtime=1.13 cores=0-31
/proc/10736/task/10765/stat : 10765 (claspmt) R 10734 10736 10706 0 -1 4202560 9302 0 0 0 4 109 0 0 18 0 32 0 46261159 1327476736 238780 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10736/tid=10766] ppid=10734 vsize=1296364 CPUtime=0.98 cores=0-31
/proc/10736/task/10766/stat : 10766 (claspmt) D 10734 10736 10706 0 -1 4202560 6961 0 0 0 8 90 0 0 18 0 32 0 46261159 1327476736 238782 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10736/tid=10767] ppid=10734 vsize=1296364 CPUtime=1.02 cores=0-31
/proc/10736/task/10767/stat : 10767 (claspmt) D 10734 10736 10706 0 -1 4202560 9235 0 0 0 5 97 0 0 18 0 32 0 46261159 1327476736 238787 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10736/tid=10768] ppid=10734 vsize=1296364 CPUtime=1.05 cores=0-31
/proc/10736/task/10768/stat : 10768 (claspmt) D 10734 10736 10706 0 -1 4202560 4494 0 0 0 1 104 0 0 18 0 32 0 46261159 1327476736 238793 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10736/tid=10769] ppid=10734 vsize=1296364 CPUtime=1.02 cores=0-31
/proc/10736/task/10769/stat : 10769 (claspmt) D 10734 10736 10706 0 -1 4202560 9137 0 0 0 4 98 0 0 18 0 32 0 46261159 1327476736 238804 270582939648 4194304 4964800 140737338318800 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10736/tid=10770] ppid=10734 vsize=1296364 CPUtime=1.05 cores=0-31
/proc/10736/task/10770/stat : 10770 (claspmt) R 10734 10736 10706 0 -1 4202560 9979 0 0 0 5 100 0 0 18 0 32 0 46261159 1327476736 238809 270582939648 4194304 4964800 140737338318800 18446744073709551615 4381175 0 0 4096 18946 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 44.79
Current children cumulated vsize (KiB) 1294664
[startup+25.5022 s]
/proc/loadavg: 17.43 28.29 29.80 5/445 10770
/proc/meminfo: memFree=260391660/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=2830188 CPUtime=103.18 cores=0-31
/proc/10736/stat : 10736 (claspmt) S 10734 10736 10706 0 -1 4202496 534394 0 0 0 6327 3991 0 0 18 0 32 0 46260028 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/10736/statm: 707547 407626 440 189 0 701896 0
[pid=10736/tid=10740] ppid=10734 vsize=2830188 CPUtime=1.5 cores=0-31
/proc/10736/task/10740/stat : 10740 (claspmt) S 10734 10736 10706 0 -1 4202560 12639 0 0 0 16 134 0 0 17 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604485234507232 0 0 -1 1 0 0 0
[pid=10736/tid=10741] ppid=10734 vsize=2830188 CPUtime=1.61 cores=0-31
/proc/10736/task/10741/stat : 10741 (claspmt) S 10734 10736 10706 0 -1 4202560 15601 0 0 0 26 135 0 0 18 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604500735901152 0 0 -1 30 0 0 0
[pid=10736/tid=10742] ppid=10734 vsize=2830188 CPUtime=1.65 cores=0-31
/proc/10736/task/10742/stat : 10742 (claspmt) S 10734 10736 10706 0 -1 4202560 16257 0 0 0 25 140 0 0 18 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604498275941856 0 0 -1 22 0 0 0
[pid=10736/tid=10743] ppid=10734 vsize=2830188 CPUtime=1.48 cores=0-31
/proc/10736/task/10743/stat : 10743 (claspmt) S 10734 10736 10706 0 -1 4202560 13002 0 0 0 16 132 0 0 17 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604500716690912 0 0 -1 28 0 0 0
[pid=10736/tid=10744] ppid=10734 vsize=2830188 CPUtime=12.68 cores=0-31
/proc/10736/task/10744/stat : 10744 (claspmt) R 10734 10736 10706 0 -1 4202560 13991 0 0 0 1137 131 0 0 25 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10736/tid=10745] ppid=10734 vsize=2830188 CPUtime=1.68 cores=0-31
/proc/10736/task/10745/stat : 10745 (claspmt) S 10734 10736 10706 0 -1 4202560 16024 0 0 0 24 144 0 0 18 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604492233891296 0 0 -1 19 0 0 0
[pid=10736/tid=10746] ppid=10734 vsize=2830188 CPUtime=1.59 cores=0-31
/proc/10736/task/10746/stat : 10746 (claspmt) S 10734 10736 10706 0 -1 4202560 15239 0 0 0 27 132 0 0 17 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604498593603040 0 0 -1 16 0 0 0
[pid=10736/tid=10747] ppid=10734 vsize=2830188 CPUtime=1.46 cores=0-31
/proc/10736/task/10747/stat : 10747 (claspmt) S 10734 10736 10706 0 -1 4202560 13075 0 0 0 16 130 0 0 17 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604499357490656 0 0 -1 12 0 0 0
[pid=10736/tid=10748] ppid=10734 vsize=2830188 CPUtime=1.55 cores=0-31
/proc/10736/task/10748/stat : 10748 (claspmt) S 10734 10736 10706 0 -1 4202560 12867 0 0 0 18 137 0 0 17 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604500818427360 0 0 -1 5 0 0 0
[pid=10736/tid=10749] ppid=10734 vsize=2830188 CPUtime=1.58 cores=0-31
/proc/10736/task/10749/stat : 10749 (claspmt) S 10734 10736 10706 0 -1 4202560 16565 0 0 0 24 134 0 0 17 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604493951344096 0 0 -1 8 0 0 0
[pid=10736/tid=10750] ppid=10734 vsize=2830188 CPUtime=1.62 cores=0-31
/proc/10736/task/10750/stat : 10750 (claspmt) S 10734 10736 10706 0 -1 4202560 16695 0 0 0 26 136 0 0 17 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604501524807136 0 0 -1 26 0 0 0
[pid=10736/tid=10751] ppid=10734 vsize=2830188 CPUtime=1.33 cores=0-31
/proc/10736/task/10751/stat : 10751 (claspmt) S 10734 10736 10706 0 -1 4202560 12531 0 0 0 17 116 0 0 17 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604497976901088 0 0 -1 7 0 0 0
[pid=10736/tid=10752] ppid=10734 vsize=2830188 CPUtime=13.06 cores=0-31
/proc/10736/task/10752/stat : 10752 (claspmt) R 10734 10736 10706 0 -1 4202560 14652 0 0 0 1203 103 0 0 25 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10736/tid=10753] ppid=10734 vsize=2830188 CPUtime=1.57 cores=0-31
/proc/10736/task/10753/stat : 10753 (claspmt) S 10734 10736 10706 0 -1 4202560 16814 0 0 0 25 132 0 0 17 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604503873584608 0 0 -1 2 0 0 0
[pid=10736/tid=10754] ppid=10734 vsize=2830188 CPUtime=1.55 cores=0-31
/proc/10736/task/10754/stat : 10754 (claspmt) S 10734 10736 10706 0 -1 4202560 14577 0 0 0 28 127 0 0 18 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604499115335136 0 0 -1 20 0 0 0
[pid=10736/tid=10755] ppid=10734 vsize=2830188 CPUtime=1.45 cores=0-31
/proc/10736/task/10755/stat : 10755 (claspmt) S 10734 10736 10706 0 -1 4202560 12754 0 0 0 19 126 0 0 17 0 32 0 46261158 2898112512 407626 270582939648 4194304 4964800 140737338318800 18446744073709551615 258662772457 0 0 4096 18946 18446604498593594848 0 0 -1 29 0 0 0
################
# More data... #
################
/proc/10736/task/10740/stat : 10740 (claspmt) R 10734 10736 10706 0 -1 4202560 13273 0 0 0 21955 136 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10736/tid=10741] ppid=10734 vsize=2830188 CPUtime=221.03 cores=0-31
/proc/10736/task/10741/stat : 10741 (claspmt) R 10734 10736 10706 0 -1 4202560 21963 0 0 0 21941 162 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10736/tid=10742] ppid=10734 vsize=2830188 CPUtime=220.94 cores=0-31
/proc/10736/task/10742/stat : 10742 (claspmt) R 10734 10736 10706 0 -1 4202560 17019 0 0 0 21950 144 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10736/tid=10743] ppid=10734 vsize=2830188 CPUtime=220.91 cores=0-31
/proc/10736/task/10743/stat : 10743 (claspmt) R 10734 10736 10706 0 -1 4202560 14207 0 0 0 21954 137 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4669221 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10736/tid=10744] ppid=10734 vsize=2830188 CPUtime=291.29 cores=0-31
/proc/10736/task/10744/stat : 10744 (claspmt) R 10734 10736 10706 0 -1 4202560 14136 0 0 0 28998 131 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10736/tid=10745] ppid=10734 vsize=2830188 CPUtime=220.95 cores=0-31
/proc/10736/task/10745/stat : 10745 (claspmt) R 10734 10736 10706 0 -1 4202560 16572 0 0 0 21949 146 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10736/tid=10746] ppid=10734 vsize=2830188 CPUtime=221.01 cores=0-31
/proc/10736/task/10746/stat : 10746 (claspmt) R 10734 10736 10706 0 -1 4202560 16769 0 0 0 21962 139 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10736/tid=10747] ppid=10734 vsize=2830188 CPUtime=220.87 cores=0-31
/proc/10736/task/10747/stat : 10747 (claspmt) R 10734 10736 10706 0 -1 4202560 13799 0 0 0 21955 132 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10736/tid=10748] ppid=10734 vsize=2830188 CPUtime=220.97 cores=0-31
/proc/10736/task/10748/stat : 10748 (claspmt) R 10734 10736 10706 0 -1 4202560 13537 0 0 0 21957 140 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10736/tid=10749] ppid=10734 vsize=2830188 CPUtime=221 cores=0-31
/proc/10736/task/10749/stat : 10749 (claspmt) R 10734 10736 10706 0 -1 4202560 22836 0 0 0 21937 163 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10736/tid=10750] ppid=10734 vsize=2830188 CPUtime=221.02 cores=0-31
/proc/10736/task/10750/stat : 10750 (claspmt) R 10734 10736 10706 0 -1 4202560 17717 0 0 0 21963 139 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10736/tid=10751] ppid=10734 vsize=2830188 CPUtime=214.69 cores=0-31
/proc/10736/task/10751/stat : 10751 (claspmt) R 10734 10736 10706 0 -1 4202560 13606 0 0 0 21349 120 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10736/tid=10752] ppid=10734 vsize=2830188 CPUtime=293.96 cores=0-31
/proc/10736/task/10752/stat : 10752 (claspmt) R 10734 10736 10706 0 -1 4202560 14802 0 0 0 29293 103 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10736/tid=10753] ppid=10734 vsize=2830188 CPUtime=221 cores=0-31
/proc/10736/task/10753/stat : 10753 (claspmt) R 10734 10736 10706 0 -1 4202560 17597 0 0 0 21965 135 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10736/tid=10754] ppid=10734 vsize=2830188 CPUtime=220.98 cores=0-31
/proc/10736/task/10754/stat : 10754 (claspmt) R 10734 10736 10706 0 -1 4202560 15845 0 0 0 21966 132 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10736/tid=10755] ppid=10734 vsize=2830188 CPUtime=220.86 cores=0-31
/proc/10736/task/10755/stat : 10755 (claspmt) R 10734 10736 10706 0 -1 4202560 13363 0 0 0 21957 129 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10736/tid=10756] ppid=10734 vsize=2830188 CPUtime=220.84 cores=0-31
/proc/10736/task/10756/stat : 10756 (claspmt) R 10734 10736 10706 0 -1 4202560 13689 0 0 0 21960 124 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668640 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10736/tid=10757] ppid=10734 vsize=2830188 CPUtime=220.95 cores=0-31
/proc/10736/task/10757/stat : 10757 (claspmt) R 10734 10736 10706 0 -1 4202560 22803 0 0 0 21939 156 0 0 25 0 32 0 46261158 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10736/tid=10758] ppid=10734 vsize=2830188 CPUtime=221.04 cores=0-31
/proc/10736/task/10758/stat : 10758 (claspmt) R 10734 10736 10706 0 -1 4202560 17637 0 0 0 21970 134 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10736/tid=10759] ppid=10734 vsize=2830188 CPUtime=220.83 cores=0-31
/proc/10736/task/10759/stat : 10759 (claspmt) R 10734 10736 10706 0 -1 4202560 14216 0 0 0 21958 125 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10736/tid=10760] ppid=10734 vsize=2830188 CPUtime=293.43 cores=0-31
/proc/10736/task/10760/stat : 10760 (claspmt) R 10734 10736 10706 0 -1 4202560 14187 0 0 0 29216 127 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10736/tid=10761] ppid=10734 vsize=2830188 CPUtime=220.98 cores=0-31
/proc/10736/task/10761/stat : 10761 (claspmt) R 10734 10736 10706 0 -1 4202560 17214 0 0 0 21969 129 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10736/tid=10762] ppid=10734 vsize=2830188 CPUtime=221.06 cores=0-31
/proc/10736/task/10762/stat : 10762 (claspmt) R 10734 10736 10706 0 -1 4202560 16335 0 0 0 21970 136 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10736/tid=10763] ppid=10734 vsize=2830188 CPUtime=220.55 cores=0-31
/proc/10736/task/10763/stat : 10763 (claspmt) R 10734 10736 10706 0 -1 4202560 14068 0 0 0 21956 99 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10736/tid=10764] ppid=10734 vsize=2830188 CPUtime=220.77 cores=0-31
/proc/10736/task/10764/stat : 10764 (claspmt) R 10734 10736 10706 0 -1 4202560 13360 0 0 0 21955 122 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10736/tid=10765] ppid=10734 vsize=2830188 CPUtime=221.04 cores=0-31
/proc/10736/task/10765/stat : 10765 (claspmt) R 10734 10736 10706 0 -1 4202560 21068 0 0 0 21947 157 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10736/tid=10766] ppid=10734 vsize=2830188 CPUtime=220.95 cores=0-31
/proc/10736/task/10766/stat : 10766 (claspmt) R 10734 10736 10706 0 -1 4202560 15829 0 0 0 21972 123 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10736/tid=10767] ppid=10734 vsize=2830188 CPUtime=220.77 cores=0-31
/proc/10736/task/10767/stat : 10767 (claspmt) R 10734 10736 10706 0 -1 4202560 13882 0 0 0 21956 121 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10736/tid=10768] ppid=10734 vsize=2830188 CPUtime=293.96 cores=0-31
/proc/10736/task/10768/stat : 10768 (claspmt) R 10734 10736 10706 0 -1 4202560 13273 0 0 0 29262 134 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10736/tid=10769] ppid=10734 vsize=2830188 CPUtime=220.95 cores=0-31
/proc/10736/task/10769/stat : 10769 (claspmt) R 10734 10736 10706 0 -1 4202560 17354 0 0 0 21964 131 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10736/tid=10770] ppid=10734 vsize=2830188 CPUtime=221.01 cores=0-31
/proc/10736/task/10770/stat : 10770 (claspmt) R 10734 10736 10706 0 -1 4202560 16829 0 0 0 21967 134 0 0 25 0 32 0 46261159 2898112512 451510 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668614 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 7362.52
Current children cumulated vsize (KiB) 2830188
[startup+313.522 s]
/proc/loadavg: 31.51 28.03 28.90 33/445 10778
/proc/meminfo: memFree=260215380/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=2830188 CPUtime=7567.74 cores=0-31
/proc/10736/stat : 10736 (claspmt) R 10734 10736 10706 0 -1 4202496 579414 0 0 0 752592 4182 0 0 25 0 32 0 46260028 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4370259 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/10736/statm: 707547 452638 461 189 0 701896 0
[pid=10736/tid=10740] ppid=10734 vsize=2830188 CPUtime=227.33 cores=0-31
/proc/10736/task/10740/stat : 10740 (claspmt) R 10734 10736 10706 0 -1 4202560 13274 0 0 0 22597 136 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670351 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10736/tid=10741] ppid=10734 vsize=2830188 CPUtime=227.45 cores=0-31
/proc/10736/task/10741/stat : 10741 (claspmt) R 10734 10736 10706 0 -1 4202560 22031 0 0 0 22583 162 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10736/tid=10742] ppid=10734 vsize=2830188 CPUtime=227.36 cores=0-31
/proc/10736/task/10742/stat : 10742 (claspmt) R 10734 10736 10706 0 -1 4202560 17019 0 0 0 22592 144 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10736/tid=10743] ppid=10734 vsize=2830188 CPUtime=227.32 cores=0-31
/proc/10736/task/10743/stat : 10743 (claspmt) R 10734 10736 10706 0 -1 4202560 14311 0 0 0 22595 137 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10736/tid=10744] ppid=10734 vsize=2830188 CPUtime=297.71 cores=0-31
/proc/10736/task/10744/stat : 10744 (claspmt) R 10734 10736 10706 0 -1 4202560 14136 0 0 0 29640 131 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10736/tid=10745] ppid=10734 vsize=2830188 CPUtime=227.37 cores=0-31
/proc/10736/task/10745/stat : 10745 (claspmt) R 10734 10736 10706 0 -1 4202560 16577 0 0 0 22591 146 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4362996 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10736/tid=10746] ppid=10734 vsize=2830188 CPUtime=227.43 cores=0-31
/proc/10736/task/10746/stat : 10746 (claspmt) R 10734 10736 10706 0 -1 4202560 16769 0 0 0 22604 139 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10736/tid=10747] ppid=10734 vsize=2830188 CPUtime=227.29 cores=0-31
/proc/10736/task/10747/stat : 10747 (claspmt) R 10734 10736 10706 0 -1 4202560 13799 0 0 0 22597 132 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10736/tid=10748] ppid=10734 vsize=2830188 CPUtime=227.39 cores=0-31
/proc/10736/task/10748/stat : 10748 (claspmt) R 10734 10736 10706 0 -1 4202560 13537 0 0 0 22599 140 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10736/tid=10749] ppid=10734 vsize=2830188 CPUtime=227.41 cores=0-31
/proc/10736/task/10749/stat : 10749 (claspmt) R 10734 10736 10706 0 -1 4202560 23092 0 0 0 22577 164 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10736/tid=10750] ppid=10734 vsize=2830188 CPUtime=227.44 cores=0-31
/proc/10736/task/10750/stat : 10750 (claspmt) R 10734 10736 10706 0 -1 4202560 17717 0 0 0 22605 139 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10736/tid=10751] ppid=10734 vsize=2830188 CPUtime=220.93 cores=0-31
/proc/10736/task/10751/stat : 10751 (claspmt) R 10734 10736 10706 0 -1 4202560 13651 0 0 0 21972 121 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10736/tid=10752] ppid=10734 vsize=2830188 CPUtime=300.38 cores=0-31
/proc/10736/task/10752/stat : 10752 (claspmt) R 10734 10736 10706 0 -1 4202560 14802 0 0 0 29935 103 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10736/tid=10753] ppid=10734 vsize=2830188 CPUtime=227.42 cores=0-31
/proc/10736/task/10753/stat : 10753 (claspmt) R 10734 10736 10706 0 -1 4202560 17597 0 0 0 22607 135 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10736/tid=10754] ppid=10734 vsize=2830188 CPUtime=227.4 cores=0-31
/proc/10736/task/10754/stat : 10754 (claspmt) R 10734 10736 10706 0 -1 4202560 15862 0 0 0 22608 132 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10736/tid=10755] ppid=10734 vsize=2830188 CPUtime=227.28 cores=0-31
/proc/10736/task/10755/stat : 10755 (claspmt) R 10734 10736 10706 0 -1 4202560 13363 0 0 0 22599 129 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10736/tid=10756] ppid=10734 vsize=2830188 CPUtime=227.26 cores=0-31
/proc/10736/task/10756/stat : 10756 (claspmt) R 10734 10736 10706 0 -1 4202560 13690 0 0 0 22602 124 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10736/tid=10757] ppid=10734 vsize=2830188 CPUtime=227.36 cores=0-31
/proc/10736/task/10757/stat : 10757 (claspmt) R 10734 10736 10706 0 -1 4202560 23166 0 0 0 22579 157 0 0 25 0 32 0 46261158 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668721 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10736/tid=10758] ppid=10734 vsize=2830188 CPUtime=227.46 cores=0-31
/proc/10736/task/10758/stat : 10758 (claspmt) R 10734 10736 10706 0 -1 4202560 17637 0 0 0 22612 134 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668623 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10736/tid=10759] ppid=10734 vsize=2830188 CPUtime=227.26 cores=0-31
/proc/10736/task/10759/stat : 10759 (claspmt) R 10734 10736 10706 0 -1 4202560 14250 0 0 0 22600 126 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10736/tid=10760] ppid=10734 vsize=2830188 CPUtime=299.85 cores=0-31
/proc/10736/task/10760/stat : 10760 (claspmt) R 10734 10736 10706 0 -1 4202560 14187 0 0 0 29858 127 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10736/tid=10761] ppid=10734 vsize=2830188 CPUtime=227.4 cores=0-31
/proc/10736/task/10761/stat : 10761 (claspmt) R 10734 10736 10706 0 -1 4202560 17220 0 0 0 22611 129 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10736/tid=10762] ppid=10734 vsize=2830188 CPUtime=227.47 cores=0-31
/proc/10736/task/10762/stat : 10762 (claspmt) R 10734 10736 10706 0 -1 4202560 16377 0 0 0 22611 136 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10736/tid=10763] ppid=10734 vsize=2830188 CPUtime=226.97 cores=0-31
/proc/10736/task/10763/stat : 10763 (claspmt) R 10734 10736 10706 0 -1 4202560 14068 0 0 0 22598 99 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10736/tid=10764] ppid=10734 vsize=2830188 CPUtime=227.19 cores=0-31
/proc/10736/task/10764/stat : 10764 (claspmt) R 10734 10736 10706 0 -1 4202560 13366 0 0 0 22597 122 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10736/tid=10765] ppid=10734 vsize=2830188 CPUtime=227.46 cores=0-31
/proc/10736/task/10765/stat : 10765 (claspmt) R 10734 10736 10706 0 -1 4202560 21231 0 0 0 22589 157 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10736/tid=10766] ppid=10734 vsize=2830188 CPUtime=227.37 cores=0-31
/proc/10736/task/10766/stat : 10766 (claspmt) R 10734 10736 10706 0 -1 4202560 15830 0 0 0 22614 123 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10736/tid=10767] ppid=10734 vsize=2830188 CPUtime=227.19 cores=0-31
/proc/10736/task/10767/stat : 10767 (claspmt) R 10734 10736 10706 0 -1 4202560 13898 0 0 0 22598 121 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10736/tid=10768] ppid=10734 vsize=2830188 CPUtime=300.38 cores=0-31
/proc/10736/task/10768/stat : 10768 (claspmt) R 10734 10736 10706 0 -1 4202560 13273 0 0 0 29904 134 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10736/tid=10769] ppid=10734 vsize=2830188 CPUtime=227.37 cores=0-31
/proc/10736/task/10769/stat : 10769 (claspmt) R 10734 10736 10706 0 -1 4202560 17354 0 0 0 22606 131 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10736/tid=10770] ppid=10734 vsize=2830188 CPUtime=227.43 cores=0-31
/proc/10736/task/10770/stat : 10770 (claspmt) R 10734 10736 10706 0 -1 4202560 16829 0 0 0 22609 134 0 0 25 0 32 0 46261159 2898112512 452638 270582939648 4194304 4964800 140737338318800 18446744073709551615 4360553 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 7567.74
Current children cumulated vsize (KiB) 2830188
[startup+316.701 s]
/proc/loadavg: 29.06 27.58 28.75 2/414 10778
/proc/meminfo: memFree=260269928/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=2685096 CPUtime=7642.64 cores=0-31
/proc/10736/stat : 10736 (claspmt) R 10734 10736 10706 0 -1 4202496 579497 0 0 0 760076 4188 0 0 18 0 1 0 46260028 2749538304 438954 270582939648 4194304 4964800 140737338318800 18446744073709551615 258650604748 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/10736/statm: 671274 438954 472 189 0 665623 0
Current children cumulated CPU time (s) 7642.64
Current children cumulated vsize (KiB) 2685096
[startup+318.301 s]
/proc/loadavg: 29.06 27.58 28.75 2/414 10778
/proc/meminfo: memFree=260494492/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=2276616 CPUtime=7644.2 cores=0-31
/proc/10736/stat : 10736 (claspmt) R 10734 10736 10706 0 -1 4202496 579497 0 0 0 760229 4191 0 0 20 0 1 0 46260028 2331254784 335734 270582939648 4194304 4964800 140737338318800 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/10736/statm: 569154 335734 472 189 0 563503 0
Current children cumulated CPU time (s) 7644.2
Current children cumulated vsize (KiB) 2276616
[startup+318.701 s]
/proc/loadavg: 29.06 27.58 28.75 2/414 10778
/proc/meminfo: memFree=260494492/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=2113224 CPUtime=7644.61 cores=0-31
/proc/10736/stat : 10736 (claspmt) R 10734 10736 10706 0 -1 4202496 579497 0 0 0 760268 4193 0 0 21 0 1 0 46260028 2163941376 294216 270582939648 4194304 4964800 140737338318800 18446744073709551615 258650612756 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/10736/statm: 528306 294216 472 189 0 522655 0
Current children cumulated CPU time (s) 7644.61
Current children cumulated vsize (KiB) 2113224
[startup+318.901 s]
/proc/loadavg: 29.06 27.58 28.75 2/414 10778
/proc/meminfo: memFree=261609120/264257624 swapFree=67111528/67111528
[pid=10736] ppid=10734 vsize=0 CPUtime=7644.83 cores=0-31
/proc/10736/stat : 10736 (claspmt) Z 10734 10736 10706 0 -1 4202524 579498 0 0 0 760282 4201 0 0 22 0 1 0 46260028 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/10736/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7644.83
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 318.933
CPU time (s): 7644.84
CPU user time (s): 7602.83
CPU system time (s): 42.0126
CPU usage (%): 2397
Max. virtual memory (cumulated for all children) (KiB): 2830188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7602.83
system time used= 42.0126
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 579498
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= 244915
involuntary context switches= 17178
runsolver used 1.83772 second user time and 7.15791 second system time
The end
Begin job on node200 at 2011-06-11 18:12:11
IDJOB=3472508
IDBENCH=84246
IDSOLVER=1961
FILE ID=node200/3472508-1307808729
RUNJOBID= node200-1307808729-10720
PBS_JOBID= 13550803
Free space on /tmp= 61716 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.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-3472508-1307808729/watcher-3472508-1307808729 -o /tmp/evaluation-result-3472508-1307808729/solver-3472508-1307808729 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472508-1307808729.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= f16626953757fdd1326f2a14f01adca9
RANDOM SEED=1201787033
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: 262017832 kB
Buffers: 292476 kB
Cached: 1617744 kB
SwapCached: 0 kB
Active: 347708 kB
Inactive: 1625684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262017832 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 28944 kB
Writeback: 0 kB
AnonPages: 63964 kB
Mapped: 15076 kB
Slab: 186680 kB
PageTables: 4572 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 163560 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= 61712 MiB
End job on node200 at 2011-06-11 18:17:31