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
6986.77/218.77 s UNSATISFIABLE
6989.04/218.82 solver [2] clasp 1.3.6 answered
6989.04/218.82 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-3347653-1306109571/watcher-3347653-1306109571 -o /tmp/evaluation-result-3347653-1306109571/solver-3347653-1306109571 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347653-1306109571.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: 29.67 31.28 31.39 1/413 28509
/proc/meminfo: memFree=255444224/264257624 swapFree=67111528/67111528
[pid=28509] ppid=28507 vsize=18324 CPUtime=0 cores=0-31
/proc/28509/stat : 28509 (ppfolio) S 28507 28509 28483 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 722443522 18763776 386 268435456000 4194304 4287625 140733637462192 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28509/statm: 4581 386 337 23 0 91 0
[startup+0.070615 s]
/proc/loadavg: 29.67 31.28 31.39 1/413 28509
/proc/meminfo: memFree=255444224/264257624 swapFree=67111528/67111528
[pid=28509] ppid=28507 vsize=18324 CPUtime=0 cores=0-31
/proc/28509/stat : 28509 (ppfolio) S 28507 28509 28483 0 -1 4202496 515 0 0 0 0 0 0 0 17 0 1 0 722443522 18763776 386 268435456000 4194304 4287625 140733637462192 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28509/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100608 s]
/proc/loadavg: 29.67 31.28 31.39 1/413 28509
/proc/meminfo: memFree=255444224/264257624 swapFree=67111528/67111528
[pid=28509] ppid=28507 vsize=18324 CPUtime=0 cores=0-31
/proc/28509/stat : 28509 (ppfolio) S 28507 28509 28483 0 -1 4202496 515 0 0 0 0 0 0 0 17 0 1 0 722443522 18763776 386 268435456000 4194304 4287625 140733637462192 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 3 0 0 0
/proc/28509/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.812534 s]
/proc/loadavg: 29.67 31.28 31.39 1/413 28509
/proc/meminfo: memFree=255444224/264257624 swapFree=67111528/67111528
[pid=28509] ppid=28507 vsize=18324 CPUtime=0 cores=0-31
/proc/28509/stat : 28509 (ppfolio) S 28507 28509 28483 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722443522 18763776 386 268435456000 4194304 4287625 140733637462192 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 3 0 0 0
/proc/28509/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.91063 s]
/proc/loadavg: 29.67 31.28 31.39 1/413 28509
/proc/meminfo: memFree=255444224/264257624 swapFree=67111528/67111528
[pid=28509] ppid=28507 vsize=18324 CPUtime=0 cores=0-31
/proc/28509/stat : 28509 (ppfolio) S 28507 28509 28483 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722443522 18763776 386 268435456000 4194304 4287625 140733637462192 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 3 0 0 0
/proc/28509/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50056 s]
/proc/loadavg: 29.67 31.28 31.39 1/413 28509
/proc/meminfo: memFree=255444224/264257624 swapFree=67111528/67111528
[pid=28509] ppid=28507 vsize=18324 CPUtime=0 cores=0-31
/proc/28509/stat : 28509 (ppfolio) S 28507 28509 28483 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722443522 18763776 386 268435456000 4194304 4287625 140733637462192 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 3 0 0 0
/proc/28509/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+3.10162 s]
/proc/loadavg: 29.86 31.30 31.39 33/447 28548
/proc/meminfo: memFree=255342300/264257624 swapFree=67111528/67111528
[pid=28509] ppid=28507 vsize=18324 CPUtime=0 cores=0-31
/proc/28509/stat : 28509 (ppfolio) S 28507 28509 28483 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722443522 18763776 386 268435456000 4194304 4287625 140733637462192 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 3 0 0 0
/proc/28509/statm: 4581 386 337 23 0 91 0
[pid=28510] ppid=28509 vsize=813500 CPUtime=3.08 cores=0
/proc/28510/stat : 28510 (cryptominisat) R 28509 28509 28483 0 -1 4202496 3084 0 0 0 308 0 0 0 25 0 1 0 722443523 833024000 1265 268435456000 4194304 4587354 140734407571456 18446744073709551615 4238442 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28510/statm: 203375 1265 335 96 0 199937 0
[pid=28511] ppid=28509 vsize=14732 CPUtime=3.08 cores=1
/proc/28511/stat : 28511 (clasp) R 28509 28509 28483 0 -1 4202496 1138 0 0 0 308 0 0 0 25 0 1 0 722443523 15085568 1027 268435456000 4194304 4785740 140733704044112 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28511/statm: 3683 1027 338 145 0 728 0
[pid=28512] ppid=28509 vsize=455972 CPUtime=3.08 cores=2
/proc/28512/stat : 28512 (TNM) R 28509 28509 28483 0 -1 4202496 383 0 0 0 308 0 0 0 25 0 1 0 722443523 466915328 281 268435456000 134512640 134534564 4288530656 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28512/statm: 113993 281 95 6 0 112658 0
[pid=28513] ppid=28509 vsize=9032 CPUtime=3.08 cores=3
/proc/28513/stat : 28513 (march_hi) R 28509 28509 28483 0 -1 4202496 810 0 0 0 308 0 0 0 25 0 1 0 722443523 9248768 643 268435456000 4194304 4331988 140736316977520 18446744073709551615 4226144 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28513/statm: 2258 643 174 34 0 700 0
[pid=28514] ppid=28509 vsize=512668 CPUtime=84.14 cores=4-31
/proc/28514/stat : 28514 (plingeling) S 28509 28509 28483 0 -1 4202496 34123 1247 0 0 8364 49 0 1 25 0 29 0 722443523 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/28514/statm: 128167 23655 159 40 0 126711 0
[pid=28514/tid=28521] ppid=28509 vsize=512668 CPUtime=3.02 cores=4-31
/proc/28514/task/28521/stat : 28521 (plingeling) R 28509 28509 28483 0 -1 4202560 934 1247 0 0 300 1 0 1 25 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4274287 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28514/tid=28522] ppid=28509 vsize=512668 CPUtime=3.02 cores=4-31
/proc/28514/task/28522/stat : 28522 (plingeling) R 28509 28509 28483 0 -1 4202560 895 1247 0 0 300 1 0 1 25 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28514/tid=28523] ppid=28509 vsize=512668 CPUtime=3.01 cores=4-31
/proc/28514/task/28523/stat : 28523 (plingeling) R 28509 28509 28483 0 -1 4202560 1088 1247 0 0 299 1 0 1 25 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28514/tid=28524] ppid=28509 vsize=512668 CPUtime=3.02 cores=4-31
/proc/28514/task/28524/stat : 28524 (plingeling) R 28509 28509 28483 0 -1 4202560 2230 1247 0 0 298 3 0 1 25 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28514/tid=28525] ppid=28509 vsize=512668 CPUtime=3.01 cores=4-31
/proc/28514/task/28525/stat : 28525 (plingeling) R 28509 28509 28483 0 -1 4202560 851 1247 0 0 299 1 0 1 25 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28514/tid=28526] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28526/stat : 28526 (plingeling) R 28509 28509 28483 0 -1 4202560 1442 1247 0 0 298 1 0 1 25 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330827 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28514/tid=28527] ppid=28509 vsize=512668 CPUtime=3.02 cores=4-31
/proc/28514/task/28527/stat : 28527 (plingeling) R 28509 28509 28483 0 -1 4202560 901 1247 0 0 300 1 0 1 25 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28514/tid=28528] ppid=28509 vsize=512668 CPUtime=3.01 cores=4-31
/proc/28514/task/28528/stat : 28528 (plingeling) R 28509 28509 28483 0 -1 4202560 747 1247 0 0 300 0 0 1 25 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4279481 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28514/tid=28529] ppid=28509 vsize=512668 CPUtime=3.01 cores=4-31
/proc/28514/task/28529/stat : 28529 (plingeling) R 28509 28509 28483 0 -1 4202560 1242 1247 0 0 299 1 0 1 21 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4238833 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28514/tid=28530] ppid=28509 vsize=512668 CPUtime=3.01 cores=4-31
/proc/28514/task/28530/stat : 28530 (plingeling) R 28509 28509 28483 0 -1 4202560 870 1247 0 0 299 1 0 1 25 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331203 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28514/tid=28531] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28531/stat : 28531 (plingeling) R 28509 28509 28483 0 -1 4202560 825 1247 0 0 299 0 0 1 24 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28514/tid=28532] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28532/stat : 28532 (plingeling) R 28509 28509 28483 0 -1 4202560 1888 1247 0 0 296 3 0 1 18 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28514/tid=28533] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28533/stat : 28533 (plingeling) R 28509 28509 28483 0 -1 4202560 905 1247 0 0 299 0 0 1 21 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28514/tid=28534] ppid=28509 vsize=512668 CPUtime=2.95 cores=4-31
/proc/28514/task/28534/stat : 28534 (plingeling) R 28509 28509 28483 0 -1 4202560 894 1247 0 0 293 1 0 1 25 0 29 0 722443530 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332710 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28514/tid=28535] ppid=28509 vsize=512668 CPUtime=2.99 cores=4-31
/proc/28514/task/28535/stat : 28535 (plingeling) R 28509 28509 28483 0 -1 4202560 1493 1247 0 0 296 2 0 1 24 0 29 0 722443531 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331792 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28514/tid=28536] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28536/stat : 28536 (plingeling) R 28509 28509 28483 0 -1 4202560 985 1247 0 0 298 1 0 1 25 0 29 0 722443531 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28514/tid=28537] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28537/stat : 28537 (plingeling) R 28509 28509 28483 0 -1 4202560 916 1247 0 0 298 1 0 1 25 0 29 0 722443531 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28514/tid=28538] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28538/stat : 28538 (plingeling) R 28509 28509 28483 0 -1 4202560 1208 1247 0 0 298 1 0 1 25 0 29 0 722443531 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331212 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28514/tid=28539] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28539/stat : 28539 (plingeling) R 28509 28509 28483 0 -1 4202560 849 1247 0 0 298 1 0 1 25 0 29 0 722443531 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28514/tid=28540] ppid=28509 vsize=512668 CPUtime=2.99 cores=4-31
/proc/28514/task/28540/stat : 28540 (plingeling) R 28509 28509 28483 0 -1 4202560 1948 1247 0 0 295 3 0 1 18 0 29 0 722443531 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4279522 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28514/tid=28541] ppid=28509 vsize=512668 CPUtime=2.99 cores=4-31
/proc/28514/task/28541/stat : 28541 (plingeling) R 28509 28509 28483 0 -1 4202560 1360 1247 0 0 297 1 0 1 18 0 29 0 722443531 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4275688 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28514/tid=28542] ppid=28509 vsize=512668 CPUtime=3.01 cores=4-31
/proc/28514/task/28542/stat : 28542 (plingeling) R 28509 28509 28483 0 -1 4202560 1245 1247 0 0 298 2 0 1 22 0 29 0 722443531 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28514/tid=28543] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28543/stat : 28543 (plingeling) R 28509 28509 28483 0 -1 4202560 857 1247 0 0 298 1 0 1 25 0 29 0 722443531 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28514/tid=28544] ppid=28509 vsize=512668 CPUtime=2.99 cores=4-31
/proc/28514/task/28544/stat : 28544 (plingeling) R 28509 28509 28483 0 -1 4202560 1329 1247 0 0 297 1 0 1 25 0 29 0 722443532 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28514/tid=28545] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28545/stat : 28545 (plingeling) R 28509 28509 28483 0 -1 4202560 764 1247 0 0 299 0 0 1 24 0 29 0 722443532 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28514/tid=28546] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28546/stat : 28546 (plingeling) R 28509 28509 28483 0 -1 4202560 682 1247 0 0 299 0 0 1 25 0 29 0 722443532 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332109 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28514/tid=28547] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28547/stat : 28547 (plingeling) R 28509 28509 28483 0 -1 4202560 1062 1247 0 0 298 1 0 1 25 0 29 0 722443532 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28514/tid=28548] ppid=28509 vsize=512668 CPUtime=3 cores=4-31
/proc/28514/task/28548/stat : 28548 (plingeling) R 28509 28509 28483 0 -1 4202560 1951 1247 0 0 296 3 0 1 21 0 29 0 722443532 524972032 23655 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 96.46
Current children cumulated vsize (KiB) 1824228
[startup+6.30173 s]
/proc/loadavg: 29.86 31.30 31.39 33/447 28548
/proc/meminfo: memFree=255297384/264257624 swapFree=67111528/67111528
[pid=28509] ppid=28507 vsize=18324 CPUtime=0 cores=0-31
/proc/28509/stat : 28509 (ppfolio) S 28507 28509 28483 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722443522 18763776 386 268435456000 4194304 4287625 140733637462192 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 3 0 0 0
/proc/28509/statm: 4581 386 337 23 0 91 0
[pid=28510] ppid=28509 vsize=826996 CPUtime=6.28 cores=0
/proc/28510/stat : 28510 (cryptominisat) R 28509 28509 28483 0 -1 4202496 6855 0 0 0 627 1 0 0 25 0 1 0 722443523 846843904 4384 268435456000 4194304 4587354 140734407571456 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28510/statm: 206749 4384 335 96 0 203311 0
[pid=28511] ppid=28509 vsize=15424 CPUtime=6.28 cores=1
/proc/28511/stat : 28511 (clasp) R 28509 28509 28483 0 -1 4202496 1316 0 0 0 628 0 0 0 25 0 1 0 722443523 15794176 1205 268435456000 4194304 4785740 140733704044112 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28511/statm: 3856 1205 338 145 0 901 0
[pid=28512] ppid=28509 vsize=455972 CPUtime=6.28 cores=2
/proc/28512/stat : 28512 (TNM) R 28509 28509 28483 0 -1 4202496 383 0 0 0 628 0 0 0 25 0 1 0 722443523 466915328 281 268435456000 134512640 134534564 4288530656 18446744073709551615 134530582 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28512/statm: 113993 281 95 6 0 112658 0
[pid=28513] ppid=28509 vsize=10204 CPUtime=6.28 cores=3
/proc/28513/stat : 28513 (march_hi) R 28509 28509 28483 0 -1 4202496 1037 0 0 0 628 0 0 0 25 0 1 0 722443523 10448896 870 268435456000 4194304 4331988 140736316977520 18446744073709551615 4263238 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28513/statm: 2551 870 174 34 0 993 0
[pid=28514] ppid=28509 vsize=539044 CPUtime=173.51 cores=4-31
/proc/28514/stat : 28514 (plingeling) S 28509 28509 28483 0 -1 4202496 55021 1247 0 0 17271 79 0 1 25 0 29 0 722443523 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/28514/statm: 134761 30281 159 40 0 133305 0
[pid=28514/tid=28521] ppid=28509 vsize=539044 CPUtime=6.22 cores=4-31
/proc/28514/task/28521/stat : 28521 (plingeling) R 28509 28509 28483 0 -1 4202560 1670 1247 0 0 619 2 0 1 25 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28514/tid=28522] ppid=28509 vsize=539044 CPUtime=6.22 cores=4-31
/proc/28514/task/28522/stat : 28522 (plingeling) R 28509 28509 28483 0 -1 4202560 1664 1247 0 0 619 2 0 1 25 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28514/tid=28523] ppid=28509 vsize=539044 CPUtime=6.22 cores=4-31
/proc/28514/task/28523/stat : 28523 (plingeling) R 28509 28509 28483 0 -1 4202560 2272 1247 0 0 618 3 0 1 25 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28514/tid=28524] ppid=28509 vsize=539044 CPUtime=6.22 cores=4-31
/proc/28514/task/28524/stat : 28524 (plingeling) R 28509 28509 28483 0 -1 4202560 3528 1247 0 0 616 5 0 1 25 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28514/tid=28525] ppid=28509 vsize=539044 CPUtime=6.21 cores=4-31
/proc/28514/task/28525/stat : 28525 (plingeling) R 28509 28509 28483 0 -1 4202560 1107 1247 0 0 619 1 0 1 25 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331337 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28514/tid=28526] ppid=28509 vsize=539044 CPUtime=6.19 cores=4-31
/proc/28514/task/28526/stat : 28526 (plingeling) R 28509 28509 28483 0 -1 4202560 2258 1247 0 0 616 2 0 1 25 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28514/tid=28527] ppid=28509 vsize=539044 CPUtime=6.21 cores=4-31
/proc/28514/task/28527/stat : 28527 (plingeling) R 28509 28509 28483 0 -1 4202560 1221 1247 0 0 618 2 0 1 25 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332149 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28514/tid=28528] ppid=28509 vsize=539044 CPUtime=6.12 cores=4-31
/proc/28514/task/28528/stat : 28528 (plingeling) R 28509 28509 28483 0 -1 4202560 1100 1247 0 0 610 1 0 1 25 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28514/tid=28529] ppid=28509 vsize=539044 CPUtime=6.21 cores=4-31
/proc/28514/task/28529/stat : 28529 (plingeling) R 28509 28509 28483 0 -1 4202560 2429 1247 0 0 617 3 0 1 25 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28514/tid=28530] ppid=28509 vsize=539044 CPUtime=6.21 cores=4-31
/proc/28514/task/28530/stat : 28530 (plingeling) R 28509 28509 28483 0 -1 4202560 1367 1247 0 0 618 2 0 1 25 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331352 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28514/tid=28531] ppid=28509 vsize=539044 CPUtime=6.21 cores=4-31
/proc/28514/task/28531/stat : 28531 (plingeling) R 28509 28509 28483 0 -1 4202560 1402 1247 0 0 618 2 0 1 25 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28514/tid=28532] ppid=28509 vsize=539044 CPUtime=6.2 cores=4-31
/proc/28514/task/28532/stat : 28532 (plingeling) R 28509 28509 28483 0 -1 4202560 2913 1247 0 0 615 4 0 1 22 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331281 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28514/tid=28533] ppid=28509 vsize=539044 CPUtime=6.2 cores=4-31
/proc/28514/task/28533/stat : 28533 (plingeling) R 28509 28509 28483 0 -1 4202560 1289 1247 0 0 618 1 0 1 25 0 29 0 722443530 551981056 30281 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 23 0 0 0
################
# More data... #
################
/proc/28514/statm: 237534 133002 159 40 0 236078 0
[pid=28514/tid=28521] ppid=28509 vsize=950136 CPUtime=217.16 cores=4-31
/proc/28514/task/28521/stat : 28521 (plingeling) R 28509 28509 28483 0 -1 4202560 25837 1247 0 0 21688 27 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28514/tid=28522] ppid=28509 vsize=950136 CPUtime=218.28 cores=4-31
/proc/28514/task/28522/stat : 28522 (plingeling) R 28509 28509 28483 0 -1 4202560 20946 1247 0 0 21807 20 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28514/tid=28523] ppid=28509 vsize=950136 CPUtime=218.16 cores=4-31
/proc/28514/task/28523/stat : 28523 (plingeling) R 28509 28509 28483 0 -1 4202560 31140 1247 0 0 21787 28 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28514/tid=28524] ppid=28509 vsize=950136 CPUtime=218.26 cores=4-31
/proc/28514/task/28524/stat : 28524 (plingeling) R 28509 28509 28483 0 -1 4202560 42523 1247 0 0 21781 44 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28514/tid=28525] ppid=28509 vsize=950136 CPUtime=218.36 cores=4-31
/proc/28514/task/28525/stat : 28525 (plingeling) R 28509 28509 28483 0 -1 4202560 19830 1247 0 0 21817 18 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28514/tid=28526] ppid=28509 vsize=950136 CPUtime=218.32 cores=4-31
/proc/28514/task/28526/stat : 28526 (plingeling) R 28509 28509 28483 0 -1 4202560 29398 1247 0 0 21808 23 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28514/tid=28527] ppid=28509 vsize=950136 CPUtime=218.33 cores=4-31
/proc/28514/task/28527/stat : 28527 (plingeling) R 28509 28509 28483 0 -1 4202560 27227 1247 0 0 21808 24 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331072 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28514/tid=28528] ppid=28509 vsize=950136 CPUtime=217.73 cores=4-31
/proc/28514/task/28528/stat : 28528 (plingeling) R 28509 28509 28483 0 -1 4202560 15823 1247 0 0 21746 26 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28514/tid=28529] ppid=28509 vsize=950136 CPUtime=214.12 cores=4-31
/proc/28514/task/28529/stat : 28529 (plingeling) R 28509 28509 28483 0 -1 4202560 29536 1247 0 0 21385 26 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28514/tid=28530] ppid=28509 vsize=950136 CPUtime=218.34 cores=4-31
/proc/28514/task/28530/stat : 28530 (plingeling) R 28509 28509 28483 0 -1 4202560 28733 1247 0 0 21807 26 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28514/tid=28531] ppid=28509 vsize=950136 CPUtime=218.33 cores=4-31
/proc/28514/task/28531/stat : 28531 (plingeling) R 28509 28509 28483 0 -1 4202560 22686 1247 0 0 21811 21 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331337 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28514/tid=28532] ppid=28509 vsize=950136 CPUtime=218.28 cores=4-31
/proc/28514/task/28532/stat : 28532 (plingeling) R 28509 28509 28483 0 -1 4202560 42372 1247 0 0 21789 38 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28514/tid=28533] ppid=28509 vsize=950136 CPUtime=218.32 cores=4-31
/proc/28514/task/28533/stat : 28533 (plingeling) R 28509 28509 28483 0 -1 4202560 30736 1247 0 0 21803 28 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28514/tid=28534] ppid=28509 vsize=950136 CPUtime=218.28 cores=4-31
/proc/28514/task/28534/stat : 28534 (plingeling) R 28509 28509 28483 0 -1 4202560 23586 1247 0 0 21807 20 0 1 25 0 29 0 722443530 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28514/tid=28535] ppid=28509 vsize=950136 CPUtime=218.33 cores=4-31
/proc/28514/task/28535/stat : 28535 (plingeling) R 28509 28509 28483 0 -1 4202560 29897 1247 0 0 21802 30 0 1 25 0 29 0 722443531 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28514/tid=28536] ppid=28509 vsize=950136 CPUtime=218.35 cores=4-31
/proc/28514/task/28536/stat : 28536 (plingeling) R 28509 28509 28483 0 -1 4202560 23262 1247 0 0 21790 44 0 1 25 0 29 0 722443531 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28514/tid=28537] ppid=28509 vsize=950136 CPUtime=218.29 cores=4-31
/proc/28514/task/28537/stat : 28537 (plingeling) R 28509 28509 28483 0 -1 4202560 18615 1247 0 0 21810 18 0 1 25 0 29 0 722443531 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28514/tid=28538] ppid=28509 vsize=950136 CPUtime=218.34 cores=4-31
/proc/28514/task/28538/stat : 28538 (plingeling) R 28509 28509 28483 0 -1 4202560 32187 1247 0 0 21803 30 0 1 25 0 29 0 722443531 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28514/tid=28539] ppid=28509 vsize=950136 CPUtime=218.34 cores=4-31
/proc/28514/task/28539/stat : 28539 (plingeling) R 28509 28509 28483 0 -1 4202560 26455 1247 0 0 21812 21 0 1 25 0 29 0 722443531 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4279666 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28514/tid=28540] ppid=28509 vsize=950136 CPUtime=218.3 cores=4-31
/proc/28514/task/28540/stat : 28540 (plingeling) R 28509 28509 28483 0 -1 4202560 40688 1247 0 0 21793 36 0 1 25 0 29 0 722443531 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28514/tid=28541] ppid=28509 vsize=950136 CPUtime=218.3 cores=4-31
/proc/28514/task/28541/stat : 28541 (plingeling) R 28509 28509 28483 0 -1 4202560 31316 1247 0 0 21800 29 0 1 25 0 29 0 722443531 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332145 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28514/tid=28542] ppid=28509 vsize=950136 CPUtime=218.24 cores=4-31
/proc/28514/task/28542/stat : 28542 (plingeling) R 28509 28509 28483 0 -1 4202560 28515 1247 0 0 21790 33 0 1 25 0 29 0 722443531 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4210812 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28514/tid=28543] ppid=28509 vsize=950136 CPUtime=218.28 cores=4-31
/proc/28514/task/28543/stat : 28543 (plingeling) R 28509 28509 28483 0 -1 4202560 24077 1247 0 0 21804 23 0 1 25 0 29 0 722443531 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28514/tid=28544] ppid=28509 vsize=950136 CPUtime=218.32 cores=4-31
/proc/28514/task/28544/stat : 28544 (plingeling) R 28509 28509 28483 0 -1 4202560 22261 1247 0 0 21795 36 0 1 25 0 29 0 722443532 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28514/tid=28545] ppid=28509 vsize=950136 CPUtime=218.34 cores=4-31
/proc/28514/task/28545/stat : 28545 (plingeling) R 28509 28509 28483 0 -1 4202560 25284 1247 0 0 21806 27 0 1 25 0 29 0 722443532 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28514/tid=28546] ppid=28509 vsize=950136 CPUtime=218.34 cores=4-31
/proc/28514/task/28546/stat : 28546 (plingeling) R 28509 28509 28483 0 -1 4202560 21967 1247 0 0 21819 14 0 1 25 0 29 0 722443532 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28514/tid=28547] ppid=28509 vsize=950136 CPUtime=218.2 cores=4-31
/proc/28514/task/28547/stat : 28547 (plingeling) R 28509 28509 28483 0 -1 4202560 29467 1247 0 0 21793 26 0 1 25 0 29 0 722443532 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4211032 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28514/tid=28548] ppid=28509 vsize=950136 CPUtime=218.31 cores=4-31
/proc/28514/task/28548/stat : 28548 (plingeling) R 28509 28509 28483 0 -1 4202560 43908 1247 0 0 21794 36 0 1 25 0 29 0 722443532 972939264 133002 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 6980.38
Current children cumulated vsize (KiB) 2415540
[startup+218.702 s]
/proc/loadavg: 31.98 31.68 31.52 33/447 28554
/proc/meminfo: memFree=254781736/264257624 swapFree=67111528/67111528
[pid=28509] ppid=28507 vsize=18324 CPUtime=0 cores=0-31
/proc/28509/stat : 28509 (ppfolio) S 28507 28509 28483 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722443522 18763776 386 268435456000 4194304 4287625 140733637462192 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 3 0 0 0
/proc/28509/statm: 4581 386 337 23 0 91 0
[pid=28510] ppid=28509 vsize=860560 CPUtime=218.64 cores=0
/proc/28510/stat : 28510 (cryptominisat) R 28509 28509 28483 0 -1 4202496 53403 0 0 0 21844 20 0 0 25 0 1 0 722443523 881213440 13188 268435456000 4194304 4587354 140734407571456 18446744073709551615 4238763 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28510/statm: 215140 13188 335 96 0 211702 0
[pid=28511] ppid=28509 vsize=22992 CPUtime=218.64 cores=1
/proc/28511/stat : 28511 (clasp) R 28509 28509 28483 0 -1 4202496 3131 0 0 0 21863 1 0 0 25 0 1 0 722443523 23543808 3020 268435456000 4194304 4785740 140733704044112 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28511/statm: 5748 3020 339 145 0 2793 0
[pid=28512] ppid=28509 vsize=455972 CPUtime=218.64 cores=2
/proc/28512/stat : 28512 (TNM) R 28509 28509 28483 0 -1 4202496 383 0 0 0 21864 0 0 0 25 0 1 0 722443523 466915328 281 268435456000 134512640 134534564 4288530656 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28512/statm: 113993 281 95 6 0 112658 0
[pid=28513] ppid=28509 vsize=107556 CPUtime=218.64 cores=3
/proc/28513/stat : 28513 (march_hi) R 28509 28509 28483 0 -1 4202496 18067 0 0 0 21848 16 0 0 25 0 1 0 722443523 110137344 17900 268435456000 4194304 4331988 140736316977520 18446744073709551615 4212341 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28513/statm: 26889 17900 174 34 0 25331 0
[pid=28514] ppid=28509 vsize=952696 CPUtime=6112.21 cores=4-31
/proc/28514/stat : 28514 (plingeling) S 28509 28509 28483 0 -1 4202496 790674 1247 0 0 610432 788 0 1 25 0 29 0 722443523 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/28514/statm: 238174 133642 159 40 0 236718 0
[pid=28514/tid=28521] ppid=28509 vsize=952696 CPUtime=217.36 cores=4-31
/proc/28514/task/28521/stat : 28521 (plingeling) R 28509 28509 28483 0 -1 4202560 25837 1247 0 0 21708 27 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28514/tid=28522] ppid=28509 vsize=952696 CPUtime=218.48 cores=4-31
/proc/28514/task/28522/stat : 28522 (plingeling) R 28509 28509 28483 0 -1 4202560 20946 1247 0 0 21827 20 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28514/tid=28523] ppid=28509 vsize=952696 CPUtime=218.36 cores=4-31
/proc/28514/task/28523/stat : 28523 (plingeling) R 28509 28509 28483 0 -1 4202560 31140 1247 0 0 21807 28 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28514/tid=28524] ppid=28509 vsize=952696 CPUtime=218.46 cores=4-31
/proc/28514/task/28524/stat : 28524 (plingeling) R 28509 28509 28483 0 -1 4202560 42523 1247 0 0 21801 44 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28514/tid=28525] ppid=28509 vsize=952696 CPUtime=218.56 cores=4-31
/proc/28514/task/28525/stat : 28525 (plingeling) R 28509 28509 28483 0 -1 4202560 19830 1247 0 0 21837 18 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28514/tid=28526] ppid=28509 vsize=952696 CPUtime=218.52 cores=4-31
/proc/28514/task/28526/stat : 28526 (plingeling) R 28509 28509 28483 0 -1 4202560 29526 1247 0 0 21828 23 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28514/tid=28527] ppid=28509 vsize=952696 CPUtime=218.53 cores=4-31
/proc/28514/task/28527/stat : 28527 (plingeling) R 28509 28509 28483 0 -1 4202560 27227 1247 0 0 21828 24 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28514/tid=28528] ppid=28509 vsize=952696 CPUtime=217.93 cores=4-31
/proc/28514/task/28528/stat : 28528 (plingeling) R 28509 28509 28483 0 -1 4202560 15823 1247 0 0 21766 26 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28514/tid=28529] ppid=28509 vsize=952696 CPUtime=214.32 cores=4-31
/proc/28514/task/28529/stat : 28529 (plingeling) R 28509 28509 28483 0 -1 4202560 29536 1247 0 0 21405 26 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28514/tid=28530] ppid=28509 vsize=952696 CPUtime=218.54 cores=4-31
/proc/28514/task/28530/stat : 28530 (plingeling) R 28509 28509 28483 0 -1 4202560 28733 1247 0 0 21827 26 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28514/tid=28531] ppid=28509 vsize=952696 CPUtime=218.53 cores=4-31
/proc/28514/task/28531/stat : 28531 (plingeling) R 28509 28509 28483 0 -1 4202560 22686 1247 0 0 21831 21 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332041 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28514/tid=28532] ppid=28509 vsize=952696 CPUtime=218.48 cores=4-31
/proc/28514/task/28532/stat : 28532 (plingeling) R 28509 28509 28483 0 -1 4202560 42372 1247 0 0 21809 38 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28514/tid=28533] ppid=28509 vsize=952696 CPUtime=218.52 cores=4-31
/proc/28514/task/28533/stat : 28533 (plingeling) R 28509 28509 28483 0 -1 4202560 30736 1247 0 0 21823 28 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332162 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28514/tid=28534] ppid=28509 vsize=952696 CPUtime=218.48 cores=4-31
/proc/28514/task/28534/stat : 28534 (plingeling) R 28509 28509 28483 0 -1 4202560 23586 1247 0 0 21827 20 0 1 25 0 29 0 722443530 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28514/tid=28535] ppid=28509 vsize=952696 CPUtime=218.53 cores=4-31
/proc/28514/task/28535/stat : 28535 (plingeling) R 28509 28509 28483 0 -1 4202560 30153 1247 0 0 21822 30 0 1 25 0 29 0 722443531 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28514/tid=28536] ppid=28509 vsize=952696 CPUtime=218.55 cores=4-31
/proc/28514/task/28536/stat : 28536 (plingeling) R 28509 28509 28483 0 -1 4202560 23262 1247 0 0 21810 44 0 1 25 0 29 0 722443531 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28514/tid=28537] ppid=28509 vsize=952696 CPUtime=218.49 cores=4-31
/proc/28514/task/28537/stat : 28537 (plingeling) R 28509 28509 28483 0 -1 4202560 18615 1247 0 0 21830 18 0 1 25 0 29 0 722443531 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28514/tid=28538] ppid=28509 vsize=952696 CPUtime=218.54 cores=4-31
/proc/28514/task/28538/stat : 28538 (plingeling) R 28509 28509 28483 0 -1 4202560 32187 1247 0 0 21823 30 0 1 25 0 29 0 722443531 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331212 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28514/tid=28539] ppid=28509 vsize=952696 CPUtime=218.54 cores=4-31
/proc/28514/task/28539/stat : 28539 (plingeling) R 28509 28509 28483 0 -1 4202560 26455 1247 0 0 21832 21 0 1 25 0 29 0 722443531 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28514/tid=28540] ppid=28509 vsize=952696 CPUtime=218.5 cores=4-31
/proc/28514/task/28540/stat : 28540 (plingeling) R 28509 28509 28483 0 -1 4202560 40688 1247 0 0 21813 36 0 1 25 0 29 0 722443531 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28514/tid=28541] ppid=28509 vsize=952696 CPUtime=218.5 cores=4-31
/proc/28514/task/28541/stat : 28541 (plingeling) R 28509 28509 28483 0 -1 4202560 31316 1247 0 0 21820 29 0 1 25 0 29 0 722443531 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4332225 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28514/tid=28542] ppid=28509 vsize=952696 CPUtime=218.44 cores=4-31
/proc/28514/task/28542/stat : 28542 (plingeling) R 28509 28509 28483 0 -1 4202560 28515 1247 0 0 21810 33 0 1 25 0 29 0 722443531 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28514/tid=28543] ppid=28509 vsize=952696 CPUtime=218.48 cores=4-31
/proc/28514/task/28543/stat : 28543 (plingeling) R 28509 28509 28483 0 -1 4202560 24077 1247 0 0 21824 23 0 1 25 0 29 0 722443531 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28514/tid=28544] ppid=28509 vsize=952696 CPUtime=218.52 cores=4-31
/proc/28514/task/28544/stat : 28544 (plingeling) R 28509 28509 28483 0 -1 4202560 22517 1247 0 0 21815 36 0 1 25 0 29 0 722443532 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28514/tid=28545] ppid=28509 vsize=952696 CPUtime=218.54 cores=4-31
/proc/28514/task/28545/stat : 28545 (plingeling) R 28509 28509 28483 0 -1 4202560 25284 1247 0 0 21826 27 0 1 25 0 29 0 722443532 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28514/tid=28546] ppid=28509 vsize=952696 CPUtime=218.54 cores=4-31
/proc/28514/task/28546/stat : 28546 (plingeling) R 28509 28509 28483 0 -1 4202560 21967 1247 0 0 21839 14 0 1 25 0 29 0 722443532 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28514/tid=28547] ppid=28509 vsize=952696 CPUtime=218.4 cores=4-31
/proc/28514/task/28547/stat : 28547 (plingeling) R 28509 28509 28483 0 -1 4202560 29467 1247 0 0 21813 26 0 1 25 0 29 0 722443532 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28514/tid=28548] ppid=28509 vsize=952696 CPUtime=218.51 cores=4-31
/proc/28514/task/28548/stat : 28548 (plingeling) R 28509 28509 28483 0 -1 4202560 43908 1247 0 0 21814 36 0 1 25 0 29 0 722443532 975560704 133642 268435456000 4194304 4356188 140733501395456 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 6986.77
Current children cumulated vsize (KiB) 2418100
[startup+218.802 s]
/proc/loadavg: 31.98 31.68 31.52 33/447 28554
/proc/meminfo: memFree=254781736/264257624 swapFree=67111528/67111528
[pid=28509] ppid=28507 vsize=18324 CPUtime=656.16 cores=0-31
/proc/28509/stat : 28509 (ppfolio) S 28507 28509 28483 0 -1 4202496 517 56949 0 0 0 0 65593 23 15 0 1 0 722443522 18763776 387 268435456000 4194304 4287625 140733637462192 18446744073709551615 258650975999 0 0 4096 65536 1907240804007542784 0 0 17 15 0 0 0
/proc/28509/statm: 4581 387 338 23 0 91 0
[pid=28513] ppid=28509 vsize=0 CPUtime=218.71 cores=3
/proc/28513/stat : 28513 (march_hi) Z 28509 28509 28483 0 -1 4203548 18073 0 0 0 21855 16 0 0 25 0 1 0 722443523 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28513/statm: 0 0 0 0 0 0 0
[pid=28514] ppid=28509 vsize=0 CPUtime=6114.17 cores=4-31
/proc/28514/stat : 28514 (plingeling) Z 28509 28509 28483 0 -1 4203548 790802 1247 0 0 610625 791 0 1 18 0 2 0 722443523 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/28514/statm: 0 0 0 0 0 0 0
[pid=28514/tid=28548] ppid=28509 vsize=0 CPUtime=218.62 cores=4-31
/proc/28514/task/28548/stat : 28548 (plingeling) R 28509 28509 28483 0 -1 4203588 43908 1247 0 0 21821 40 0 1 25 0 2 0 722443532 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 6989.04
Current children cumulated vsize (KiB) 18324
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28509 and gives
# childrusage.ru_utime.tv_sec=874
# childrusage.ru_utime.tv_usec=497056
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=405938
# CPU time returned by wait4() is 874.903
# while last known CPU time is 6989.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 218.826
CPU time (s): 6989.04
CPU user time (s): 6980.73
CPU system time (s): 8.31
CPU usage (%): 3193.88
Max. virtual memory (cumulated for all children) (KiB): 3170792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 874.497
system time used= 0.405938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75558
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= 838
involuntary context switches= 1531
runsolver used 1.20382 second user time and 4.98324 second system time
The end
Begin job on node200 at 2011-05-23 02:12:51
IDJOB=3347653
IDBENCH=84808
IDSOLVER=1808
FILE ID=node200/3347653-1306109571
RUNJOBID= node200-1306109571-28497
PBS_JOBID= 13387825
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347653-1306109571/watcher-3347653-1306109571 -o /tmp/evaluation-result-3347653-1306109571/solver-3347653-1306109571 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347653-1306109571.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 5ba57e5cfd40b4a93356dbea5162016d
RANDOM SEED=657956241
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: 255444752 kB
Buffers: 456240 kB
Cached: 7954260 kB
SwapCached: 0 kB
Active: 7507448 kB
Inactive: 971828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255444752 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10168 kB
Writeback: 0 kB
AnonPages: 69452 kB
Mapped: 13484 kB
Slab: 253136 kB
PageTables: 3996 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 178092 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= 62036 MiB
End job on node200 at 2011-05-23 02:16:30