0.00/0.00 This is pico-portfolio, a naive parallel portfolio
0.00/0.00 Copyright (C) 2011 Olivier Roussel
0.00/0.00 Using 32 processing units
0.00/0.00 This portfolio uses the following solvers:
0.00/0.00 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00 [5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00 Starting clasp 1.3.6 on core(s) 1
0.00/0.00 Starting TNM 2009 on core(s) 2
0.00/0.00 Starting march_hi 2009 on core(s) 3
0.00/0.00 Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
1141.46/36.72 s UNSATISFIABLE
1141.46/36.75 solver [1] cryptominisat 2.7.1 answered
1141.46/36.75 Done
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3347541-1305303955/watcher-3347541-1305303955 -o /tmp/evaluation-result-3347541-1305303955/solver-3347541-1305303955 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347541-1305303955.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): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 28.89 30.48 30.83 1/413 25903
/proc/meminfo: memFree=255621008/264257624 swapFree=67111528/67111528
[pid=25903] ppid=25901 vsize=18324 CPUtime=0 cores=0-31
/proc/25903/stat : 25903 (ppfolio) S 25901 25903 25371 0 -1 4202496 514 0 0 0 0 0 0 0 22 0 1 0 641881946 18763776 386 268435456000 4194304 4287625 140737384005824 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 8 0 0 0
/proc/25903/statm: 4581 386 337 23 0 91 0
[startup+0.113885 s]
/proc/loadavg: 28.89 30.48 30.83 1/413 25903
/proc/meminfo: memFree=255621008/264257624 swapFree=67111528/67111528
[pid=25903] ppid=25901 vsize=18324 CPUtime=0 cores=0-31
/proc/25903/stat : 25903 (ppfolio) S 25901 25903 25371 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 641881946 18763776 386 268435456000 4194304 4287625 140737384005824 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 8 0 0 0
/proc/25903/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200881 s]
/proc/loadavg: 28.89 30.48 30.83 1/413 25903
/proc/meminfo: memFree=255621008/264257624 swapFree=67111528/67111528
[pid=25903] ppid=25901 vsize=18324 CPUtime=0 cores=0-31
/proc/25903/stat : 25903 (ppfolio) S 25901 25903 25371 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 641881946 18763776 386 268435456000 4194304 4287625 140737384005824 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 8 0 0 0
/proc/25903/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300884 s]
/proc/loadavg: 28.89 30.48 30.83 1/413 25903
/proc/meminfo: memFree=255621008/264257624 swapFree=67111528/67111528
[pid=25903] ppid=25901 vsize=18324 CPUtime=0 cores=0-31
/proc/25903/stat : 25903 (ppfolio) S 25901 25903 25371 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 641881946 18763776 386 268435456000 4194304 4287625 140737384005824 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 8 0 0 0
/proc/25903/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700927 s]
/proc/loadavg: 28.89 30.48 30.83 1/413 25903
/proc/meminfo: memFree=255621008/264257624 swapFree=67111528/67111528
[pid=25903] ppid=25901 vsize=18324 CPUtime=0 cores=0-31
/proc/25903/stat : 25903 (ppfolio) S 25901 25903 25371 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 641881946 18763776 386 268435456000 4194304 4287625 140737384005824 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 8 0 0 0
/proc/25903/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50087 s]
/proc/loadavg: 28.89 30.48 30.83 6/419 25914
/proc/meminfo: memFree=255460120/264257624 swapFree=67111528/67111528
[pid=25903] ppid=25901 vsize=18324 CPUtime=0 cores=0-31
/proc/25903/stat : 25903 (ppfolio) S 25901 25903 25371 0 -1 4202496 514 0 0 0 0 0 0 0 16 0 1 0 641881946 18763776 386 268435456000 4194304 4287625 140737384005824 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 8 0 0 0
/proc/25903/statm: 4581 386 337 23 0 91 0
[pid=25904] ppid=25903 vsize=39464 CPUtime=1.48 cores=0
/proc/25904/stat : 25904 (cryptominisat) R 25903 25903 25371 0 -1 4202496 5672 0 0 0 147 1 0 0 20 0 1 0 641881947 40411136 4666 268435456000 4194304 4587354 140736203544720 18446744073709551615 4238618 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25904/statm: 9866 4666 328 96 0 6428 0
[pid=25905] ppid=25903 vsize=22692 CPUtime=1.48 cores=1
/proc/25905/stat : 25905 (clasp) R 25903 25903 25371 0 -1 4202496 3763 0 0 0 147 1 0 0 20 0 1 0 641881947 23236608 2993 268435456000 4194304 4785740 140737412300128 18446744073709551615 4287058 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25905/statm: 5673 2993 338 145 0 2718 0
[pid=25906] ppid=25903 vsize=459924 CPUtime=1.48 cores=2
/proc/25906/stat : 25906 (TNM) R 25903 25903 25371 0 -1 4202496 2300 0 0 0 148 0 0 0 20 0 1 0 641881947 470962176 2198 268435456000 134512640 134534564 4288670880 18446744073709551615 134526037 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25906/statm: 114981 2198 95 6 0 113646 0
[pid=25907] ppid=25903 vsize=43796 CPUtime=1.48 cores=3
/proc/25907/stat : 25907 (march_hi) R 25903 25903 25371 0 -1 4202496 20723 0 0 0 143 5 0 0 20 0 1 0 641881947 44847104 5155 268435456000 4194304 4331988 140734248982912 18446744073709551615 4210906 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25907/statm: 10949 5155 174 34 0 9391 0
[pid=25908] ppid=25903 vsize=589020 CPUtime=10.4 cores=4-31
/proc/25908/stat : 25908 (plingeling) S 25903 25903 25371 0 -1 4202496 31103 1240 0 0 1031 8 0 1 18 0 29 0 641881947 603156480 25133 268435456000 4194304 4356188 140737182398288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/25908/statm: 147255 25133 142 40 0 145799 0
Current children cumulated CPU time (s) 16.32
Current children cumulated vsize (KiB) 1173220
[startup+3.10192 s]
/proc/loadavg: 28.89 30.48 30.83 33/447 25942
/proc/meminfo: memFree=255419580/264257624 swapFree=67111528/67111528
[pid=25903] ppid=25901 vsize=18324 CPUtime=0 cores=0-31
/proc/25903/stat : 25903 (ppfolio) S 25901 25903 25371 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 641881946 18763776 386 268435456000 4194304 4287625 140737384005824 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 8 0 0 0
/proc/25903/statm: 4581 386 337 23 0 91 0
[pid=25904] ppid=25903 vsize=268348 CPUtime=3.08 cores=0
/proc/25904/stat : 25904 (cryptominisat) R 25903 25903 25371 0 -1 4202496 6731 0 0 0 307 1 0 0 25 0 1 0 641881947 274788352 4766 268435456000 4194304 4587354 140736203544720 18446744073709551615 4237840 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25904/statm: 67087 4766 328 96 0 63649 0
[pid=25905] ppid=25903 vsize=24784 CPUtime=3.08 cores=1
/proc/25905/stat : 25905 (clasp) R 25903 25903 25371 0 -1 4202496 4263 0 0 0 307 1 0 0 25 0 1 0 641881947 25378816 3493 268435456000 4194304 4785740 140737412300128 18446744073709551615 4287114 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25905/statm: 6196 3493 338 145 0 3241 0
[pid=25906] ppid=25903 vsize=459924 CPUtime=3.08 cores=2
/proc/25906/stat : 25906 (TNM) R 25903 25903 25371 0 -1 4202496 2300 0 0 0 308 0 0 0 25 0 1 0 641881947 470962176 2198 268435456000 134512640 134534564 4288670880 18446744073709551615 134529640 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25906/statm: 114981 2198 95 6 0 113646 0
[pid=25907] ppid=25903 vsize=45500 CPUtime=3.09 cores=3
/proc/25907/stat : 25907 (march_hi) R 25903 25903 25371 0 -1 4202496 21168 0 0 0 304 5 0 0 25 0 1 0 641881947 46592000 5600 268435456000 4194304 4331988 140734248982912 18446744073709551615 4226474 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25907/statm: 11375 5600 174 34 0 9817 0
[pid=25908] ppid=25903 vsize=609156 CPUtime=55.16 cores=4-31
/proc/25908/stat : 25908 (plingeling) S 25903 25903 25371 0 -1 4202496 59409 1240 0 0 5499 16 0 1 18 0 29 0 641881947 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/25908/statm: 152289 36718 159 40 0 150833 0
[pid=25908/tid=25915] ppid=25903 vsize=609156 CPUtime=1.95 cores=4-31
/proc/25908/task/25915/stat : 25915 (plingeling) R 25903 25903 25371 0 -1 4202560 732 1240 0 0 194 0 0 1 21 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25908/tid=25916] ppid=25903 vsize=609156 CPUtime=1.94 cores=4-31
/proc/25908/task/25916/stat : 25916 (plingeling) R 25903 25903 25371 0 -1 4202560 1004 1240 0 0 193 0 0 1 20 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25908/tid=25917] ppid=25903 vsize=609156 CPUtime=1.94 cores=4-31
/proc/25908/task/25917/stat : 25917 (plingeling) R 25903 25903 25371 0 -1 4202560 1014 1240 0 0 193 0 0 1 20 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4281755 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25908/tid=25918] ppid=25903 vsize=609156 CPUtime=1.94 cores=4-31
/proc/25908/task/25918/stat : 25918 (plingeling) R 25903 25903 25371 0 -1 4202560 1355 1240 0 0 193 0 0 1 20 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4332322 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25908/tid=25919] ppid=25903 vsize=609156 CPUtime=1.95 cores=4-31
/proc/25908/task/25919/stat : 25919 (plingeling) R 25903 25903 25371 0 -1 4202560 1258 1240 0 0 194 0 0 1 25 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4279435 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25908/tid=25920] ppid=25903 vsize=609156 CPUtime=1.91 cores=4-31
/proc/25908/task/25920/stat : 25920 (plingeling) R 25903 25903 25371 0 -1 4202560 1295 1240 0 0 190 0 0 1 25 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4212207 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25908/tid=25921] ppid=25903 vsize=609156 CPUtime=1.94 cores=4-31
/proc/25908/task/25921/stat : 25921 (plingeling) R 25903 25903 25371 0 -1 4202560 1188 1240 0 0 193 0 0 1 21 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331101 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25908/tid=25922] ppid=25903 vsize=609156 CPUtime=1.95 cores=4-31
/proc/25908/task/25922/stat : 25922 (plingeling) R 25903 25903 25371 0 -1 4202560 1472 1240 0 0 194 0 0 1 19 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25908/tid=25923] ppid=25903 vsize=609156 CPUtime=1.94 cores=4-31
/proc/25908/task/25923/stat : 25923 (plingeling) R 25903 25903 25371 0 -1 4202560 1504 1240 0 0 193 0 0 1 25 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4244397 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25908/tid=25924] ppid=25903 vsize=609156 CPUtime=1.95 cores=4-31
/proc/25908/task/25924/stat : 25924 (plingeling) R 25903 25903 25371 0 -1 4202560 978 1240 0 0 194 0 0 1 25 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331079 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25908/tid=25925] ppid=25903 vsize=609156 CPUtime=1.95 cores=4-31
/proc/25908/task/25925/stat : 25925 (plingeling) R 25903 25903 25371 0 -1 4202560 1445 1240 0 0 194 0 0 1 19 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25908/tid=25926] ppid=25903 vsize=609156 CPUtime=1.93 cores=4-31
/proc/25908/task/25926/stat : 25926 (plingeling) R 25903 25903 25371 0 -1 4202560 787 1240 0 0 192 0 0 1 20 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331126 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25908/tid=25927] ppid=25903 vsize=609156 CPUtime=1.94 cores=4-31
/proc/25908/task/25927/stat : 25927 (plingeling) R 25903 25903 25371 0 -1 4202560 928 1240 0 0 193 0 0 1 20 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4332288 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25908/tid=25928] ppid=25903 vsize=609156 CPUtime=1.93 cores=4-31
/proc/25908/task/25928/stat : 25928 (plingeling) R 25903 25903 25371 0 -1 4202560 1394 1240 0 0 192 0 0 1 20 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25908/tid=25929] ppid=25903 vsize=609156 CPUtime=1.94 cores=4-31
/proc/25908/task/25929/stat : 25929 (plingeling) R 25903 25903 25371 0 -1 4202560 1293 1240 0 0 193 0 0 1 20 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4332306 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25908/tid=25930] ppid=25903 vsize=609156 CPUtime=1.93 cores=4-31
/proc/25908/task/25930/stat : 25930 (plingeling) R 25903 25903 25371 0 -1 4202560 1072 1240 0 0 192 0 0 1 25 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25908/tid=25931] ppid=25903 vsize=609156 CPUtime=1.94 cores=4-31
/proc/25908/task/25931/stat : 25931 (plingeling) R 25903 25903 25371 0 -1 4202560 1155 1240 0 0 193 0 0 1 20 0 29 0 641882061 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25908/tid=25932] ppid=25903 vsize=609156 CPUtime=1.94 cores=4-31
/proc/25908/task/25932/stat : 25932 (plingeling) R 25903 25903 25371 0 -1 4202560 1512 1240 0 0 193 0 0 1 25 0 29 0 641882062 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25908/tid=25933] ppid=25903 vsize=609156 CPUtime=1.93 cores=4-31
/proc/25908/task/25933/stat : 25933 (plingeling) R 25903 25903 25371 0 -1 4202560 1129 1240 0 0 192 0 0 1 25 0 29 0 641882062 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4210765 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25908/tid=25934] ppid=25903 vsize=609156 CPUtime=1.92 cores=4-31
/proc/25908/task/25934/stat : 25934 (plingeling) R 25903 25903 25371 0 -1 4202560 461 1240 0 0 191 0 0 1 25 0 29 0 641882062 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25908/tid=25935] ppid=25903 vsize=609156 CPUtime=1.94 cores=4-31
/proc/25908/task/25935/stat : 25935 (plingeling) R 25903 25903 25371 0 -1 4202560 1140 1240 0 0 193 0 0 1 25 0 29 0 641882062 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331624 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25908/tid=25936] ppid=25903 vsize=609156 CPUtime=1.93 cores=4-31
/proc/25908/task/25936/stat : 25936 (plingeling) R 25903 25903 25371 0 -1 4202560 968 1240 0 0 192 0 0 1 25 0 29 0 641882063 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25908/tid=25937] ppid=25903 vsize=609156 CPUtime=1.91 cores=4-31
/proc/25908/task/25937/stat : 25937 (plingeling) R 25903 25903 25371 0 -1 4202560 981 1240 0 0 190 0 0 1 25 0 29 0 641882063 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25908/tid=25938] ppid=25903 vsize=609156 CPUtime=1.89 cores=4-31
/proc/25908/task/25938/stat : 25938 (plingeling) R 25903 25903 25371 0 -1 4202560 1043 1240 0 0 188 0 0 1 25 0 29 0 641882063 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25908/tid=25939] ppid=25903 vsize=609156 CPUtime=1.92 cores=4-31
/proc/25908/task/25939/stat : 25939 (plingeling) R 25903 25903 25371 0 -1 4202560 1348 1240 0 0 191 0 0 1 25 0 29 0 641882063 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25908/tid=25940] ppid=25903 vsize=609156 CPUtime=1.9 cores=4-31
/proc/25908/task/25940/stat : 25940 (plingeling) R 25903 25903 25371 0 -1 4202560 854 1240 0 0 189 0 0 1 25 0 29 0 641882064 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4279701 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25908/tid=25941] ppid=25903 vsize=609156 CPUtime=1.91 cores=4-31
/proc/25908/task/25941/stat : 25941 (plingeling) R 25903 25903 25371 0 -1 4202560 564 1240 0 0 190 0 0 1 20 0 29 0 641882064 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25908/tid=25942] ppid=25903 vsize=609156 CPUtime=1.91 cores=4-31
/proc/25908/task/25942/stat : 25942 (plingeling) R 25903 25903 25371 0 -1 4202560 719 1240 0 0 190 0 0 1 25 0 29 0 641882066 623775744 36718 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 67.49
Current children cumulated vsize (KiB) 1426036
[startup+6.30204 s]
/proc/loadavg: 29.14 30.51 30.84 33/447 25944
/proc/meminfo: memFree=255384468/264257624 swapFree=67111528/67111528
[pid=25903] ppid=25901 vsize=18324 CPUtime=0 cores=0-31
/proc/25903/stat : 25903 (ppfolio) S 25901 25903 25371 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 641881946 18763776 386 268435456000 4194304 4287625 140737384005824 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 8 0 0 0
/proc/25903/statm: 4581 386 337 23 0 91 0
[pid=25904] ppid=25903 vsize=297400 CPUtime=6.28 cores=0
/proc/25904/stat : 25904 (cryptominisat) R 25903 25903 25371 0 -1 4202496 8282 0 0 0 626 2 0 0 25 0 1 0 641881947 304537600 5253 268435456000 4194304 4587354 140736203544720 18446744073709551615 4239575 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25904/statm: 74350 5253 331 96 0 70912 0
[pid=25905] ppid=25903 vsize=26924 CPUtime=6.28 cores=1
/proc/25905/stat : 25905 (clasp) R 25903 25903 25371 0 -1 4202496 4791 0 0 0 627 1 0 0 25 0 1 0 641881947 27570176 4021 268435456000 4194304 4785740 140737412300128 18446744073709551615 4546264 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25905/statm: 6731 4021 338 145 0 3776 0
[pid=25906] ppid=25903 vsize=459924 CPUtime=6.28 cores=2
/proc/25906/stat : 25906 (TNM) R 25903 25903 25371 0 -1 4202496 2300 0 0 0 628 0 0 0 25 0 1 0 641881947 470962176 2198 268435456000 134512640 134534564 4288670880 18446744073709551615 134528913 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25906/statm: 114981 2198 95 6 0 113646 0
[pid=25907] ppid=25903 vsize=47212 CPUtime=6.28 cores=3
/proc/25907/stat : 25907 (march_hi) R 25903 25903 25371 0 -1 4202496 21489 0 0 0 623 5 0 0 25 0 1 0 641881947 48345088 5921 268435456000 4194304 4331988 140734248982912 18446744073709551615 4210977 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25907/statm: 11803 5921 174 34 0 10245 0
[pid=25908] ppid=25903 vsize=628096 CPUtime=144.66 cores=4-31
/proc/25908/stat : 25908 (plingeling) S 25903 25903 25371 0 -1 4202496 65418 1240 0 0 14447 18 0 1 18 0 29 0 641881947 643170304 42428 268435456000 4194304 4356188 140737182398288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/25908/statm: 157024 42428 159 40 0 155568 0
[pid=25908/tid=25915] ppid=25903 vsize=628096 CPUtime=5.15 cores=4-31
/proc/25908/task/25915/stat : 25915 (plingeling) R 25903 25903 25371 0 -1 4202560 764 1240 0 0 514 0 0 1 25 0 29 0 641882061 643170304 42428 268435456000 4194304 4356188 140737182398288 18446744073709551615 4312126 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25908/tid=25916] ppid=25903 vsize=628096 CPUtime=5.14 cores=4-31
/proc/25908/task/25916/stat : 25916 (plingeling) R 25903 25903 25371 0 -1 4202560 1004 1240 0 0 513 0 0 1 25 0 29 0 641882061 643170304 42428 268435456000 4194304 4356188 140737182398288 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25908/tid=25917] ppid=25903 vsize=628096 CPUtime=5.14 cores=4-31
/proc/25908/task/25917/stat : 25917 (plingeling) R 25903 25903 25371 0 -1 4202560 1238 1240 0 0 513 0 0 1 25 0 29 0 641882061 643170304 42428 268435456000 4194304 4356188 140737182398288 18446744073709551615 4270740 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25908/tid=25918] ppid=25903 vsize=628096 CPUtime=5.14 cores=4-31
/proc/25908/task/25918/stat : 25918 (plingeling) R 25903 25903 25371 0 -1 4202560 1513 1240 0 0 513 0 0 1 25 0 29 0 641882061 643170304 42428 268435456000 4194304 4356188 140737182398288 18446744073709551615 4241599 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25908/tid=25919] ppid=25903 vsize=628096 CPUtime=5.15 cores=4-31
/proc/25908/task/25919/stat : 25919 (plingeling) R 25903 25903 25371 0 -1 4202560 1706 1240 0 0 514 0 0 1 25 0 29 0 641882061 643170304 42428 268435456000 4194304 4356188 140737182398288 18446744073709551615 4211900 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25908/tid=25920] ppid=25903 vsize=628096 CPUtime=5.02 cores=4-31
################
# More data... #
################
[pid=25908/tid=25939] ppid=25903 vsize=770068 CPUtime=35.24 cores=4-31
/proc/25908/task/25939/stat : 25939 (plingeling) R 25903 25903 25371 0 -1 4202560 3852 1240 0 0 3522 1 0 1 25 0 29 0 641882063 788549632 82984 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331510 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25908/tid=25940] ppid=25903 vsize=770068 CPUtime=35.22 cores=4-31
/proc/25908/task/25940/stat : 25940 (plingeling) R 25903 25903 25371 0 -1 4202560 2993 1240 0 0 3520 1 0 1 25 0 29 0 641882064 788549632 82984 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25908/tid=25941] ppid=25903 vsize=770068 CPUtime=35.21 cores=4-31
/proc/25908/task/25941/stat : 25941 (plingeling) R 25903 25903 25371 0 -1 4202560 3435 1240 0 0 3519 1 0 1 25 0 29 0 641882064 788549632 82984 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25908/tid=25942] ppid=25903 vsize=770068 CPUtime=35.22 cores=4-31
/proc/25908/task/25942/stat : 25942 (plingeling) R 25903 25903 25371 0 -1 4202560 2714 1240 0 0 3520 1 0 1 25 0 29 0 641882066 788549632 82984 268435456000 4194304 4356188 140737182398288 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 1132.54
Current children cumulated vsize (KiB) 1642456
[startup+36.6021 s]
/proc/loadavg: 30.48 30.70 30.89 33/447 25944
/proc/meminfo: memFree=255202380/264257624 swapFree=67111528/67111528
[pid=25903] ppid=25901 vsize=18324 CPUtime=0 cores=0-31
/proc/25903/stat : 25903 (ppfolio) S 25901 25903 25371 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 641881946 18763776 386 268435456000 4194304 4287625 140737384005824 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 8 0 0 0
/proc/25903/statm: 4581 386 337 23 0 91 0
[pid=25904] ppid=25903 vsize=304728 CPUtime=36.58 cores=0
/proc/25904/stat : 25904 (cryptominisat) R 25903 25903 25371 0 -1 4202496 17136 0 0 0 3652 6 0 0 25 0 1 0 641881947 312041472 9308 268435456000 4194304 4587354 140736203544720 18446744073709551615 4243943 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25904/statm: 76182 9308 334 96 0 72744 0
[pid=25905] ppid=25903 vsize=36804 CPUtime=36.58 cores=1
/proc/25905/stat : 25905 (clasp) R 25903 25903 25371 0 -1 4202496 7189 0 0 0 3656 2 0 0 25 0 1 0 641881947 37687296 6419 268435456000 4194304 4785740 140737412300128 18446744073709551615 4553437 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25905/statm: 9201 6419 338 145 0 6246 0
[pid=25906] ppid=25903 vsize=459924 CPUtime=36.57 cores=2
/proc/25906/stat : 25906 (TNM) R 25903 25903 25371 0 -1 4202496 2300 0 0 0 3657 0 0 0 25 0 1 0 641881947 470962176 2198 268435456000 134512640 134534564 4288670880 18446744073709551615 134530126 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25906/statm: 114981 2198 95 6 0 113646 0
[pid=25907] ppid=25903 vsize=52740 CPUtime=36.58 cores=3
/proc/25907/stat : 25907 (march_hi) R 25903 25903 25371 0 -1 4202496 22817 0 0 0 3652 6 0 0 25 0 1 0 641881947 54005760 7228 268435456000 4194304 4331988 140734248982912 18446744073709551615 4237171 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25907/statm: 13185 7228 174 34 0 11627 0
[pid=25908] ppid=25903 vsize=774164 CPUtime=991.96 cores=4-31
/proc/25908/stat : 25908 (plingeling) S 25903 25903 25371 0 -1 4202496 130119 1240 0 0 99132 63 0 1 18 0 29 0 641881947 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/25908/statm: 193541 84008 159 40 0 192085 0
[pid=25908/tid=25915] ppid=25903 vsize=774164 CPUtime=35.44 cores=4-31
/proc/25908/task/25915/stat : 25915 (plingeling) R 25903 25903 25371 0 -1 4202560 3006 1240 0 0 3542 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25908/tid=25916] ppid=25903 vsize=774164 CPUtime=35.44 cores=4-31
/proc/25908/task/25916/stat : 25916 (plingeling) R 25903 25903 25371 0 -1 4202560 2586 1240 0 0 3542 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25908/tid=25917] ppid=25903 vsize=774164 CPUtime=35.43 cores=4-31
/proc/25908/task/25917/stat : 25917 (plingeling) R 25903 25903 25371 0 -1 4202560 2237 1240 0 0 3541 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4279742 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25908/tid=25918] ppid=25903 vsize=774164 CPUtime=35.42 cores=4-31
/proc/25908/task/25918/stat : 25918 (plingeling) R 25903 25903 25371 0 -1 4202560 3054 1240 0 0 3540 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25908/tid=25919] ppid=25903 vsize=774164 CPUtime=35.44 cores=4-31
/proc/25908/task/25919/stat : 25919 (plingeling) R 25903 25903 25371 0 -1 4202560 4138 1240 0 0 3541 2 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4234244 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25908/tid=25920] ppid=25903 vsize=774164 CPUtime=34.44 cores=4-31
/proc/25908/task/25920/stat : 25920 (plingeling) R 25903 25903 25371 0 -1 4202560 2967 1240 0 0 3443 0 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25908/tid=25921] ppid=25903 vsize=774164 CPUtime=35.44 cores=4-31
/proc/25908/task/25921/stat : 25921 (plingeling) R 25903 25903 25371 0 -1 4202560 3352 1240 0 0 3542 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25908/tid=25922] ppid=25903 vsize=774164 CPUtime=35.43 cores=4-31
/proc/25908/task/25922/stat : 25922 (plingeling) R 25903 25903 25371 0 -1 4202560 7945 1240 0 0 3538 4 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25908/tid=25923] ppid=25903 vsize=774164 CPUtime=35.43 cores=4-31
/proc/25908/task/25923/stat : 25923 (plingeling) R 25903 25903 25371 0 -1 4202560 3487 1240 0 0 3541 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25908/tid=25924] ppid=25903 vsize=774164 CPUtime=35.44 cores=4-31
/proc/25908/task/25924/stat : 25924 (plingeling) R 25903 25903 25371 0 -1 4202560 3640 1240 0 0 3542 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4280678 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25908/tid=25925] ppid=25903 vsize=774164 CPUtime=35.44 cores=4-31
/proc/25908/task/25925/stat : 25925 (plingeling) R 25903 25903 25371 0 -1 4202560 3612 1240 0 0 3542 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4210817 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25908/tid=25926] ppid=25903 vsize=774164 CPUtime=35.43 cores=4-31
/proc/25908/task/25926/stat : 25926 (plingeling) R 25903 25903 25371 0 -1 4202560 1543 1240 0 0 3541 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4332288 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25908/tid=25927] ppid=25903 vsize=774164 CPUtime=35.44 cores=4-31
/proc/25908/task/25927/stat : 25927 (plingeling) R 25903 25903 25371 0 -1 4202560 3576 1240 0 0 3542 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4250504 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25908/tid=25928] ppid=25903 vsize=774164 CPUtime=35.43 cores=4-31
/proc/25908/task/25928/stat : 25928 (plingeling) R 25903 25903 25371 0 -1 4202560 4178 1240 0 0 3538 4 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331424 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25908/tid=25929] ppid=25903 vsize=774164 CPUtime=35.43 cores=4-31
/proc/25908/task/25929/stat : 25929 (plingeling) R 25903 25903 25371 0 -1 4202560 2553 1240 0 0 3542 0 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25908/tid=25930] ppid=25903 vsize=774164 CPUtime=35.42 cores=4-31
/proc/25908/task/25930/stat : 25930 (plingeling) R 25903 25903 25371 0 -1 4202560 6865 1240 0 0 3536 5 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25908/tid=25931] ppid=25903 vsize=774164 CPUtime=35.43 cores=4-31
/proc/25908/task/25931/stat : 25931 (plingeling) R 25903 25903 25371 0 -1 4202560 2819 1240 0 0 3540 2 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25908/tid=25932] ppid=25903 vsize=774164 CPUtime=35.43 cores=4-31
/proc/25908/task/25932/stat : 25932 (plingeling) R 25903 25903 25371 0 -1 4202560 3767 1240 0 0 3542 0 0 1 25 0 29 0 641882062 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4231359 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25908/tid=25933] ppid=25903 vsize=774164 CPUtime=35.4 cores=4-31
/proc/25908/task/25933/stat : 25933 (plingeling) R 25903 25903 25371 0 -1 4202560 2937 1240 0 0 3539 0 0 1 25 0 29 0 641882062 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25908/tid=25934] ppid=25903 vsize=774164 CPUtime=35.4 cores=4-31
/proc/25908/task/25934/stat : 25934 (plingeling) R 25903 25903 25371 0 -1 4202560 2499 1240 0 0 3538 1 0 1 25 0 29 0 641882062 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4242651 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25908/tid=25935] ppid=25903 vsize=774164 CPUtime=35.41 cores=4-31
/proc/25908/task/25935/stat : 25935 (plingeling) R 25903 25903 25371 0 -1 4202560 4783 1240 0 0 3537 3 0 1 25 0 29 0 641882062 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25908/tid=25936] ppid=25903 vsize=774164 CPUtime=35.42 cores=4-31
/proc/25908/task/25936/stat : 25936 (plingeling) R 25903 25903 25371 0 -1 4202560 3176 1240 0 0 3539 2 0 1 25 0 29 0 641882063 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331039 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25908/tid=25937] ppid=25903 vsize=774164 CPUtime=35.4 cores=4-31
/proc/25908/task/25937/stat : 25937 (plingeling) R 25903 25903 25371 0 -1 4202560 2753 1240 0 0 3538 1 0 1 25 0 29 0 641882063 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25908/tid=25938] ppid=25903 vsize=774164 CPUtime=35.37 cores=4-31
/proc/25908/task/25938/stat : 25938 (plingeling) R 25903 25903 25371 0 -1 4202560 6836 1240 0 0 3532 4 0 1 25 0 29 0 641882063 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25908/tid=25939] ppid=25903 vsize=774164 CPUtime=35.42 cores=4-31
/proc/25908/task/25939/stat : 25939 (plingeling) R 25903 25903 25371 0 -1 4202560 3852 1240 0 0 3540 1 0 1 25 0 29 0 641882063 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4332320 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25908/tid=25940] ppid=25903 vsize=774164 CPUtime=35.4 cores=4-31
/proc/25908/task/25940/stat : 25940 (plingeling) R 25903 25903 25371 0 -1 4202560 2993 1240 0 0 3538 1 0 1 25 0 29 0 641882064 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25908/tid=25941] ppid=25903 vsize=774164 CPUtime=35.39 cores=4-31
/proc/25908/task/25941/stat : 25941 (plingeling) R 25903 25903 25371 0 -1 4202560 3435 1240 0 0 3537 1 0 1 25 0 29 0 641882064 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25908/tid=25942] ppid=25903 vsize=774164 CPUtime=35.4 cores=4-31
/proc/25908/task/25942/stat : 25942 (plingeling) R 25903 25903 25371 0 -1 4202560 2714 1240 0 0 3538 1 0 1 25 0 29 0 641882066 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 1138.27
Current children cumulated vsize (KiB) 1646684
[startup+36.7021 s]
/proc/loadavg: 30.48 30.70 30.89 33/447 25944
/proc/meminfo: memFree=255202380/264257624 swapFree=67111528/67111528
[pid=25903] ppid=25901 vsize=18324 CPUtime=0 cores=0-31
/proc/25903/stat : 25903 (ppfolio) S 25901 25903 25371 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 641881946 18763776 386 268435456000 4194304 4287625 140737384005824 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 8 0 0 0
/proc/25903/statm: 4581 386 337 23 0 91 0
[pid=25904] ppid=25903 vsize=304728 CPUtime=36.68 cores=0
/proc/25904/stat : 25904 (cryptominisat) R 25903 25903 25371 0 -1 4202496 17150 0 0 0 3662 6 0 0 25 0 1 0 641881947 312041472 9319 268435456000 4194304 4587354 140736203544720 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25904/statm: 76182 9319 334 96 0 72744 0
[pid=25905] ppid=25903 vsize=36804 CPUtime=36.68 cores=1
/proc/25905/stat : 25905 (clasp) R 25903 25903 25371 0 -1 4202496 7189 0 0 0 3666 2 0 0 25 0 1 0 641881947 37687296 6419 268435456000 4194304 4785740 140737412300128 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25905/statm: 9201 6419 338 145 0 6246 0
[pid=25906] ppid=25903 vsize=459924 CPUtime=36.67 cores=2
/proc/25906/stat : 25906 (TNM) R 25903 25903 25371 0 -1 4202496 2300 0 0 0 3667 0 0 0 25 0 1 0 641881947 470962176 2198 268435456000 134512640 134534564 4288670880 18446744073709551615 134528993 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25906/statm: 114981 2198 95 6 0 113646 0
[pid=25907] ppid=25903 vsize=52740 CPUtime=36.68 cores=3
/proc/25907/stat : 25907 (march_hi) R 25903 25903 25371 0 -1 4202496 22821 0 0 0 3662 6 0 0 25 0 1 0 641881947 54005760 7232 268435456000 4194304 4331988 140734248982912 18446744073709551615 4226208 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25907/statm: 13185 7232 174 34 0 11627 0
[pid=25908] ppid=25903 vsize=774164 CPUtime=994.75 cores=4-31
/proc/25908/stat : 25908 (plingeling) S 25903 25903 25371 0 -1 4202496 130119 1240 0 0 99411 63 0 1 18 0 29 0 641881947 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/25908/statm: 193541 84008 159 40 0 192085 0
[pid=25908/tid=25915] ppid=25903 vsize=774164 CPUtime=35.54 cores=4-31
/proc/25908/task/25915/stat : 25915 (plingeling) R 25903 25903 25371 0 -1 4202560 3006 1240 0 0 3552 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25908/tid=25916] ppid=25903 vsize=774164 CPUtime=35.54 cores=4-31
/proc/25908/task/25916/stat : 25916 (plingeling) R 25903 25903 25371 0 -1 4202560 2586 1240 0 0 3552 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25908/tid=25917] ppid=25903 vsize=774164 CPUtime=35.53 cores=4-31
/proc/25908/task/25917/stat : 25917 (plingeling) R 25903 25903 25371 0 -1 4202560 2237 1240 0 0 3551 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25908/tid=25918] ppid=25903 vsize=774164 CPUtime=35.52 cores=4-31
/proc/25908/task/25918/stat : 25918 (plingeling) R 25903 25903 25371 0 -1 4202560 3054 1240 0 0 3550 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25908/tid=25919] ppid=25903 vsize=774164 CPUtime=35.54 cores=4-31
/proc/25908/task/25919/stat : 25919 (plingeling) R 25903 25903 25371 0 -1 4202560 4138 1240 0 0 3551 2 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4241643 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25908/tid=25920] ppid=25903 vsize=774164 CPUtime=34.54 cores=4-31
/proc/25908/task/25920/stat : 25920 (plingeling) R 25903 25903 25371 0 -1 4202560 2967 1240 0 0 3453 0 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4281741 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25908/tid=25921] ppid=25903 vsize=774164 CPUtime=35.54 cores=4-31
/proc/25908/task/25921/stat : 25921 (plingeling) R 25903 25903 25371 0 -1 4202560 3352 1240 0 0 3552 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25908/tid=25922] ppid=25903 vsize=774164 CPUtime=35.53 cores=4-31
/proc/25908/task/25922/stat : 25922 (plingeling) R 25903 25903 25371 0 -1 4202560 7945 1240 0 0 3548 4 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25908/tid=25923] ppid=25903 vsize=774164 CPUtime=35.53 cores=4-31
/proc/25908/task/25923/stat : 25923 (plingeling) R 25903 25903 25371 0 -1 4202560 3487 1240 0 0 3551 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25908/tid=25924] ppid=25903 vsize=774164 CPUtime=35.54 cores=4-31
/proc/25908/task/25924/stat : 25924 (plingeling) R 25903 25903 25371 0 -1 4202560 3640 1240 0 0 3552 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25908/tid=25925] ppid=25903 vsize=774164 CPUtime=35.54 cores=4-31
/proc/25908/task/25925/stat : 25925 (plingeling) R 25903 25903 25371 0 -1 4202560 3612 1240 0 0 3552 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330876 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25908/tid=25926] ppid=25903 vsize=774164 CPUtime=35.53 cores=4-31
/proc/25908/task/25926/stat : 25926 (plingeling) R 25903 25903 25371 0 -1 4202560 1543 1240 0 0 3551 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4279738 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25908/tid=25927] ppid=25903 vsize=774164 CPUtime=35.54 cores=4-31
/proc/25908/task/25927/stat : 25927 (plingeling) R 25903 25903 25371 0 -1 4202560 3576 1240 0 0 3552 1 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330876 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25908/tid=25928] ppid=25903 vsize=774164 CPUtime=35.53 cores=4-31
/proc/25908/task/25928/stat : 25928 (plingeling) R 25903 25903 25371 0 -1 4202560 4178 1240 0 0 3548 4 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25908/tid=25929] ppid=25903 vsize=774164 CPUtime=35.53 cores=4-31
/proc/25908/task/25929/stat : 25929 (plingeling) R 25903 25903 25371 0 -1 4202560 2553 1240 0 0 3552 0 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25908/tid=25930] ppid=25903 vsize=774164 CPUtime=35.52 cores=4-31
/proc/25908/task/25930/stat : 25930 (plingeling) R 25903 25903 25371 0 -1 4202560 6865 1240 0 0 3546 5 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25908/tid=25931] ppid=25903 vsize=774164 CPUtime=35.53 cores=4-31
/proc/25908/task/25931/stat : 25931 (plingeling) R 25903 25903 25371 0 -1 4202560 2819 1240 0 0 3550 2 0 1 25 0 29 0 641882061 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25908/tid=25932] ppid=25903 vsize=774164 CPUtime=35.53 cores=4-31
/proc/25908/task/25932/stat : 25932 (plingeling) R 25903 25903 25371 0 -1 4202560 3767 1240 0 0 3552 0 0 1 25 0 29 0 641882062 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25908/tid=25933] ppid=25903 vsize=774164 CPUtime=35.5 cores=4-31
/proc/25908/task/25933/stat : 25933 (plingeling) R 25903 25903 25371 0 -1 4202560 2937 1240 0 0 3549 0 0 1 25 0 29 0 641882062 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25908/tid=25934] ppid=25903 vsize=774164 CPUtime=35.5 cores=4-31
/proc/25908/task/25934/stat : 25934 (plingeling) R 25903 25903 25371 0 -1 4202560 2499 1240 0 0 3548 1 0 1 25 0 29 0 641882062 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25908/tid=25935] ppid=25903 vsize=774164 CPUtime=35.51 cores=4-31
/proc/25908/task/25935/stat : 25935 (plingeling) R 25903 25903 25371 0 -1 4202560 4783 1240 0 0 3547 3 0 1 25 0 29 0 641882062 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4280621 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25908/tid=25936] ppid=25903 vsize=774164 CPUtime=35.52 cores=4-31
/proc/25908/task/25936/stat : 25936 (plingeling) R 25903 25903 25371 0 -1 4202560 3176 1240 0 0 3549 2 0 1 25 0 29 0 641882063 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25908/tid=25937] ppid=25903 vsize=774164 CPUtime=35.5 cores=4-31
/proc/25908/task/25937/stat : 25937 (plingeling) R 25903 25903 25371 0 -1 4202560 2753 1240 0 0 3548 1 0 1 25 0 29 0 641882063 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25908/tid=25938] ppid=25903 vsize=774164 CPUtime=35.47 cores=4-31
/proc/25908/task/25938/stat : 25938 (plingeling) R 25903 25903 25371 0 -1 4202560 6836 1240 0 0 3542 4 0 1 25 0 29 0 641882063 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25908/tid=25939] ppid=25903 vsize=774164 CPUtime=35.52 cores=4-31
/proc/25908/task/25939/stat : 25939 (plingeling) R 25903 25903 25371 0 -1 4202560 3852 1240 0 0 3550 1 0 1 25 0 29 0 641882063 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4282496 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25908/tid=25940] ppid=25903 vsize=774164 CPUtime=35.5 cores=4-31
/proc/25908/task/25940/stat : 25940 (plingeling) R 25903 25903 25371 0 -1 4202560 2993 1240 0 0 3548 1 0 1 25 0 29 0 641882064 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25908/tid=25941] ppid=25903 vsize=774164 CPUtime=35.49 cores=4-31
/proc/25908/task/25941/stat : 25941 (plingeling) R 25903 25903 25371 0 -1 4202560 3435 1240 0 0 3547 1 0 1 25 0 29 0 641882064 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25908/tid=25942] ppid=25903 vsize=774164 CPUtime=35.5 cores=4-31
/proc/25908/task/25942/stat : 25942 (plingeling) R 25903 25903 25371 0 -1 4202560 2714 1240 0 0 3548 1 0 1 25 0 29 0 641882066 792743936 84008 268435456000 4194304 4356188 140737182398288 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 1141.46
Current children cumulated vsize (KiB) 1646684
Child status: 0
Real time (s): 36.7582
CPU time (s): 1142.21
CPU user time (s): 1141.35
CPU system time (s): 0.858869
CPU usage (%): 3107.36
Max. virtual memory (cumulated for all children) (KiB): 1706016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1141.35
system time used= 0.858869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181371
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= 1648
involuntary context switches= 2824
runsolver used 0.221966 second user time and 0.829873 second system time
The end
Begin job on node200 at 2011-05-13 18:25:55
IDJOB=3347541
IDBENCH=83118
IDSOLVER=1808
FILE ID=node200/3347541-1305303955
RUNJOBID= node200-1305293643-25385
PBS_JOBID= 13282108
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347541-1305303955/watcher-3347541-1305303955 -o /tmp/evaluation-result-3347541-1305303955/solver-3347541-1305303955 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347541-1305303955.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f0a59aeb3af8016fb8ec53aa337c4836
RANDOM SEED=1237253527
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.049
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.049
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.07
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.049
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.049
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.049
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.17
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.049
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.08
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.049
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.06
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.049
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.08
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.049
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 : 3990.04
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.049
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.09
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.049
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.049
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.02
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.049
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.17
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.049
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.09
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.049
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 : 3989.98
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.049
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.06
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.049
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.04
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.049
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.049
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.09
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.049
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 : 3990.09
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.06
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.049
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.09
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.049
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.049
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.09
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.049
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.05
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.049
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.09
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.049
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.05
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.049
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: 255621420 kB
Buffers: 433456 kB
Cached: 7798356 kB
SwapCached: 0 kB
Active: 7376644 kB
Inactive: 924060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255621420 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10904 kB
Writeback: 0 kB
AnonPages: 72340 kB
Mapped: 15664 kB
Slab: 249296 kB
PageTables: 5480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190336 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= 62040 MiB
End job on node200 at 2011-05-13 18:26:32