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
106136.73/3328.89 s UNSATISFIABLE
106137.22/3328.99 solver [5] plingeling 276-6264d55-100731 answered
106137.22/3328.99 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-3347157-1304754346/watcher-3347157-1304754346 -o /tmp/evaluation-result-3347157-1304754346/solver-3347157-1304754346 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347157-1304754346.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: 27.28 31.08 31.68 1/413 5196
/proc/meminfo: memFree=256777112/264257624 swapFree=67111528/67111528
[pid=5196] ppid=5194 vsize=18324 CPUtime=0 cores=0-31
/proc/5196/stat : 5196 (ppfolio) S 5194 5196 5169 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 586921155 18763776 386 268435456000 4194304 4287625 140734696465520 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 20 0 0 0
/proc/5196/statm: 4581 386 337 23 0 91 0
[startup+0.0976 s]
/proc/loadavg: 27.28 31.08 31.68 1/413 5196
/proc/meminfo: memFree=256777112/264257624 swapFree=67111528/67111528
[pid=5196] ppid=5194 vsize=18324 CPUtime=0 cores=0-31
/proc/5196/stat : 5196 (ppfolio) S 5194 5196 5169 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 586921155 18763776 386 268435456000 4194304 4287625 140734696465520 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 20 0 0 0
/proc/5196/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100614 s]
/proc/loadavg: 27.28 31.08 31.68 1/413 5196
/proc/meminfo: memFree=256777112/264257624 swapFree=67111528/67111528
[pid=5196] ppid=5194 vsize=18324 CPUtime=0 cores=0-31
/proc/5196/stat : 5196 (ppfolio) S 5194 5196 5169 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 586921155 18763776 386 268435456000 4194304 4287625 140734696465520 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 20 0 0 0
/proc/5196/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.30065 s]
/proc/loadavg: 27.28 31.08 31.68 1/413 5196
/proc/meminfo: memFree=256777112/264257624 swapFree=67111528/67111528
[pid=5196] ppid=5194 vsize=18324 CPUtime=0 cores=0-31
/proc/5196/stat : 5196 (ppfolio) S 5194 5196 5169 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 586921155 18763776 386 268435456000 4194304 4287625 140734696465520 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 20 0 0 0
/proc/5196/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700668 s]
/proc/loadavg: 27.28 31.08 31.68 1/413 5196
/proc/meminfo: memFree=256777112/264257624 swapFree=67111528/67111528
[pid=5196] ppid=5194 vsize=18324 CPUtime=0 cores=0-31
/proc/5196/stat : 5196 (ppfolio) S 5194 5196 5169 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 586921155 18763776 386 268435456000 4194304 4287625 140734696465520 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 20 0 0 0
/proc/5196/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50066 s]
/proc/loadavg: 27.28 31.08 31.68 6/419 5207
/proc/meminfo: memFree=256451080/264257624 swapFree=67111528/67111528
[pid=5196] ppid=5194 vsize=18324 CPUtime=0 cores=0-31
/proc/5196/stat : 5196 (ppfolio) S 5194 5196 5169 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 586921155 18763776 386 268435456000 4194304 4287625 140734696465520 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 20 0 0 0
/proc/5196/statm: 4581 386 337 23 0 91 0
[pid=5197] ppid=5196 vsize=89584 CPUtime=1.48 cores=0
/proc/5197/stat : 5197 (cryptominisat) R 5196 5196 5169 0 -1 4202496 16333 0 0 0 144 4 0 0 25 0 1 0 586921155 91734016 15882 268435456000 4194304 4587354 140733851864384 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 22396 15882 304 96 0 18958 0
[pid=5198] ppid=5196 vsize=67188 CPUtime=1.48 cores=1
/proc/5198/stat : 5198 (clasp) R 5196 5196 5169 0 -1 4202496 20366 0 0 0 141 7 0 0 20 0 1 0 586921155 68800512 13773 268435456000 4194304 4785740 140735090856080 18446744073709551615 4416830 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5198/statm: 16797 13773 324 145 0 13842 0
[pid=5199] ppid=5196 vsize=492956 CPUtime=1.48 cores=2
/proc/5199/stat : 5199 (TNM) R 5196 5196 5169 0 -1 4202496 19051 0 0 0 142 6 0 0 20 0 1 0 586921155 504786944 18948 268435456000 134512640 134534564 4293297424 18446744073709551615 134529366 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5199/statm: 123239 18948 95 6 0 121904 0
[pid=5200] ppid=5196 vsize=97852 CPUtime=1.49 cores=3
/proc/5200/stat : 5200 (march_hi) R 5196 5196 5169 0 -1 4194304 32288 0 0 0 140 9 0 0 20 0 1 0 586921155 100200448 17059 268435456000 4194304 4331988 140736257005232 18446744073709551615 4251678 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5200/statm: 24463 17059 127 34 0 22905 0
[pid=5201] ppid=5196 vsize=158340 CPUtime=1.48 cores=4-31
/proc/5201/stat : 5201 (plingeling) R 5196 5196 5169 0 -1 4202496 38578 1239 0 0 139 9 0 0 21 0 1 0 586921155 162140160 38244 268435456000 4194304 4356188 140737213787056 18446744073709551615 4277424 0 0 4096 17442 0 0 0 17 24 0 0 0
/proc/5201/statm: 39585 38244 129 40 0 38129 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 924244
[startup+3.10073 s]
/proc/loadavg: 27.28 31.08 31.68 6/419 5207
/proc/meminfo: memFree=256210148/264257624 swapFree=67111528/67111528
[pid=5196] ppid=5194 vsize=18324 CPUtime=0 cores=0-31
/proc/5196/stat : 5196 (ppfolio) S 5194 5196 5169 0 -1 4202496 514 0 0 0 0 0 0 0 16 0 1 0 586921155 18763776 386 268435456000 4194304 4287625 140734696465520 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 20 0 0 0
/proc/5196/statm: 4581 386 337 23 0 91 0
[pid=5197] ppid=5196 vsize=113288 CPUtime=3.09 cores=0
/proc/5197/stat : 5197 (cryptominisat) R 5196 5196 5169 0 -1 4202496 22227 0 0 0 304 5 0 0 25 0 1 0 586921155 116006912 21775 268435456000 4194304 4587354 140733851864384 18446744073709551615 4367402 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 28322 21775 310 96 0 24884 0
[pid=5198] ppid=5196 vsize=67188 CPUtime=3.08 cores=1
/proc/5198/stat : 5198 (clasp) R 5196 5196 5169 0 -1 4202496 20398 0 0 0 301 7 0 0 25 0 1 0 586921155 68800512 13805 268435456000 4194304 4785740 140735090856080 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5198/statm: 16797 13805 338 145 0 13842 0
[pid=5199] ppid=5196 vsize=492956 CPUtime=3.08 cores=2
/proc/5199/stat : 5199 (TNM) R 5196 5196 5169 0 -1 4202496 19051 0 0 0 302 6 0 0 25 0 1 0 586921155 504786944 18948 268435456000 134512640 134534564 4293297424 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5199/statm: 123239 18948 95 6 0 121904 0
[pid=5200] ppid=5196 vsize=92496 CPUtime=3.08 cores=3
/proc/5200/stat : 5200 (march_hi) R 5196 5196 5169 0 -1 4202496 61460 0 0 0 293 15 0 0 25 0 1 0 586921155 94715904 15716 268435456000 4194304 4331988 140736257005232 18446744073709551615 4251967 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5200/statm: 23124 15716 146 34 0 21566 0
[pid=5201] ppid=5196 vsize=289292 CPUtime=3.08 cores=4-31
/proc/5201/stat : 5201 (plingeling) R 5196 5196 5169 0 -1 4202496 71420 1239 0 0 292 16 0 0 25 0 1 0 586921155 296235008 70982 268435456000 4194304 4356188 140737213787056 18446744073709551615 4278267 0 0 4096 17442 0 0 0 17 24 0 0 0
/proc/5201/statm: 72323 70982 129 40 0 70867 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 1073544
[startup+6.30083 s]
/proc/loadavg: 25.50 30.65 31.54 6/419 5207
/proc/meminfo: memFree=256062852/264257624 swapFree=67111528/67111528
[pid=5196] ppid=5194 vsize=18324 CPUtime=0 cores=0-31
/proc/5196/stat : 5196 (ppfolio) S 5194 5196 5169 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 586921155 18763776 386 268435456000 4194304 4287625 140734696465520 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 20 0 0 0
/proc/5196/statm: 4581 386 337 23 0 91 0
[pid=5197] ppid=5196 vsize=113444 CPUtime=6.28 cores=0
/proc/5197/stat : 5197 (cryptominisat) R 5196 5196 5169 0 -1 4202496 23076 0 0 0 623 5 0 0 25 0 1 0 586921155 116166656 21522 268435456000 4194304 4587354 140733851864384 18446744073709551615 4383884 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 28361 21523 315 96 0 24923 0
[pid=5198] ppid=5196 vsize=67188 CPUtime=6.28 cores=1
/proc/5198/stat : 5198 (clasp) R 5196 5196 5169 0 -1 4202496 20398 0 0 0 621 7 0 0 25 0 1 0 586921155 68800512 13805 268435456000 4194304 4785740 140735090856080 18446744073709551615 4550513 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5198/statm: 16797 13805 338 145 0 13842 0
[pid=5199] ppid=5196 vsize=492956 CPUtime=6.28 cores=2
/proc/5199/stat : 5199 (TNM) R 5196 5196 5169 0 -1 4202496 19051 0 0 0 622 6 0 0 25 0 1 0 586921155 504786944 18948 268435456000 134512640 134534564 4293297424 18446744073709551615 134530438 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5199/statm: 123239 18948 95 6 0 121904 0
[pid=5200] ppid=5196 vsize=282940 CPUtime=6.29 cores=3
/proc/5200/stat : 5200 (march_hi) R 5196 5196 5169 0 -1 4202496 114876 0 0 0 603 26 0 0 25 0 1 0 586921155 289730560 31989 268435456000 4194304 4331988 140736257005232 18446744073709551615 4210502 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5200/statm: 70735 31989 171 34 0 69177 0
[pid=5201] ppid=5196 vsize=487996 CPUtime=6.27 cores=4-31
/proc/5201/stat : 5201 (plingeling) R 5196 5196 5169 0 -1 4202496 121096 1239 0 0 601 26 0 0 25 0 1 0 586921155 499707904 120658 268435456000 4194304 4356188 140737213787056 18446744073709551615 4277785 0 0 4096 17442 0 0 0 17 24 0 0 0
/proc/5201/statm: 121999 120658 129 40 0 120543 0
Current children cumulated CPU time (s) 31.4
Current children cumulated vsize (KiB) 1462848
[startup+12.702 s]
/proc/loadavg: 23.86 30.22 31.40 33/447 5235
/proc/meminfo: memFree=256058004/264257624 swapFree=67111528/67111528
[pid=5196] ppid=5194 vsize=18324 CPUtime=0 cores=0-31
/proc/5196/stat : 5196 (ppfolio) S 5194 5196 5169 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 586921155 18763776 386 268435456000 4194304 4287625 140734696465520 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 20 0 0 0
/proc/5196/statm: 4581 386 337 23 0 91 0
[pid=5197] ppid=5196 vsize=1205740 CPUtime=12.68 cores=0
/proc/5197/stat : 5197 (cryptominisat) R 5196 5196 5169 0 -1 4202496 25595 0 0 0 1262 6 0 0 25 0 1 0 586921155 1234677760 21695 268435456000 4194304 4587354 140733851864384 18446744073709551615 4238591 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 301435 21695 328 96 0 297997 0
[pid=5198] ppid=5196 vsize=67360 CPUtime=12.68 cores=1
/proc/5198/stat : 5198 (clasp) R 5196 5196 5169 0 -1 4202496 20602 0 0 0 1261 7 0 0 25 0 1 0 586921155 68976640 14009 268435456000 4194304 4785740 140735090856080 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5198/statm: 16840 14009 338 145 0 13885 0
[pid=5199] ppid=5196 vsize=492956 CPUtime=12.68 cores=2
/proc/5199/stat : 5199 (TNM) R 5196 5196 5169 0 -1 4202496 19051 0 0 0 1262 6 0 0 25 0 1 0 586921155 504786944 18948 268435456000 134512640 134534564 4293297424 18446744073709551615 134528620 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5199/statm: 123239 18948 95 6 0 121904 0
[pid=5200] ppid=5196 vsize=284424 CPUtime=12.69 cores=3
/proc/5200/stat : 5200 (march_hi) R 5196 5196 5169 0 -1 4202496 115575 0 0 0 1243 26 0 0 25 0 1 0 586921155 291250176 32688 268435456000 4194304 4331988 140736257005232 18446744073709551615 4239602 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5200/statm: 71106 32688 174 34 0 69548 0
[pid=5201] ppid=5196 vsize=965592 CPUtime=106.08 cores=4-31
/proc/5201/stat : 5201 (plingeling) S 5196 5196 5169 0 -1 4202496 284795 1239 0 0 10526 82 0 0 18 0 29 0 586921155 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/5201/statm: 241398 90598 159 40 0 239942 0
[pid=5201/tid=5208] ppid=5196 vsize=965592 CPUtime=3.45 cores=4-31
/proc/5201/task/5208/stat : 5208 (plingeling) R 5196 5196 5169 0 -1 4202560 2119 1239 0 0 345 0 0 0 25 0 29 0 586922072 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4234276 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=5201/tid=5209] ppid=5196 vsize=965592 CPUtime=3.48 cores=4-31
/proc/5201/task/5209/stat : 5209 (plingeling) R 5196 5196 5169 0 -1 4202560 1674 1239 0 0 347 1 0 0 25 0 29 0 586922072 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4244483 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5201/tid=5210] ppid=5196 vsize=965592 CPUtime=3.46 cores=4-31
/proc/5201/task/5210/stat : 5210 (plingeling) R 5196 5196 5169 0 -1 4202560 1916 1239 0 0 345 1 0 0 25 0 29 0 586922072 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4238833 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=5201/tid=5211] ppid=5196 vsize=965592 CPUtime=3.48 cores=4-31
/proc/5201/task/5211/stat : 5211 (plingeling) R 5196 5196 5169 0 -1 4202560 1568 1239 0 0 347 1 0 0 25 0 29 0 586922072 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331039 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5201/tid=5212] ppid=5196 vsize=965592 CPUtime=3.4 cores=4-31
/proc/5201/task/5212/stat : 5212 (plingeling) R 5196 5196 5169 0 -1 4202560 2171 1239 0 0 339 1 0 0 25 0 29 0 586922072 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=5201/tid=5213] ppid=5196 vsize=965592 CPUtime=3.49 cores=4-31
/proc/5201/task/5213/stat : 5213 (plingeling) R 5196 5196 5169 0 -1 4202560 1840 1239 0 0 348 1 0 0 25 0 29 0 586922072 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=5201/tid=5214] ppid=5196 vsize=965592 CPUtime=3.47 cores=4-31
/proc/5201/task/5214/stat : 5214 (plingeling) R 5196 5196 5169 0 -1 4202560 2139 1239 0 0 346 1 0 0 25 0 29 0 586922072 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331792 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=5201/tid=5215] ppid=5196 vsize=965592 CPUtime=3.46 cores=4-31
/proc/5201/task/5215/stat : 5215 (plingeling) R 5196 5196 5169 0 -1 4202560 1955 1239 0 0 345 1 0 0 25 0 29 0 586922072 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330990 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=5201/tid=5216] ppid=5196 vsize=965592 CPUtime=3.46 cores=4-31
/proc/5201/task/5216/stat : 5216 (plingeling) R 5196 5196 5169 0 -1 4202560 1570 1239 0 0 346 0 0 0 25 0 29 0 586922072 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=5201/tid=5217] ppid=5196 vsize=965592 CPUtime=3.46 cores=4-31
/proc/5201/task/5217/stat : 5217 (plingeling) R 5196 5196 5169 0 -1 4202560 1834 1239 0 0 345 1 0 0 25 0 29 0 586922072 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=5201/tid=5218] ppid=5196 vsize=965592 CPUtime=3.45 cores=4-31
/proc/5201/task/5218/stat : 5218 (plingeling) R 5196 5196 5169 0 -1 4202560 1951 1239 0 0 345 0 0 0 25 0 29 0 586922073 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4324043 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=5201/tid=5219] ppid=5196 vsize=965592 CPUtime=3.46 cores=4-31
/proc/5201/task/5219/stat : 5219 (plingeling) R 5196 5196 5169 0 -1 4202560 1657 1239 0 0 346 0 0 0 25 0 29 0 586922073 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4211045 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=5201/tid=5220] ppid=5196 vsize=965592 CPUtime=3.45 cores=4-31
/proc/5201/task/5220/stat : 5220 (plingeling) R 5196 5196 5169 0 -1 4202560 1735 1239 0 0 344 1 0 0 25 0 29 0 586922073 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4210596 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=5201/tid=5221] ppid=5196 vsize=965592 CPUtime=3.45 cores=4-31
/proc/5201/task/5221/stat : 5221 (plingeling) R 5196 5196 5169 0 -1 4202560 2384 1239 0 0 344 1 0 0 25 0 29 0 586922073 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=5201/tid=5222] ppid=5196 vsize=965592 CPUtime=3.45 cores=4-31
/proc/5201/task/5222/stat : 5222 (plingeling) R 5196 5196 5169 0 -1 4202560 1788 1239 0 0 344 1 0 0 23 0 29 0 586922073 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4279772 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=5201/tid=5223] ppid=5196 vsize=965592 CPUtime=3.45 cores=4-31
/proc/5201/task/5223/stat : 5223 (plingeling) R 5196 5196 5169 0 -1 4202560 1727 1239 0 0 344 1 0 0 25 0 29 0 586922073 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330827 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=5201/tid=5224] ppid=5196 vsize=965592 CPUtime=3.46 cores=4-31
/proc/5201/task/5224/stat : 5224 (plingeling) R 5196 5196 5169 0 -1 4202560 1729 1239 0 0 345 1 0 0 25 0 29 0 586922073 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=5201/tid=5225] ppid=5196 vsize=965592 CPUtime=3.44 cores=4-31
/proc/5201/task/5225/stat : 5225 (plingeling) R 5196 5196 5169 0 -1 4202560 2098 1239 0 0 344 0 0 0 25 0 29 0 586922074 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=5201/tid=5226] ppid=5196 vsize=965592 CPUtime=3.45 cores=4-31
/proc/5201/task/5226/stat : 5226 (plingeling) R 5196 5196 5169 0 -1 4202560 1681 1239 0 0 344 1 0 0 25 0 29 0 586922074 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4281657 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=5201/tid=5227] ppid=5196 vsize=965592 CPUtime=3.47 cores=4-31
/proc/5201/task/5227/stat : 5227 (plingeling) R 5196 5196 5169 0 -1 4202560 1817 1239 0 0 346 1 0 0 25 0 29 0 586922074 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5201/tid=5228] ppid=5196 vsize=965592 CPUtime=3.45 cores=4-31
/proc/5201/task/5228/stat : 5228 (plingeling) R 5196 5196 5169 0 -1 4202560 1913 1239 0 0 344 1 0 0 25 0 29 0 586922074 988766208 90598 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=5201/tid=5229] ppid=5196 vsize=965592 CPUtime=3.44 cores=4-31
################
# More data... #
################
[pid=5201/tid=5217] ppid=5196 vsize=2916056 CPUtime=3316.45 cores=4-31
/proc/5201/task/5217/stat : 5217 (plingeling) R 5196 5196 5169 0 -1 4202560 92902 1239 0 0 331587 58 0 0 25 0 29 0 586922072 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=5201/tid=5218] ppid=5196 vsize=2916056 CPUtime=3314.09 cores=4-31
/proc/5201/task/5218/stat : 5218 (plingeling) R 5196 5196 5169 0 -1 4202560 98718 1239 0 0 331348 61 0 0 25 0 29 0 586922073 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=5201/tid=5219] ppid=5196 vsize=2916056 CPUtime=3316.46 cores=4-31
/proc/5201/task/5219/stat : 5219 (plingeling) R 5196 5196 5169 0 -1 4202560 70717 1239 0 0 331629 17 0 0 25 0 29 0 586922073 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331188 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=5201/tid=5220] ppid=5196 vsize=2916056 CPUtime=3316.45 cores=4-31
/proc/5201/task/5220/stat : 5220 (plingeling) R 5196 5196 5169 0 -1 4202560 91094 1239 0 0 331623 22 0 0 25 0 29 0 586922073 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=5201/tid=5221] ppid=5196 vsize=2916056 CPUtime=3316.45 cores=4-31
/proc/5201/task/5221/stat : 5221 (plingeling) R 5196 5196 5169 0 -1 4202560 100911 1239 0 0 331601 44 0 0 25 0 29 0 586922073 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=5201/tid=5222] ppid=5196 vsize=2916056 CPUtime=3316.37 cores=4-31
/proc/5201/task/5222/stat : 5222 (plingeling) R 5196 5196 5169 0 -1 4202560 95582 1239 0 0 331596 41 0 0 25 0 29 0 586922073 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=5201/tid=5223] ppid=5196 vsize=2916056 CPUtime=3316.45 cores=4-31
/proc/5201/task/5223/stat : 5223 (plingeling) R 5196 5196 5169 0 -1 4202560 155311 1239 0 0 331508 137 0 0 25 0 29 0 586922073 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=5201/tid=5224] ppid=5196 vsize=2916056 CPUtime=3316.45 cores=4-31
/proc/5201/task/5224/stat : 5224 (plingeling) R 5196 5196 5169 0 -1 4202560 97319 1239 0 0 331587 58 0 0 25 0 29 0 586922073 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=5201/tid=5225] ppid=5196 vsize=2916056 CPUtime=3315.81 cores=4-31
/proc/5201/task/5225/stat : 5225 (plingeling) R 5196 5196 5169 0 -1 4202560 84389 1239 0 0 331562 19 0 0 25 0 29 0 586922074 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=5201/tid=5226] ppid=5196 vsize=2916056 CPUtime=3316.45 cores=4-31
/proc/5201/task/5226/stat : 5226 (plingeling) R 5196 5196 5169 0 -1 4202560 91669 1239 0 0 331605 40 0 0 25 0 29 0 586922074 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=5201/tid=5227] ppid=5196 vsize=2916056 CPUtime=3316.4 cores=4-31
/proc/5201/task/5227/stat : 5227 (plingeling) R 5196 5196 5169 0 -1 4202560 78592 1239 0 0 331585 55 0 0 25 0 29 0 586922074 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5201/tid=5228] ppid=5196 vsize=2916056 CPUtime=3316.38 cores=4-31
/proc/5201/task/5228/stat : 5228 (plingeling) R 5196 5196 5169 0 -1 4202560 89849 1239 0 0 331608 30 0 0 25 0 29 0 586922074 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=5201/tid=5229] ppid=5196 vsize=2916056 CPUtime=3315.92 cores=4-31
/proc/5201/task/5229/stat : 5229 (plingeling) R 5196 5196 5169 0 -1 4202560 87155 1239 0 0 331573 19 0 0 25 0 29 0 586922074 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4332149 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=5201/tid=5230] ppid=5196 vsize=2916056 CPUtime=3316.44 cores=4-31
/proc/5201/task/5230/stat : 5230 (plingeling) R 5196 5196 5169 0 -1 4202560 87527 1239 0 0 331624 20 0 0 25 0 29 0 586922074 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=5201/tid=5231] ppid=5196 vsize=2916056 CPUtime=3316.44 cores=4-31
/proc/5201/task/5231/stat : 5231 (plingeling) R 5196 5196 5169 0 -1 4202560 164019 1239 0 0 331486 158 0 0 25 0 29 0 586922074 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=5201/tid=5232] ppid=5196 vsize=2916056 CPUtime=3316.41 cores=4-31
/proc/5201/task/5232/stat : 5232 (plingeling) R 5196 5196 5169 0 -1 4202560 85914 1239 0 0 331595 46 0 0 25 0 29 0 586922074 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=5201/tid=5233] ppid=5196 vsize=2916056 CPUtime=3316.44 cores=4-31
/proc/5201/task/5233/stat : 5233 (plingeling) R 5196 5196 5169 0 -1 4202560 86707 1239 0 0 331615 29 0 0 25 0 29 0 586922075 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=5201/tid=5234] ppid=5196 vsize=2916056 CPUtime=3316.41 cores=4-31
/proc/5201/task/5234/stat : 5234 (plingeling) R 5196 5196 5169 0 -1 4202560 94224 1239 0 0 331617 24 0 0 25 0 29 0 586922075 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=5201/tid=5235] ppid=5196 vsize=2916056 CPUtime=3316.46 cores=4-31
/proc/5201/task/5235/stat : 5235 (plingeling) R 5196 5196 5169 0 -1 4202560 77521 1239 0 0 331601 45 0 0 25 0 29 0 586922075 2986041344 576500 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331435 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 106075
Current children cumulated vsize (KiB) 5258076
[startup+3327.9 s]
/proc/loadavg: 32.20 32.11 32.03 33/447 5335
/proc/meminfo: memFree=253799804/264257624 swapFree=67111528/67111528
[pid=5196] ppid=5194 vsize=18324 CPUtime=0 cores=0-31
/proc/5196/stat : 5196 (ppfolio) S 5194 5196 5169 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 586921155 18763776 386 268435456000 4194304 4287625 140734696465520 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 20 0 0 0
/proc/5196/statm: 4581 386 337 23 0 91 0
[pid=5197] ppid=5196 vsize=1239584 CPUtime=3327.01 cores=0
/proc/5197/stat : 5197 (cryptominisat) R 5196 5196 5169 0 -1 4202496 367786 0 0 0 332479 222 0 0 25 0 1 0 586921155 1269334016 44426 268435456000 4194304 4587354 140733851864384 18446744073709551615 4231420 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 309896 44426 339 96 0 306458 0
[pid=5198] ppid=5196 vsize=270496 CPUtime=3327.26 cores=1
/proc/5198/stat : 5198 (clasp) R 5196 5196 5169 0 -1 4202496 69462 0 0 0 332686 40 0 0 25 0 1 0 586921155 276987904 62869 268435456000 4194304 4785740 140735090856080 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5198/statm: 67624 62869 338 145 0 64669 0
[pid=5199] ppid=5196 vsize=492956 CPUtime=3327.23 cores=2
/proc/5199/stat : 5199 (TNM) R 5196 5196 5169 0 -1 4202496 19051 0 0 0 332717 6 0 0 25 0 1 0 586921155 504786944 18948 268435456000 134512640 134534564 4293297424 18446744073709551615 134530309 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5199/statm: 123239 18948 95 6 0 121904 0
[pid=5200] ppid=5196 vsize=320660 CPUtime=3327.26 cores=3
/proc/5200/stat : 5200 (march_hi) R 5196 5196 5169 0 -1 4202496 123917 0 0 0 332695 31 0 0 25 0 1 0 586921155 328355840 40913 268435456000 4194304 4331988 140736257005232 18446744073709551615 4237136 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5200/statm: 80165 40913 174 34 0 78607 0
[pid=5201] ppid=5196 vsize=2916052 CPUtime=92816.6 cores=4-31
/proc/5201/stat : 5201 (plingeling) S 5196 5196 5169 0 -1 4202496 2954073 1239 0 0 9280236 1424 0 0 18 0 29 0 586921155 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/5201/statm: 729013 576499 159 40 0 727557 0
[pid=5201/tid=5208] ppid=5196 vsize=2916052 CPUtime=3318.03 cores=4-31
/proc/5201/task/5208/stat : 5208 (plingeling) R 5196 5196 5169 0 -1 4202560 92689 1239 0 0 331780 23 0 0 25 0 29 0 586922072 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=5201/tid=5209] ppid=5196 vsize=2916052 CPUtime=3318.06 cores=4-31
/proc/5201/task/5209/stat : 5209 (plingeling) R 5196 5196 5169 0 -1 4202560 87987 1239 0 0 331741 65 0 0 25 0 29 0 586922072 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=5201/tid=5210] ppid=5196 vsize=2916052 CPUtime=3318.03 cores=4-31
/proc/5201/task/5210/stat : 5210 (plingeling) R 5196 5196 5169 0 -1 4202560 89868 1239 0 0 331783 20 0 0 25 0 29 0 586922072 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=5201/tid=5211] ppid=5196 vsize=2916052 CPUtime=3318.06 cores=4-31
/proc/5201/task/5211/stat : 5211 (plingeling) R 5196 5196 5169 0 -1 4202560 66035 1239 0 0 331782 24 0 0 25 0 29 0 586922072 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=5201/tid=5212] ppid=5196 vsize=2916052 CPUtime=3290.28 cores=4-31
/proc/5201/task/5212/stat : 5212 (plingeling) R 5196 5196 5169 0 -1 4202560 91359 1239 0 0 329008 20 0 0 25 0 29 0 586922072 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=5201/tid=5213] ppid=5196 vsize=2916052 CPUtime=3251.95 cores=4-31
/proc/5201/task/5213/stat : 5213 (plingeling) R 5196 5196 5169 0 -1 4202560 90705 1239 0 0 325128 67 0 0 25 0 29 0 586922072 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=5201/tid=5214] ppid=5196 vsize=2916052 CPUtime=3318.03 cores=4-31
/proc/5201/task/5214/stat : 5214 (plingeling) R 5196 5196 5169 0 -1 4202560 95040 1239 0 0 331769 34 0 0 25 0 29 0 586922072 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=5201/tid=5215] ppid=5196 vsize=2916052 CPUtime=3318.04 cores=4-31
/proc/5201/task/5215/stat : 5215 (plingeling) R 5196 5196 5169 0 -1 4202560 178047 1239 0 0 331644 160 0 0 25 0 29 0 586922072 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=5201/tid=5216] ppid=5196 vsize=2916052 CPUtime=3317.95 cores=4-31
/proc/5201/task/5216/stat : 5216 (plingeling) R 5196 5196 5169 0 -1 4202560 99208 1239 0 0 331770 25 0 0 25 0 29 0 586922072 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=5201/tid=5217] ppid=5196 vsize=2916052 CPUtime=3318.03 cores=4-31
/proc/5201/task/5217/stat : 5217 (plingeling) R 5196 5196 5169 0 -1 4202560 92902 1239 0 0 331745 58 0 0 25 0 29 0 586922072 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=5201/tid=5218] ppid=5196 vsize=2916052 CPUtime=3315.67 cores=4-31
/proc/5201/task/5218/stat : 5218 (plingeling) R 5196 5196 5169 0 -1 4202560 98718 1239 0 0 331506 61 0 0 25 0 29 0 586922073 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=5201/tid=5219] ppid=5196 vsize=2916052 CPUtime=3318.04 cores=4-31
/proc/5201/task/5219/stat : 5219 (plingeling) R 5196 5196 5169 0 -1 4202560 70717 1239 0 0 331787 17 0 0 25 0 29 0 586922073 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=5201/tid=5220] ppid=5196 vsize=2916052 CPUtime=3318.03 cores=4-31
/proc/5201/task/5220/stat : 5220 (plingeling) R 5196 5196 5169 0 -1 4202560 91094 1239 0 0 331781 22 0 0 25 0 29 0 586922073 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=5201/tid=5221] ppid=5196 vsize=2916052 CPUtime=3318.03 cores=4-31
/proc/5201/task/5221/stat : 5221 (plingeling) R 5196 5196 5169 0 -1 4202560 100911 1239 0 0 331759 44 0 0 25 0 29 0 586922073 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=5201/tid=5222] ppid=5196 vsize=2916052 CPUtime=3317.95 cores=4-31
/proc/5201/task/5222/stat : 5222 (plingeling) R 5196 5196 5169 0 -1 4202560 95582 1239 0 0 331754 41 0 0 25 0 29 0 586922073 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=5201/tid=5223] ppid=5196 vsize=2916052 CPUtime=3318.03 cores=4-31
/proc/5201/task/5223/stat : 5223 (plingeling) R 5196 5196 5169 0 -1 4202560 155311 1239 0 0 331666 137 0 0 25 0 29 0 586922073 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=5201/tid=5224] ppid=5196 vsize=2916052 CPUtime=3318.03 cores=4-31
/proc/5201/task/5224/stat : 5224 (plingeling) R 5196 5196 5169 0 -1 4202560 97319 1239 0 0 331745 58 0 0 25 0 29 0 586922073 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=5201/tid=5225] ppid=5196 vsize=2916052 CPUtime=3317.39 cores=4-31
/proc/5201/task/5225/stat : 5225 (plingeling) R 5196 5196 5169 0 -1 4202560 84389 1239 0 0 331720 19 0 0 25 0 29 0 586922074 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=5201/tid=5226] ppid=5196 vsize=2916052 CPUtime=3318.03 cores=4-31
/proc/5201/task/5226/stat : 5226 (plingeling) R 5196 5196 5169 0 -1 4202560 91669 1239 0 0 331763 40 0 0 25 0 29 0 586922074 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=5201/tid=5227] ppid=5196 vsize=2916052 CPUtime=3317.98 cores=4-31
/proc/5201/task/5227/stat : 5227 (plingeling) R 5196 5196 5169 0 -1 4202560 78592 1239 0 0 331743 55 0 0 25 0 29 0 586922074 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=5201/tid=5228] ppid=5196 vsize=2916052 CPUtime=3317.96 cores=4-31
/proc/5201/task/5228/stat : 5228 (plingeling) R 5196 5196 5169 0 -1 4202560 89849 1239 0 0 331766 30 0 0 25 0 29 0 586922074 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=5201/tid=5229] ppid=5196 vsize=2916052 CPUtime=3317.5 cores=4-31
/proc/5201/task/5229/stat : 5229 (plingeling) R 5196 5196 5169 0 -1 4202560 87155 1239 0 0 331731 19 0 0 25 0 29 0 586922074 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=5201/tid=5230] ppid=5196 vsize=2916052 CPUtime=3318.02 cores=4-31
/proc/5201/task/5230/stat : 5230 (plingeling) R 5196 5196 5169 0 -1 4202560 87527 1239 0 0 331782 20 0 0 25 0 29 0 586922074 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=5201/tid=5231] ppid=5196 vsize=2916052 CPUtime=3318.02 cores=4-31
/proc/5201/task/5231/stat : 5231 (plingeling) R 5196 5196 5169 0 -1 4202560 164019 1239 0 0 331644 158 0 0 25 0 29 0 586922074 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=5201/tid=5232] ppid=5196 vsize=2916052 CPUtime=3317.99 cores=4-31
/proc/5201/task/5232/stat : 5232 (plingeling) R 5196 5196 5169 0 -1 4202560 85914 1239 0 0 331753 46 0 0 25 0 29 0 586922074 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=5201/tid=5233] ppid=5196 vsize=2916052 CPUtime=3318.02 cores=4-31
/proc/5201/task/5233/stat : 5233 (plingeling) R 5196 5196 5169 0 -1 4202560 86707 1239 0 0 331773 29 0 0 25 0 29 0 586922075 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=5201/tid=5234] ppid=5196 vsize=2916052 CPUtime=3317.99 cores=4-31
/proc/5201/task/5234/stat : 5234 (plingeling) R 5196 5196 5169 0 -1 4202560 94224 1239 0 0 331775 24 0 0 25 0 29 0 586922075 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=5201/tid=5235] ppid=5196 vsize=2916052 CPUtime=3318.04 cores=4-31
/proc/5201/task/5235/stat : 5235 (plingeling) R 5196 5196 5169 0 -1 4202560 77521 1239 0 0 331759 45 0 0 25 0 29 0 586922075 2986037248 576499 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 106125
Current children cumulated vsize (KiB) 5258072
[startup+3328.7 s]
/proc/loadavg: 32.19 32.11 32.03 6/420 5335
/proc/meminfo: memFree=253800020/264257624 swapFree=67111528/67111528
[pid=5196] ppid=5194 vsize=18324 CPUtime=0 cores=0-31
/proc/5196/stat : 5196 (ppfolio) S 5194 5196 5169 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 586921155 18763776 386 268435456000 4194304 4287625 140734696465520 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 20 0 0 0
/proc/5196/statm: 4581 386 337 23 0 91 0
[pid=5197] ppid=5196 vsize=1239584 CPUtime=3327.81 cores=0
/proc/5197/stat : 5197 (cryptominisat) R 5196 5196 5169 0 -1 4202496 367786 0 0 0 332559 222 0 0 25 0 1 0 586921155 1269334016 44426 268435456000 4194304 4587354 140733851864384 18446744073709551615 4232120 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5197/statm: 309896 44426 339 96 0 306458 0
[pid=5198] ppid=5196 vsize=270496 CPUtime=3328.06 cores=1
/proc/5198/stat : 5198 (clasp) R 5196 5196 5169 0 -1 4202496 69462 0 0 0 332766 40 0 0 25 0 1 0 586921155 276987904 62869 268435456000 4194304 4785740 140735090856080 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/5198/statm: 67624 62869 338 145 0 64669 0
[pid=5199] ppid=5196 vsize=492956 CPUtime=3328.03 cores=2
/proc/5199/stat : 5199 (TNM) R 5196 5196 5169 0 -1 4202496 19051 0 0 0 332797 6 0 0 25 0 1 0 586921155 504786944 18948 268435456000 134512640 134534564 4293297424 18446744073709551615 134528710 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5199/statm: 123239 18948 95 6 0 121904 0
[pid=5200] ppid=5196 vsize=320660 CPUtime=3328.06 cores=3
/proc/5200/stat : 5200 (march_hi) R 5196 5196 5169 0 -1 4202496 123917 0 0 0 332775 31 0 0 25 0 1 0 586921155 328355840 40913 268435456000 4194304 4331988 140736257005232 18446744073709551615 4239629 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5200/statm: 80165 40913 174 34 0 78607 0
[pid=5201] ppid=5196 vsize=2793124 CPUtime=92824.3 cores=4-31
/proc/5201/stat : 5201 (plingeling) S 5196 5196 5169 0 -1 4202496 2954074 1239 0 0 9281004 1425 0 0 15 0 2 0 586921155 2860158976 576416 268435456000 4194304 4356188 140737213787056 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/5201/statm: 698281 576416 160 40 0 696825 0
[pid=5201/tid=5223] ppid=5196 vsize=2793124 CPUtime=3318.82 cores=4-31
/proc/5201/task/5223/stat : 5223 (plingeling) R 5196 5196 5169 0 -1 4202560 155311 1239 0 0 331745 137 0 0 25 0 2 0 586922073 2860158976 576416 268435456000 4194304 4356188 140737213787056 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 106136
Current children cumulated vsize (KiB) 5135144
[startup+3328.9 s]
/proc/loadavg: 32.19 32.11 32.03 6/420 5335
/proc/meminfo: memFree=253800020/264257624 swapFree=67111528/67111528
[pid=5196] ppid=5194 vsize=18324 CPUtime=0 cores=0-31
/proc/5196/stat : 5196 (ppfolio) S 5194 5196 5169 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 586921155 18763776 386 268435456000 4194304 4287625 140734696465520 18446744073709551615 258650975999 0 0 4096 65536 2757369004032 0 0 17 20 0 0 0
/proc/5196/statm: 4581 386 337 23 0 91 0
[pid=5197] ppid=5196 vsize=0 CPUtime=3328 cores=0
/proc/5197/stat : 5197 (cryptominisat) R 5196 5196 5169 0 -1 4203524 367786 0 0 0 332578 222 0 0 25 0 1 0 586921155 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5197/statm: 0 0 0 0 0 0 0
[pid=5198] ppid=5196 vsize=0 CPUtime=3328.25 cores=1
/proc/5198/stat : 5198 (clasp) R 5196 5196 5169 0 -1 4203524 69462 0 0 0 332785 40 0 0 25 0 1 0 586921155 0 0 268435456000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/5198/statm: 0 0 0 0 0 0 0
[pid=5199] ppid=5196 vsize=0 CPUtime=3328.23 cores=2
/proc/5199/stat : 5199 (TNM) R 5196 5196 5169 0 -1 4203524 19051 0 0 0 332817 6 0 0 25 0 1 0 586921155 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5199/statm: 0 0 0 0 0 0 0
[pid=5200] ppid=5196 vsize=0 CPUtime=3328.26 cores=3
/proc/5200/stat : 5200 (march_hi) R 5196 5196 5169 0 -1 4203524 123917 0 0 0 332795 31 0 0 25 0 1 0 586921155 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5200/statm: 0 0 0 0 0 0 0
[pid=5201] ppid=5196 vsize=0 CPUtime=92824.5 cores=4-31
/proc/5201/stat : 5201 (plingeling) R 5196 5196 5169 0 -1 4202500 2954077 1239 0 0 9281012 1436 0 0 16 0 1 0 586921155 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 9 0 0 0
/proc/5201/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 106137
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 3328.99
CPU time (s): 106137
CPU user time (s): 106120
CPU system time (s): 17.5353
CPU usage (%): 3188.27
Max. virtual memory (cumulated for all children) (KiB): 6285008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106120
system time used= 17.5353
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3536067
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= 2743
involuntary context switches= 270127
runsolver used 20.1149 second user time and 73.8788 second system time
The end
Begin job on node200 at 2011-05-07 09:45:47
IDJOB=3347157
IDBENCH=20387
IDSOLVER=1808
FILE ID=node200/3347157-1304754346
RUNJOBID= node200-1304754346-5184
PBS_JOBID= 13281954
Free space on /tmp= 62040 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347157-1304754346/watcher-3347157-1304754346 -o /tmp/evaluation-result-3347157-1304754346/solver-3347157-1304754346 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347157-1304754346.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 45ee13b66821e6c36f3e38be418fa121
RANDOM SEED=326485994
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: 256777524 kB
Buffers: 346784 kB
Cached: 6793704 kB
SwapCached: 0 kB
Active: 6322212 kB
Inactive: 886808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256777524 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 21160 kB
Writeback: 0 kB
AnonPages: 68624 kB
Mapped: 14208 kB
Slab: 191480 kB
PageTables: 3992 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188320 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= 62032 MiB
End job on node200 at 2011-05-07 10:41:16