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-3472376-1307569563/watcher-3472376-1307569563 -o /tmp/evaluation-result-3472376-1307569563/solver-3472376-1307569563 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472376-1307569563.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: 18.57 8.12 5.47 3/413 24093
/proc/meminfo: memFree=262718716/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=42672 CPUtime=0.03 cores=0-31
/proc/24093/stat : 24093 (claspmt) R 24091 24093 24067 0 -1 4202496 5089 0 0 0 2 1 0 0 22 0 1 0 22343267 43696128 5019 270582939648 4194304 4964800 140735946171600 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/24093/statm: 10668 5027 373 189 0 5542 0
[startup+0.0405161 s]
/proc/loadavg: 18.57 8.12 5.47 3/413 24093
/proc/meminfo: memFree=262718716/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=42672 CPUtime=0.03 cores=0-31
/proc/24093/stat : 24093 (claspmt) R 24091 24093 24067 0 -1 4202496 5753 0 0 0 2 1 0 0 22 0 1 0 22343267 43696128 5683 270582939648 4194304 4964800 140735946171600 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/24093/statm: 10668 5692 373 189 0 5542 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 42672
[startup+0.100619 s]
/proc/loadavg: 18.57 8.12 5.47 3/413 24093
/proc/meminfo: memFree=262718716/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=57052 CPUtime=0.08 cores=0-31
/proc/24093/stat : 24093 (claspmt) R 24091 24093 24067 0 -1 4202496 10922 0 0 0 6 2 0 0 22 0 1 0 22343267 58421248 9340 270582939648 4194304 4964800 140735946171600 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/24093/statm: 14263 9340 386 189 0 9137 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 57052
[startup+0.300622 s]
/proc/loadavg: 18.57 8.12 5.47 3/413 24093
/proc/meminfo: memFree=262718716/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=79860 CPUtime=0.29 cores=0-31
/proc/24093/stat : 24093 (claspmt) R 24091 24093 24067 0 -1 4202496 18942 0 0 0 24 5 0 0 23 0 1 0 22343267 81776640 14861 270582939648 4194304 4964800 140735946171600 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/24093/statm: 19965 14862 386 189 0 14839 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79860
[startup+0.700642 s]
/proc/loadavg: 18.57 8.12 5.47 3/413 24093
/proc/meminfo: memFree=262718716/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=108912 CPUtime=0.69 cores=0-31
/proc/24093/stat : 24093 (claspmt) R 24091 24093 24067 0 -1 4202496 27706 0 0 0 62 7 0 0 25 0 1 0 22343267 111525888 21907 270582939648 4194304 4964800 140735946171600 18446744073709551615 4614058 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/24093/statm: 27228 21907 401 189 0 22102 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 108912
[startup+1.5032 s]
/proc/loadavg: 17.16 8.00 5.44 2/414 24094
/proc/meminfo: memFree=262630404/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=698548 CPUtime=4.51 cores=0-31
/proc/24093/stat : 24093 (claspmt) S 24091 24093 24067 0 -1 4202496 58917 0 0 0 142 309 0 0 18 0 32 0 22343267 715313152 43872 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 26 0 0 0
/proc/24093/statm: 174637 43888 429 189 0 168986 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 698548
[startup+3.10273 s]
/proc/loadavg: 17.16 8.00 5.44 14/445 24125
/proc/meminfo: memFree=262277228/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=1215268 CPUtime=23.22 cores=0-31
/proc/24093/stat : 24093 (claspmt) S 24091 24093 24067 0 -1 4202496 188320 0 0 0 708 1614 0 0 18 0 32 0 22343267 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 26 0 0 0
/proc/24093/statm: 303817 137826 440 189 0 298166 0
[pid=24093/tid=24095] ppid=24091 vsize=1215268 CPUtime=0.41 cores=0-31
/proc/24093/task/24095/stat : 24095 (claspmt) S 24091 24093 24067 0 -1 4202560 4227 0 0 0 4 37 0 0 18 0 32 0 22343404 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604574289837536 0 0 -1 29 0 0 0
[pid=24093/tid=24096] ppid=24091 vsize=1215268 CPUtime=0.64 cores=0-31
/proc/24093/task/24096/stat : 24096 (claspmt) S 24091 24093 24067 0 -1 4202560 5847 0 0 0 11 53 0 0 18 0 32 0 22343404 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604640786709984 0 0 -1 5 0 0 0
[pid=24093/tid=24097] ppid=24091 vsize=1215268 CPUtime=0.61 cores=0-31
/proc/24093/task/24097/stat : 24097 (claspmt) S 24091 24093 24067 0 -1 4202560 6182 0 0 0 11 50 0 0 18 0 32 0 22343404 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604642853412320 0 0 -1 11 0 0 0
[pid=24093/tid=24098] ppid=24091 vsize=1215268 CPUtime=0.52 cores=0-31
/proc/24093/task/24098/stat : 24098 (claspmt) S 24091 24093 24067 0 -1 4202560 4226 0 0 0 2 50 0 0 18 0 32 0 22343404 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604643326819808 0 0 -1 12 0 0 0
[pid=24093/tid=24099] ppid=24091 vsize=1215268 CPUtime=1.54 cores=0-31
/proc/24093/task/24099/stat : 24099 (claspmt) R 24091 24093 24067 0 -1 4202560 4636 0 0 0 104 50 0 0 19 0 32 0 22343404 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=24093/tid=24100] ppid=24091 vsize=1215268 CPUtime=0.65 cores=0-31
/proc/24093/task/24100/stat : 24100 (claspmt) S 24091 24093 24067 0 -1 4202560 5743 0 0 0 9 56 0 0 18 0 32 0 22343404 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604643749740000 0 0 -1 23 0 0 0
[pid=24093/tid=24101] ppid=24091 vsize=1215268 CPUtime=0.72 cores=0-31
/proc/24093/task/24101/stat : 24101 (claspmt) S 24091 24093 24067 0 -1 4202560 5931 0 0 0 9 63 0 0 18 0 32 0 22343404 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604636265061856 0 0 -1 23 0 0 0
[pid=24093/tid=24102] ppid=24091 vsize=1215268 CPUtime=0.62 cores=0-31
/proc/24093/task/24102/stat : 24102 (claspmt) S 24091 24093 24067 0 -1 4202560 4469 0 0 0 4 58 0 0 18 0 32 0 22343404 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604642381503968 0 0 -1 3 0 0 0
[pid=24093/tid=24103] ppid=24091 vsize=1215268 CPUtime=0.43 cores=0-31
/proc/24093/task/24103/stat : 24103 (claspmt) S 24091 24093 24067 0 -1 4202560 4644 0 0 0 4 39 0 0 18 0 32 0 22343405 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604504502328800 0 0 -1 13 0 0 0
[pid=24093/tid=24104] ppid=24091 vsize=1215268 CPUtime=0.66 cores=0-31
/proc/24093/task/24104/stat : 24104 (claspmt) S 24091 24093 24067 0 -1 4202560 5309 0 0 0 10 56 0 0 18 0 32 0 22343405 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604638612823520 0 0 -1 30 0 0 0
[pid=24093/tid=24105] ppid=24091 vsize=1215268 CPUtime=0.63 cores=0-31
/proc/24093/task/24105/stat : 24105 (claspmt) S 24091 24093 24067 0 -1 4202560 5527 0 0 0 8 55 0 0 18 0 32 0 22343405 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604643538304480 0 0 -1 20 0 0 0
[pid=24093/tid=24106] ppid=24091 vsize=1215268 CPUtime=0.59 cores=0-31
/proc/24093/task/24106/stat : 24106 (claspmt) S 24091 24093 24067 0 -1 4202560 4309 0 0 0 2 57 0 0 18 0 32 0 22343405 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604642572885472 0 0 -1 0 0 0 0
[pid=24093/tid=24107] ppid=24091 vsize=1215268 CPUtime=1.34 cores=0-31
/proc/24093/task/24107/stat : 24107 (claspmt) R 24091 24093 24067 0 -1 4202560 5606 0 0 0 80 54 0 0 18 0 32 0 22343405 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 4651353 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=24093/tid=24108] ppid=24091 vsize=1215268 CPUtime=0.66 cores=0-31
/proc/24093/task/24108/stat : 24108 (claspmt) S 24091 24093 24067 0 -1 4202560 5275 0 0 0 10 56 0 0 18 0 32 0 22343405 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604640413621728 0 0 -1 9 0 0 0
[pid=24093/tid=24109] ppid=24091 vsize=1215268 CPUtime=0.66 cores=0-31
/proc/24093/task/24109/stat : 24109 (claspmt) S 24091 24093 24067 0 -1 4202560 5481 0 0 0 14 52 0 0 18 0 32 0 22343405 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604641205493216 0 0 -1 7 0 0 0
[pid=24093/tid=24110] ppid=24091 vsize=1215268 CPUtime=0.46 cores=0-31
/proc/24093/task/24110/stat : 24110 (claspmt) S 24091 24093 24067 0 -1 4202560 3766 0 0 0 2 44 0 0 18 0 32 0 22343405 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604640265264608 0 0 -1 24 0 0 0
[pid=24093/tid=24111] ppid=24091 vsize=1215268 CPUtime=0.57 cores=0-31
/proc/24093/task/24111/stat : 24111 (claspmt) S 24091 24093 24067 0 -1 4202560 4488 0 0 0 4 53 0 0 18 0 32 0 22343405 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604642969173472 0 0 -1 14 0 0 0
[pid=24093/tid=24112] ppid=24091 vsize=1215268 CPUtime=0.65 cores=0-31
/proc/24093/task/24112/stat : 24112 (claspmt) S 24091 24093 24067 0 -1 4202560 5789 0 0 0 11 54 0 0 18 0 32 0 22343405 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604643741285856 0 0 -1 6 0 0 0
[pid=24093/tid=24113] ppid=24091 vsize=1215268 CPUtime=0.65 cores=0-31
/proc/24093/task/24113/stat : 24113 (claspmt) S 24091 24093 24067 0 -1 4202560 5501 0 0 0 11 54 0 0 18 0 32 0 22343405 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604641885199840 0 0 -1 10 0 0 0
[pid=24093/tid=24114] ppid=24091 vsize=1215268 CPUtime=0.51 cores=0-31
/proc/24093/task/24114/stat : 24114 (claspmt) S 24091 24093 24067 0 -1 4202560 4652 0 0 0 5 46 0 0 18 0 32 0 22343405 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604631911628256 0 0 -1 23 0 0 0
[pid=24093/tid=24115] ppid=24091 vsize=1215268 CPUtime=1.3 cores=0-31
/proc/24093/task/24115/stat : 24115 (claspmt) R 24091 24093 24067 0 -1 4202560 4895 0 0 0 84 46 0 0 18 0 32 0 22343406 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=24093/tid=24116] ppid=24091 vsize=1215268 CPUtime=0.67 cores=0-31
/proc/24093/task/24116/stat : 24116 (claspmt) S 24091 24093 24067 0 -1 4202560 5925 0 0 0 11 56 0 0 18 0 32 0 22343406 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604640122510816 0 0 -1 22 0 0 0
[pid=24093/tid=24117] ppid=24091 vsize=1215268 CPUtime=0.68 cores=0-31
/proc/24093/task/24117/stat : 24117 (claspmt) S 24091 24093 24067 0 -1 4202560 5557 0 0 0 13 55 0 0 18 0 32 0 22343406 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604633942564320 0 0 -1 9 0 0 0
[pid=24093/tid=24118] ppid=24091 vsize=1215268 CPUtime=0.46 cores=0-31
/proc/24093/task/24118/stat : 24118 (claspmt) S 24091 24093 24067 0 -1 4202560 4375 0 0 0 5 41 0 0 18 0 32 0 22343406 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604636523937248 0 0 -1 15 0 0 0
[pid=24093/tid=24119] ppid=24091 vsize=1215268 CPUtime=0.5 cores=0-31
/proc/24093/task/24119/stat : 24119 (claspmt) S 24091 24093 24067 0 -1 4202560 4226 0 0 0 2 48 0 0 18 0 32 0 22343406 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604493305454048 0 0 -1 4 0 0 0
[pid=24093/tid=24120] ppid=24091 vsize=1215268 CPUtime=0.6 cores=0-31
/proc/24093/task/24120/stat : 24120 (claspmt) S 24091 24093 24067 0 -1 4202560 6288 0 0 0 11 49 0 0 18 0 32 0 22343406 1244434432 137826 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604499162856928 0 0 -1 17 0 0 0
[pid=24093/tid=24121] ppid=24091 vsize=1215268 CPUtime=0.61 cores=0-31
/proc/24093/task/24121/stat : 24121 (claspmt) S 24091 24093 24067 0 -1 4202560 5706 0 0 0 8 53 0 0 18 0 32 0 22343406 1244434432 137827 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604640536681952 0 0 -1 8 0 0 0
[pid=24093/tid=24122] ppid=24091 vsize=1215268 CPUtime=0.5 cores=0-31
/proc/24093/task/24122/stat : 24122 (claspmt) S 24091 24093 24067 0 -1 4202560 4561 0 0 0 4 46 0 0 18 0 32 0 22343406 1244434432 137827 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604636528000480 0 0 -1 27 0 0 0
[pid=24093/tid=24123] ppid=24091 vsize=1215268 CPUtime=1.37 cores=0-31
/proc/24093/task/24123/stat : 24123 (claspmt) R 24091 24093 24067 0 -1 4202560 5509 0 0 0 86 51 0 0 18 0 32 0 22343406 1244434432 137827 270582939648 4194304 4964800 140735946171600 18446744073709551615 4399856 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=24093/tid=24124] ppid=24091 vsize=1215268 CPUtime=0.66 cores=0-31
/proc/24093/task/24124/stat : 24124 (claspmt) S 24091 24093 24067 0 -1 4202560 5807 0 0 0 11 55 0 0 18 0 32 0 22343406 1244434432 137827 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604637363903968 0 0 -1 26 0 0 0
[pid=24093/tid=24125] ppid=24091 vsize=1215268 CPUtime=0.66 cores=0-31
/proc/24093/task/24125/stat : 24125 (claspmt) S 24091 24093 24067 0 -1 4202560 5578 0 0 0 12 54 0 0 18 0 32 0 22343406 1244434432 137827 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604497649917408 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 23.22
Current children cumulated vsize (KiB) 1215268
[startup+6.30178 s]
/proc/loadavg: 16.11 7.93 5.44 5/445 24125
/proc/meminfo: memFree=262168916/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=1215268 CPUtime=36.01 cores=0-31
/proc/24093/stat : 24093 (claspmt) S 24091 24093 24067 0 -1 4202496 188443 0 0 0 1987 1614 0 0 18 0 32 0 22343267 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 26 0 0 0
/proc/24093/statm: 303817 137949 440 189 0 298166 0
[pid=24093/tid=24095] ppid=24091 vsize=1215268 CPUtime=0.41 cores=0-31
/proc/24093/task/24095/stat : 24095 (claspmt) S 24091 24093 24067 0 -1 4202560 4227 0 0 0 4 37 0 0 18 0 32 0 22343404 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604574289837536 0 0 -1 29 0 0 0
[pid=24093/tid=24096] ppid=24091 vsize=1215268 CPUtime=0.64 cores=0-31
/proc/24093/task/24096/stat : 24096 (claspmt) S 24091 24093 24067 0 -1 4202560 5847 0 0 0 11 53 0 0 18 0 32 0 22343404 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604640786709984 0 0 -1 5 0 0 0
[pid=24093/tid=24097] ppid=24091 vsize=1215268 CPUtime=0.61 cores=0-31
/proc/24093/task/24097/stat : 24097 (claspmt) S 24091 24093 24067 0 -1 4202560 6182 0 0 0 11 50 0 0 18 0 32 0 22343404 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604642853412320 0 0 -1 11 0 0 0
[pid=24093/tid=24098] ppid=24091 vsize=1215268 CPUtime=0.52 cores=0-31
/proc/24093/task/24098/stat : 24098 (claspmt) S 24091 24093 24067 0 -1 4202560 4226 0 0 0 2 50 0 0 18 0 32 0 22343404 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604643326819808 0 0 -1 12 0 0 0
[pid=24093/tid=24099] ppid=24091 vsize=1215268 CPUtime=4.73 cores=0-31
/proc/24093/task/24099/stat : 24099 (claspmt) R 24091 24093 24067 0 -1 4202560 4643 0 0 0 423 50 0 0 25 0 32 0 22343404 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 4669089 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=24093/tid=24100] ppid=24091 vsize=1215268 CPUtime=0.65 cores=0-31
/proc/24093/task/24100/stat : 24100 (claspmt) S 24091 24093 24067 0 -1 4202560 5743 0 0 0 9 56 0 0 18 0 32 0 22343404 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604643749740000 0 0 -1 23 0 0 0
[pid=24093/tid=24101] ppid=24091 vsize=1215268 CPUtime=0.72 cores=0-31
/proc/24093/task/24101/stat : 24101 (claspmt) S 24091 24093 24067 0 -1 4202560 5931 0 0 0 9 63 0 0 18 0 32 0 22343404 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604636265061856 0 0 -1 23 0 0 0
[pid=24093/tid=24102] ppid=24091 vsize=1215268 CPUtime=0.62 cores=0-31
/proc/24093/task/24102/stat : 24102 (claspmt) S 24091 24093 24067 0 -1 4202560 4469 0 0 0 4 58 0 0 18 0 32 0 22343404 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604642381503968 0 0 -1 3 0 0 0
[pid=24093/tid=24103] ppid=24091 vsize=1215268 CPUtime=0.43 cores=0-31
/proc/24093/task/24103/stat : 24103 (claspmt) S 24091 24093 24067 0 -1 4202560 4644 0 0 0 4 39 0 0 18 0 32 0 22343405 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604504502328800 0 0 -1 13 0 0 0
[pid=24093/tid=24104] ppid=24091 vsize=1215268 CPUtime=0.66 cores=0-31
/proc/24093/task/24104/stat : 24104 (claspmt) S 24091 24093 24067 0 -1 4202560 5309 0 0 0 10 56 0 0 18 0 32 0 22343405 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604638612823520 0 0 -1 30 0 0 0
[pid=24093/tid=24105] ppid=24091 vsize=1215268 CPUtime=0.63 cores=0-31
/proc/24093/task/24105/stat : 24105 (claspmt) S 24091 24093 24067 0 -1 4202560 5527 0 0 0 8 55 0 0 18 0 32 0 22343405 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604643538304480 0 0 -1 20 0 0 0
[pid=24093/tid=24106] ppid=24091 vsize=1215268 CPUtime=0.59 cores=0-31
/proc/24093/task/24106/stat : 24106 (claspmt) S 24091 24093 24067 0 -1 4202560 4309 0 0 0 2 57 0 0 18 0 32 0 22343405 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604642572885472 0 0 -1 0 0 0 0
[pid=24093/tid=24107] ppid=24091 vsize=1215268 CPUtime=4.54 cores=0-31
/proc/24093/task/24107/stat : 24107 (claspmt) R 24091 24093 24067 0 -1 4202560 5645 0 0 0 400 54 0 0 25 0 32 0 22343405 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=24093/tid=24108] ppid=24091 vsize=1215268 CPUtime=0.66 cores=0-31
/proc/24093/task/24108/stat : 24108 (claspmt) S 24091 24093 24067 0 -1 4202560 5275 0 0 0 10 56 0 0 18 0 32 0 22343405 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604640413621728 0 0 -1 9 0 0 0
[pid=24093/tid=24109] ppid=24091 vsize=1215268 CPUtime=0.66 cores=0-31
/proc/24093/task/24109/stat : 24109 (claspmt) S 24091 24093 24067 0 -1 4202560 5481 0 0 0 14 52 0 0 18 0 32 0 22343405 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604641205493216 0 0 -1 7 0 0 0
[pid=24093/tid=24110] ppid=24091 vsize=1215268 CPUtime=0.46 cores=0-31
/proc/24093/task/24110/stat : 24110 (claspmt) S 24091 24093 24067 0 -1 4202560 3766 0 0 0 2 44 0 0 18 0 32 0 22343405 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604640265264608 0 0 -1 24 0 0 0
[pid=24093/tid=24111] ppid=24091 vsize=1215268 CPUtime=0.57 cores=0-31
/proc/24093/task/24111/stat : 24111 (claspmt) S 24091 24093 24067 0 -1 4202560 4488 0 0 0 4 53 0 0 18 0 32 0 22343405 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604642969173472 0 0 -1 14 0 0 0
[pid=24093/tid=24112] ppid=24091 vsize=1215268 CPUtime=0.65 cores=0-31
/proc/24093/task/24112/stat : 24112 (claspmt) S 24091 24093 24067 0 -1 4202560 5789 0 0 0 11 54 0 0 18 0 32 0 22343405 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604643741285856 0 0 -1 6 0 0 0
[pid=24093/tid=24113] ppid=24091 vsize=1215268 CPUtime=0.65 cores=0-31
/proc/24093/task/24113/stat : 24113 (claspmt) S 24091 24093 24067 0 -1 4202560 5501 0 0 0 11 54 0 0 18 0 32 0 22343405 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604641885199840 0 0 -1 10 0 0 0
[pid=24093/tid=24114] ppid=24091 vsize=1215268 CPUtime=0.51 cores=0-31
/proc/24093/task/24114/stat : 24114 (claspmt) S 24091 24093 24067 0 -1 4202560 4652 0 0 0 5 46 0 0 18 0 32 0 22343405 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604631911628256 0 0 -1 23 0 0 0
[pid=24093/tid=24115] ppid=24091 vsize=1215268 CPUtime=4.5 cores=0-31
/proc/24093/task/24115/stat : 24115 (claspmt) R 24091 24093 24067 0 -1 4202560 4904 0 0 0 404 46 0 0 25 0 32 0 22343406 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=24093/tid=24116] ppid=24091 vsize=1215268 CPUtime=0.67 cores=0-31
/proc/24093/task/24116/stat : 24116 (claspmt) S 24091 24093 24067 0 -1 4202560 5925 0 0 0 11 56 0 0 18 0 32 0 22343406 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604640122510816 0 0 -1 22 0 0 0
[pid=24093/tid=24117] ppid=24091 vsize=1215268 CPUtime=0.68 cores=0-31
/proc/24093/task/24117/stat : 24117 (claspmt) S 24091 24093 24067 0 -1 4202560 5557 0 0 0 13 55 0 0 18 0 32 0 22343406 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604633942564320 0 0 -1 9 0 0 0
[pid=24093/tid=24118] ppid=24091 vsize=1215268 CPUtime=0.46 cores=0-31
/proc/24093/task/24118/stat : 24118 (claspmt) S 24091 24093 24067 0 -1 4202560 4375 0 0 0 5 41 0 0 18 0 32 0 22343406 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604636523937248 0 0 -1 15 0 0 0
[pid=24093/tid=24119] ppid=24091 vsize=1215268 CPUtime=0.5 cores=0-31
/proc/24093/task/24119/stat : 24119 (claspmt) S 24091 24093 24067 0 -1 4202560 4226 0 0 0 2 48 0 0 18 0 32 0 22343406 1244434432 137949 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662772457 0 0 4096 18946 18446604493305454048 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/24093/task/24108/stat : 24108 (claspmt) R 24091 24093 24067 0 -1 4202560 642059 0 0 0 481971 930 0 0 25 0 32 0 22343405 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4343781 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=24093/tid=24109] ppid=24091 vsize=63032440 CPUtime=4840.09 cores=0-31
/proc/24093/task/24109/stat : 24109 (claspmt) R 24091 24093 24067 0 -1 4202560 1343963 0 0 0 482398 1611 0 0 25 0 32 0 22343405 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4660123 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=24093/tid=24110] ppid=24091 vsize=63032440 CPUtime=4833.72 cores=0-31
/proc/24093/task/24110/stat : 24110 (claspmt) R 24091 24093 24067 0 -1 4202560 550980 0 0 0 482305 1067 0 0 25 0 32 0 22343405 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=24093/tid=24111] ppid=24091 vsize=63032440 CPUtime=4842.33 cores=0-31
/proc/24093/task/24111/stat : 24111 (claspmt) R 24091 24093 24067 0 -1 4202560 269733 0 0 0 483596 637 0 0 25 0 32 0 22343405 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=24093/tid=24112] ppid=24091 vsize=63032440 CPUtime=4841.23 cores=0-31
/proc/24093/task/24112/stat : 24112 (claspmt) R 24091 24093 24067 0 -1 4202560 398446 0 0 0 483559 564 0 0 25 0 32 0 22343405 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=24093/tid=24113] ppid=24091 vsize=63032440 CPUtime=4844.25 cores=0-31
/proc/24093/task/24113/stat : 24113 (claspmt) R 24091 24093 24067 0 -1 4202560 367081 0 0 0 483719 706 0 0 25 0 32 0 22343405 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=24093/tid=24114] ppid=24091 vsize=63032440 CPUtime=4837.91 cores=0-31
/proc/24093/task/24114/stat : 24114 (claspmt) R 24091 24093 24067 0 -1 4202560 583039 0 0 0 482787 1004 0 0 25 0 32 0 22343405 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=24093/tid=24115] ppid=24091 vsize=63032440 CPUtime=5079.52 cores=0-31
/proc/24093/task/24115/stat : 24115 (claspmt) R 24091 24093 24067 0 -1 4202560 5213 0 0 0 507906 46 0 0 25 0 32 0 22343406 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=24093/tid=24116] ppid=24091 vsize=63032440 CPUtime=4842.16 cores=0-31
/proc/24093/task/24116/stat : 24116 (claspmt) R 24091 24093 24067 0 -1 4202560 407745 0 0 0 483493 723 0 0 25 0 32 0 22343406 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=24093/tid=24117] ppid=24091 vsize=63032440 CPUtime=4837.08 cores=0-31
/proc/24093/task/24117/stat : 24117 (claspmt) R 24091 24093 24067 0 -1 4202560 1342063 0 0 0 482223 1485 0 0 25 0 32 0 22343406 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4658618 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=24093/tid=24118] ppid=24091 vsize=63032440 CPUtime=4838.95 cores=0-31
/proc/24093/task/24118/stat : 24118 (claspmt) R 24091 24093 24067 0 -1 4202560 580967 0 0 0 482821 1074 0 0 25 0 32 0 22343406 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4342929 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=24093/tid=24119] ppid=24091 vsize=63032440 CPUtime=4831.79 cores=0-31
/proc/24093/task/24119/stat : 24119 (claspmt) R 24091 24093 24067 0 -1 4202560 230586 0 0 0 482609 570 0 0 25 0 32 0 22343406 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4683996 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=24093/tid=24120] ppid=24091 vsize=63032440 CPUtime=4844.47 cores=0-31
/proc/24093/task/24120/stat : 24120 (claspmt) R 24091 24093 24067 0 -1 4202560 378648 0 0 0 483889 558 0 0 25 0 32 0 22343406 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670546 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=24093/tid=24121] ppid=24091 vsize=63032440 CPUtime=4842.03 cores=0-31
/proc/24093/task/24121/stat : 24121 (claspmt) R 24091 24093 24067 0 -1 4202560 360265 0 0 0 483563 640 0 0 25 0 32 0 22343406 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4343400 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=24093/tid=24122] ppid=24091 vsize=63032440 CPUtime=4837.63 cores=0-31
/proc/24093/task/24122/stat : 24122 (claspmt) R 24091 24093 24067 0 -1 4202560 517940 0 0 0 482830 933 0 0 25 0 32 0 22343406 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=24093/tid=24123] ppid=24091 vsize=63032440 CPUtime=5075.21 cores=0-31
/proc/24093/task/24123/stat : 24123 (claspmt) R 24091 24093 24067 0 -1 4202560 6350 0 0 0 507469 52 0 0 25 0 32 0 22343406 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=24093/tid=24124] ppid=24091 vsize=63032440 CPUtime=4829.99 cores=0-31
/proc/24093/task/24124/stat : 24124 (claspmt) R 24091 24093 24067 0 -1 4202560 601910 0 0 0 482197 802 0 0 25 0 32 0 22343406 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=24093/tid=24125] ppid=24091 vsize=63032440 CPUtime=4833.89 cores=0-31
/proc/24093/task/24125/stat : 24125 (claspmt) R 24091 24093 24067 0 -1 4202560 1481263 0 0 0 481671 1718 0 0 25 0 32 0 22343406 64545218560 15523935 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 155770
Current children cumulated vsize (KiB) 63032440
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5100 s]
/proc/loadavg: 32.09 32.09 31.91 33/445 24282
/proc/meminfo: memFree=200483464/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=63032440 CPUtime=156337 cores=0-31
/proc/24093/stat : 24093 (claspmt) R 24091 24093 24067 0 -1 4202496 15643465 0 0 0 15608856 24796 0 0 25 0 32 0 22343267 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/24093/statm: 15758110 15529459 463 189 0 15752459 0
[pid=24093/tid=24095] ppid=24091 vsize=63032440 CPUtime=4854.62 cores=0-31
/proc/24093/task/24095/stat : 24095 (claspmt) R 24091 24093 24067 0 -1 4202560 204074 0 0 0 484933 529 0 0 25 0 32 0 22343404 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=24093/tid=24096] ppid=24091 vsize=63032440 CPUtime=4862.15 cores=0-31
/proc/24093/task/24096/stat : 24096 (claspmt) R 24091 24093 24067 0 -1 4202560 314260 0 0 0 485730 485 0 0 25 0 32 0 22343404 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4627269 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=24093/tid=24097] ppid=24091 vsize=63032440 CPUtime=4851.7 cores=0-31
/proc/24093/task/24097/stat : 24097 (claspmt) R 24091 24093 24067 0 -1 4202560 359302 0 0 0 484460 710 0 0 25 0 32 0 22343404 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4632331 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=24093/tid=24098] ppid=24091 vsize=63032440 CPUtime=4856.13 cores=0-31
/proc/24093/task/24098/stat : 24098 (claspmt) R 24091 24093 24067 0 -1 4202560 463920 0 0 0 484814 799 0 0 25 0 32 0 22343404 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4334301 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=24093/tid=24099] ppid=24091 vsize=63032440 CPUtime=5092.33 cores=0-31
/proc/24093/task/24099/stat : 24099 (claspmt) R 24091 24093 24067 0 -1 4202560 5420 0 0 0 509182 51 0 0 25 0 32 0 22343404 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=24093/tid=24100] ppid=24091 vsize=63032440 CPUtime=4858.49 cores=0-31
/proc/24093/task/24100/stat : 24100 (claspmt) R 24091 24093 24067 0 -1 4202560 537848 0 0 0 485056 793 0 0 25 0 32 0 22343404 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=24093/tid=24101] ppid=24091 vsize=63032440 CPUtime=4855.64 cores=0-31
/proc/24093/task/24101/stat : 24101 (claspmt) R 24091 24093 24067 0 -1 4202560 1354589 0 0 0 483964 1600 0 0 25 0 32 0 22343404 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=24093/tid=24102] ppid=24091 vsize=63032440 CPUtime=4856.17 cores=0-31
/proc/24093/task/24102/stat : 24102 (claspmt) R 24091 24093 24067 0 -1 4202560 455139 0 0 0 484703 914 0 0 25 0 32 0 22343404 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4632322 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=24093/tid=24103] ppid=24091 vsize=63032440 CPUtime=4850.58 cores=0-31
/proc/24093/task/24103/stat : 24103 (claspmt) R 24091 24093 24067 0 -1 4202560 202127 0 0 0 484514 544 0 0 25 0 32 0 22343405 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4654552 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=24093/tid=24104] ppid=24091 vsize=63032440 CPUtime=4859.85 cores=0-31
/proc/24093/task/24104/stat : 24104 (claspmt) R 24091 24093 24067 0 -1 4202560 347410 0 0 0 485421 564 0 0 25 0 32 0 22343405 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=24093/tid=24105] ppid=24091 vsize=63032440 CPUtime=4861.01 cores=0-31
/proc/24093/task/24105/stat : 24105 (claspmt) R 24091 24093 24067 0 -1 4202560 387242 0 0 0 485378 723 0 0 25 0 32 0 22343405 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=24093/tid=24106] ppid=24091 vsize=63032440 CPUtime=4858.64 cores=0-31
/proc/24093/task/24106/stat : 24106 (claspmt) R 24091 24093 24067 0 -1 4202560 427203 0 0 0 484946 918 0 0 25 0 32 0 22343405 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=24093/tid=24107] ppid=24091 vsize=63032440 CPUtime=5090.76 cores=0-31
/proc/24093/task/24107/stat : 24107 (claspmt) R 24091 24093 24067 0 -1 4202560 6464 0 0 0 509021 55 0 0 25 0 32 0 22343405 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4669119 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=24093/tid=24108] ppid=24091 vsize=63032440 CPUtime=4846.73 cores=0-31
/proc/24093/task/24108/stat : 24108 (claspmt) R 24091 24093 24067 0 -1 4202560 642059 0 0 0 483743 930 0 0 25 0 32 0 22343405 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=24093/tid=24109] ppid=24091 vsize=63032440 CPUtime=4857.79 cores=0-31
/proc/24093/task/24109/stat : 24109 (claspmt) R 24091 24093 24067 0 -1 4202560 1343963 0 0 0 484168 1611 0 0 25 0 32 0 22343405 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=24093/tid=24110] ppid=24091 vsize=63032440 CPUtime=4851.44 cores=0-31
/proc/24093/task/24110/stat : 24110 (claspmt) R 24091 24093 24067 0 -1 4202560 550980 0 0 0 484077 1067 0 0 25 0 32 0 22343405 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4627177 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=24093/tid=24111] ppid=24091 vsize=63032440 CPUtime=4860.05 cores=0-31
/proc/24093/task/24111/stat : 24111 (claspmt) R 24091 24093 24067 0 -1 4202560 269733 0 0 0 485368 637 0 0 25 0 32 0 22343405 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=24093/tid=24112] ppid=24091 vsize=63032440 CPUtime=4858.95 cores=0-31
/proc/24093/task/24112/stat : 24112 (claspmt) R 24091 24093 24067 0 -1 4202560 398451 0 0 0 485331 564 0 0 25 0 32 0 22343405 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=24093/tid=24113] ppid=24091 vsize=63032440 CPUtime=4861.97 cores=0-31
/proc/24093/task/24113/stat : 24113 (claspmt) R 24091 24093 24067 0 -1 4202560 367081 0 0 0 485491 706 0 0 25 0 32 0 22343405 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=24093/tid=24114] ppid=24091 vsize=63032440 CPUtime=4855.63 cores=0-31
/proc/24093/task/24114/stat : 24114 (claspmt) R 24091 24093 24067 0 -1 4202560 583039 0 0 0 484559 1004 0 0 25 0 32 0 22343405 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=24093/tid=24115] ppid=24091 vsize=63032440 CPUtime=5097.24 cores=0-31
/proc/24093/task/24115/stat : 24115 (claspmt) R 24091 24093 24067 0 -1 4202560 5213 0 0 0 509678 46 0 0 25 0 32 0 22343406 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=24093/tid=24116] ppid=24091 vsize=63032440 CPUtime=4859.88 cores=0-31
/proc/24093/task/24116/stat : 24116 (claspmt) R 24091 24093 24067 0 -1 4202560 407745 0 0 0 485265 723 0 0 25 0 32 0 22343406 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=24093/tid=24117] ppid=24091 vsize=63032440 CPUtime=4854.77 cores=0-31
/proc/24093/task/24117/stat : 24117 (claspmt) R 24091 24093 24067 0 -1 4202560 1342063 0 0 0 483992 1485 0 0 25 0 32 0 22343406 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=24093/tid=24118] ppid=24091 vsize=63032440 CPUtime=4856.63 cores=0-31
/proc/24093/task/24118/stat : 24118 (claspmt) R 24091 24093 24067 0 -1 4202560 580967 0 0 0 484589 1074 0 0 25 0 32 0 22343406 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=24093/tid=24119] ppid=24091 vsize=63032440 CPUtime=4849.51 cores=0-31
/proc/24093/task/24119/stat : 24119 (claspmt) R 24091 24093 24067 0 -1 4202560 230602 0 0 0 484381 570 0 0 25 0 32 0 22343406 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=24093/tid=24120] ppid=24091 vsize=63032440 CPUtime=4862.18 cores=0-31
/proc/24093/task/24120/stat : 24120 (claspmt) R 24091 24093 24067 0 -1 4202560 378648 0 0 0 485660 558 0 0 25 0 32 0 22343406 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=24093/tid=24121] ppid=24091 vsize=63032440 CPUtime=4859.23 cores=0-31
/proc/24093/task/24121/stat : 24121 (claspmt) R 24091 24093 24067 0 -1 4202560 360286 0 0 0 485283 640 0 0 25 0 32 0 22343406 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=24093/tid=24122] ppid=24091 vsize=63032440 CPUtime=4855.35 cores=0-31
/proc/24093/task/24122/stat : 24122 (claspmt) R 24091 24093 24067 0 -1 4202560 517965 0 0 0 484602 933 0 0 25 0 32 0 22343406 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=24093/tid=24123] ppid=24091 vsize=63032440 CPUtime=5092.93 cores=0-31
/proc/24093/task/24123/stat : 24123 (claspmt) R 24091 24093 24067 0 -1 4202560 6350 0 0 0 509241 52 0 0 25 0 32 0 22343406 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670134 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=24093/tid=24124] ppid=24091 vsize=63032440 CPUtime=4847.7 cores=0-31
/proc/24093/task/24124/stat : 24124 (claspmt) R 24091 24093 24067 0 -1 4202560 601970 0 0 0 483968 802 0 0 25 0 32 0 22343406 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=24093/tid=24125] ppid=24091 vsize=63032440 CPUtime=4851.61 cores=0-31
/proc/24093/task/24125/stat : 24125 (claspmt) R 24091 24093 24067 0 -1 4202560 1481263 0 0 0 483443 1718 0 0 25 0 32 0 22343406 64545218560 15529459 270582939648 4194304 4964800 140735946171600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 156337
Current children cumulated vsize (KiB) 63032440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -24093
Solver just ended. Dumping a history of the last processes samples
[startup+5100.6 s]
/proc/loadavg: 29.68 31.59 31.75 3/417 24283
/proc/meminfo: memFree=200483688/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=62999640 CPUtime=156338 cores=0-31
/proc/24093/stat : 24093 (claspmt) S 24091 24093 24067 0 -1 4202496 15643468 0 0 0 15609006 24796 0 0 25 0 3 0 22343267 64511631360 15529446 270582939648 4194304 4964800 140735946171600 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/24093/statm: 15749910 15529446 465 189 0 15744259 0
[pid=24093/tid=24112] ppid=24091 vsize=62999640 CPUtime=4859.57 cores=0-31
/proc/24093/task/24112/stat : 24112 (claspmt) R 24091 24093 24067 0 -1 4202560 398451 0 0 0 485393 564 0 0 25 0 3 0 22343405 64511631360 15529446 270582939648 4194304 4964800 140735946171600 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=24093/tid=24120] ppid=24091 vsize=62999640 CPUtime=4862.79 cores=0-31
/proc/24093/task/24120/stat : 24120 (claspmt) R 24091 24093 24067 0 -1 4202560 378648 0 0 0 485721 558 0 0 25 0 3 0 22343406 64511631360 15529446 270582939648 4194304 4964800 140735946171600 18446744073709551615 4313845 0 0 4096 18946 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 156338
Current children cumulated vsize (KiB) 62999640
[startup+5102.2 s]
/proc/loadavg: 29.68 31.59 31.75 3/417 24283
/proc/meminfo: memFree=200483868/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=0 CPUtime=156341 cores=0-31
/proc/24093/stat : 24093 (claspmt) R 24091 24093 24067 0 -1 4203524 15643468 0 0 0 15609286 24813 0 0 18 0 1 0 22343267 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/24093/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 156341
Current children cumulated vsize (KiB) 0
[startup+5103.8 s]
/proc/loadavg: 29.68 31.59 31.75 2/414 24283
/proc/meminfo: memFree=210119664/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=0 CPUtime=156343 cores=0-31
/proc/24093/stat : 24093 (claspmt) R 24091 24093 24067 0 -1 4203524 15643468 0 0 0 15609286 24973 0 0 20 0 1 0 22343267 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/24093/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 156343
Current children cumulated vsize (KiB) 0
[startup+5104.6 s]
/proc/loadavg: 29.68 31.59 31.75 2/414 24283
/proc/meminfo: memFree=234647732/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=0 CPUtime=156343 cores=0-31
/proc/24093/stat : 24093 (claspmt) R 24091 24093 24067 0 -1 4203524 15643468 0 0 0 15609286 25053 0 0 22 0 1 0 22343267 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/24093/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 156343
Current children cumulated vsize (KiB) 0
[startup+5105 s]
/proc/loadavg: 29.68 31.59 31.75 2/414 24283
/proc/meminfo: memFree=260838456/264257624 swapFree=67111528/67111528
[pid=24093] ppid=24091 vsize=0 CPUtime=156344 cores=0-31
/proc/24093/stat : 24093 (claspmt) R 24091 24093 24067 0 -1 4203524 15643468 0 0 0 15609286 25096 0 0 25 0 1 0 22343267 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/24093/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 156344
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 5105.12
CPU time (s): 156344
CPU user time (s): 156093
CPU system time (s): 251.049
CPU usage (%): 3062.49
Max. virtual memory (cumulated for all children) (KiB): 63032440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156093
system time used= 251.049
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15643468
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= 3250667
involuntary context switches= 392981
runsolver used 29.5885 second user time and 114.112 second system time
The end
Begin job on node200 at 2011-06-08 23:46:04
IDJOB=3472376
IDBENCH=82389
IDSOLVER=1961
FILE ID=node200/3472376-1307569563
RUNJOBID= node200-1307569563-24081
PBS_JOBID= 13547640
Free space on /tmp= 61728 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.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-3472376-1307569563/watcher-3472376-1307569563 -o /tmp/evaluation-result-3472376-1307569563/solver-3472376-1307569563 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472376-1307569563.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 4ab53801f3b1a3f7169c9fb38cba4184
RANDOM SEED=672120548
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: 262719112 kB
Buffers: 188428 kB
Cached: 1088600 kB
SwapCached: 0 kB
Active: 222208 kB
Inactive: 1117836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262719112 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 16740 kB
Writeback: 0 kB
AnonPages: 63508 kB
Mapped: 14472 kB
Slab: 122096 kB
PageTables: 4412 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 164048 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-09 01:11:09