0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...482769/instance-3472330-1307482769.cnf
3.33/3.37 c Solving...
11529.06/702.22 s UNSATISFIABLE
11529.06/702.22
11529.06/702.22 c Models : 0
11529.06/702.22 c Time : 699.867s (Solving: 696.49s 1st Model: 0.00s Unsat: 696.49s)
11529.06/702.22 c CPU Time : 11526.730s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472330-1307482769/watcher-3472330-1307482769 -o /tmp/evaluation-result-3472330-1307482769/solver-3472330-1307482769 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472330-1307482769.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: 29.70 31.20 25.47 1/413 17857
/proc/meminfo: memFree=263146300/264257624 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=53844 CPUtime=0.03 cores=0-31
/proc/17857/stat : 17857 (claspmt) R 17855 17857 17831 0 -1 4202496 4895 0 0 0 2 1 0 0 25 0 1 0 13663930 55136256 4824 270582939648 4194304 4964800 140736464768432 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17857/statm: 13461 4832 373 189 0 8335 0
[startup+0.0706969 s]
/proc/loadavg: 29.70 31.20 25.47 1/413 17857
/proc/meminfo: memFree=263146300/264257624 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=69064 CPUtime=0.06 cores=0-31
/proc/17857/stat : 17857 (claspmt) R 17855 17857 17831 0 -1 4202496 12520 0 0 0 5 1 0 0 25 0 1 0 13663930 70721536 11250 270582939648 4194304 4964800 140736464768432 18446744073709551615 4679151 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17857/statm: 17266 11261 375 189 0 12140 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 69064
[startup+0.100672 s]
/proc/loadavg: 29.70 31.20 25.47 1/413 17857
/proc/meminfo: memFree=263146300/264257624 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=74956 CPUtime=0.09 cores=0-31
/proc/17857/stat : 17857 (claspmt) R 17855 17857 17831 0 -1 4202496 16030 0 0 0 7 2 0 0 25 0 1 0 13663930 76754944 13639 270582939648 4194304 4964800 140736464768432 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17857/statm: 18739 13640 383 189 0 13613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 74956
[startup+0.300681 s]
/proc/loadavg: 29.70 31.20 25.47 1/413 17857
/proc/meminfo: memFree=263146300/264257624 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=100824 CPUtime=0.29 cores=0-31
/proc/17857/stat : 17857 (claspmt) R 17855 17857 17831 0 -1 4202496 24913 0 0 0 25 4 0 0 25 0 1 0 13663930 103243776 20144 270582939648 4194304 4964800 140736464768432 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17857/statm: 25206 20146 383 189 0 20080 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 100824
[startup+0.700699 s]
/proc/loadavg: 29.70 31.20 25.47 1/413 17857
/proc/meminfo: memFree=263146300/264257624 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=165052 CPUtime=0.69 cores=0-31
/proc/17857/stat : 17857 (claspmt) R 17855 17857 17831 0 -1 4202496 46283 0 0 0 61 8 0 0 25 0 1 0 13663930 169013248 35496 270582939648 4194304 4964800 140736464768432 18446744073709551615 4615428 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17857/statm: 41263 35496 397 189 0 36137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 165052
[startup+1.50073 s]
/proc/loadavg: 27.40 30.70 25.34 2/414 17858
/proc/meminfo: memFree=263000452/264257624 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=179292 CPUtime=1.49 cores=0-31
/proc/17857/stat : 17857 (claspmt) R 17855 17857 17831 0 -1 4202496 49706 0 0 0 140 9 0 0 25 0 1 0 13663930 183595008 38919 270582939648 4194304 4964800 140736464768432 18446744073709551615 4607552 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/17857/statm: 44823 38919 400 189 0 39697 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 179292
[startup+3.10078 s]
/proc/loadavg: 27.40 30.70 25.34 2/414 17858
/proc/meminfo: memFree=262990560/264257624 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=182332 CPUtime=3.09 cores=0-31
/proc/17857/stat : 17857 (claspmt) R 17855 17857 17831 0 -1 4202496 50478 0 0 0 300 9 0 0 25 0 1 0 13663930 186707968 39691 270582939648 4194304 4964800 140736464768432 18446744073709551615 4327781 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/17857/statm: 45583 39691 403 189 0 40457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 182332
[startup+6.30285 s]
/proc/loadavg: 27.40 30.70 25.34 14/445 17889
/proc/meminfo: memFree=262212648/264257624 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=2472736 CPUtime=37.18 cores=0-31
/proc/17857/stat : 17857 (claspmt) S 17855 17857 17831 0 -1 4202496 363263 0 0 0 1131 2587 0 0 18 0 32 0 13663930 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 29 0 0 0
/proc/17857/statm: 618184 283931 440 189 0 612533 0
[pid=17857/tid=17859] ppid=17855 vsize=2472736 CPUtime=1.01 cores=0-31
/proc/17857/task/17859/stat : 17859 (claspmt) S 17855 17857 17831 0 -1 4202560 9036 0 0 0 13 88 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604501757533664 0 0 -1 17 0 0 0
[pid=17857/tid=17860] ppid=17855 vsize=2472736 CPUtime=1.13 cores=0-31
/proc/17857/task/17860/stat : 17860 (claspmt) S 17855 17857 17831 0 -1 4202560 11299 0 0 0 25 88 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604505607396832 0 0 -1 27 0 0 0
[pid=17857/tid=17861] ppid=17855 vsize=2472736 CPUtime=1.12 cores=0-31
/proc/17857/task/17861/stat : 17861 (claspmt) S 17855 17857 17831 0 -1 4202560 10925 0 0 0 26 86 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604504753618400 0 0 -1 26 0 0 0
[pid=17857/tid=17862] ppid=17855 vsize=2472736 CPUtime=0.99 cores=0-31
/proc/17857/task/17862/stat : 17862 (claspmt) S 17855 17857 17831 0 -1 4202560 8891 0 0 0 13 86 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604565415779808 0 0 -1 3 0 0 0
[pid=17857/tid=17863] ppid=17855 vsize=2472736 CPUtime=1.52 cores=0-31
/proc/17857/task/17863/stat : 17863 (claspmt) R 17855 17857 17831 0 -1 4202560 9618 0 0 0 69 83 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17857/tid=17864] ppid=17855 vsize=2472736 CPUtime=1.13 cores=0-31
/proc/17857/task/17864/stat : 17864 (claspmt) S 17855 17857 17831 0 -1 4202560 11201 0 0 0 23 90 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604498447662560 0 0 -1 7 0 0 0
[pid=17857/tid=17865] ppid=17855 vsize=2472736 CPUtime=1.17 cores=0-31
/proc/17857/task/17865/stat : 17865 (claspmt) S 17855 17857 17831 0 -1 4202560 11333 0 0 0 22 95 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604505607388640 0 0 -1 5 0 0 0
[pid=17857/tid=17866] ppid=17855 vsize=2472736 CPUtime=0.96 cores=0-31
/proc/17857/task/17866/stat : 17866 (claspmt) S 17855 17857 17831 0 -1 4202560 9066 0 0 0 12 84 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604571520908768 0 0 -1 13 0 0 0
[pid=17857/tid=17867] ppid=17855 vsize=2472736 CPUtime=0.97 cores=0-31
/proc/17857/task/17867/stat : 17867 (claspmt) S 17855 17857 17831 0 -1 4202560 9118 0 0 0 13 84 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604504753634784 0 0 -1 30 0 0 0
[pid=17857/tid=17868] ppid=17855 vsize=2472736 CPUtime=1.07 cores=0-31
/proc/17857/task/17868/stat : 17868 (claspmt) S 17855 17857 17831 0 -1 4202560 11388 0 0 0 22 85 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604500227022304 0 0 -1 14 0 0 0
[pid=17857/tid=17869] ppid=17855 vsize=2472736 CPUtime=1.08 cores=0-31
/proc/17857/task/17869/stat : 17869 (claspmt) S 17855 17857 17831 0 -1 4202560 11223 0 0 0 23 85 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604502325960160 0 0 -1 22 0 0 0
[pid=17857/tid=17870] ppid=17855 vsize=2472736 CPUtime=0.8 cores=0-31
/proc/17857/task/17870/stat : 17870 (claspmt) S 17855 17857 17831 0 -1 4202560 9032 0 0 0 14 66 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604560573218272 0 0 -1 7 0 0 0
[pid=17857/tid=17871] ppid=17855 vsize=2472736 CPUtime=1.52 cores=0-31
/proc/17857/task/17871/stat : 17871 (claspmt) R 17855 17857 17831 0 -1 4202560 10083 0 0 0 69 83 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17857/tid=17872] ppid=17855 vsize=2472736 CPUtime=1.02 cores=0-31
/proc/17857/task/17872/stat : 17872 (claspmt) S 17855 17857 17831 0 -1 4202560 10757 0 0 0 22 80 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604560885489120 0 0 -1 18 0 0 0
[pid=17857/tid=17873] ppid=17855 vsize=2472736 CPUtime=1.15 cores=0-31
/proc/17857/task/17873/stat : 17873 (claspmt) S 17855 17857 17831 0 -1 4202560 11523 0 0 0 27 88 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604501923831264 0 0 -1 9 0 0 0
[pid=17857/tid=17874] ppid=17855 vsize=2472736 CPUtime=0.96 cores=0-31
/proc/17857/task/17874/stat : 17874 (claspmt) S 17855 17857 17831 0 -1 4202560 8968 0 0 0 13 83 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604498447646176 0 0 -1 22 0 0 0
[pid=17857/tid=17875] ppid=17855 vsize=2472736 CPUtime=0.94 cores=0-31
/proc/17857/task/17875/stat : 17875 (claspmt) S 17855 17857 17831 0 -1 4202560 8950 0 0 0 14 80 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604505607405024 0 0 -1 10 0 0 0
[pid=17857/tid=17876] ppid=17855 vsize=2472736 CPUtime=1.05 cores=0-31
/proc/17857/task/17876/stat : 17876 (claspmt) S 17855 17857 17831 0 -1 4202560 11294 0 0 0 24 81 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604501923847648 0 0 -1 11 0 0 0
[pid=17857/tid=17877] ppid=17855 vsize=2472736 CPUtime=1.08 cores=0-31
/proc/17857/task/17877/stat : 17877 (claspmt) S 17855 17857 17831 0 -1 4202560 11192 0 0 0 23 85 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604497334336992 0 0 -1 9 0 0 0
[pid=17857/tid=17878] ppid=17855 vsize=2472736 CPUtime=0.87 cores=0-31
/proc/17857/task/17878/stat : 17878 (claspmt) S 17855 17857 17831 0 -1 4202560 7374 0 0 0 13 74 0 0 18 0 32 0 13664268 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604567829151200 0 0 -1 27 0 0 0
[pid=17857/tid=17879] ppid=17855 vsize=2472736 CPUtime=1.38 cores=0-31
/proc/17857/task/17879/stat : 17879 (claspmt) R 17855 17857 17831 0 -1 4202560 10900 0 0 0 50 88 0 0 18 0 32 0 13664269 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 4399557 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17857/tid=17880] ppid=17855 vsize=2472736 CPUtime=1.08 cores=0-31
/proc/17857/task/17880/stat : 17880 (claspmt) S 17855 17857 17831 0 -1 4202560 11232 0 0 0 25 83 0 0 18 0 32 0 13664269 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604504753626592 0 0 -1 31 0 0 0
[pid=17857/tid=17881] ppid=17855 vsize=2472736 CPUtime=1.14 cores=0-31
/proc/17857/task/17881/stat : 17881 (claspmt) S 17855 17857 17831 0 -1 4202560 10909 0 0 0 26 88 0 0 18 0 32 0 13664269 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604571832925664 0 0 -1 16 0 0 0
[pid=17857/tid=17882] ppid=17855 vsize=2472736 CPUtime=0.97 cores=0-31
/proc/17857/task/17882/stat : 17882 (claspmt) S 17855 17857 17831 0 -1 4202560 9259 0 0 0 13 84 0 0 18 0 32 0 13664269 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604501596118496 0 0 -1 28 0 0 0
[pid=17857/tid=17883] ppid=17855 vsize=2472736 CPUtime=0.91 cores=0-31
/proc/17857/task/17883/stat : 17883 (claspmt) S 17855 17857 17831 0 -1 4202560 7570 0 0 0 13 78 0 0 18 0 32 0 13664269 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604501757558240 0 0 -1 29 0 0 0
[pid=17857/tid=17884] ppid=17855 vsize=2472736 CPUtime=0.8 cores=0-31
/proc/17857/task/17884/stat : 17884 (claspmt) S 17855 17857 17831 0 -1 4202560 8335 0 0 0 30 50 0 0 18 0 32 0 13664269 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604561376886240 0 0 -1 15 0 0 0
[pid=17857/tid=17885] ppid=17855 vsize=2472736 CPUtime=1.06 cores=0-31
/proc/17857/task/17885/stat : 17885 (claspmt) S 17855 17857 17831 0 -1 4202560 11164 0 0 0 23 83 0 0 18 0 32 0 13664269 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604501596126688 0 0 -1 1 0 0 0
[pid=17857/tid=17886] ppid=17855 vsize=2472736 CPUtime=0.93 cores=0-31
/proc/17857/task/17886/stat : 17886 (claspmt) S 17855 17857 17831 0 -1 4202560 8768 0 0 0 14 79 0 0 18 0 32 0 13664269 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604500227030496 0 0 -1 21 0 0 0
[pid=17857/tid=17887] ppid=17855 vsize=2472736 CPUtime=1.41 cores=0-31
/proc/17857/task/17887/stat : 17887 (claspmt) R 17855 17857 17831 0 -1 4202560 10688 0 0 0 57 84 0 0 18 0 32 0 13664269 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17857/tid=17888] ppid=17855 vsize=2472736 CPUtime=1.09 cores=0-31
/proc/17857/task/17888/stat : 17888 (claspmt) S 17855 17857 17831 0 -1 4202560 10498 0 0 0 27 82 0 0 18 0 32 0 13664269 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604501923855840 0 0 -1 19 0 0 0
[pid=17857/tid=17889] ppid=17855 vsize=2472736 CPUtime=1.14 cores=0-31
/proc/17857/task/17889/stat : 17889 (claspmt) S 17855 17857 17831 0 -1 4202560 10751 0 0 0 30 84 0 0 18 0 32 0 13664269 2532081664 283931 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604501757550048 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 37.18
Current children cumulated vsize (KiB) 2472736
[startup+12.7021 s]
/proc/loadavg: 25.42 30.18 25.23 5/445 17889
/proc/meminfo: memFree=262012144/264257624 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=2472736 CPUtime=62.77 cores=0-31
/proc/17857/stat : 17857 (claspmt) S 17855 17857 17831 0 -1 4202496 363833 0 0 0 3689 2588 0 0 18 0 32 0 13663930 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 29 0 0 0
/proc/17857/statm: 618184 284501 440 189 0 612533 0
[pid=17857/tid=17859] ppid=17855 vsize=2472736 CPUtime=1.01 cores=0-31
/proc/17857/task/17859/stat : 17859 (claspmt) S 17855 17857 17831 0 -1 4202560 9036 0 0 0 13 88 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604501757533664 0 0 -1 17 0 0 0
[pid=17857/tid=17860] ppid=17855 vsize=2472736 CPUtime=1.13 cores=0-31
/proc/17857/task/17860/stat : 17860 (claspmt) S 17855 17857 17831 0 -1 4202560 11299 0 0 0 25 88 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604505607396832 0 0 -1 27 0 0 0
[pid=17857/tid=17861] ppid=17855 vsize=2472736 CPUtime=1.12 cores=0-31
/proc/17857/task/17861/stat : 17861 (claspmt) S 17855 17857 17831 0 -1 4202560 10925 0 0 0 26 86 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604504753618400 0 0 -1 26 0 0 0
[pid=17857/tid=17862] ppid=17855 vsize=2472736 CPUtime=0.99 cores=0-31
/proc/17857/task/17862/stat : 17862 (claspmt) S 17855 17857 17831 0 -1 4202560 8891 0 0 0 13 86 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604565415779808 0 0 -1 3 0 0 0
[pid=17857/tid=17863] ppid=17855 vsize=2472736 CPUtime=7.92 cores=0-31
/proc/17857/task/17863/stat : 17863 (claspmt) R 17855 17857 17831 0 -1 4202560 9747 0 0 0 708 84 0 0 25 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670225 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17857/tid=17864] ppid=17855 vsize=2472736 CPUtime=1.13 cores=0-31
/proc/17857/task/17864/stat : 17864 (claspmt) S 17855 17857 17831 0 -1 4202560 11201 0 0 0 23 90 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604498447662560 0 0 -1 7 0 0 0
[pid=17857/tid=17865] ppid=17855 vsize=2472736 CPUtime=1.17 cores=0-31
/proc/17857/task/17865/stat : 17865 (claspmt) S 17855 17857 17831 0 -1 4202560 11333 0 0 0 22 95 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604505607388640 0 0 -1 5 0 0 0
[pid=17857/tid=17866] ppid=17855 vsize=2472736 CPUtime=0.96 cores=0-31
/proc/17857/task/17866/stat : 17866 (claspmt) S 17855 17857 17831 0 -1 4202560 9066 0 0 0 12 84 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604571520908768 0 0 -1 13 0 0 0
[pid=17857/tid=17867] ppid=17855 vsize=2472736 CPUtime=0.97 cores=0-31
/proc/17857/task/17867/stat : 17867 (claspmt) S 17855 17857 17831 0 -1 4202560 9118 0 0 0 13 84 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604504753634784 0 0 -1 30 0 0 0
[pid=17857/tid=17868] ppid=17855 vsize=2472736 CPUtime=1.07 cores=0-31
/proc/17857/task/17868/stat : 17868 (claspmt) S 17855 17857 17831 0 -1 4202560 11388 0 0 0 22 85 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604500227022304 0 0 -1 14 0 0 0
[pid=17857/tid=17869] ppid=17855 vsize=2472736 CPUtime=1.08 cores=0-31
/proc/17857/task/17869/stat : 17869 (claspmt) S 17855 17857 17831 0 -1 4202560 11223 0 0 0 23 85 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604502325960160 0 0 -1 22 0 0 0
[pid=17857/tid=17870] ppid=17855 vsize=2472736 CPUtime=0.8 cores=0-31
/proc/17857/task/17870/stat : 17870 (claspmt) S 17855 17857 17831 0 -1 4202560 9032 0 0 0 14 66 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604560573218272 0 0 -1 7 0 0 0
[pid=17857/tid=17871] ppid=17855 vsize=2472736 CPUtime=7.91 cores=0-31
/proc/17857/task/17871/stat : 17871 (claspmt) R 17855 17857 17831 0 -1 4202560 10251 0 0 0 708 83 0 0 25 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17857/tid=17872] ppid=17855 vsize=2472736 CPUtime=1.02 cores=0-31
/proc/17857/task/17872/stat : 17872 (claspmt) S 17855 17857 17831 0 -1 4202560 10757 0 0 0 22 80 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604560885489120 0 0 -1 18 0 0 0
[pid=17857/tid=17873] ppid=17855 vsize=2472736 CPUtime=1.15 cores=0-31
/proc/17857/task/17873/stat : 17873 (claspmt) S 17855 17857 17831 0 -1 4202560 11523 0 0 0 27 88 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604501923831264 0 0 -1 9 0 0 0
[pid=17857/tid=17874] ppid=17855 vsize=2472736 CPUtime=0.96 cores=0-31
/proc/17857/task/17874/stat : 17874 (claspmt) S 17855 17857 17831 0 -1 4202560 8968 0 0 0 13 83 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604498447646176 0 0 -1 22 0 0 0
[pid=17857/tid=17875] ppid=17855 vsize=2472736 CPUtime=0.94 cores=0-31
/proc/17857/task/17875/stat : 17875 (claspmt) S 17855 17857 17831 0 -1 4202560 8950 0 0 0 14 80 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604505607405024 0 0 -1 10 0 0 0
[pid=17857/tid=17876] ppid=17855 vsize=2472736 CPUtime=1.05 cores=0-31
/proc/17857/task/17876/stat : 17876 (claspmt) S 17855 17857 17831 0 -1 4202560 11294 0 0 0 24 81 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604501923847648 0 0 -1 11 0 0 0
[pid=17857/tid=17877] ppid=17855 vsize=2472736 CPUtime=1.08 cores=0-31
/proc/17857/task/17877/stat : 17877 (claspmt) S 17855 17857 17831 0 -1 4202560 11192 0 0 0 23 85 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604497334336992 0 0 -1 9 0 0 0
[pid=17857/tid=17878] ppid=17855 vsize=2472736 CPUtime=0.87 cores=0-31
/proc/17857/task/17878/stat : 17878 (claspmt) S 17855 17857 17831 0 -1 4202560 7374 0 0 0 13 74 0 0 18 0 32 0 13664268 2532081664 284501 270582939648 4194304 4964800 140736464768432 18446744073709551615 258662772457 0 0 4096 18946 18446604567829151200 0 0 -1 27 0 0 0
[pid=17857/tid=17879] ppid=17855 vsize=2472736 CPUtime=7.79 cores=0-31
################
# More data... #
################
/proc/17857/task/17882/stat : 17882 (claspmt) R 17855 17857 17831 0 -1 4202560 12820 0 0 0 13548 100 0 0 25 0 32 0 13664269 2617901056 492883 270582939648 4194304 4964800 140736464768432 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17857/tid=17883] ppid=17855 vsize=2556544 CPUtime=136.43 cores=0-31
/proc/17857/task/17883/stat : 17883 (claspmt) R 17855 17857 17831 0 -1 4202560 10255 0 0 0 13555 88 0 0 25 0 32 0 13664269 2617901056 492883 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17857/tid=17884] ppid=17855 vsize=2556544 CPUtime=136.27 cores=0-31
/proc/17857/task/17884/stat : 17884 (claspmt) R 17855 17857 17831 0 -1 4202560 25451 0 0 0 13523 104 0 0 25 0 32 0 13664269 2617901056 492883 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17857/tid=17885] ppid=17855 vsize=2556544 CPUtime=136.55 cores=0-31
/proc/17857/task/17885/stat : 17885 (claspmt) R 17855 17857 17831 0 -1 4202560 17594 0 0 0 13547 108 0 0 25 0 32 0 13664269 2617901056 492885 270582939648 4194304 4964800 140736464768432 18446744073709551615 4378505 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17857/tid=17886] ppid=17855 vsize=2556544 CPUtime=136.35 cores=0-31
/proc/17857/task/17886/stat : 17886 (claspmt) R 17855 17857 17831 0 -1 4202560 14758 0 0 0 13537 98 0 0 25 0 32 0 13664269 2617901056 492886 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=17857/tid=17887] ppid=17855 vsize=2556544 CPUtime=509.14 cores=0-31
/proc/17857/task/17887/stat : 17887 (claspmt) R 17855 17857 17831 0 -1 4202560 11846 0 0 0 50827 87 0 0 25 0 32 0 13664269 2617901056 492887 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17857/tid=17888] ppid=17855 vsize=2556544 CPUtime=134.63 cores=0-31
/proc/17857/task/17888/stat : 17888 (claspmt) R 17855 17857 17831 0 -1 4202560 15139 0 0 0 13365 98 0 0 25 0 32 0 13664269 2617901056 492887 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17857/tid=17889] ppid=17855 vsize=2556544 CPUtime=136.12 cores=0-31
/proc/17857/task/17889/stat : 17889 (claspmt) R 17855 17857 17831 0 -1 4202560 21494 0 0 0 13497 115 0 0 25 0 32 0 13664269 2617901056 492887 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 5854.32
Current children cumulated vsize (KiB) 2556544
[startup+582.302 s]
/proc/loadavg: 30.98 21.33 20.79 33/445 17908
/proc/meminfo: memFree=260855936/264257624 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=3159244 CPUtime=7771.99 cores=0-31
/proc/17857/stat : 17857 (claspmt) R 17855 17857 17831 0 -1 4202496 653959 0 0 0 773609 3590 0 0 25 0 32 0 13663930 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/17857/statm: 789811 574627 463 189 0 784160 0
[pid=17857/tid=17859] ppid=17855 vsize=3159244 CPUtime=196.53 cores=0-31
/proc/17857/task/17859/stat : 17859 (claspmt) R 17855 17857 17831 0 -1 4202560 14402 0 0 0 19544 109 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17857/tid=17860] ppid=17855 vsize=3159244 CPUtime=195.95 cores=0-31
/proc/17857/task/17860/stat : 17860 (claspmt) R 17855 17857 17831 0 -1 4202560 36068 0 0 0 19445 150 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17857/tid=17861] ppid=17855 vsize=3159244 CPUtime=196.59 cores=0-31
/proc/17857/task/17861/stat : 17861 (claspmt) R 17855 17857 17831 0 -1 4202560 19675 0 0 0 19539 120 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4683694 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17857/tid=17862] ppid=17855 vsize=3159244 CPUtime=196.25 cores=0-31
/proc/17857/task/17862/stat : 17862 (claspmt) R 17855 17857 17831 0 -1 4202560 20171 0 0 0 19503 122 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4660144 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17857/tid=17863] ppid=17855 vsize=3159244 CPUtime=577.41 cores=0-31
/proc/17857/task/17863/stat : 17863 (claspmt) R 17855 17857 17831 0 -1 4202560 10785 0 0 0 57655 86 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17857/tid=17864] ppid=17855 vsize=3159244 CPUtime=196.61 cores=0-31
/proc/17857/task/17864/stat : 17864 (claspmt) R 17855 17857 17831 0 -1 4202560 19511 0 0 0 19539 122 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17857/tid=17865] ppid=17855 vsize=3159244 CPUtime=196.65 cores=0-31
/proc/17857/task/17865/stat : 17865 (claspmt) R 17855 17857 17831 0 -1 4202560 21931 0 0 0 19538 127 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17857/tid=17866] ppid=17855 vsize=3159244 CPUtime=196.46 cores=0-31
/proc/17857/task/17866/stat : 17866 (claspmt) R 17855 17857 17831 0 -1 4202560 13563 0 0 0 19542 104 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17857/tid=17867] ppid=17855 vsize=3159244 CPUtime=196.5 cores=0-31
/proc/17857/task/17867/stat : 17867 (claspmt) R 17855 17857 17831 0 -1 4202560 13122 0 0 0 19550 100 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17857/tid=17868] ppid=17855 vsize=3159244 CPUtime=196.48 cores=0-31
/proc/17857/task/17868/stat : 17868 (claspmt) R 17855 17857 17831 0 -1 4202560 41048 0 0 0 19462 186 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17857/tid=17869] ppid=17855 vsize=3159244 CPUtime=196.39 cores=0-31
/proc/17857/task/17869/stat : 17869 (claspmt) R 17855 17857 17831 0 -1 4202560 17716 0 0 0 19527 112 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17857/tid=17870] ppid=17855 vsize=3159244 CPUtime=196.29 cores=0-31
/proc/17857/task/17870/stat : 17870 (claspmt) R 17855 17857 17831 0 -1 4202560 19120 0 0 0 19525 104 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17857/tid=17871] ppid=17855 vsize=3159244 CPUtime=558.71 cores=0-31
/proc/17857/task/17871/stat : 17871 (claspmt) R 17855 17857 17831 0 -1 4202560 11550 0 0 0 55785 86 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17857/tid=17872] ppid=17855 vsize=3159244 CPUtime=196.47 cores=0-31
/proc/17857/task/17872/stat : 17872 (claspmt) R 17855 17857 17831 0 -1 4202560 17324 0 0 0 19545 102 0 0 25 0 32 0 13664268 3235065856 574627 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17857/tid=17873] ppid=17855 vsize=3159244 CPUtime=196.62 cores=0-31
/proc/17857/task/17873/stat : 17873 (claspmt) R 17855 17857 17831 0 -1 4202560 22281 0 0 0 19534 128 0 0 25 0 32 0 13664268 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17857/tid=17874] ppid=17855 vsize=3159244 CPUtime=196.47 cores=0-31
/proc/17857/task/17874/stat : 17874 (claspmt) R 17855 17857 17831 0 -1 4202560 14369 0 0 0 19540 107 0 0 25 0 32 0 13664268 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17857/tid=17875] ppid=17855 vsize=3159244 CPUtime=196.47 cores=0-31
/proc/17857/task/17875/stat : 17875 (claspmt) R 17855 17857 17831 0 -1 4202560 13612 0 0 0 19549 98 0 0 25 0 32 0 13664268 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17857/tid=17876] ppid=17855 vsize=3159244 CPUtime=196.49 cores=0-31
/proc/17857/task/17876/stat : 17876 (claspmt) R 17855 17857 17831 0 -1 4202560 32708 0 0 0 19488 161 0 0 25 0 32 0 13664268 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17857/tid=17877] ppid=17855 vsize=3159244 CPUtime=196.54 cores=0-31
/proc/17857/task/17877/stat : 17877 (claspmt) R 17855 17857 17831 0 -1 4202560 19941 0 0 0 19535 119 0 0 25 0 32 0 13664268 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17857/tid=17878] ppid=17855 vsize=3159244 CPUtime=195.62 cores=0-31
/proc/17857/task/17878/stat : 17878 (claspmt) R 17855 17857 17831 0 -1 4202560 17094 0 0 0 19454 108 0 0 25 0 32 0 13664268 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17857/tid=17879] ppid=17855 vsize=3159244 CPUtime=567.81 cores=0-31
/proc/17857/task/17879/stat : 17879 (claspmt) R 17855 17857 17831 0 -1 4202560 12000 0 0 0 56689 92 0 0 25 0 32 0 13664269 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17857/tid=17880] ppid=17855 vsize=3159244 CPUtime=196.54 cores=0-31
/proc/17857/task/17880/stat : 17880 (claspmt) R 17855 17857 17831 0 -1 4202560 17578 0 0 0 19549 105 0 0 25 0 32 0 13664269 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17857/tid=17881] ppid=17855 vsize=3159244 CPUtime=196.59 cores=0-31
/proc/17857/task/17881/stat : 17881 (claspmt) R 17855 17857 17831 0 -1 4202560 21077 0 0 0 19537 122 0 0 25 0 32 0 13664269 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17857/tid=17882] ppid=17855 vsize=3159244 CPUtime=196.46 cores=0-31
/proc/17857/task/17882/stat : 17882 (claspmt) R 17855 17857 17831 0 -1 4202560 13777 0 0 0 19542 104 0 0 25 0 32 0 13664269 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17857/tid=17883] ppid=17855 vsize=3159244 CPUtime=196.42 cores=0-31
/proc/17857/task/17883/stat : 17883 (claspmt) R 17855 17857 17831 0 -1 4202560 10976 0 0 0 19551 91 0 0 25 0 32 0 13664269 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17857/tid=17884] ppid=17855 vsize=3159244 CPUtime=196.17 cores=0-31
/proc/17857/task/17884/stat : 17884 (claspmt) R 17855 17857 17831 0 -1 4202560 33328 0 0 0 19489 128 0 0 25 0 32 0 13664269 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17857/tid=17885] ppid=17855 vsize=3159244 CPUtime=196.54 cores=0-31
/proc/17857/task/17885/stat : 17885 (claspmt) R 17855 17857 17831 0 -1 4202560 19991 0 0 0 19536 118 0 0 25 0 32 0 13664269 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17857/tid=17886] ppid=17855 vsize=3159244 CPUtime=196.33 cores=0-31
/proc/17857/task/17886/stat : 17886 (claspmt) R 17855 17857 17831 0 -1 4202560 17682 0 0 0 19525 108 0 0 23 0 32 0 13664269 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=17857/tid=17887] ppid=17855 vsize=3159244 CPUtime=569.13 cores=0-31
/proc/17857/task/17887/stat : 17887 (claspmt) R 17855 17857 17831 0 -1 4202560 11857 0 0 0 56826 87 0 0 25 0 32 0 13664269 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17857/tid=17888] ppid=17855 vsize=3159244 CPUtime=193.21 cores=0-31
/proc/17857/task/17888/stat : 17888 (claspmt) R 17855 17857 17831 0 -1 4202560 16349 0 0 0 19219 102 0 0 25 0 32 0 13664269 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17857/tid=17889] ppid=17855 vsize=3159244 CPUtime=196.1 cores=0-31
/proc/17857/task/17889/stat : 17889 (claspmt) R 17855 17857 17831 0 -1 4202560 27419 0 0 0 19475 135 0 0 25 0 32 0 13664269 3235065856 574628 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 7771.99
Current children cumulated vsize (KiB) 3159244
[startup+642.302 s]
/proc/loadavg: 31.66 23.28 21.49 33/445 17910
/proc/meminfo: memFree=260572964/264257624 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=3887436 CPUtime=9690.33 cores=0-31
/proc/17857/stat : 17857 (claspmt) R 17855 17857 17831 0 -1 4202496 724401 0 0 0 965212 3821 0 0 25 0 32 0 13663930 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/17857/statm: 971859 645069 463 189 0 966208 0
[pid=17857/tid=17859] ppid=17855 vsize=3887436 CPUtime=256.54 cores=0-31
/proc/17857/task/17859/stat : 17859 (claspmt) R 17855 17857 17831 0 -1 4202560 14652 0 0 0 25543 111 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17857/tid=17860] ppid=17855 vsize=3887436 CPUtime=254.58 cores=0-31
/proc/17857/task/17860/stat : 17860 (claspmt) R 17855 17857 17831 0 -1 4202560 43754 0 0 0 25285 173 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4313835 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17857/tid=17861] ppid=17855 vsize=3887436 CPUtime=256.59 cores=0-31
/proc/17857/task/17861/stat : 17861 (claspmt) R 17855 17857 17831 0 -1 4202560 21063 0 0 0 25534 125 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4653388 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17857/tid=17862] ppid=17855 vsize=3887436 CPUtime=256.25 cores=0-31
/proc/17857/task/17862/stat : 17862 (claspmt) R 17855 17857 17831 0 -1 4202560 23078 0 0 0 25494 131 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17857/tid=17863] ppid=17855 vsize=3887436 CPUtime=637.42 cores=0-31
/proc/17857/task/17863/stat : 17863 (claspmt) R 17855 17857 17831 0 -1 4202560 10795 0 0 0 63656 86 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17857/tid=17864] ppid=17855 vsize=3887436 CPUtime=256.62 cores=0-31
/proc/17857/task/17864/stat : 17864 (claspmt) R 17855 17857 17831 0 -1 4202560 20994 0 0 0 25534 128 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4660495 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17857/tid=17865] ppid=17855 vsize=3887436 CPUtime=256.64 cores=0-31
/proc/17857/task/17865/stat : 17865 (claspmt) R 17855 17857 17831 0 -1 4202560 27905 0 0 0 25518 146 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17857/tid=17866] ppid=17855 vsize=3887436 CPUtime=256.46 cores=0-31
/proc/17857/task/17866/stat : 17866 (claspmt) R 17855 17857 17831 0 -1 4202560 14314 0 0 0 25539 107 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17857/tid=17867] ppid=17855 vsize=3887436 CPUtime=256.51 cores=0-31
/proc/17857/task/17867/stat : 17867 (claspmt) R 17855 17857 17831 0 -1 4202560 13783 0 0 0 25548 103 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17857/tid=17868] ppid=17855 vsize=3887436 CPUtime=256.48 cores=0-31
/proc/17857/task/17868/stat : 17868 (claspmt) R 17855 17857 17831 0 -1 4202560 46654 0 0 0 25445 203 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4660144 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17857/tid=17869] ppid=17855 vsize=3887436 CPUtime=256.34 cores=0-31
/proc/17857/task/17869/stat : 17869 (claspmt) R 17855 17857 17831 0 -1 4202560 19237 0 0 0 25515 119 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17857/tid=17870] ppid=17855 vsize=3887436 CPUtime=256.29 cores=0-31
/proc/17857/task/17870/stat : 17870 (claspmt) R 17855 17857 17831 0 -1 4202560 21189 0 0 0 25519 110 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17857/tid=17871] ppid=17855 vsize=3887436 CPUtime=618.72 cores=0-31
/proc/17857/task/17871/stat : 17871 (claspmt) R 17855 17857 17831 0 -1 4202560 11550 0 0 0 61786 86 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17857/tid=17872] ppid=17855 vsize=3887436 CPUtime=256.48 cores=0-31
/proc/17857/task/17872/stat : 17872 (claspmt) R 17855 17857 17831 0 -1 4202560 19111 0 0 0 25539 109 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4660384 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17857/tid=17873] ppid=17855 vsize=3887436 CPUtime=256.62 cores=0-31
/proc/17857/task/17873/stat : 17873 (claspmt) R 17855 17857 17831 0 -1 4202560 26858 0 0 0 25520 142 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17857/tid=17874] ppid=17855 vsize=3887436 CPUtime=256.48 cores=0-31
/proc/17857/task/17874/stat : 17874 (claspmt) R 17855 17857 17831 0 -1 4202560 14812 0 0 0 25540 108 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17857/tid=17875] ppid=17855 vsize=3887436 CPUtime=256.48 cores=0-31
/proc/17857/task/17875/stat : 17875 (claspmt) R 17855 17857 17831 0 -1 4202560 13990 0 0 0 25548 100 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17857/tid=17876] ppid=17855 vsize=3887436 CPUtime=256.48 cores=0-31
/proc/17857/task/17876/stat : 17876 (claspmt) R 17855 17857 17831 0 -1 4202560 40413 0 0 0 25462 186 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17857/tid=17877] ppid=17855 vsize=3887436 CPUtime=256.55 cores=0-31
/proc/17857/task/17877/stat : 17877 (claspmt) R 17855 17857 17831 0 -1 4202560 20906 0 0 0 25534 121 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17857/tid=17878] ppid=17855 vsize=3887436 CPUtime=255.62 cores=0-31
/proc/17857/task/17878/stat : 17878 (claspmt) R 17855 17857 17831 0 -1 4202560 19912 0 0 0 25446 116 0 0 25 0 32 0 13664268 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17857/tid=17879] ppid=17855 vsize=3887436 CPUtime=627.82 cores=0-31
/proc/17857/task/17879/stat : 17879 (claspmt) R 17855 17857 17831 0 -1 4202560 12009 0 0 0 62690 92 0 0 25 0 32 0 13664269 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17857/tid=17880] ppid=17855 vsize=3887436 CPUtime=256.55 cores=0-31
/proc/17857/task/17880/stat : 17880 (claspmt) R 17855 17857 17831 0 -1 4202560 18542 0 0 0 25547 108 0 0 25 0 32 0 13664269 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17857/tid=17881] ppid=17855 vsize=3887436 CPUtime=256.61 cores=0-31
/proc/17857/task/17881/stat : 17881 (claspmt) R 17855 17857 17831 0 -1 4202560 22871 0 0 0 25531 130 0 0 25 0 32 0 13664269 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17857/tid=17882] ppid=17855 vsize=3887436 CPUtime=256.47 cores=0-31
/proc/17857/task/17882/stat : 17882 (claspmt) R 17855 17857 17831 0 -1 4202560 14391 0 0 0 25539 108 0 0 25 0 32 0 13664269 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17857/tid=17883] ppid=17855 vsize=3887436 CPUtime=256.42 cores=0-31
/proc/17857/task/17883/stat : 17883 (claspmt) R 17855 17857 17831 0 -1 4202560 11700 0 0 0 25549 93 0 0 25 0 32 0 13664269 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17857/tid=17884] ppid=17855 vsize=3887436 CPUtime=255.83 cores=0-31
/proc/17857/task/17884/stat : 17884 (claspmt) R 17855 17857 17831 0 -1 4202560 40604 0 0 0 25431 152 0 0 21 0 32 0 13664269 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17857/tid=17885] ppid=17855 vsize=3887436 CPUtime=256.54 cores=0-31
/proc/17857/task/17885/stat : 17885 (claspmt) R 17855 17857 17831 0 -1 4202560 22039 0 0 0 25528 126 0 0 25 0 32 0 13664269 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17857/tid=17886] ppid=17855 vsize=3887436 CPUtime=256.33 cores=0-31
/proc/17857/task/17886/stat : 17886 (claspmt) R 17855 17857 17831 0 -1 4202560 20374 0 0 0 25516 117 0 0 25 0 32 0 13664269 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=17857/tid=17887] ppid=17855 vsize=3887436 CPUtime=629.14 cores=0-31
/proc/17857/task/17887/stat : 17887 (claspmt) R 17855 17857 17831 0 -1 4202560 11857 0 0 0 62827 87 0 0 25 0 32 0 13664269 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17857/tid=17888] ppid=17855 vsize=3887436 CPUtime=253.22 cores=0-31
/proc/17857/task/17888/stat : 17888 (claspmt) R 17855 17857 17831 0 -1 4202560 16916 0 0 0 25218 104 0 0 25 0 32 0 13664269 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17857/tid=17889] ppid=17855 vsize=3887436 CPUtime=256.11 cores=0-31
/proc/17857/task/17889/stat : 17889 (claspmt) R 17855 17857 17831 0 -1 4202560 31696 0 0 0 25464 147 0 0 25 0 32 0 13664269 3980734464 645069 270582939648 4194304 4964800 140736464768432 18446744073709551615 4669140 0 0 4096 18946 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 9690.33
Current children cumulated vsize (KiB) 3887436
[startup+702.301 s]
/proc/loadavg: 29.43 24.37 21.99 2/414 17912
/proc/meminfo: memFree=260603832/264257624 swapFree=67111528/67111528
[pid=17857] ppid=17855 vsize=0 CPUtime=11529.2 cores=0-31
/proc/17857/stat : 17857 (claspmt) R 17855 17857 17831 0 -1 4202500 725500 0 0 0 1149068 3848 0 0 20 0 1 0 13663930 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/17857/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 11529.2
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
Child status: 20
Real time (s): 702.309
CPU time (s): 11529.2
CPU user time (s): 11490.7
CPU system time (s): 38.4941
CPU usage (%): 1641.61
Max. virtual memory (cumulated for all children) (KiB): 3887856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11490.7
system time used= 38.4941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 725500
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= 250306
involuntary context switches= 22937
runsolver used 3.9484 second user time and 15.6386 second system time
The end
Begin job on node200 at 2011-06-07 23:39:31
IDJOB=3472330
IDBENCH=71037
IDSOLVER=1961
FILE ID=node200/3472330-1307482769
RUNJOBID= node200-1307482769-17845
PBS_JOBID= 13509197
Free space on /tmp= 61720 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472330-1307482769/watcher-3472330-1307482769 -o /tmp/evaluation-result-3472330-1307482769/solver-3472330-1307482769 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472330-1307482769.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED=1295003783
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: 263146704 kB
Buffers: 145796 kB
Cached: 701680 kB
SwapCached: 0 kB
Active: 204728 kB
Inactive: 705752 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263146704 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 26552 kB
Writeback: 0 kB
AnonPages: 63384 kB
Mapped: 14264 kB
Slab: 120736 kB
PageTables: 4020 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 172284 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= 61716 MiB
End job on node200 at 2011-06-07 23:51:13