0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...609025/instance-3472390-1307609025.cnf
1.89/1.92 c Solving...
413.63/53.92 s UNSATISFIABLE
413.63/53.92
413.63/53.92 c Models : 0
413.63/53.92 c Time : 53.648s (Solving: 51.73s 1st Model: 0.00s Unsat: 51.73s)
413.63/53.92 c CPU Time : 413.350s
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-3472390-1307609025/watcher-3472390-1307609025 -o /tmp/evaluation-result-3472390-1307609025/solver-3472390-1307609025 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472390-1307609025.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: 7.88 5.97 11.70 1/413 26807
/proc/meminfo: memFree=262477008/264257624 swapFree=67111528/67111528
[pid=26807] ppid=26805 vsize=34856 CPUtime=0.02 cores=0-31
/proc/26807/stat : 26807 (claspmt) R 26805 26807 26636 0 -1 4202496 4509 0 0 0 2 0 0 0 21 0 1 0 26289445 35692544 3854 270582939648 4194304 4964800 140733499752464 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/26807/statm: 8714 3857 383 189 0 3588 0
[startup+0.121998 s]
/proc/loadavg: 7.88 5.97 11.70 1/413 26807
/proc/meminfo: memFree=262477008/264257624 swapFree=67111528/67111528
[pid=26807] ppid=26805 vsize=46204 CPUtime=0.11 cores=0-31
/proc/26807/stat : 26807 (claspmt) R 26805 26807 26636 0 -1 4202496 8413 0 0 0 10 1 0 0 21 0 1 0 26289445 47312896 6698 270582939648 4194304 4964800 140733499752464 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/26807/statm: 11584 6700 386 189 0 6458 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 46204
[startup+0.201034 s]
/proc/loadavg: 7.88 5.97 11.70 1/413 26807
/proc/meminfo: memFree=262477008/264257624 swapFree=67111528/67111528
[pid=26807] ppid=26805 vsize=57692 CPUtime=0.19 cores=0-31
/proc/26807/stat : 26807 (claspmt) R 26805 26807 26636 0 -1 4202496 12571 0 0 0 17 2 0 0 21 0 1 0 26289445 59076608 9336 270582939648 4194304 4964800 140733499752464 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/26807/statm: 14456 9339 386 189 0 9330 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 57692
[startup+0.301009 s]
/proc/loadavg: 7.88 5.97 11.70 1/413 26807
/proc/meminfo: memFree=262477008/264257624 swapFree=67111528/67111528
[pid=26807] ppid=26805 vsize=71776 CPUtime=0.29 cores=0-31
/proc/26807/stat : 26807 (claspmt) R 26805 26807 26636 0 -1 4202496 17458 0 0 0 25 4 0 0 22 0 1 0 26289445 73498624 12855 270582939648 4194304 4964800 140733499752464 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/26807/statm: 17944 12858 386 189 0 12818 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71776
[startup+0.701018 s]
/proc/loadavg: 7.88 5.97 11.70 1/413 26807
/proc/meminfo: memFree=262477008/264257624 swapFree=67111528/67111528
[pid=26807] ppid=26805 vsize=96876 CPUtime=0.69 cores=0-31
/proc/26807/stat : 26807 (claspmt) R 26805 26807 26636 0 -1 4202496 24247 0 0 0 64 5 0 0 23 0 1 0 26289445 99201024 19026 270582939648 4194304 4964800 140733499752464 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/26807/statm: 24219 19026 400 189 0 19093 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96876
[startup+1.50106 s]
/proc/loadavg: 7.88 5.97 11.70 2/414 26808
/proc/meminfo: memFree=262402696/264257624 swapFree=67111528/67111528
[pid=26807] ppid=26805 vsize=97932 CPUtime=1.49 cores=0-31
/proc/26807/stat : 26807 (claspmt) R 26805 26807 26636 0 -1 4202496 24497 0 0 0 144 5 0 0 25 0 1 0 26289445 100282368 19276 270582939648 4194304 4964800 140733499752464 18446744073709551615 4621328 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/26807/statm: 24483 19276 401 189 0 19357 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97932
[startup+3.10308 s]
/proc/loadavg: 7.88 5.97 11.70 10/445 26839
/proc/meminfo: memFree=262296924/264257624 swapFree=67111528/67111528
[pid=26807] ppid=26805 vsize=1994088 CPUtime=11.14 cores=0-31
/proc/26807/stat : 26807 (claspmt) S 26805 26807 26636 0 -1 4202496 102508 0 0 0 560 554 0 0 18 0 32 0 26289445 2041946112 80850 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/26807/statm: 498522 80850 440 189 0 492871 0
[pid=26807/tid=26809] ppid=26805 vsize=1994088 CPUtime=0.13 cores=0-31
/proc/26807/task/26809/stat : 26809 (claspmt) S 26805 26807 26636 0 -1 4202560 922 0 0 0 3 10 0 0 18 0 32 0 26289638 2041946112 80850 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604569282362848 0 0 -1 9 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=1994088 CPUtime=0.28 cores=0-31
/proc/26807/task/26810/stat : 26810 (claspmt) S 26805 26807 26636 0 -1 4202560 2627 0 0 0 9 19 0 0 18 0 32 0 26289638 2041946112 80850 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604712722652640 0 0 -1 2 0 0 0
[pid=26807/tid=26811] ppid=26805 vsize=1994088 CPUtime=0.25 cores=0-31
/proc/26807/task/26811/stat : 26811 (claspmt) S 26805 26807 26636 0 -1 4202560 2932 0 0 0 9 16 0 0 18 0 32 0 26289638 2041946112 80850 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604499237199328 0 0 -1 11 0 0 0
[pid=26807/tid=26812] ppid=26805 vsize=1994088 CPUtime=0.19 cores=0-31
/proc/26807/task/26812/stat : 26812 (claspmt) S 26805 26807 26636 0 -1 4202560 2296 0 0 0 1 18 0 0 18 0 32 0 26289638 2041946112 80850 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604709935152608 0 0 -1 8 0 0 0
[pid=26807/tid=26813] ppid=26805 vsize=1994088 CPUtime=0.66 cores=0-31
/proc/26807/task/26813/stat : 26813 (claspmt) R 26805 26807 26636 0 -1 4202560 3021 0 0 0 46 20 0 0 18 0 32 0 26289638 2041946112 80850 270582939648 4194304 4964800 140733499752464 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=26807/tid=26814] ppid=26805 vsize=1994088 CPUtime=0.27 cores=0-31
/proc/26807/task/26814/stat : 26814 (claspmt) S 26805 26807 26636 0 -1 4202560 2661 0 0 0 8 19 0 0 18 0 32 0 26289638 2041946112 80850 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604710328573408 0 0 -1 4 0 0 0
[pid=26807/tid=26815] ppid=26805 vsize=1994088 CPUtime=0.21 cores=0-31
/proc/26807/task/26815/stat : 26815 (claspmt) S 26805 26807 26636 0 -1 4202560 1563 0 0 0 11 10 0 0 18 0 32 0 26289638 2041946112 80850 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604711943421408 0 0 -1 12 0 0 0
[pid=26807/tid=26816] ppid=26805 vsize=1994088 CPUtime=0.21 cores=0-31
/proc/26807/task/26816/stat : 26816 (claspmt) S 26805 26807 26636 0 -1 4202560 1948 0 0 0 3 18 0 0 18 0 32 0 26289638 2041946112 80850 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604485543919072 0 0 -1 11 0 0 0
[pid=26807/tid=26817] ppid=26805 vsize=1994088 CPUtime=0.19 cores=0-31
/proc/26807/task/26817/stat : 26817 (claspmt) S 26805 26807 26636 0 -1 4202560 1948 0 0 0 3 16 0 0 18 0 32 0 26289638 2041946112 80850 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604485956664800 0 0 -1 6 0 0 0
[pid=26807/tid=26818] ppid=26805 vsize=1994088 CPUtime=0.24 cores=0-31
/proc/26807/task/26818/stat : 26818 (claspmt) S 26805 26807 26636 0 -1 4202560 2568 0 0 0 7 17 0 0 18 0 32 0 26289638 2041946112 80850 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604711525645792 0 0 -1 7 0 0 0
[pid=26807/tid=26819] ppid=26805 vsize=1994088 CPUtime=0.26 cores=0-31
/proc/26807/task/26819/stat : 26819 (claspmt) S 26805 26807 26636 0 -1 4202560 2771 0 0 0 10 16 0 0 18 0 32 0 26289638 2041946112 80851 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604499822919136 0 0 -1 27 0 0 0
[pid=26807/tid=26820] ppid=26805 vsize=1994088 CPUtime=0.2 cores=0-31
/proc/26807/task/26820/stat : 26820 (claspmt) S 26805 26807 26636 0 -1 4202560 2364 0 0 0 2 18 0 0 18 0 32 0 26289638 2041946112 80851 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604709671755232 0 0 -1 26 0 0 0
[pid=26807/tid=26821] ppid=26805 vsize=1994088 CPUtime=0.63 cores=0-31
/proc/26807/task/26821/stat : 26821 (claspmt) R 26805 26807 26636 0 -1 4202560 3217 0 0 0 45 18 0 0 18 0 32 0 26289638 2041946112 80851 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=26807/tid=26822] ppid=26805 vsize=1994088 CPUtime=0.29 cores=0-31
/proc/26807/task/26822/stat : 26822 (claspmt) S 26805 26807 26636 0 -1 4202560 2646 0 0 0 10 19 0 0 18 0 32 0 26289638 2041946112 80851 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604709487164896 0 0 -1 14 0 0 0
[pid=26807/tid=26823] ppid=26805 vsize=1994088 CPUtime=0.3 cores=0-31
/proc/26807/task/26823/stat : 26823 (claspmt) S 26805 26807 26636 0 -1 4202560 2595 0 0 0 10 20 0 0 18 0 32 0 26289638 2041946112 80851 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604708962336224 0 0 -1 13 0 0 0
[pid=26807/tid=26824] ppid=26805 vsize=1994088 CPUtime=0.15 cores=0-31
/proc/26807/task/26824/stat : 26824 (claspmt) S 26805 26807 26636 0 -1 4202560 2191 0 0 0 2 13 0 0 18 0 32 0 26289638 2041946112 80851 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604485306023392 0 0 -1 28 0 0 0
[pid=26807/tid=26825] ppid=26805 vsize=1994088 CPUtime=0.2 cores=0-31
/proc/26807/task/26825/stat : 26825 (claspmt) S 26805 26807 26636 0 -1 4202560 2140 0 0 0 2 18 0 0 18 0 32 0 26289638 2041946112 80851 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604709295685088 0 0 -1 29 0 0 0
[pid=26807/tid=26826] ppid=26805 vsize=1994088 CPUtime=0.27 cores=0-31
/proc/26807/task/26826/stat : 26826 (claspmt) S 26805 26807 26636 0 -1 4202560 2921 0 0 0 9 18 0 0 18 0 32 0 26289638 2041946112 80851 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604705539399136 0 0 -1 17 0 0 0
[pid=26807/tid=26827] ppid=26805 vsize=1994088 CPUtime=0.25 cores=0-31
/proc/26807/task/26827/stat : 26827 (claspmt) S 26805 26807 26636 0 -1 4202560 2627 0 0 0 9 16 0 0 18 0 32 0 26289638 2041946112 80851 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604710195854816 0 0 -1 1 0 0 0
[pid=26807/tid=26828] ppid=26805 vsize=1994088 CPUtime=0.18 cores=0-31
/proc/26807/task/26828/stat : 26828 (claspmt) S 26805 26807 26636 0 -1 4202560 2136 0 0 0 2 16 0 0 18 0 32 0 26289638 2041946112 80852 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604706467364320 0 0 -1 21 0 0 0
[pid=26807/tid=26829] ppid=26805 vsize=1994088 CPUtime=0.68 cores=0-31
/proc/26807/task/26829/stat : 26829 (claspmt) R 26805 26807 26636 0 -1 4202560 2854 0 0 0 48 20 0 0 18 0 32 0 26289638 2041946112 80852 270582939648 4194304 4964800 140733499752464 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=26807/tid=26830] ppid=26805 vsize=1994088 CPUtime=0.27 cores=0-31
/proc/26807/task/26830/stat : 26830 (claspmt) S 26805 26807 26636 0 -1 4202560 2516 0 0 0 9 18 0 0 18 0 32 0 26289638 2041946112 80852 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604710342958560 0 0 -1 0 0 0 0
[pid=26807/tid=26831] ppid=26805 vsize=1994088 CPUtime=0.29 cores=0-31
/proc/26807/task/26831/stat : 26831 (claspmt) S 26805 26807 26636 0 -1 4202560 2970 0 0 0 11 18 0 0 18 0 32 0 26289638 2041946112 80852 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604711380934112 0 0 -1 25 0 0 0
[pid=26807/tid=26832] ppid=26805 vsize=1994088 CPUtime=0.19 cores=0-31
/proc/26807/task/26832/stat : 26832 (claspmt) S 26805 26807 26636 0 -1 4202560 2128 0 0 0 1 18 0 0 18 0 32 0 26289638 2041946112 80852 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604709614214624 0 0 -1 16 0 0 0
[pid=26807/tid=26833] ppid=26805 vsize=1994088 CPUtime=0.17 cores=0-31
/proc/26807/task/26833/stat : 26833 (claspmt) S 26805 26807 26636 0 -1 4202560 2273 0 0 0 2 15 0 0 18 0 32 0 26289638 2041946112 80852 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604485956656608 0 0 -1 20 0 0 0
[pid=26807/tid=26834] ppid=26805 vsize=1994088 CPUtime=0.26 cores=0-31
/proc/26807/task/26834/stat : 26834 (claspmt) S 26805 26807 26636 0 -1 4202560 2936 0 0 0 8 18 0 0 18 0 32 0 26289638 2041946112 80852 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604504998608352 0 0 -1 22 0 0 0
[pid=26807/tid=26835] ppid=26805 vsize=1994088 CPUtime=0.28 cores=0-31
/proc/26807/task/26835/stat : 26835 (claspmt) S 26805 26807 26636 0 -1 4202560 2705 0 0 0 9 19 0 0 18 0 32 0 26289639 2041946112 80852 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604485306015200 0 0 -1 30 0 0 0
[pid=26807/tid=26836] ppid=26805 vsize=1994088 CPUtime=0.17 cores=0-31
/proc/26807/task/26836/stat : 26836 (claspmt) S 26805 26807 26636 0 -1 4202560 2020 0 0 0 2 15 0 0 18 0 32 0 26289639 2041946112 80852 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604499822910944 0 0 -1 5 0 0 0
[pid=26807/tid=26837] ppid=26805 vsize=1994088 CPUtime=0.64 cores=0-31
/proc/26807/task/26837/stat : 26837 (claspmt) R 26805 26807 26636 0 -1 4202560 3327 0 0 0 44 20 0 0 18 0 32 0 26289639 2041946112 80852 270582939648 4194304 4964800 140733499752464 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=26807/tid=26838] ppid=26805 vsize=1994088 CPUtime=0.29 cores=0-31
/proc/26807/task/26838/stat : 26838 (claspmt) S 26805 26807 26636 0 -1 4202560 2900 0 0 0 10 19 0 0 18 0 32 0 26289639 2041946112 80852 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604711096671712 0 0 -1 18 0 0 0
[pid=26807/tid=26839] ppid=26805 vsize=1994088 CPUtime=0.3 cores=0-31
/proc/26807/task/26839/stat : 26839 (claspmt) S 26805 26807 26636 0 -1 4202560 3051 0 0 0 11 19 0 0 18 0 32 0 26289639 2041946112 80852 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604710246841824 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 11.14
Current children cumulated vsize (KiB) 1994088
[startup+6.30218 s]
/proc/loadavg: 7.57 5.93 11.65 5/445 26839
/proc/meminfo: memFree=262150408/264257624 swapFree=67111528/67111528
[pid=26807] ppid=26805 vsize=1994088 CPUtime=23.93 cores=0-31
/proc/26807/stat : 26807 (claspmt) S 26805 26807 26636 0 -1 4202496 103768 0 0 0 1835 558 0 0 18 0 32 0 26289445 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/26807/statm: 498522 82110 440 189 0 492871 0
[pid=26807/tid=26809] ppid=26805 vsize=1994088 CPUtime=0.13 cores=0-31
/proc/26807/task/26809/stat : 26809 (claspmt) S 26805 26807 26636 0 -1 4202560 922 0 0 0 3 10 0 0 18 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604569282362848 0 0 -1 9 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=1994088 CPUtime=0.28 cores=0-31
/proc/26807/task/26810/stat : 26810 (claspmt) S 26805 26807 26636 0 -1 4202560 2627 0 0 0 9 19 0 0 18 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604712722652640 0 0 -1 2 0 0 0
[pid=26807/tid=26811] ppid=26805 vsize=1994088 CPUtime=0.25 cores=0-31
/proc/26807/task/26811/stat : 26811 (claspmt) S 26805 26807 26636 0 -1 4202560 2932 0 0 0 9 16 0 0 18 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604499237199328 0 0 -1 11 0 0 0
[pid=26807/tid=26812] ppid=26805 vsize=1994088 CPUtime=0.19 cores=0-31
/proc/26807/task/26812/stat : 26812 (claspmt) S 26805 26807 26636 0 -1 4202560 2296 0 0 0 1 18 0 0 18 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604709935152608 0 0 -1 8 0 0 0
[pid=26807/tid=26813] ppid=26805 vsize=1994088 CPUtime=3.85 cores=0-31
/proc/26807/task/26813/stat : 26813 (claspmt) R 26805 26807 26636 0 -1 4202560 3320 0 0 0 364 21 0 0 25 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=26807/tid=26814] ppid=26805 vsize=1994088 CPUtime=0.27 cores=0-31
/proc/26807/task/26814/stat : 26814 (claspmt) S 26805 26807 26636 0 -1 4202560 2661 0 0 0 8 19 0 0 18 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604710328573408 0 0 -1 4 0 0 0
[pid=26807/tid=26815] ppid=26805 vsize=1994088 CPUtime=0.21 cores=0-31
/proc/26807/task/26815/stat : 26815 (claspmt) S 26805 26807 26636 0 -1 4202560 1563 0 0 0 11 10 0 0 18 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604711943421408 0 0 -1 12 0 0 0
[pid=26807/tid=26816] ppid=26805 vsize=1994088 CPUtime=0.21 cores=0-31
/proc/26807/task/26816/stat : 26816 (claspmt) S 26805 26807 26636 0 -1 4202560 1948 0 0 0 3 18 0 0 18 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604485543919072 0 0 -1 11 0 0 0
[pid=26807/tid=26817] ppid=26805 vsize=1994088 CPUtime=0.19 cores=0-31
/proc/26807/task/26817/stat : 26817 (claspmt) S 26805 26807 26636 0 -1 4202560 1948 0 0 0 3 16 0 0 18 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604485956664800 0 0 -1 6 0 0 0
[pid=26807/tid=26818] ppid=26805 vsize=1994088 CPUtime=0.24 cores=0-31
/proc/26807/task/26818/stat : 26818 (claspmt) S 26805 26807 26636 0 -1 4202560 2568 0 0 0 7 17 0 0 18 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604711525645792 0 0 -1 7 0 0 0
[pid=26807/tid=26819] ppid=26805 vsize=1994088 CPUtime=0.26 cores=0-31
/proc/26807/task/26819/stat : 26819 (claspmt) S 26805 26807 26636 0 -1 4202560 2771 0 0 0 10 16 0 0 18 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604499822919136 0 0 -1 27 0 0 0
[pid=26807/tid=26820] ppid=26805 vsize=1994088 CPUtime=0.2 cores=0-31
/proc/26807/task/26820/stat : 26820 (claspmt) S 26805 26807 26636 0 -1 4202560 2364 0 0 0 2 18 0 0 18 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604709671755232 0 0 -1 26 0 0 0
[pid=26807/tid=26821] ppid=26805 vsize=1994088 CPUtime=3.83 cores=0-31
/proc/26807/task/26821/stat : 26821 (claspmt) R 26805 26807 26636 0 -1 4202560 3516 0 0 0 365 18 0 0 25 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668544 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=26807/tid=26822] ppid=26805 vsize=1994088 CPUtime=0.29 cores=0-31
/proc/26807/task/26822/stat : 26822 (claspmt) S 26805 26807 26636 0 -1 4202560 2646 0 0 0 10 19 0 0 18 0 32 0 26289638 2041946112 82110 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604709487164896 0 0 -1 14 0 0 0
[pid=26807/tid=26823] ppid=26805 vsize=1994088 CPUtime=0.3 cores=0-31
/proc/26807/task/26823/stat : 26823 (claspmt) S 26805 26807 26636 0 -1 4202560 2595 0 0 0 10 20 0 0 18 0 32 0 26289638 2041946112 82111 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604708962336224 0 0 -1 13 0 0 0
[pid=26807/tid=26824] ppid=26805 vsize=1994088 CPUtime=0.15 cores=0-31
/proc/26807/task/26824/stat : 26824 (claspmt) S 26805 26807 26636 0 -1 4202560 2191 0 0 0 2 13 0 0 18 0 32 0 26289638 2041946112 82111 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604485306023392 0 0 -1 28 0 0 0
[pid=26807/tid=26825] ppid=26805 vsize=1994088 CPUtime=0.2 cores=0-31
/proc/26807/task/26825/stat : 26825 (claspmt) S 26805 26807 26636 0 -1 4202560 2140 0 0 0 2 18 0 0 18 0 32 0 26289638 2041946112 82111 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604709295685088 0 0 -1 29 0 0 0
[pid=26807/tid=26826] ppid=26805 vsize=1994088 CPUtime=0.27 cores=0-31
/proc/26807/task/26826/stat : 26826 (claspmt) S 26805 26807 26636 0 -1 4202560 2921 0 0 0 9 18 0 0 18 0 32 0 26289638 2041946112 82111 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604705539399136 0 0 -1 17 0 0 0
[pid=26807/tid=26827] ppid=26805 vsize=1994088 CPUtime=0.25 cores=0-31
/proc/26807/task/26827/stat : 26827 (claspmt) S 26805 26807 26636 0 -1 4202560 2627 0 0 0 9 16 0 0 18 0 32 0 26289638 2041946112 82111 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604710195854816 0 0 -1 1 0 0 0
[pid=26807/tid=26828] ppid=26805 vsize=1994088 CPUtime=0.18 cores=0-31
/proc/26807/task/26828/stat : 26828 (claspmt) S 26805 26807 26636 0 -1 4202560 2136 0 0 0 2 16 0 0 18 0 32 0 26289638 2041946112 82111 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604706467364320 0 0 -1 21 0 0 0
[pid=26807/tid=26829] ppid=26805 vsize=1994088 CPUtime=3.87 cores=0-31
/proc/26807/task/26829/stat : 26829 (claspmt) R 26805 26807 26636 0 -1 4202560 3193 0 0 0 367 20 0 0 25 0 32 0 26289638 2041946112 82111 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=26807/tid=26830] ppid=26805 vsize=1994088 CPUtime=0.27 cores=0-31
/proc/26807/task/26830/stat : 26830 (claspmt) S 26805 26807 26636 0 -1 4202560 2516 0 0 0 9 18 0 0 18 0 32 0 26289638 2041946112 82111 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604710342958560 0 0 -1 0 0 0 0
[pid=26807/tid=26831] ppid=26805 vsize=1994088 CPUtime=0.29 cores=0-31
/proc/26807/task/26831/stat : 26831 (claspmt) S 26805 26807 26636 0 -1 4202560 2970 0 0 0 11 18 0 0 18 0 32 0 26289638 2041946112 82111 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604711380934112 0 0 -1 25 0 0 0
[pid=26807/tid=26832] ppid=26805 vsize=1994088 CPUtime=0.19 cores=0-31
/proc/26807/task/26832/stat : 26832 (claspmt) S 26805 26807 26636 0 -1 4202560 2128 0 0 0 1 18 0 0 18 0 32 0 26289638 2041946112 82111 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604709614214624 0 0 -1 16 0 0 0
[pid=26807/tid=26833] ppid=26805 vsize=1994088 CPUtime=0.17 cores=0-31
/proc/26807/task/26833/stat : 26833 (claspmt) S 26805 26807 26636 0 -1 4202560 2273 0 0 0 2 15 0 0 18 0 32 0 26289638 2041946112 82111 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662772457 0 0 4096 18946 18446604485956656608 0 0 -1 20 0 0 0
################
# More data... #
################
[pid=26807/tid=26836] ppid=26805 vsize=1994088 CPUtime=4.94 cores=0-31
/proc/26807/task/26836/stat : 26836 (claspmt) R 26805 26807 26636 0 -1 4202560 2334 0 0 0 477 17 0 0 25 0 32 0 26289639 2041946112 93415 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26807/tid=26837] ppid=26805 vsize=1994088 CPUtime=48.66 cores=0-31
/proc/26807/task/26837/stat : 26837 (claspmt) R 26805 26807 26636 0 -1 4202560 3797 0 0 0 4844 22 0 0 25 0 32 0 26289639 2041946112 93415 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=26807/tid=26838] ppid=26805 vsize=1994088 CPUtime=5.03 cores=0-31
/proc/26807/task/26838/stat : 26838 (claspmt) R 26805 26807 26636 0 -1 4202560 3335 0 0 0 482 21 0 0 25 0 32 0 26289639 2041946112 93415 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669104 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=26807/tid=26839] ppid=26805 vsize=1994088 CPUtime=5.05 cores=0-31
/proc/26807/task/26839/stat : 26839 (claspmt) R 26805 26807 26636 0 -1 4202560 3361 0 0 0 485 20 0 0 25 0 32 0 26289639 2041946112 93415 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 335.41
Current children cumulated vsize (KiB) 1994088
[startup+52.8017 s]
/proc/loadavg: 7.92 6.13 11.44 33/445 26841
/proc/meminfo: memFree=262093220/264257624 swapFree=67111528/67111528
[pid=26807] ppid=26805 vsize=1994088 CPUtime=387.12 cores=0-31
/proc/26807/stat : 26807 (claspmt) R 26805 26807 26636 0 -1 4202496 119249 0 0 0 38092 620 0 0 18 0 32 0 26289445 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670190 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/26807/statm: 498522 97584 461 189 0 492871 0
[pid=26807/tid=26809] ppid=26805 vsize=1994088 CPUtime=6.51 cores=0-31
/proc/26807/task/26809/stat : 26809 (claspmt) R 26805 26807 26636 0 -1 4202560 1220 0 0 0 640 11 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=1994088 CPUtime=6.62 cores=0-31
/proc/26807/task/26810/stat : 26810 (claspmt) R 26805 26807 26636 0 -1 4202560 3768 0 0 0 638 24 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=26807/tid=26811] ppid=26805 vsize=1994088 CPUtime=6.43 cores=0-31
/proc/26807/task/26811/stat : 26811 (claspmt) R 26805 26807 26636 0 -1 4202560 3362 0 0 0 624 19 0 0 18 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4629954 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=26807/tid=26812] ppid=26805 vsize=1994088 CPUtime=6.57 cores=0-31
/proc/26807/task/26812/stat : 26812 (claspmt) R 26805 26807 26636 0 -1 4202560 2752 0 0 0 637 20 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=26807/tid=26813] ppid=26805 vsize=1994088 CPUtime=50.2 cores=0-31
/proc/26807/task/26813/stat : 26813 (claspmt) R 26805 26807 26636 0 -1 4202560 3480 0 0 0 4999 21 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=26807/tid=26814] ppid=26805 vsize=1994088 CPUtime=6.58 cores=0-31
/proc/26807/task/26814/stat : 26814 (claspmt) R 26805 26807 26636 0 -1 4202560 3113 0 0 0 638 20 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=26807/tid=26815] ppid=26805 vsize=1994088 CPUtime=6.58 cores=0-31
/proc/26807/task/26815/stat : 26815 (claspmt) R 26805 26807 26636 0 -1 4202560 2236 0 0 0 645 13 0 0 18 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4629968 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=26807/tid=26816] ppid=26805 vsize=1994088 CPUtime=6.58 cores=0-31
/proc/26807/task/26816/stat : 26816 (claspmt) R 26805 26807 26636 0 -1 4202560 2291 0 0 0 639 19 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=26807/tid=26817] ppid=26805 vsize=1994088 CPUtime=6.57 cores=0-31
/proc/26807/task/26817/stat : 26817 (claspmt) R 26805 26807 26636 0 -1 4202560 2349 0 0 0 639 18 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669089 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26807/tid=26818] ppid=26805 vsize=1994088 CPUtime=6.45 cores=0-31
/proc/26807/task/26818/stat : 26818 (claspmt) R 26805 26807 26636 0 -1 4202560 3713 0 0 0 624 21 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670378 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=26807/tid=26819] ppid=26805 vsize=1994088 CPUtime=6.63 cores=0-31
/proc/26807/task/26819/stat : 26819 (claspmt) R 26805 26807 26636 0 -1 4202560 3110 0 0 0 645 18 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669140 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=26807/tid=26820] ppid=26805 vsize=1994088 CPUtime=6.59 cores=0-31
/proc/26807/task/26820/stat : 26820 (claspmt) R 26805 26807 26636 0 -1 4202560 2840 0 0 0 638 21 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=26807/tid=26821] ppid=26805 vsize=1994088 CPUtime=50.18 cores=0-31
/proc/26807/task/26821/stat : 26821 (claspmt) R 26805 26807 26636 0 -1 4202560 3690 0 0 0 4999 19 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=26807/tid=26822] ppid=26805 vsize=1994088 CPUtime=6.64 cores=0-31
/proc/26807/task/26822/stat : 26822 (claspmt) R 26805 26807 26636 0 -1 4202560 3001 0 0 0 645 19 0 0 18 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=26807/tid=26823] ppid=26805 vsize=1994088 CPUtime=6.64 cores=0-31
/proc/26807/task/26823/stat : 26823 (claspmt) R 26805 26807 26636 0 -1 4202560 3113 0 0 0 643 21 0 0 19 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=26807/tid=26824] ppid=26805 vsize=1994088 CPUtime=6.52 cores=0-31
/proc/26807/task/26824/stat : 26824 (claspmt) R 26805 26807 26636 0 -1 4202560 2542 0 0 0 638 14 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 258650614596 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=26807/tid=26825] ppid=26805 vsize=1994088 CPUtime=6.58 cores=0-31
/proc/26807/task/26825/stat : 26825 (claspmt) R 26805 26807 26636 0 -1 4202560 2508 0 0 0 639 19 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=26807/tid=26826] ppid=26805 vsize=1994088 CPUtime=6.64 cores=0-31
/proc/26807/task/26826/stat : 26826 (claspmt) R 26805 26807 26636 0 -1 4202560 3964 0 0 0 642 22 0 0 19 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=26807/tid=26827] ppid=26805 vsize=1994088 CPUtime=6.56 cores=0-31
/proc/26807/task/26827/stat : 26827 (claspmt) R 26805 26807 26636 0 -1 4202560 2916 0 0 0 638 18 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670129 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=26807/tid=26828] ppid=26805 vsize=1994088 CPUtime=6.57 cores=0-31
/proc/26807/task/26828/stat : 26828 (claspmt) R 26805 26807 26636 0 -1 4202560 2590 0 0 0 639 18 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4342232 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=26807/tid=26829] ppid=26805 vsize=1994088 CPUtime=50.23 cores=0-31
/proc/26807/task/26829/stat : 26829 (claspmt) R 26805 26807 26636 0 -1 4202560 3376 0 0 0 5002 21 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=26807/tid=26830] ppid=26805 vsize=1994088 CPUtime=6.62 cores=0-31
/proc/26807/task/26830/stat : 26830 (claspmt) R 26805 26807 26636 0 -1 4202560 2951 0 0 0 642 20 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=26807/tid=26831] ppid=26805 vsize=1994088 CPUtime=6.65 cores=0-31
/proc/26807/task/26831/stat : 26831 (claspmt) R 26805 26807 26636 0 -1 4202560 3566 0 0 0 645 20 0 0 25 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4627281 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=26807/tid=26832] ppid=26805 vsize=1994088 CPUtime=6.56 cores=0-31
/proc/26807/task/26832/stat : 26832 (claspmt) R 26805 26807 26636 0 -1 4202560 2504 0 0 0 637 19 0 0 19 0 32 0 26289638 2041946112 97584 270582939648 4194304 4964800 140733499752464 18446744073709551615 4660442 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=26807/tid=26833] ppid=26805 vsize=1994088 CPUtime=6.54 cores=0-31
/proc/26807/task/26833/stat : 26833 (claspmt) R 26805 26807 26636 0 -1 4202560 2698 0 0 0 637 17 0 0 25 0 32 0 26289638 2041946112 97586 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=26807/tid=26834] ppid=26805 vsize=1994088 CPUtime=6.61 cores=0-31
/proc/26807/task/26834/stat : 26834 (claspmt) R 26805 26807 26636 0 -1 4202560 4089 0 0 0 639 22 0 0 18 0 32 0 26289638 2041946112 97586 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=26807/tid=26835] ppid=26805 vsize=1994088 CPUtime=6.65 cores=0-31
/proc/26807/task/26835/stat : 26835 (claspmt) R 26805 26807 26636 0 -1 4202560 3185 0 0 0 643 22 0 0 25 0 32 0 26289639 2041946112 97586 270582939648 4194304 4964800 140733499752464 18446744073709551615 4629954 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=26807/tid=26836] ppid=26805 vsize=1994088 CPUtime=6.55 cores=0-31
/proc/26807/task/26836/stat : 26836 (claspmt) R 26805 26807 26636 0 -1 4202560 2525 0 0 0 638 17 0 0 25 0 32 0 26289639 2041946112 97588 270582939648 4194304 4964800 140733499752464 18446744073709551615 4660526 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26807/tid=26837] ppid=26805 vsize=1994088 CPUtime=50.27 cores=0-31
/proc/26807/task/26837/stat : 26837 (claspmt) R 26805 26807 26636 0 -1 4202560 3802 0 0 0 5005 22 0 0 25 0 32 0 26289639 2041946112 97590 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669648 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=26807/tid=26838] ppid=26805 vsize=1994088 CPUtime=6.65 cores=0-31
/proc/26807/task/26838/stat : 26838 (claspmt) R 26805 26807 26636 0 -1 4202560 3378 0 0 0 644 21 0 0 25 0 32 0 26289639 2041946112 97590 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668544 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=26807/tid=26839] ppid=26805 vsize=1994088 CPUtime=6.67 cores=0-31
/proc/26807/task/26839/stat : 26839 (claspmt) R 26805 26807 26636 0 -1 4202560 3546 0 0 0 646 21 0 0 25 0 32 0 26289639 2041946112 97590 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 387.12
Current children cumulated vsize (KiB) 1994088
[startup+53.6017 s]
/proc/loadavg: 7.92 6.13 11.44 33/445 26841
/proc/meminfo: memFree=262093220/264257624 swapFree=67111528/67111528
[pid=26807] ppid=26805 vsize=1994088 CPUtime=412.05 cores=0-31
/proc/26807/stat : 26807 (claspmt) R 26805 26807 26636 0 -1 4202496 119538 0 0 0 40583 622 0 0 19 0 32 0 26289445 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/26807/statm: 498522 97873 461 189 0 492871 0
[pid=26807/tid=26809] ppid=26805 vsize=1994088 CPUtime=7.28 cores=0-31
/proc/26807/task/26809/stat : 26809 (claspmt) R 26805 26807 26636 0 -1 4202560 1233 0 0 0 717 11 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4456587 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=26807/tid=26810] ppid=26805 vsize=1994088 CPUtime=7.4 cores=0-31
/proc/26807/task/26810/stat : 26810 (claspmt) R 26805 26807 26636 0 -1 4202560 3867 0 0 0 716 24 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=26807/tid=26811] ppid=26805 vsize=1994088 CPUtime=7.2 cores=0-31
/proc/26807/task/26811/stat : 26811 (claspmt) R 26805 26807 26636 0 -1 4202560 3363 0 0 0 701 19 0 0 20 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=26807/tid=26812] ppid=26805 vsize=1994088 CPUtime=7.35 cores=0-31
/proc/26807/task/26812/stat : 26812 (claspmt) R 26805 26807 26636 0 -1 4202560 2758 0 0 0 715 20 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=26807/tid=26813] ppid=26805 vsize=1994088 CPUtime=50.98 cores=0-31
/proc/26807/task/26813/stat : 26813 (claspmt) R 26805 26807 26636 0 -1 4202560 3480 0 0 0 5077 21 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=26807/tid=26814] ppid=26805 vsize=1994088 CPUtime=7.35 cores=0-31
/proc/26807/task/26814/stat : 26814 (claspmt) R 26805 26807 26636 0 -1 4202560 3113 0 0 0 715 20 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4629936 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=26807/tid=26815] ppid=26805 vsize=1994088 CPUtime=7.36 cores=0-31
/proc/26807/task/26815/stat : 26815 (claspmt) R 26805 26807 26636 0 -1 4202560 2236 0 0 0 723 13 0 0 19 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=26807/tid=26816] ppid=26805 vsize=1994088 CPUtime=7.36 cores=0-31
/proc/26807/task/26816/stat : 26816 (claspmt) R 26805 26807 26636 0 -1 4202560 2294 0 0 0 717 19 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4629954 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=26807/tid=26817] ppid=26805 vsize=1994088 CPUtime=7.34 cores=0-31
/proc/26807/task/26817/stat : 26817 (claspmt) R 26805 26807 26636 0 -1 4202560 2366 0 0 0 716 18 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=26807/tid=26818] ppid=26805 vsize=1994088 CPUtime=7.23 cores=0-31
/proc/26807/task/26818/stat : 26818 (claspmt) R 26805 26807 26636 0 -1 4202560 3730 0 0 0 702 21 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=26807/tid=26819] ppid=26805 vsize=1994088 CPUtime=7.4 cores=0-31
/proc/26807/task/26819/stat : 26819 (claspmt) R 26805 26807 26636 0 -1 4202560 3112 0 0 0 722 18 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668552 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=26807/tid=26820] ppid=26805 vsize=1994088 CPUtime=7.36 cores=0-31
/proc/26807/task/26820/stat : 26820 (claspmt) R 26805 26807 26636 0 -1 4202560 2857 0 0 0 715 21 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=26807/tid=26821] ppid=26805 vsize=1994088 CPUtime=50.96 cores=0-31
/proc/26807/task/26821/stat : 26821 (claspmt) R 26805 26807 26636 0 -1 4202560 3690 0 0 0 5077 19 0 0 18 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=26807/tid=26822] ppid=26805 vsize=1994088 CPUtime=7.42 cores=0-31
/proc/26807/task/26822/stat : 26822 (claspmt) R 26805 26807 26636 0 -1 4202560 3013 0 0 0 723 19 0 0 20 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=26807/tid=26823] ppid=26805 vsize=1994088 CPUtime=7.42 cores=0-31
/proc/26807/task/26823/stat : 26823 (claspmt) R 26805 26807 26636 0 -1 4202560 3124 0 0 0 721 21 0 0 20 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=26807/tid=26824] ppid=26805 vsize=1994088 CPUtime=7.3 cores=0-31
/proc/26807/task/26824/stat : 26824 (claspmt) R 26805 26807 26636 0 -1 4202560 2544 0 0 0 716 14 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=26807/tid=26825] ppid=26805 vsize=1994088 CPUtime=7.36 cores=0-31
/proc/26807/task/26825/stat : 26825 (claspmt) R 26805 26807 26636 0 -1 4202560 2508 0 0 0 717 19 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=26807/tid=26826] ppid=26805 vsize=1994088 CPUtime=7.42 cores=0-31
/proc/26807/task/26826/stat : 26826 (claspmt) R 26805 26807 26636 0 -1 4202560 3985 0 0 0 720 22 0 0 20 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=26807/tid=26827] ppid=26805 vsize=1994088 CPUtime=7.34 cores=0-31
/proc/26807/task/26827/stat : 26827 (claspmt) R 26805 26807 26636 0 -1 4202560 2922 0 0 0 716 18 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=26807/tid=26828] ppid=26805 vsize=1994088 CPUtime=7.35 cores=0-31
/proc/26807/task/26828/stat : 26828 (claspmt) R 26805 26807 26636 0 -1 4202560 2591 0 0 0 717 18 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=26807/tid=26829] ppid=26805 vsize=1994088 CPUtime=51.01 cores=0-31
/proc/26807/task/26829/stat : 26829 (claspmt) R 26805 26807 26636 0 -1 4202560 3376 0 0 0 5080 21 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=26807/tid=26830] ppid=26805 vsize=1994088 CPUtime=7.39 cores=0-31
/proc/26807/task/26830/stat : 26830 (claspmt) R 26805 26807 26636 0 -1 4202560 2957 0 0 0 719 20 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=26807/tid=26831] ppid=26805 vsize=1994088 CPUtime=7.42 cores=0-31
/proc/26807/task/26831/stat : 26831 (claspmt) R 26805 26807 26636 0 -1 4202560 3581 0 0 0 722 20 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4314062 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=26807/tid=26832] ppid=26805 vsize=1994088 CPUtime=7.34 cores=0-31
/proc/26807/task/26832/stat : 26832 (claspmt) R 26805 26807 26636 0 -1 4202560 2504 0 0 0 715 19 0 0 20 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=26807/tid=26833] ppid=26805 vsize=1994088 CPUtime=7.32 cores=0-31
/proc/26807/task/26833/stat : 26833 (claspmt) R 26805 26807 26636 0 -1 4202560 2707 0 0 0 715 17 0 0 25 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670363 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=26807/tid=26834] ppid=26805 vsize=1994088 CPUtime=7.39 cores=0-31
/proc/26807/task/26834/stat : 26834 (claspmt) R 26805 26807 26636 0 -1 4202560 4094 0 0 0 717 22 0 0 19 0 32 0 26289638 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=26807/tid=26835] ppid=26805 vsize=1994088 CPUtime=7.42 cores=0-31
/proc/26807/task/26835/stat : 26835 (claspmt) R 26805 26807 26636 0 -1 4202560 3185 0 0 0 720 22 0 0 25 0 32 0 26289639 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=26807/tid=26836] ppid=26805 vsize=1994088 CPUtime=7.33 cores=0-31
/proc/26807/task/26836/stat : 26836 (claspmt) R 26805 26807 26636 0 -1 4202560 2529 0 0 0 716 17 0 0 25 0 32 0 26289639 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26807/tid=26837] ppid=26805 vsize=1994088 CPUtime=51.05 cores=0-31
/proc/26807/task/26837/stat : 26837 (claspmt) R 26805 26807 26636 0 -1 4202560 3802 0 0 0 5083 22 0 0 25 0 32 0 26289639 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=26807/tid=26838] ppid=26805 vsize=1994088 CPUtime=7.42 cores=0-31
/proc/26807/task/26838/stat : 26838 (claspmt) R 26805 26807 26636 0 -1 4202560 3378 0 0 0 721 21 0 0 25 0 32 0 26289639 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=26807/tid=26839] ppid=26805 vsize=1994088 CPUtime=7.45 cores=0-31
/proc/26807/task/26839/stat : 26839 (claspmt) R 26805 26807 26636 0 -1 4202560 3556 0 0 0 724 21 0 0 25 0 32 0 26289639 2041946112 97873 270582939648 4194304 4964800 140733499752464 18446744073709551615 4629970 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 412.05
Current children cumulated vsize (KiB) 1994088
[startup+53.8009 s]
/proc/loadavg: 7.92 6.13 11.44 33/445 26841
/proc/meminfo: memFree=262093220/264257624 swapFree=67111528/67111528
[pid=26807] ppid=26805 vsize=1895968 CPUtime=413.5 cores=0-31
/proc/26807/stat : 26807 (claspmt) R 26805 26807 26636 0 -1 4202496 119550 0 0 0 40725 625 0 0 19 0 1 0 26289445 1941471232 95852 270582939648 4194304 4964800 140733499752464 18446744073709551615 258650611701 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/26807/statm: 473992 95852 472 189 0 468341 0
Current children cumulated CPU time (s) 413.5
Current children cumulated vsize (KiB) 1895968
[startup+53.9009 s]
/proc/loadavg: 7.92 6.13 11.44 2/414 26841
/proc/meminfo: memFree=262103140/264257624 swapFree=67111528/67111528
[pid=26807] ppid=26805 vsize=1826408 CPUtime=413.63 cores=0-31
/proc/26807/stat : 26807 (claspmt) R 26805 26807 26636 0 -1 4202496 119550 0 0 0 40736 627 0 0 19 0 1 0 26289445 1870241792 60887 270582939648 4194304 4964800 140733499752464 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/26807/statm: 456602 60567 472 189 0 450951 0
Current children cumulated CPU time (s) 413.63
Current children cumulated vsize (KiB) 1826408
Child status: 20
Real time (s): 53.9443
CPU time (s): 413.653
CPU user time (s): 407.36
CPU system time (s): 6.29304
CPU usage (%): 766.815
Max. virtual memory (cumulated for all children) (KiB): 1994088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 407.36
system time used= 6.29304
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119551
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= 87318
involuntary context switches= 1359
runsolver used 0.352946 second user time and 1.04384 second system time
The end
Begin job on node200 at 2011-06-09 10:43:46
IDJOB=3472390
IDBENCH=82420
IDSOLVER=1961
FILE ID=node200/3472390-1307609025
RUNJOBID= node200-1307608035-26650
PBS_JOBID= 13547728
Free space on /tmp= 61728 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.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-3472390-1307609025/watcher-3472390-1307609025 -o /tmp/evaluation-result-3472390-1307609025/solver-3472390-1307609025 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472390-1307609025.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 86980f7370ece00291f2970256db731a
RANDOM SEED=1046415952
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: 262477528 kB
Buffers: 216296 kB
Cached: 1277240 kB
SwapCached: 0 kB
Active: 252480 kB
Inactive: 1307708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262477528 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 17296 kB
Writeback: 0 kB
AnonPages: 66904 kB
Mapped: 14488 kB
Slab: 144460 kB
PageTables: 4512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 164664 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 10:44:40