0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...359176/instance-3472264-1307359176.cnf
1.12/1.17 c Solving...
23492.88/740.36 s UNSATISFIABLE
23492.88/740.36
23492.88/740.36 c Models : 0
23492.88/740.36 c Time : 739.676s (Solving: 738.51s 1st Model: 0.00s Unsat: 738.51s)
23492.88/740.36 c CPU Time : 23492.230s
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-3472264-1307359176/watcher-3472264-1307359176 -o /tmp/evaluation-result-3472264-1307359176/solver-3472264-1307359176 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472264-1307359176.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: 27.23 30.99 31.67 1/413 9034
/proc/meminfo: memFree=263703196/264257624 swapFree=67111528/67111528
[pid=9034] ppid=9032 vsize=40132 CPUtime=0.03 cores=0-31
/proc/9034/stat : 9034 (claspmt) R 9032 9034 9008 0 -1 4202496 5235 0 0 0 2 1 0 0 22 0 1 0 1304556 41095168 5165 270582939648 4194304 4964800 140734889212800 18446744073709551615 4680633 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9034/statm: 10033 5185 374 189 0 4907 0
[startup+0.036316 s]
/proc/loadavg: 27.23 30.99 31.67 1/413 9034
/proc/meminfo: memFree=263703196/264257624 swapFree=67111528/67111528
[pid=9034] ppid=9032 vsize=46640 CPUtime=0.03 cores=0-31
/proc/9034/stat : 9034 (claspmt) R 9032 9034 9008 0 -1 4202496 5585 0 0 0 2 1 0 0 22 0 1 0 1304556 47759360 5413 270582939648 4194304 4964800 140734889212800 18446744073709551615 4679106 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9034/statm: 11660 5425 375 189 0 6534 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 46640
[startup+0.101299 s]
/proc/loadavg: 27.23 30.99 31.67 1/413 9034
/proc/meminfo: memFree=263703196/264257624 swapFree=67111528/67111528
[pid=9034] ppid=9032 vsize=55980 CPUtime=0.09 cores=0-31
/proc/9034/stat : 9034 (claspmt) R 9032 9034 9008 0 -1 4202496 10962 0 0 0 7 2 0 0 22 0 1 0 1304556 57323520 9064 270582939648 4194304 4964800 140734889212800 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9034/statm: 13995 9066 383 189 0 8869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55980
[startup+0.300308 s]
/proc/loadavg: 27.23 30.99 31.67 1/413 9034
/proc/meminfo: memFree=263703196/264257624 swapFree=67111528/67111528
[pid=9034] ppid=9032 vsize=90176 CPUtime=0.29 cores=0-31
/proc/9034/stat : 9034 (claspmt) R 9032 9034 9008 0 -1 4202496 22548 0 0 0 25 4 0 0 23 0 1 0 1304556 92340224 17335 270582939648 4194304 4964800 140734889212800 18446744073709551615 4602791 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9034/statm: 22544 17335 397 189 0 17418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90176
[startup+0.700321 s]
/proc/loadavg: 27.23 30.99 31.67 1/413 9034
/proc/meminfo: memFree=263703196/264257624 swapFree=67111528/67111528
[pid=9034] ppid=9032 vsize=95948 CPUtime=0.69 cores=0-31
/proc/9034/stat : 9034 (claspmt) R 9032 9034 9008 0 -1 4202496 23980 0 0 0 65 4 0 0 25 0 1 0 1304556 98250752 18767 270582939648 4194304 4964800 140734889212800 18446744073709551615 4600357 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9034/statm: 23987 18767 401 189 0 18861 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 95948
[startup+1.50044 s]
/proc/loadavg: 27.23 30.99 31.67 2/414 9035
/proc/meminfo: memFree=263629880/264257624 swapFree=67111528/67111528
[pid=9034] ppid=9032 vsize=686656 CPUtime=9.88 cores=0-31
/proc/9034/stat : 9034 (claspmt) S 9032 9034 9008 0 -1 4202496 92001 0 0 0 142 846 0 0 18 0 32 0 1304556 703135744 62148 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/9034/statm: 171664 62163 436 189 0 166013 0
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (KiB) 686656
[startup+3.10131 s]
/proc/loadavg: 27.23 30.99 31.67 15/445 9066
/proc/meminfo: memFree=263233188/264257624 swapFree=67111528/67111528
[pid=9034] ppid=9032 vsize=1629048 CPUtime=19.94 cores=0-31
/proc/9034/stat : 9034 (claspmt) S 9032 9034 9008 0 -1 4202496 165955 0 0 0 731 1263 0 0 18 0 32 0 1304556 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/9034/statm: 407262 123921 440 189 0 401611 0
[pid=9034/tid=9036] ppid=9032 vsize=1629048 CPUtime=0.47 cores=0-31
/proc/9034/task/9036/stat : 9036 (claspmt) S 9032 9034 9008 0 -1 4202560 3970 0 0 0 5 42 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501317615072 0 0 -1 1 0 0 0
[pid=9034/tid=9037] ppid=9032 vsize=1629048 CPUtime=0.53 cores=0-31
/proc/9034/task/9037/stat : 9037 (claspmt) S 9032 9034 9008 0 -1 4202560 5167 0 0 0 8 45 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501384478176 0 0 -1 2 0 0 0
[pid=9034/tid=9038] ppid=9032 vsize=1629048 CPUtime=0.51 cores=0-31
/proc/9034/task/9038/stat : 9038 (claspmt) S 9032 9034 9008 0 -1 4202560 4250 0 0 0 7 44 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501335326176 0 0 -1 30 0 0 0
[pid=9034/tid=9039] ppid=9032 vsize=1629048 CPUtime=0.42 cores=0-31
/proc/9034/task/9039/stat : 9039 (claspmt) S 9032 9034 9008 0 -1 4202560 4089 0 0 0 3 39 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501384469984 0 0 -1 8 0 0 0
[pid=9034/tid=9040] ppid=9032 vsize=1629048 CPUtime=1.47 cores=0-31
/proc/9034/task/9040/stat : 9040 (claspmt) R 9032 9034 9008 0 -1 4202560 4347 0 0 0 110 37 0 0 19 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9034/tid=9041] ppid=9032 vsize=1629048 CPUtime=0.47 cores=0-31
/proc/9034/task/9041/stat : 9041 (claspmt) S 9032 9034 9008 0 -1 4202560 5151 0 0 0 7 40 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604505327058400 0 0 -1 21 0 0 0
[pid=9034/tid=9042] ppid=9032 vsize=1629048 CPUtime=0.51 cores=0-31
/proc/9034/task/9042/stat : 9042 (claspmt) S 9032 9034 9008 0 -1 4202560 4177 0 0 0 10 41 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604506174152160 0 0 -1 5 0 0 0
[pid=9034/tid=9043] ppid=9032 vsize=1629048 CPUtime=0.48 cores=0-31
/proc/9034/task/9043/stat : 9043 (claspmt) S 9032 9034 9008 0 -1 4202560 3965 0 0 0 5 43 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501343845856 0 0 -1 6 0 0 0
[pid=9034/tid=9044] ppid=9032 vsize=1629048 CPUtime=0.43 cores=0-31
/proc/9034/task/9044/stat : 9044 (claspmt) S 9032 9034 9008 0 -1 4202560 3927 0 0 0 3 40 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604505846250976 0 0 -1 16 0 0 0
[pid=9034/tid=9045] ppid=9032 vsize=1629048 CPUtime=0.5 cores=0-31
/proc/9034/task/9045/stat : 9045 (claspmt) S 9032 9034 9008 0 -1 4202560 5275 0 0 0 5 45 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501321055712 0 0 -1 0 0 0 0
[pid=9034/tid=9046] ppid=9032 vsize=1629048 CPUtime=0.47 cores=0-31
/proc/9034/task/9046/stat : 9046 (claspmt) S 9032 9034 9008 0 -1 4202560 5157 0 0 0 5 42 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501384486368 0 0 -1 4 0 0 0
[pid=9034/tid=9047] ppid=9032 vsize=1629048 CPUtime=0.43 cores=0-31
/proc/9034/task/9047/stat : 9047 (claspmt) S 9032 9034 9008 0 -1 4202560 4019 0 0 0 3 40 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501475884512 0 0 -1 28 0 0 0
[pid=9034/tid=9048] ppid=9032 vsize=1629048 CPUtime=1.51 cores=0-31
/proc/9034/task/9048/stat : 9048 (claspmt) R 9032 9034 9008 0 -1 4202560 4647 0 0 0 110 41 0 0 19 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 4669017 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9034/tid=9049] ppid=9032 vsize=1629048 CPUtime=0.46 cores=0-31
/proc/9034/task/9049/stat : 9049 (claspmt) S 9032 9034 9008 0 -1 4202560 4966 0 0 0 7 39 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604506174143968 0 0 -1 10 0 0 0
[pid=9034/tid=9050] ppid=9032 vsize=1629048 CPUtime=0.52 cores=0-31
/proc/9034/task/9050/stat : 9050 (claspmt) S 9032 9034 9008 0 -1 4202560 4877 0 0 0 9 43 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501346311648 0 0 -1 11 0 0 0
[pid=9034/tid=9051] ppid=9032 vsize=1629048 CPUtime=0.4 cores=0-31
/proc/9034/task/9051/stat : 9051 (claspmt) S 9032 9034 9008 0 -1 4202560 3587 0 0 0 4 36 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501365669344 0 0 -1 18 0 0 0
[pid=9034/tid=9052] ppid=9032 vsize=1629048 CPUtime=0.42 cores=0-31
/proc/9034/task/9052/stat : 9052 (claspmt) S 9032 9034 9008 0 -1 4202560 3877 0 0 0 4 38 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501346319840 0 0 -1 30 0 0 0
[pid=9034/tid=9053] ppid=9032 vsize=1629048 CPUtime=0.47 cores=0-31
/proc/9034/task/9053/stat : 9053 (claspmt) S 9032 9034 9008 0 -1 4202560 5383 0 0 0 8 39 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501335334368 0 0 -1 27 0 0 0
[pid=9034/tid=9054] ppid=9032 vsize=1629048 CPUtime=0.51 cores=0-31
/proc/9034/task/9054/stat : 9054 (claspmt) S 9032 9034 9008 0 -1 4202560 5195 0 0 0 8 43 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501346303456 0 0 -1 21 0 0 0
[pid=9034/tid=9055] ppid=9032 vsize=1629048 CPUtime=0.34 cores=0-31
/proc/9034/task/9055/stat : 9055 (claspmt) S 9032 9034 9008 0 -1 4202560 4111 0 0 0 4 30 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501356764640 0 0 -1 9 0 0 0
[pid=9034/tid=9056] ppid=9032 vsize=1629048 CPUtime=1.54 cores=0-31
/proc/9034/task/9056/stat : 9056 (claspmt) R 9032 9034 9008 0 -1 4202560 4381 0 0 0 115 39 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9034/tid=9057] ppid=9032 vsize=1629048 CPUtime=0.46 cores=0-31
/proc/9034/task/9057/stat : 9057 (claspmt) S 9032 9034 9008 0 -1 4202560 5388 0 0 0 6 40 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501330558432 0 0 -1 24 0 0 0
[pid=9034/tid=9058] ppid=9032 vsize=1629048 CPUtime=0.51 cores=0-31
/proc/9034/task/9058/stat : 9058 (claspmt) S 9032 9034 9008 0 -1 4202560 4790 0 0 0 11 40 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604505327066592 0 0 -1 26 0 0 0
[pid=9034/tid=9059] ppid=9032 vsize=1629048 CPUtime=0.39 cores=0-31
/proc/9034/task/9059/stat : 9059 (claspmt) S 9032 9034 9008 0 -1 4202560 3591 0 0 0 5 34 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501346352608 0 0 -1 13 0 0 0
[pid=9034/tid=9060] ppid=9032 vsize=1629048 CPUtime=0.45 cores=0-31
/proc/9034/task/9060/stat : 9060 (claspmt) S 9032 9034 9008 0 -1 4202560 4062 0 0 0 5 40 0 0 18 0 32 0 1304674 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501490785760 0 0 -1 14 0 0 0
[pid=9034/tid=9061] ppid=9032 vsize=1629048 CPUtime=0.5 cores=0-31
/proc/9034/task/9061/stat : 9061 (claspmt) S 9032 9034 9008 0 -1 4202560 5178 0 0 0 5 45 0 0 18 0 32 0 1304675 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501375557088 0 0 -1 12 0 0 0
[pid=9034/tid=9062] ppid=9032 vsize=1629048 CPUtime=0.49 cores=0-31
/proc/9034/task/9062/stat : 9062 (claspmt) S 9032 9034 9008 0 -1 4202560 5441 0 0 0 8 41 0 0 18 0 32 0 1304675 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604505846242784 0 0 -1 19 0 0 0
[pid=9034/tid=9063] ppid=9032 vsize=1629048 CPUtime=0.33 cores=0-31
/proc/9034/task/9063/stat : 9063 (claspmt) S 9032 9034 9008 0 -1 4202560 4160 0 0 0 2 31 0 0 18 0 32 0 1304675 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604568506432992 0 0 -1 17 0 0 0
[pid=9034/tid=9064] ppid=9032 vsize=1629048 CPUtime=1.49 cores=0-31
/proc/9034/task/9064/stat : 9064 (claspmt) R 9032 9034 9008 0 -1 4202560 4536 0 0 0 106 43 0 0 18 0 32 0 1304675 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9034/tid=9065] ppid=9032 vsize=1629048 CPUtime=0.45 cores=0-31
/proc/9034/task/9065/stat : 9065 (claspmt) S 9032 9034 9008 0 -1 4202560 5270 0 0 0 7 38 0 0 18 0 32 0 1304675 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501490793952 0 0 -1 23 0 0 0
[pid=9034/tid=9066] ppid=9032 vsize=1629048 CPUtime=0.49 cores=0-31
/proc/9034/task/9066/stat : 9066 (claspmt) S 9032 9034 9008 0 -1 4202560 4912 0 0 0 7 42 0 0 18 0 32 0 1304675 1668145152 123921 270582939648 4194304 4964800 140734889212800 18446744073709551615 258662772457 0 0 4096 18946 18446604501414690272 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (KiB) 1629048
[startup+6.30139 s]
/proc/loadavg: 25.37 30.54 31.52 33/445 9066
/proc/meminfo: memFree=263202240/264257624 swapFree=67111528/67111528
[pid=9034] ppid=9032 vsize=1629048 CPUtime=65.81 cores=0-31
/proc/9034/stat : 9034 (claspmt) R 9032 9034 9008 0 -1 4202496 167838 0 0 0 5312 1269 0 0 19 0 32 0 1304556 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/9034/statm: 407262 125804 461 189 0 401611 0
[pid=9034/tid=9036] ppid=9032 vsize=1629048 CPUtime=1.67 cores=0-31
/proc/9034/task/9036/stat : 9036 (claspmt) R 9032 9034 9008 0 -1 4202560 4017 0 0 0 125 42 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9034/tid=9037] ppid=9032 vsize=1629048 CPUtime=1.72 cores=0-31
/proc/9034/task/9037/stat : 9037 (claspmt) R 9032 9034 9008 0 -1 4202560 5214 0 0 0 127 45 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4660247 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9034/tid=9038] ppid=9032 vsize=1629048 CPUtime=1.72 cores=0-31
/proc/9034/task/9038/stat : 9038 (claspmt) R 9032 9034 9008 0 -1 4202560 4316 0 0 0 127 45 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9034/tid=9039] ppid=9032 vsize=1629048 CPUtime=1.62 cores=0-31
/proc/9034/task/9039/stat : 9039 (claspmt) R 9032 9034 9008 0 -1 4202560 4140 0 0 0 123 39 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9034/tid=9040] ppid=9032 vsize=1629048 CPUtime=4.54 cores=0-31
/proc/9034/task/9040/stat : 9040 (claspmt) R 9032 9034 9008 0 -1 4202560 4355 0 0 0 417 37 0 0 25 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9034/tid=9041] ppid=9032 vsize=1629048 CPUtime=1.67 cores=0-31
/proc/9034/task/9041/stat : 9041 (claspmt) R 9032 9034 9008 0 -1 4202560 5295 0 0 0 127 40 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9034/tid=9042] ppid=9032 vsize=1629048 CPUtime=1.71 cores=0-31
/proc/9034/task/9042/stat : 9042 (claspmt) R 9032 9034 9008 0 -1 4202560 4233 0 0 0 130 41 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9034/tid=9043] ppid=9032 vsize=1629048 CPUtime=1.66 cores=0-31
/proc/9034/task/9043/stat : 9043 (claspmt) R 9032 9034 9008 0 -1 4202560 4008 0 0 0 123 43 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9034/tid=9044] ppid=9032 vsize=1629048 CPUtime=1.61 cores=0-31
/proc/9034/task/9044/stat : 9044 (claspmt) R 9032 9034 9008 0 -1 4202560 4011 0 0 0 121 40 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9034/tid=9045] ppid=9032 vsize=1629048 CPUtime=1.68 cores=0-31
/proc/9034/task/9045/stat : 9045 (claspmt) R 9032 9034 9008 0 -1 4202560 5386 0 0 0 123 45 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9034/tid=9046] ppid=9032 vsize=1629048 CPUtime=1.69 cores=0-31
/proc/9034/task/9046/stat : 9046 (claspmt) R 9032 9034 9008 0 -1 4202560 5213 0 0 0 126 43 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4684040 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9034/tid=9047] ppid=9032 vsize=1629048 CPUtime=1.64 cores=0-31
/proc/9034/task/9047/stat : 9047 (claspmt) R 9032 9034 9008 0 -1 4202560 4068 0 0 0 124 40 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9034/tid=9048] ppid=9032 vsize=1629048 CPUtime=4.61 cores=0-31
/proc/9034/task/9048/stat : 9048 (claspmt) R 9032 9034 9008 0 -1 4202560 4665 0 0 0 420 41 0 0 25 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9034/tid=9049] ppid=9032 vsize=1629048 CPUtime=1.67 cores=0-31
/proc/9034/task/9049/stat : 9049 (claspmt) R 9032 9034 9008 0 -1 4202560 5067 0 0 0 128 39 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9034/tid=9050] ppid=9032 vsize=1629048 CPUtime=1.7 cores=0-31
/proc/9034/task/9050/stat : 9050 (claspmt) R 9032 9034 9008 0 -1 4202560 4920 0 0 0 127 43 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9034/tid=9051] ppid=9032 vsize=1629048 CPUtime=1.62 cores=0-31
/proc/9034/task/9051/stat : 9051 (claspmt) R 9032 9034 9008 0 -1 4202560 3673 0 0 0 125 37 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9034/tid=9052] ppid=9032 vsize=1629048 CPUtime=1.62 cores=0-31
/proc/9034/task/9052/stat : 9052 (claspmt) R 9032 9034 9008 0 -1 4202560 3920 0 0 0 124 38 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9034/tid=9053] ppid=9032 vsize=1629048 CPUtime=1.69 cores=0-31
/proc/9034/task/9053/stat : 9053 (claspmt) R 9032 9034 9008 0 -1 4202560 5470 0 0 0 129 40 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9034/tid=9054] ppid=9032 vsize=1629048 CPUtime=1.71 cores=0-31
/proc/9034/task/9054/stat : 9054 (claspmt) R 9032 9034 9008 0 -1 4202560 5280 0 0 0 128 43 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4651467 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9034/tid=9055] ppid=9032 vsize=1629048 CPUtime=1.55 cores=0-31
/proc/9034/task/9055/stat : 9055 (claspmt) R 9032 9034 9008 0 -1 4202560 4168 0 0 0 125 30 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9034/tid=9056] ppid=9032 vsize=1629048 CPUtime=4.61 cores=0-31
/proc/9034/task/9056/stat : 9056 (claspmt) R 9032 9034 9008 0 -1 4202560 4389 0 0 0 422 39 0 0 22 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9034/tid=9057] ppid=9032 vsize=1629048 CPUtime=1.68 cores=0-31
/proc/9034/task/9057/stat : 9057 (claspmt) R 9032 9034 9008 0 -1 4202560 5432 0 0 0 127 41 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9034/tid=9058] ppid=9032 vsize=1629048 CPUtime=1.71 cores=0-31
/proc/9034/task/9058/stat : 9058 (claspmt) R 9032 9034 9008 0 -1 4202560 4844 0 0 0 131 40 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670125 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9034/tid=9059] ppid=9032 vsize=1629048 CPUtime=1.56 cores=0-31
/proc/9034/task/9059/stat : 9059 (claspmt) R 9032 9034 9008 0 -1 4202560 3641 0 0 0 122 34 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4684009 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9034/tid=9060] ppid=9032 vsize=1629048 CPUtime=1.65 cores=0-31
/proc/9034/task/9060/stat : 9060 (claspmt) R 9032 9034 9008 0 -1 4202560 4152 0 0 0 125 40 0 0 19 0 32 0 1304674 1668145152 125804 270582939648 4194304 4964800 140734889212800 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 14 0 0 0
################
# More data... #
################
[pid=9034/tid=9063] ppid=9032 vsize=2944656 CPUtime=730.98 cores=0-31
/proc/9034/task/9063/stat : 9063 (claspmt) R 9032 9034 9008 0 -1 4202560 15356 0 0 0 73035 63 0 0 25 0 32 0 1304675 3015327744 513430 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9034/tid=9064] ppid=9032 vsize=2944656 CPUtime=726.79 cores=0-31
/proc/9034/task/9064/stat : 9064 (claspmt) R 9032 9034 9008 0 -1 4202560 17032 0 0 0 72607 72 0 0 25 0 32 0 1304675 3015327744 513430 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9034/tid=9065] ppid=9032 vsize=2944656 CPUtime=730.82 cores=0-31
/proc/9034/task/9065/stat : 9065 (claspmt) R 9032 9034 9008 0 -1 4202560 13223 0 0 0 73024 58 0 0 25 0 32 0 1304675 3015327744 513430 270582939648 4194304 4964800 140734889212800 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9034/tid=9066] ppid=9032 vsize=2944656 CPUtime=727.25 cores=0-31
/proc/9034/task/9066/stat : 9066 (claspmt) R 9032 9034 9008 0 -1 4202560 27994 0 0 0 72593 132 0 0 25 0 32 0 1304675 3015327744 513430 270582939648 4194304 4964800 140734889212800 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 23386.1
Current children cumulated vsize (KiB) 2944656
[startup+737.502 s]
/proc/loadavg: 32.17 31.97 31.81 33/445 9086
/proc/meminfo: memFree=261652196/264257624 swapFree=67111528/67111528
[pid=9034] ppid=9032 vsize=2944656 CPUtime=23436.7 cores=0-31
/proc/9034/stat : 9034 (claspmt) R 9032 9034 9008 0 -1 4202496 558047 0 0 0 2341312 2354 0 0 25 0 32 0 1304556 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4684009 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/9034/statm: 736164 513397 463 189 0 730513 0
[pid=9034/tid=9036] ppid=9032 vsize=2944656 CPUtime=732.61 cores=0-31
/proc/9034/task/9036/stat : 9036 (claspmt) R 9032 9034 9008 0 -1 4202560 11061 0 0 0 73204 57 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9034/tid=9037] ppid=9032 vsize=2944656 CPUtime=732.75 cores=0-31
/proc/9034/task/9037/stat : 9037 (claspmt) R 9032 9034 9008 0 -1 4202560 29378 0 0 0 73173 102 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9034/tid=9038] ppid=9032 vsize=2944656 CPUtime=727.14 cores=0-31
/proc/9034/task/9038/stat : 9038 (claspmt) R 9032 9034 9008 0 -1 4202560 12198 0 0 0 72651 63 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9034/tid=9039] ppid=9032 vsize=2944656 CPUtime=732.05 cores=0-31
/proc/9034/task/9039/stat : 9039 (claspmt) R 9032 9034 9008 0 -1 4202560 16791 0 0 0 73120 85 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9034/tid=9040] ppid=9032 vsize=2944656 CPUtime=735.56 cores=0-31
/proc/9034/task/9040/stat : 9040 (claspmt) R 9032 9034 9008 0 -1 4202560 16808 0 0 0 73485 71 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9034/tid=9041] ppid=9032 vsize=2944656 CPUtime=732.68 cores=0-31
/proc/9034/task/9041/stat : 9041 (claspmt) R 9032 9034 9008 0 -1 4202560 13188 0 0 0 73210 58 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9034/tid=9042] ppid=9032 vsize=2944656 CPUtime=732.7 cores=0-31
/proc/9034/task/9042/stat : 9042 (claspmt) R 9032 9034 9008 0 -1 4202560 23820 0 0 0 73147 123 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9034/tid=9043] ppid=9032 vsize=2944656 CPUtime=732.66 cores=0-31
/proc/9034/task/9043/stat : 9043 (claspmt) R 9032 9034 9008 0 -1 4202560 11484 0 0 0 73194 72 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9034/tid=9044] ppid=9032 vsize=2944656 CPUtime=732.59 cores=0-31
/proc/9034/task/9044/stat : 9044 (claspmt) R 9032 9034 9008 0 -1 4202560 11368 0 0 0 73203 56 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4669026 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9034/tid=9045] ppid=9032 vsize=2944656 CPUtime=732.71 cores=0-31
/proc/9034/task/9045/stat : 9045 (claspmt) R 9032 9034 9008 0 -1 4202560 26015 0 0 0 73180 91 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9034/tid=9046] ppid=9032 vsize=2944656 CPUtime=732.69 cores=0-31
/proc/9034/task/9046/stat : 9046 (claspmt) R 9032 9034 9008 0 -1 4202560 12699 0 0 0 73214 55 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9034/tid=9047] ppid=9032 vsize=2944656 CPUtime=732.64 cores=0-31
/proc/9034/task/9047/stat : 9047 (claspmt) R 9032 9034 9008 0 -1 4202560 16147 0 0 0 73195 69 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9034/tid=9048] ppid=9032 vsize=2944656 CPUtime=735.42 cores=0-31
/proc/9034/task/9048/stat : 9048 (claspmt) R 9032 9034 9008 0 -1 4202560 16522 0 0 0 73472 70 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668920 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9034/tid=9049] ppid=9032 vsize=2944656 CPUtime=732.66 cores=0-31
/proc/9034/task/9049/stat : 9049 (claspmt) R 9032 9034 9008 0 -1 4202560 13589 0 0 0 73210 56 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9034/tid=9050] ppid=9032 vsize=2944656 CPUtime=729.73 cores=0-31
/proc/9034/task/9050/stat : 9050 (claspmt) R 9032 9034 9008 0 -1 4202560 27145 0 0 0 72841 132 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9034/tid=9051] ppid=9032 vsize=2944656 CPUtime=732.63 cores=0-31
/proc/9034/task/9051/stat : 9051 (claspmt) R 9032 9034 9008 0 -1 4202560 10483 0 0 0 73204 59 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9034/tid=9052] ppid=9032 vsize=2944656 CPUtime=732.57 cores=0-31
/proc/9034/task/9052/stat : 9052 (claspmt) R 9032 9034 9008 0 -1 4202560 12075 0 0 0 73198 59 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9034/tid=9053] ppid=9032 vsize=2944656 CPUtime=732.1 cores=0-31
/proc/9034/task/9053/stat : 9053 (claspmt) R 9032 9034 9008 0 -1 4202560 27463 0 0 0 73137 73 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4647763 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9034/tid=9054] ppid=9032 vsize=2944656 CPUtime=732.73 cores=0-31
/proc/9034/task/9054/stat : 9054 (claspmt) R 9032 9034 9008 0 -1 4202560 12642 0 0 0 73215 58 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9034/tid=9055] ppid=9032 vsize=2944656 CPUtime=732.58 cores=0-31
/proc/9034/task/9055/stat : 9055 (claspmt) R 9032 9034 9008 0 -1 4202560 15807 0 0 0 73196 62 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9034/tid=9056] ppid=9032 vsize=2944656 CPUtime=735.63 cores=0-31
/proc/9034/task/9056/stat : 9056 (claspmt) R 9032 9034 9008 0 -1 4202560 16395 0 0 0 73497 66 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9034/tid=9057] ppid=9032 vsize=2944656 CPUtime=732.66 cores=0-31
/proc/9034/task/9057/stat : 9057 (claspmt) R 9032 9034 9008 0 -1 4202560 13322 0 0 0 73209 57 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9034/tid=9058] ppid=9032 vsize=2944656 CPUtime=732.71 cores=0-31
/proc/9034/task/9058/stat : 9058 (claspmt) R 9032 9034 9008 0 -1 4202560 27115 0 0 0 73143 128 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9034/tid=9059] ppid=9032 vsize=2944656 CPUtime=732.57 cores=0-31
/proc/9034/task/9059/stat : 9059 (claspmt) R 9032 9034 9008 0 -1 4202560 10713 0 0 0 73198 59 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9034/tid=9060] ppid=9032 vsize=2944656 CPUtime=732.64 cores=0-31
/proc/9034/task/9060/stat : 9060 (claspmt) R 9032 9034 9008 0 -1 4202560 11998 0 0 0 73203 61 0 0 25 0 32 0 1304674 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9034/tid=9061] ppid=9032 vsize=2944656 CPUtime=732.71 cores=0-31
/proc/9034/task/9061/stat : 9061 (claspmt) R 9032 9034 9008 0 -1 4202560 23529 0 0 0 73191 80 0 0 25 0 32 0 1304675 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9034/tid=9062] ppid=9032 vsize=2944656 CPUtime=732.71 cores=0-31
/proc/9034/task/9062/stat : 9062 (claspmt) R 9032 9034 9008 0 -1 4202560 14141 0 0 0 73212 59 0 0 25 0 32 0 1304675 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9034/tid=9063] ppid=9032 vsize=2944656 CPUtime=732.56 cores=0-31
/proc/9034/task/9063/stat : 9063 (claspmt) R 9032 9034 9008 0 -1 4202560 15356 0 0 0 73193 63 0 0 25 0 32 0 1304675 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 258650614568 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9034/tid=9064] ppid=9032 vsize=2944656 CPUtime=728.37 cores=0-31
/proc/9034/task/9064/stat : 9064 (claspmt) R 9032 9034 9008 0 -1 4202560 17032 0 0 0 72765 72 0 0 25 0 32 0 1304675 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9034/tid=9065] ppid=9032 vsize=2944656 CPUtime=732.4 cores=0-31
/proc/9034/task/9065/stat : 9065 (claspmt) R 9032 9034 9008 0 -1 4202560 13223 0 0 0 73182 58 0 0 25 0 32 0 1304675 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9034/tid=9066] ppid=9032 vsize=2944656 CPUtime=728.83 cores=0-31
/proc/9034/task/9066/stat : 9066 (claspmt) R 9032 9034 9008 0 -1 4202560 27994 0 0 0 72751 132 0 0 25 0 32 0 1304675 3015327744 513397 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 23436.7
Current children cumulated vsize (KiB) 2944656
[startup+739.102 s]
/proc/loadavg: 32.17 31.97 31.81 33/445 9086
/proc/meminfo: memFree=261652072/264257624 swapFree=67111528/67111528
[pid=9034] ppid=9032 vsize=2944656 CPUtime=23488.3 cores=0-31
/proc/9034/stat : 9034 (claspmt) R 9032 9034 9008 0 -1 4202496 558049 0 0 0 2346469 2364 0 0 25 0 32 0 1304556 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4653186 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/9034/statm: 736164 513259 463 189 0 730513 0
[pid=9034/tid=9036] ppid=9032 vsize=2944656 CPUtime=734.23 cores=0-31
/proc/9034/task/9036/stat : 9036 (claspmt) R 9032 9034 9008 0 -1 4202560 11061 0 0 0 73366 57 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9034/tid=9037] ppid=9032 vsize=2944656 CPUtime=734.37 cores=0-31
/proc/9034/task/9037/stat : 9037 (claspmt) R 9032 9034 9008 0 -1 4202560 29378 0 0 0 73335 102 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9034/tid=9038] ppid=9032 vsize=2944656 CPUtime=728.74 cores=0-31
/proc/9034/task/9038/stat : 9038 (claspmt) R 9032 9034 9008 0 -1 4202560 12198 0 0 0 72811 63 0 0 18 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9034/tid=9039] ppid=9032 vsize=2944656 CPUtime=733.66 cores=0-31
/proc/9034/task/9039/stat : 9039 (claspmt) R 9032 9034 9008 0 -1 4202560 16791 0 0 0 73280 86 0 0 18 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4313801 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9034/tid=9040] ppid=9032 vsize=2944656 CPUtime=737.18 cores=0-31
/proc/9034/task/9040/stat : 9040 (claspmt) R 9032 9034 9008 0 -1 4202560 16808 0 0 0 73647 71 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9034/tid=9041] ppid=9032 vsize=2944656 CPUtime=734.3 cores=0-31
/proc/9034/task/9041/stat : 9041 (claspmt) R 9032 9034 9008 0 -1 4202560 13188 0 0 0 73372 58 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9034/tid=9042] ppid=9032 vsize=2944656 CPUtime=734.32 cores=0-31
/proc/9034/task/9042/stat : 9042 (claspmt) R 9032 9034 9008 0 -1 4202560 23820 0 0 0 73308 124 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9034/tid=9043] ppid=9032 vsize=2944656 CPUtime=734.28 cores=0-31
/proc/9034/task/9043/stat : 9043 (claspmt) R 9032 9034 9008 0 -1 4202560 11484 0 0 0 73356 72 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4684054 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9034/tid=9044] ppid=9032 vsize=2944656 CPUtime=734.21 cores=0-31
/proc/9034/task/9044/stat : 9044 (claspmt) R 9032 9034 9008 0 -1 4202560 11369 0 0 0 73364 57 0 0 18 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9034/tid=9045] ppid=9032 vsize=2944656 CPUtime=734.33 cores=0-31
/proc/9034/task/9045/stat : 9045 (claspmt) R 9032 9034 9008 0 -1 4202560 26015 0 0 0 73342 91 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9034/tid=9046] ppid=9032 vsize=2944656 CPUtime=734.31 cores=0-31
/proc/9034/task/9046/stat : 9046 (claspmt) R 9032 9034 9008 0 -1 4202560 12699 0 0 0 73376 55 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9034/tid=9047] ppid=9032 vsize=2944656 CPUtime=734.26 cores=0-31
/proc/9034/task/9047/stat : 9047 (claspmt) R 9032 9034 9008 0 -1 4202560 16147 0 0 0 73357 69 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9034/tid=9048] ppid=9032 vsize=2944656 CPUtime=737.03 cores=0-31
/proc/9034/task/9048/stat : 9048 (claspmt) R 9032 9034 9008 0 -1 4202560 16522 0 0 0 73633 70 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9034/tid=9049] ppid=9032 vsize=2944656 CPUtime=734.28 cores=0-31
/proc/9034/task/9049/stat : 9049 (claspmt) R 9032 9034 9008 0 -1 4202560 13589 0 0 0 73371 57 0 0 18 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9034/tid=9050] ppid=9032 vsize=2944656 CPUtime=731.35 cores=0-31
/proc/9034/task/9050/stat : 9050 (claspmt) R 9032 9034 9008 0 -1 4202560 27145 0 0 0 73003 132 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9034/tid=9051] ppid=9032 vsize=2944656 CPUtime=734.25 cores=0-31
/proc/9034/task/9051/stat : 9051 (claspmt) R 9032 9034 9008 0 -1 4202560 10483 0 0 0 73366 59 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670381 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9034/tid=9052] ppid=9032 vsize=2944656 CPUtime=734.19 cores=0-31
/proc/9034/task/9052/stat : 9052 (claspmt) R 9032 9034 9008 0 -1 4202560 12075 0 0 0 73360 59 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9034/tid=9053] ppid=9032 vsize=2944656 CPUtime=733.66 cores=0-31
/proc/9034/task/9053/stat : 9053 (claspmt) R 9032 9034 9008 0 -1 4202560 27463 0 0 0 73293 73 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4379076 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9034/tid=9054] ppid=9032 vsize=2944656 CPUtime=734.35 cores=0-31
/proc/9034/task/9054/stat : 9054 (claspmt) R 9032 9034 9008 0 -1 4202560 12642 0 0 0 73377 58 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9034/tid=9055] ppid=9032 vsize=2944656 CPUtime=734.2 cores=0-31
/proc/9034/task/9055/stat : 9055 (claspmt) R 9032 9034 9008 0 -1 4202560 15807 0 0 0 73358 62 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9034/tid=9056] ppid=9032 vsize=2944656 CPUtime=737.25 cores=0-31
/proc/9034/task/9056/stat : 9056 (claspmt) R 9032 9034 9008 0 -1 4202560 16395 0 0 0 73659 66 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9034/tid=9057] ppid=9032 vsize=2944656 CPUtime=734.27 cores=0-31
/proc/9034/task/9057/stat : 9057 (claspmt) S 9032 9034 9008 0 -1 4202560 13322 0 0 0 73369 58 0 0 18 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 258651060958 0 0 4096 18946 18446744071566933824 0 0 -1 24 0 0 0
[pid=9034/tid=9058] ppid=9032 vsize=2944656 CPUtime=734.33 cores=0-31
/proc/9034/task/9058/stat : 9058 (claspmt) R 9032 9034 9008 0 -1 4202560 27115 0 0 0 73305 128 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9034/tid=9059] ppid=9032 vsize=2944656 CPUtime=734.19 cores=0-31
/proc/9034/task/9059/stat : 9059 (claspmt) R 9032 9034 9008 0 -1 4202560 10713 0 0 0 73359 60 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9034/tid=9060] ppid=9032 vsize=2944656 CPUtime=734.26 cores=0-31
/proc/9034/task/9060/stat : 9060 (claspmt) R 9032 9034 9008 0 -1 4202560 11998 0 0 0 73365 61 0 0 25 0 32 0 1304674 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9034/tid=9061] ppid=9032 vsize=2944656 CPUtime=734.32 cores=0-31
/proc/9034/task/9061/stat : 9061 (claspmt) R 9032 9034 9008 0 -1 4202560 23529 0 0 0 73352 80 0 0 18 0 32 0 1304675 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9034/tid=9062] ppid=9032 vsize=2944656 CPUtime=734.32 cores=0-31
/proc/9034/task/9062/stat : 9062 (claspmt) R 9032 9034 9008 0 -1 4202560 14141 0 0 0 73372 60 0 0 18 0 32 0 1304675 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9034/tid=9063] ppid=9032 vsize=2944656 CPUtime=734.17 cores=0-31
/proc/9034/task/9063/stat : 9063 (claspmt) R 9032 9034 9008 0 -1 4202560 15357 0 0 0 73353 64 0 0 18 0 32 0 1304675 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9034/tid=9064] ppid=9032 vsize=2944656 CPUtime=729.98 cores=0-31
/proc/9034/task/9064/stat : 9064 (claspmt) R 9032 9034 9008 0 -1 4202560 17032 0 0 0 72926 72 0 0 18 0 32 0 1304675 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9034/tid=9065] ppid=9032 vsize=2944656 CPUtime=734.02 cores=0-31
/proc/9034/task/9065/stat : 9065 (claspmt) R 9032 9034 9008 0 -1 4202560 13223 0 0 0 73344 58 0 0 25 0 32 0 1304675 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9034/tid=9066] ppid=9032 vsize=2944656 CPUtime=730.45 cores=0-31
/proc/9034/task/9066/stat : 9066 (claspmt) R 9032 9034 9008 0 -1 4202560 27994 0 0 0 72913 132 0 0 25 0 32 0 1304675 3015327744 513259 270582939648 4194304 4964800 140734889212800 18446744073709551615 4670212 0 0 4096 18946 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 23488.3
Current children cumulated vsize (KiB) 2944656
[startup+739.9 s]
/proc/loadavg: 32.17 31.97 31.81 33/445 9086
/proc/meminfo: memFree=261652072/264257624 swapFree=67111528/67111528
[pid=9034] ppid=9032 vsize=2765380 CPUtime=23492.4 cores=0-31
/proc/9034/stat : 9034 (claspmt) R 9032 9034 9008 0 -1 4202496 558060 0 0 0 2346746 2499 0 0 16 0 1 0 1304556 2831749120 490219 270582939648 4194304 4964800 140734889212800 18446744073709551615 258650613601 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9034/statm: 691345 490219 474 189 0 685694 0
Current children cumulated CPU time (s) 23492.5
Current children cumulated vsize (KiB) 2765380
[startup+740.336 s]
/proc/loadavg: 29.68 31.45 31.64 2/414 9086
/proc/meminfo: memFree=261839932/264257624 swapFree=67111528/67111528
[pid=9034] ppid=9032 vsize=1733932 CPUtime=23492.9 cores=0-31
/proc/9034/stat : 9034 (claspmt) R 9032 9034 9008 0 -1 4202496 558060 0 0 0 2346782 2506 0 0 16 0 1 0 1304556 1775546368 233690 270582939648 4194304 4964800 140734889212800 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9034/statm: 433483 233183 474 189 0 427832 0
Current children cumulated CPU time (s) 23492.9
Current children cumulated vsize (KiB) 1733932
Child status: 20
Real time (s): 740.393
CPU time (s): 23492.9
CPU user time (s): 23467.8
CPU system time (s): 25.1152
CPU usage (%): 3173.04
Max. virtual memory (cumulated for all children) (KiB): 2944656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23467.8
system time used= 25.1152
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558061
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= 212483
involuntary context switches= 50323
runsolver used 4.12137 second user time and 16.7954 second system time
The end
Begin job on node200 at 2011-06-06 13:19:37
IDJOB=3472264
IDBENCH=20387
IDSOLVER=1961
FILE ID=node200/3472264-1307359176
RUNJOBID= node200-1307359176-9022
PBS_JOBID= 13509159
Free space on /tmp= 61732 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.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-3472264-1307359176/watcher-3472264-1307359176 -o /tmp/evaluation-result-3472264-1307359176/solver-3472264-1307359176 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472264-1307359176.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 45ee13b66821e6c36f3e38be418fa121
RANDOM SEED=824496837
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: 263703724 kB
Buffers: 28284 kB
Cached: 321308 kB
SwapCached: 0 kB
Active: 149664 kB
Inactive: 262768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263703724 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 11692 kB
Writeback: 0 kB
AnonPages: 63576 kB
Mapped: 14412 kB
Slab: 63052 kB
PageTables: 4388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 159856 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= 61732 MiB
End job on node200 at 2011-06-06 13:31:57