0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...412863/instance-3472299-1307412863.cnf
5.09/5.10 c Solving...
13686.29/467.74 s UNSATISFIABLE
13686.29/467.74
13686.29/467.74 c Models : 0
13686.29/467.74 c Time : 463.755s (Solving: 458.66s 1st Model: 0.00s Unsat: 458.66s)
13686.29/467.74 c CPU Time : 13682.360s
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-3472299-1307412863/watcher-3472299-1307412863 -o /tmp/evaluation-result-3472299-1307412863/solver-3472299-1307412863 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472299-1307412863.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.52 29.61 30.28 1/413 13537
/proc/meminfo: memFree=263434172/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=52532 CPUtime=0.02 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202496 5057 0 0 0 2 0 0 0 22 0 1 0 6673315 53792768 4987 270582939648 4194304 4964800 140735033291392 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13537/statm: 13133 4995 373 189 0 8007 0
[startup+0.121755 s]
/proc/loadavg: 25.52 29.61 30.28 1/413 13537
/proc/meminfo: memFree=263434172/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=76056 CPUtime=0.11 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202496 16484 0 0 0 8 3 0 0 22 0 1 0 6673315 77881344 13994 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13537/statm: 19014 13996 383 189 0 13888 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 76056
[startup+0.200765 s]
/proc/loadavg: 25.52 29.61 30.28 1/413 13537
/proc/meminfo: memFree=263434172/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=87200 CPUtime=0.19 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202496 20372 0 0 0 16 3 0 0 22 0 1 0 6673315 89292800 16597 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13537/statm: 21800 16599 383 189 0 16674 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 87200
[startup+0.300758 s]
/proc/loadavg: 25.52 29.61 30.28 1/413 13537
/proc/meminfo: memFree=263434172/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=99188 CPUtime=0.29 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202496 24364 0 0 0 25 4 0 0 23 0 1 0 6673315 101568512 19677 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13537/statm: 24797 19679 383 189 0 19671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 99188
[startup+0.70078 s]
/proc/loadavg: 25.52 29.61 30.28 1/413 13537
/proc/meminfo: memFree=263434172/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=145828 CPUtime=0.69 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202496 38841 0 0 0 62 7 0 0 25 0 1 0 6673315 149327872 30291 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13537/statm: 36490 30292 401 189 0 31364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 145828
[startup+1.50082 s]
/proc/loadavg: 25.52 29.61 30.28 2/414 13538
/proc/meminfo: memFree=263291564/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=186704 CPUtime=1.49 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202496 48703 0 0 0 140 9 0 0 25 0 1 0 6673315 191184896 40153 270582939648 4194304 4964800 140735033291392 18446744073709551615 4601725 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13537/statm: 46676 40153 401 189 0 41550 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 186704
[startup+3.10086 s]
/proc/loadavg: 25.52 29.61 30.28 2/414 13538
/proc/meminfo: memFree=263253628/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=214748 CPUtime=3.09 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202496 55670 0 0 0 299 10 0 0 25 0 1 0 6673315 219901952 47120 270582939648 4194304 4964800 140735033291392 18446744073709551615 4612267 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13537/statm: 53687 47120 401 189 0 48561 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 214748
[startup+6.30288 s]
/proc/loadavg: 23.55 29.14 30.12 32/445 13569
/proc/meminfo: memFree=263004600/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=1965936 CPUtime=29.73 cores=0-31
/proc/13537/stat : 13537 (claspmt) S 13535 13537 13335 0 -1 4202496 260173 0 0 0 652 2321 0 0 18 0 32 0 6673315 2013118464 188892 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/13537/statm: 491484 188902 436 189 0 485833 0
[pid=13537/tid=13539] ppid=13535 vsize=1965936 CPUtime=0.81 cores=0-31
/proc/13537/task/13539/stat : 13539 (claspmt) D 13535 13537 13335 0 -1 4202560 3879 0 0 0 1 80 0 0 18 0 32 0 6673825 2013118464 188905 270582939648 4194304 4964800 140735033291392 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13537/tid=13540] ppid=13535 vsize=1965936 CPUtime=0.79 cores=0-31
/proc/13537/task/13540/stat : 13540 (claspmt) D 13535 13537 13335 0 -1 4202560 4809 0 0 0 3 76 0 0 18 0 32 0 6673825 2013118464 188906 270582939648 4194304 4964800 140735033291392 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13537/tid=13541] ppid=13535 vsize=1965936 CPUtime=0.72 cores=0-31
/proc/13537/task/13541/stat : 13541 (claspmt) D 13535 13537 13335 0 -1 4202560 7464 0 0 0 6 66 0 0 17 0 32 0 6673825 2013118464 188913 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13537/tid=13542] ppid=13535 vsize=1965936 CPUtime=0.8 cores=0-31
/proc/13537/task/13542/stat : 13542 (claspmt) D 13535 13537 13335 0 -1 4202560 6785 0 0 0 4 76 0 0 18 0 32 0 6673825 2013118464 188919 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13537/tid=13543] ppid=13535 vsize=1965936 CPUtime=0.8 cores=0-31
/proc/13537/task/13543/stat : 13543 (claspmt) D 13535 13537 13335 0 -1 4202560 6335 0 0 0 3 77 0 0 18 0 32 0 6673825 2013118464 188920 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13537/tid=13544] ppid=13535 vsize=1965936 CPUtime=0.8 cores=0-31
/proc/13537/task/13544/stat : 13544 (claspmt) D 13535 13537 13335 0 -1 4202560 6867 0 0 0 2 78 0 0 18 0 32 0 6673825 2013118464 188926 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13537/tid=13545] ppid=13535 vsize=1965936 CPUtime=0.77 cores=0-31
/proc/13537/task/13545/stat : 13545 (claspmt) D 13535 13537 13335 0 -1 4202560 7362 0 0 0 2 75 0 0 18 0 32 0 6673825 2013118464 188927 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13537/tid=13546] ppid=13535 vsize=1965936 CPUtime=0.77 cores=0-31
/proc/13537/task/13546/stat : 13546 (claspmt) D 13535 13537 13335 0 -1 4202560 4544 0 0 0 2 75 0 0 18 0 32 0 6673825 2013118464 188935 270582939648 4194304 4964800 140735033291392 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13537/tid=13547] ppid=13535 vsize=1965936 CPUtime=0.73 cores=0-31
/proc/13537/task/13547/stat : 13547 (claspmt) S 13535 13537 13335 0 -1 4202560 7149 0 0 0 10 63 0 0 16 0 32 0 6673825 2013118464 188941 270582939648 4194304 4964800 140735033291392 18446744073709551615 258651060958 0 0 4096 18946 18446744071566932704 0 0 -1 11 0 0 0
[pid=13537/tid=13548] ppid=13535 vsize=1965936 CPUtime=0.82 cores=0-31
/proc/13537/task/13548/stat : 13548 (claspmt) D 13535 13537 13335 0 -1 4202560 5177 0 0 0 1 81 0 0 18 0 32 0 6673825 2013118464 188954 270582939648 4194304 4964800 140735033291392 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13537/tid=13549] ppid=13535 vsize=1965936 CPUtime=0.8 cores=0-31
/proc/13537/task/13549/stat : 13549 (claspmt) D 13535 13537 13335 0 -1 4202560 6843 0 0 0 4 76 0 0 18 0 32 0 6673826 2013118464 188956 270582939648 4194304 4964800 140735033291392 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=13537/tid=13550] ppid=13535 vsize=1965936 CPUtime=0.79 cores=0-31
/proc/13537/task/13550/stat : 13550 (claspmt) D 13535 13537 13335 0 -1 4202560 6828 0 0 0 6 73 0 0 18 0 32 0 6673826 2013118464 188956 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650653361 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13537/tid=13551] ppid=13535 vsize=1965936 CPUtime=0.8 cores=0-31
/proc/13537/task/13551/stat : 13551 (claspmt) D 13535 13537 13335 0 -1 4202560 5996 0 0 0 3 77 0 0 18 0 32 0 6673826 2013118464 188959 270582939648 4194304 4964800 140735033291392 18446744073709551615 4367491 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13537/tid=13552] ppid=13535 vsize=1965936 CPUtime=0.82 cores=0-31
/proc/13537/task/13552/stat : 13552 (claspmt) D 13535 13537 13335 0 -1 4202560 7132 0 0 0 4 78 0 0 18 0 32 0 6673826 2013118464 188962 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13537/tid=13553] ppid=13535 vsize=1965936 CPUtime=0.79 cores=0-31
/proc/13537/task/13553/stat : 13553 (claspmt) D 13535 13537 13335 0 -1 4202560 6686 0 0 0 4 75 0 0 18 0 32 0 6673826 2013118464 188963 270582939648 4194304 4964800 140735033291392 18446744073709551615 4381175 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13537/tid=13554] ppid=13535 vsize=1965936 CPUtime=0.8 cores=0-31
/proc/13537/task/13554/stat : 13554 (claspmt) S 13535 13537 13335 0 -1 4202560 6895 0 0 0 8 72 0 0 16 0 32 0 6673826 2013118464 188969 270582939648 4194304 4964800 140735033291392 18446744073709551615 258651060958 0 0 4096 18946 18446604639228984800 0 0 -1 17 0 0 0
[pid=13537/tid=13555] ppid=13535 vsize=1965936 CPUtime=0.73 cores=0-31
/proc/13537/task/13555/stat : 13555 (claspmt) R 13535 13537 13335 0 -1 4202560 6957 0 0 0 8 65 0 0 16 0 32 0 6673826 2013118464 188976 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650653280 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13537/tid=13556] ppid=13535 vsize=1965936 CPUtime=0.75 cores=0-31
/proc/13537/task/13556/stat : 13556 (claspmt) S 13535 13537 13335 0 -1 4202560 7686 0 0 0 7 68 0 0 17 0 32 0 6673826 2013118464 188978 270582939648 4194304 4964800 140735033291392 18446744073709551615 258651060958 0 0 4096 18946 18446604640979492320 0 0 -1 7 0 0 0
[pid=13537/tid=13557] ppid=13535 vsize=1965936 CPUtime=0.8 cores=0-31
/proc/13537/task/13557/stat : 13557 (claspmt) R 13535 13537 13335 0 -1 4202560 6943 0 0 0 2 78 0 0 18 0 32 0 6673826 2013118464 188993 270582939648 4194304 4964800 140735033291392 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13537/tid=13558] ppid=13535 vsize=1965936 CPUtime=0.8 cores=0-31
/proc/13537/task/13558/stat : 13558 (claspmt) R 13535 13537 13335 0 -1 4202560 6773 0 0 0 6 74 0 0 18 0 32 0 6673826 2013118464 188996 270582939648 4194304 4964800 140735033291392 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13537/tid=13559] ppid=13535 vsize=1965936 CPUtime=0.78 cores=0-31
/proc/13537/task/13559/stat : 13559 (claspmt) R 13535 13537 13335 0 -1 4202560 6883 0 0 0 4 74 0 0 18 0 32 0 6673826 2013118464 188996 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13537/tid=13560] ppid=13535 vsize=1965936 CPUtime=0.78 cores=0-31
/proc/13537/task/13560/stat : 13560 (claspmt) D 13535 13537 13335 0 -1 4202560 6452 0 0 0 3 75 0 0 18 0 32 0 6673826 2013118464 188998 270582939648 4194304 4964800 140735033291392 18446744073709551615 4377969 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13537/tid=13561] ppid=13535 vsize=1965936 CPUtime=0.79 cores=0-31
/proc/13537/task/13561/stat : 13561 (claspmt) D 13535 13537 13335 0 -1 4202560 6929 0 0 0 2 77 0 0 18 0 32 0 6673826 2013118464 189001 270582939648 4194304 4964800 140735033291392 18446744073709551615 4380917 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13537/tid=13562] ppid=13535 vsize=1965936 CPUtime=0.79 cores=0-31
/proc/13537/task/13562/stat : 13562 (claspmt) S 13535 13537 13335 0 -1 4202560 7050 0 0 0 6 73 0 0 17 0 32 0 6673826 2013118464 189003 270582939648 4194304 4964800 140735033291392 18446744073709551615 258651060958 0 0 4096 18946 18446744071566931664 0 0 -1 18 0 0 0
[pid=13537/tid=13563] ppid=13535 vsize=1965936 CPUtime=0.79 cores=0-31
/proc/13537/task/13563/stat : 13563 (claspmt) S 13535 13537 13335 0 -1 4202560 6957 0 0 0 7 72 0 0 17 0 32 0 6673826 2013118464 189011 270582939648 4194304 4964800 140735033291392 18446744073709551615 258651060958 0 0 4096 18946 18446604712597102048 0 0 -1 25 0 0 0
[pid=13537/tid=13564] ppid=13535 vsize=1965936 CPUtime=0.79 cores=0-31
/proc/13537/task/13564/stat : 13564 (claspmt) D 13535 13537 13335 0 -1 4202560 6898 0 0 0 3 76 0 0 18 0 32 0 6673826 2013118464 189016 270582939648 4194304 4964800 140735033291392 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13537/tid=13565] ppid=13535 vsize=1965936 CPUtime=0.78 cores=0-31
/proc/13537/task/13565/stat : 13565 (claspmt) D 13535 13537 13335 0 -1 4202560 6654 0 0 0 2 76 0 0 18 0 32 0 6673826 2013118464 189027 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13537/tid=13566] ppid=13535 vsize=1965936 CPUtime=0.8 cores=0-31
/proc/13537/task/13566/stat : 13566 (claspmt) D 13535 13537 13335 0 -1 4202560 6009 0 0 0 8 72 0 0 18 0 32 0 6673826 2013118464 189036 270582939648 4194304 4964800 140735033291392 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13537/tid=13567] ppid=13535 vsize=1965936 CPUtime=0.74 cores=0-31
/proc/13537/task/13567/stat : 13567 (claspmt) D 13535 13537 13335 0 -1 4202560 6973 0 0 0 9 65 0 0 17 0 32 0 6673826 2013118464 189036 270582939648 4194304 4964800 140735033291392 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13537/tid=13568] ppid=13535 vsize=1965936 CPUtime=0.8 cores=0-31
/proc/13537/task/13568/stat : 13568 (claspmt) D 13535 13537 13335 0 -1 4202560 6732 0 0 0 3 77 0 0 18 0 32 0 6673826 2013118464 189037 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13537/tid=13569] ppid=13535 vsize=1965936 CPUtime=0.79 cores=0-31
/proc/13537/task/13569/stat : 13569 (claspmt) D 13535 13537 13335 0 -1 4202560 6857 0 0 0 2 77 0 0 18 0 32 0 6673827 2013118464 189040 270582939648 4194304 4964800 140735033291392 18446744073709551615 4381022 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 29.73
Current children cumulated vsize (KiB) 1965936
[startup+12.7022 s]
/proc/loadavg: 21.99 28.72 29.98 5/445 13570
/proc/meminfo: memFree=262440164/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=2046628 CPUtime=57.69 cores=0-31
/proc/13537/stat : 13537 (claspmt) S 13535 13537 13335 0 -1 4202496 322083 0 0 0 3225 2544 0 0 18 0 32 0 6673315 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/13537/statm: 511657 249080 440 189 0 506006 0
[pid=13537/tid=13539] ppid=13535 vsize=2046628 CPUtime=1 cores=0-31
/proc/13537/task/13539/stat : 13539 (claspmt) S 13535 13537 13335 0 -1 4202560 7095 0 0 0 11 89 0 0 17 0 32 0 6673825 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604639434284512 0 0 -1 1 0 0 0
[pid=13537/tid=13540] ppid=13535 vsize=2046628 CPUtime=1.04 cores=0-31
/proc/13537/task/13540/stat : 13540 (claspmt) S 13535 13537 13335 0 -1 4202560 8493 0 0 0 17 87 0 0 17 0 32 0 6673825 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604639577824736 0 0 -1 12 0 0 0
[pid=13537/tid=13541] ppid=13535 vsize=2046628 CPUtime=0.87 cores=0-31
/proc/13537/task/13541/stat : 13541 (claspmt) S 13535 13537 13335 0 -1 4202560 9838 0 0 0 13 74 0 0 16 0 32 0 6673825 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604504738676192 0 0 -1 27 0 0 0
[pid=13537/tid=13542] ppid=13535 vsize=2046628 CPUtime=0.87 cores=0-31
/proc/13537/task/13542/stat : 13542 (claspmt) S 13535 13537 13335 0 -1 4202560 7668 0 0 0 6 81 0 0 16 0 32 0 6673825 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604708987551200 0 0 -1 10 0 0 0
[pid=13537/tid=13543] ppid=13535 vsize=2046628 CPUtime=6.69 cores=0-31
/proc/13537/task/13543/stat : 13543 (claspmt) R 13535 13537 13335 0 -1 4202560 8103 0 0 0 585 84 0 0 25 0 32 0 6673825 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13537/tid=13544] ppid=13535 vsize=2046628 CPUtime=0.98 cores=0-31
/proc/13537/task/13544/stat : 13544 (claspmt) S 13535 13537 13335 0 -1 4202560 9813 0 0 0 13 85 0 0 16 0 32 0 6673825 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604708987559392 0 0 -1 28 0 0 0
[pid=13537/tid=13545] ppid=13535 vsize=2046628 CPUtime=1.01 cores=0-31
/proc/13537/task/13545/stat : 13545 (claspmt) S 13535 13537 13335 0 -1 4202560 8731 0 0 0 19 82 0 0 16 0 32 0 6673825 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604709019901408 0 0 -1 8 0 0 0
[pid=13537/tid=13546] ppid=13535 vsize=2046628 CPUtime=0.94 cores=0-31
/proc/13537/task/13546/stat : 13546 (claspmt) S 13535 13537 13335 0 -1 4202560 7410 0 0 0 9 85 0 0 17 0 32 0 6673825 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604505082740192 0 0 -1 3 0 0 0
[pid=13537/tid=13547] ppid=13535 vsize=2046628 CPUtime=0.76 cores=0-31
/proc/13537/task/13547/stat : 13547 (claspmt) S 13535 13537 13335 0 -1 4202560 7384 0 0 0 11 65 0 0 16 0 32 0 6673825 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604569126780384 0 0 -1 11 0 0 0
[pid=13537/tid=13548] ppid=13535 vsize=2046628 CPUtime=1.07 cores=0-31
/proc/13537/task/13548/stat : 13548 (claspmt) S 13535 13537 13335 0 -1 4202560 9382 0 0 0 16 91 0 0 17 0 32 0 6673825 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604709404630496 0 0 -1 3 0 0 0
[pid=13537/tid=13549] ppid=13535 vsize=2046628 CPUtime=1 cores=0-31
/proc/13537/task/13549/stat : 13549 (claspmt) S 13535 13537 13335 0 -1 4202560 9933 0 0 0 14 86 0 0 16 0 32 0 6673826 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604709574917600 0 0 -1 21 0 0 0
[pid=13537/tid=13550] ppid=13535 vsize=2046628 CPUtime=0.88 cores=0-31
/proc/13537/task/13550/stat : 13550 (claspmt) S 13535 13537 13335 0 -1 4202560 7567 0 0 0 10 78 0 0 16 0 32 0 6673826 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604639177678304 0 0 -1 19 0 0 0
[pid=13537/tid=13551] ppid=13535 vsize=2046628 CPUtime=6.73 cores=0-31
/proc/13537/task/13551/stat : 13551 (claspmt) R 13535 13537 13335 0 -1 4202560 8243 0 0 0 586 87 0 0 25 0 32 0 6673826 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13537/tid=13552] ppid=13535 vsize=2046628 CPUtime=1.01 cores=0-31
/proc/13537/task/13552/stat : 13552 (claspmt) S 13535 13537 13335 0 -1 4202560 9894 0 0 0 16 85 0 0 16 0 32 0 6673826 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604505212599776 0 0 -1 9 0 0 0
[pid=13537/tid=13553] ppid=13535 vsize=2046628 CPUtime=1.03 cores=0-31
/proc/13537/task/13553/stat : 13553 (claspmt) S 13535 13537 13335 0 -1 4202560 8684 0 0 0 19 84 0 0 17 0 32 0 6673826 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604710725737952 0 0 -1 6 0 0 0
[pid=13537/tid=13554] ppid=13535 vsize=2046628 CPUtime=0.84 cores=0-31
/proc/13537/task/13554/stat : 13554 (claspmt) S 13535 13537 13335 0 -1 4202560 7331 0 0 0 9 75 0 0 16 0 32 0 6673826 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604709102288352 0 0 -1 17 0 0 0
[pid=13537/tid=13555] ppid=13535 vsize=2046628 CPUtime=0.76 cores=0-31
/proc/13537/task/13555/stat : 13555 (claspmt) S 13535 13537 13335 0 -1 4202560 7344 0 0 0 9 67 0 0 16 0 32 0 6673826 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604710599474656 0 0 -1 15 0 0 0
[pid=13537/tid=13556] ppid=13535 vsize=2046628 CPUtime=0.94 cores=0-31
/proc/13537/task/13556/stat : 13556 (claspmt) S 13535 13537 13335 0 -1 4202560 10465 0 0 0 18 76 0 0 16 0 32 0 6673826 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604501750250976 0 0 -1 7 0 0 0
[pid=13537/tid=13557] ppid=13535 vsize=2046628 CPUtime=0.98 cores=0-31
/proc/13537/task/13557/stat : 13557 (claspmt) S 13535 13537 13335 0 -1 4202560 10045 0 0 0 12 86 0 0 16 0 32 0 6673826 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604502056148448 0 0 -1 24 0 0 0
[pid=13537/tid=13558] ppid=13535 vsize=2046628 CPUtime=0.85 cores=0-31
/proc/13537/task/13558/stat : 13558 (claspmt) S 13535 13537 13335 0 -1 4202560 7705 0 0 0 8 77 0 0 16 0 32 0 6673826 2095747072 249080 270582939648 4194304 4964800 140735033291392 18446744073709551615 258662772457 0 0 4096 18946 18446604709954305504 0 0 -1 13 0 0 0
[pid=13537/tid=13559] ppid=13535 vsize=2046628 CPUtime=6.67 cores=0-31
################
# More data... #
################
[pid=13537/tid=13545] ppid=13535 vsize=2808668 CPUtime=362.15 cores=0-31
/proc/13537/task/13545/stat : 13545 (claspmt) R 13535 13537 13335 0 -1 4202560 18082 0 0 0 36103 112 0 0 25 0 32 0 6673825 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13537/tid=13546] ppid=13535 vsize=2808668 CPUtime=362.22 cores=0-31
/proc/13537/task/13546/stat : 13546 (claspmt) R 13535 13537 13335 0 -1 4202560 11554 0 0 0 36125 97 0 0 25 0 32 0 6673825 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13537/tid=13547] ppid=13535 vsize=2808668 CPUtime=362.03 cores=0-31
/proc/13537/task/13547/stat : 13547 (claspmt) R 13535 13537 13335 0 -1 4202560 11844 0 0 0 36126 77 0 0 25 0 32 0 6673825 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13537/tid=13548] ppid=13535 vsize=2808668 CPUtime=362.33 cores=0-31
/proc/13537/task/13548/stat : 13548 (claspmt) R 13535 13537 13335 0 -1 4202560 21549 0 0 0 36105 128 0 0 25 0 32 0 6673825 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13537/tid=13549] ppid=13535 vsize=2808668 CPUtime=362.26 cores=0-31
/proc/13537/task/13549/stat : 13549 (claspmt) R 13535 13537 13335 0 -1 4202560 19688 0 0 0 36116 110 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=13537/tid=13550] ppid=13535 vsize=2808668 CPUtime=362.15 cores=0-31
/proc/13537/task/13550/stat : 13550 (claspmt) R 13535 13537 13335 0 -1 4202560 15974 0 0 0 36120 95 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13537/tid=13551] ppid=13535 vsize=2808668 CPUtime=396.24 cores=0-31
/proc/13537/task/13551/stat : 13551 (claspmt) R 13535 13537 13335 0 -1 4202560 8467 0 0 0 39537 87 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13537/tid=13552] ppid=13535 vsize=2808668 CPUtime=362.3 cores=0-31
/proc/13537/task/13552/stat : 13552 (claspmt) R 13535 13537 13335 0 -1 4202560 18980 0 0 0 36126 104 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13537/tid=13553] ppid=13535 vsize=2808668 CPUtime=362.26 cores=0-31
/proc/13537/task/13553/stat : 13553 (claspmt) R 13535 13537 13335 0 -1 4202560 18012 0 0 0 36113 113 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13537/tid=13554] ppid=13535 vsize=2808668 CPUtime=362.11 cores=0-31
/proc/13537/task/13554/stat : 13554 (claspmt) R 13535 13537 13335 0 -1 4202560 11662 0 0 0 36125 86 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13537/tid=13555] ppid=13535 vsize=2808668 CPUtime=362.03 cores=0-31
/proc/13537/task/13555/stat : 13555 (claspmt) R 13535 13537 13335 0 -1 4202560 11470 0 0 0 36125 78 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13537/tid=13556] ppid=13535 vsize=2808668 CPUtime=362.2 cores=0-31
/proc/13537/task/13556/stat : 13556 (claspmt) R 13535 13537 13335 0 -1 4202560 27598 0 0 0 36089 131 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670674 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13537/tid=13557] ppid=13535 vsize=2808668 CPUtime=362.25 cores=0-31
/proc/13537/task/13557/stat : 13557 (claspmt) R 13535 13537 13335 0 -1 4202560 19719 0 0 0 36120 105 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13537/tid=13558] ppid=13535 vsize=2808668 CPUtime=362.13 cores=0-31
/proc/13537/task/13558/stat : 13558 (claspmt) R 13535 13537 13335 0 -1 4202560 15143 0 0 0 36119 94 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13537/tid=13559] ppid=13535 vsize=2808668 CPUtime=396.19 cores=0-31
/proc/13537/task/13559/stat : 13559 (claspmt) R 13535 13537 13335 0 -1 4202560 8599 0 0 0 39537 82 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13537/tid=13560] ppid=13535 vsize=2808668 CPUtime=362.31 cores=0-31
/proc/13537/task/13560/stat : 13560 (claspmt) R 13535 13537 13335 0 -1 4202560 18546 0 0 0 36128 103 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13537/tid=13561] ppid=13535 vsize=2808668 CPUtime=362.19 cores=0-31
/proc/13537/task/13561/stat : 13561 (claspmt) R 13535 13537 13335 0 -1 4202560 20059 0 0 0 36095 124 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13537/tid=13562] ppid=13535 vsize=2808668 CPUtime=362.12 cores=0-31
/proc/13537/task/13562/stat : 13562 (claspmt) R 13535 13537 13335 0 -1 4202560 12224 0 0 0 36121 91 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13537/tid=13563] ppid=13535 vsize=2808668 CPUtime=362.12 cores=0-31
/proc/13537/task/13563/stat : 13563 (claspmt) R 13535 13537 13335 0 -1 4202560 11666 0 0 0 36125 87 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13537/tid=13564] ppid=13535 vsize=2808668 CPUtime=362.24 cores=0-31
/proc/13537/task/13564/stat : 13564 (claspmt) R 13535 13537 13335 0 -1 4202560 26435 0 0 0 36099 125 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13537/tid=13565] ppid=13535 vsize=2808668 CPUtime=362.25 cores=0-31
/proc/13537/task/13565/stat : 13565 (claspmt) R 13535 13537 13335 0 -1 4202560 18146 0 0 0 36120 105 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13537/tid=13566] ppid=13535 vsize=2808668 CPUtime=362.13 cores=0-31
/proc/13537/task/13566/stat : 13566 (claspmt) R 13535 13537 13335 0 -1 4202560 14806 0 0 0 36118 95 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13537/tid=13567] ppid=13535 vsize=2808668 CPUtime=395.72 cores=0-31
/proc/13537/task/13567/stat : 13567 (claspmt) R 13535 13537 13335 0 -1 4202560 8417 0 0 0 39498 74 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13537/tid=13568] ppid=13535 vsize=2808668 CPUtime=362.3 cores=0-31
/proc/13537/task/13568/stat : 13568 (claspmt) R 13535 13537 13335 0 -1 4202560 17915 0 0 0 36125 105 0 0 25 0 32 0 6673826 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13537/tid=13569] ppid=13535 vsize=2808668 CPUtime=362.33 cores=0-31
/proc/13537/task/13569/stat : 13569 (claspmt) R 13535 13537 13335 0 -1 4202560 17603 0 0 0 36120 113 0 0 25 0 32 0 6673827 2876076032 486149 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670020 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 11719.8
Current children cumulated vsize (KiB) 2808668
[startup+462.302 s]
/proc/loadavg: 32.14 30.67 30.20 33/445 13582
/proc/meminfo: memFree=261465616/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=2881512 CPUtime=13637.6 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202496 566412 0 0 0 1360576 3186 0 0 25 0 32 0 6673315 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4669091 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/13537/statm: 720378 493403 463 189 0 714727 0
[pid=13537/tid=13539] ppid=13535 vsize=2881512 CPUtime=422.24 cores=0-31
/proc/13537/task/13539/stat : 13539 (claspmt) R 13535 13537 13335 0 -1 4202560 11524 0 0 0 42124 100 0 0 25 0 32 0 6673825 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13537/tid=13540] ppid=13535 vsize=2881512 CPUtime=422.17 cores=0-31
/proc/13537/task/13540/stat : 13540 (claspmt) R 13535 13537 13335 0 -1 4202560 21194 0 0 0 42096 121 0 0 25 0 32 0 6673825 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13537/tid=13541] ppid=13535 vsize=2881512 CPUtime=422.11 cores=0-31
/proc/13537/task/13541/stat : 13541 (claspmt) R 13535 13537 13335 0 -1 4202560 19245 0 0 0 42113 98 0 0 25 0 32 0 6673825 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13537/tid=13542] ppid=13535 vsize=2881512 CPUtime=422.13 cores=0-31
/proc/13537/task/13542/stat : 13542 (claspmt) R 13535 13537 13335 0 -1 4202560 15822 0 0 0 42113 100 0 0 25 0 32 0 6673825 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13537/tid=13543] ppid=13535 vsize=2881512 CPUtime=455.67 cores=0-31
/proc/13537/task/13543/stat : 13543 (claspmt) R 13535 13537 13335 0 -1 4202560 8327 0 0 0 45483 84 0 0 25 0 32 0 6673825 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13537/tid=13544] ppid=13535 vsize=2881512 CPUtime=422.27 cores=0-31
/proc/13537/task/13544/stat : 13544 (claspmt) R 13535 13537 13335 0 -1 4202560 18751 0 0 0 42124 103 0 0 25 0 32 0 6673825 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13537/tid=13545] ppid=13535 vsize=2881512 CPUtime=422.12 cores=0-31
/proc/13537/task/13545/stat : 13545 (claspmt) R 13535 13537 13335 0 -1 4202560 18305 0 0 0 42099 113 0 0 25 0 32 0 6673825 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670097 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13537/tid=13546] ppid=13535 vsize=2881512 CPUtime=422.21 cores=0-31
/proc/13537/task/13546/stat : 13546 (claspmt) R 13535 13537 13335 0 -1 4202560 11571 0 0 0 42124 97 0 0 25 0 32 0 6673825 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13537/tid=13547] ppid=13535 vsize=2881512 CPUtime=422.02 cores=0-31
/proc/13537/task/13547/stat : 13547 (claspmt) R 13535 13537 13335 0 -1 4202560 11853 0 0 0 42125 77 0 0 25 0 32 0 6673825 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13537/tid=13548] ppid=13535 vsize=2881512 CPUtime=422.32 cores=0-31
/proc/13537/task/13548/stat : 13548 (claspmt) R 13535 13537 13335 0 -1 4202560 23395 0 0 0 42097 135 0 0 25 0 32 0 6673825 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13537/tid=13549] ppid=13535 vsize=2881512 CPUtime=422.25 cores=0-31
/proc/13537/task/13549/stat : 13549 (claspmt) R 13535 13537 13335 0 -1 4202560 19965 0 0 0 42115 110 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=13537/tid=13550] ppid=13535 vsize=2881512 CPUtime=422.14 cores=0-31
/proc/13537/task/13550/stat : 13550 (claspmt) R 13535 13537 13335 0 -1 4202560 16021 0 0 0 42118 96 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13537/tid=13551] ppid=13535 vsize=2881512 CPUtime=456.23 cores=0-31
/proc/13537/task/13551/stat : 13551 (claspmt) R 13535 13537 13335 0 -1 4202560 8467 0 0 0 45536 87 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13537/tid=13552] ppid=13535 vsize=2881512 CPUtime=422.28 cores=0-31
/proc/13537/task/13552/stat : 13552 (claspmt) R 13535 13537 13335 0 -1 4202560 19273 0 0 0 42124 104 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13537/tid=13553] ppid=13535 vsize=2881512 CPUtime=422.25 cores=0-31
/proc/13537/task/13553/stat : 13553 (claspmt) R 13535 13537 13335 0 -1 4202560 18210 0 0 0 42111 114 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13537/tid=13554] ppid=13535 vsize=2881512 CPUtime=422.1 cores=0-31
/proc/13537/task/13554/stat : 13554 (claspmt) R 13535 13537 13335 0 -1 4202560 11670 0 0 0 42124 86 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13537/tid=13555] ppid=13535 vsize=2881512 CPUtime=422.02 cores=0-31
/proc/13537/task/13555/stat : 13555 (claspmt) R 13535 13537 13335 0 -1 4202560 11632 0 0 0 42124 78 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13537/tid=13556] ppid=13535 vsize=2881512 CPUtime=422.19 cores=0-31
/proc/13537/task/13556/stat : 13556 (claspmt) R 13535 13537 13335 0 -1 4202560 30075 0 0 0 42081 138 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13537/tid=13557] ppid=13535 vsize=2881512 CPUtime=422.24 cores=0-31
/proc/13537/task/13557/stat : 13557 (claspmt) R 13535 13537 13335 0 -1 4202560 19726 0 0 0 42119 105 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13537/tid=13558] ppid=13535 vsize=2881512 CPUtime=422.11 cores=0-31
/proc/13537/task/13558/stat : 13558 (claspmt) R 13535 13537 13335 0 -1 4202560 15151 0 0 0 42117 94 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13537/tid=13559] ppid=13535 vsize=2881512 CPUtime=456.18 cores=0-31
/proc/13537/task/13559/stat : 13559 (claspmt) R 13535 13537 13335 0 -1 4202560 8599 0 0 0 45536 82 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13537/tid=13560] ppid=13535 vsize=2881512 CPUtime=422.3 cores=0-31
/proc/13537/task/13560/stat : 13560 (claspmt) R 13535 13537 13335 0 -1 4202560 18653 0 0 0 42126 104 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13537/tid=13561] ppid=13535 vsize=2881512 CPUtime=422.16 cores=0-31
/proc/13537/task/13561/stat : 13561 (claspmt) R 13535 13537 13335 0 -1 4202560 20340 0 0 0 42091 125 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13537/tid=13562] ppid=13535 vsize=2881512 CPUtime=422.11 cores=0-31
/proc/13537/task/13562/stat : 13562 (claspmt) R 13535 13537 13335 0 -1 4202560 12268 0 0 0 42120 91 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13537/tid=13563] ppid=13535 vsize=2881512 CPUtime=422.1 cores=0-31
/proc/13537/task/13563/stat : 13563 (claspmt) R 13535 13537 13335 0 -1 4202560 11668 0 0 0 42123 87 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13537/tid=13564] ppid=13535 vsize=2881512 CPUtime=422.23 cores=0-31
/proc/13537/task/13564/stat : 13564 (claspmt) R 13535 13537 13335 0 -1 4202560 26625 0 0 0 42097 126 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13537/tid=13565] ppid=13535 vsize=2881512 CPUtime=422.23 cores=0-31
/proc/13537/task/13565/stat : 13565 (claspmt) R 13535 13537 13335 0 -1 4202560 18447 0 0 0 42118 105 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13537/tid=13566] ppid=13535 vsize=2881512 CPUtime=422.12 cores=0-31
/proc/13537/task/13566/stat : 13566 (claspmt) R 13535 13537 13335 0 -1 4202560 14807 0 0 0 42117 95 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13537/tid=13567] ppid=13535 vsize=2881512 CPUtime=455.71 cores=0-31
/proc/13537/task/13567/stat : 13567 (claspmt) R 13535 13537 13335 0 -1 4202560 8421 0 0 0 45497 74 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13537/tid=13568] ppid=13535 vsize=2881512 CPUtime=422.29 cores=0-31
/proc/13537/task/13568/stat : 13568 (claspmt) R 13535 13537 13335 0 -1 4202560 17931 0 0 0 42124 105 0 0 25 0 32 0 6673826 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13537/tid=13569] ppid=13535 vsize=2881512 CPUtime=422.32 cores=0-31
/proc/13537/task/13569/stat : 13569 (claspmt) R 13535 13537 13335 0 -1 4202560 18099 0 0 0 42116 116 0 0 25 0 32 0 6673827 2950668288 493403 270582939648 4194304 4964800 140735033291392 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 13637.6
Current children cumulated vsize (KiB) 2881512
Solver just ended. Dumping a history of the last processes samples
[startup+464.001 s]
/proc/loadavg: 32.14 30.67 30.20 33/445 13582
/proc/meminfo: memFree=261465476/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=2791312 CPUtime=13682.6 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202496 566426 0 0 0 1365065 3195 0 0 17 0 1 0 6673315 2858303488 493364 270582939648 4194304 4964800 140735033291392 18446744073709551615 4627081 0 0 4096 18946 0 0 0 17 31 0 0 0
/proc/13537/statm: 697828 493364 474 189 0 692177 0
Current children cumulated CPU time (s) 13682.6
Current children cumulated vsize (KiB) 2791312
[startup+465.601 s]
/proc/loadavg: 29.73 30.20 30.05 2/414 13582
/proc/meminfo: memFree=261541848/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=2678084 CPUtime=13684.2 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202496 566426 0 0 0 1365224 3195 0 0 19 0 1 0 6673315 2742358016 464697 270582939648 4194304 4964800 140735033291392 18446744073709551615 4646717 0 0 4096 18946 0 0 0 17 15 0 0 0
/proc/13537/statm: 669521 464697 474 189 0 663870 0
Current children cumulated CPU time (s) 13684.2
Current children cumulated vsize (KiB) 2678084
[startup+467.201 s]
/proc/loadavg: 29.73 30.20 30.05 2/414 13582
/proc/meminfo: memFree=261684828/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=2467700 CPUtime=13685.8 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202496 566426 0 0 0 1365382 3197 0 0 24 0 1 0 6673315 2526924800 410510 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650613570 0 0 4096 18946 0 0 0 17 15 0 0 0
/proc/13537/statm: 616925 410510 474 189 0 611274 0
Current children cumulated CPU time (s) 13685.8
Current children cumulated vsize (KiB) 2467700
[startup+467.619 s]
/proc/loadavg: 29.73 30.20 30.05 2/414 13582
/proc/meminfo: memFree=261848064/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=2343724 CPUtime=13686.2 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202496 566426 0 0 0 1365424 3197 0 0 25 0 1 0 6673315 2399973376 392476 270582939648 4194304 4964800 140735033291392 18446744073709551615 258650613570 0 0 4096 18946 0 0 0 17 15 0 0 0
/proc/13537/statm: 585931 392476 474 189 0 580280 0
Current children cumulated CPU time (s) 13686.2
Current children cumulated vsize (KiB) 2343724
[startup+467.801 s]
/proc/loadavg: 29.73 30.20 30.05 2/414 13582
/proc/meminfo: memFree=261848064/264257624 swapFree=67111528/67111528
[pid=13537] ppid=13535 vsize=0 CPUtime=13686.4 cores=0-31
/proc/13537/stat : 13537 (claspmt) R 13535 13537 13335 0 -1 4202500 566427 0 0 0 1365434 3205 0 0 25 0 1 0 6673315 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 15 0 0 0
/proc/13537/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 13686.4
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 467.823
CPU time (s): 13686.4
CPU user time (s): 13654.3
CPU system time (s): 32.0761
CPU usage (%): 2925.56
Max. virtual memory (cumulated for all children) (KiB): 2881512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13654.3
system time used= 32.0761
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566427
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= 205481
involuntary context switches= 30105
runsolver used 2.43363 second user time and 10.7544 second system time
The end
Begin job on node200 at 2011-06-07 04:14:24
IDJOB=3472299
IDBENCH=70769
IDSOLVER=1961
FILE ID=node200/3472299-1307412863
RUNJOBID= node200-1307412790-13349
PBS_JOBID= 13509178
Free space on /tmp= 61732 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.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-3472299-1307412863/watcher-3472299-1307412863 -o /tmp/evaluation-result-3472299-1307412863/solver-3472299-1307412863 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472299-1307412863.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED=617494669
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: 263434568 kB
Buffers: 87576 kB
Cached: 508300 kB
SwapCached: 0 kB
Active: 162860 kB
Inactive: 496420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263434568 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 14260 kB
Writeback: 0 kB
AnonPages: 63296 kB
Mapped: 14504 kB
Slab: 85300 kB
PageTables: 4396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 159100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61728 MiB
End job on node200 at 2011-06-07 04:22:12