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
0.00/0.01
28074.45/1036.81 s UNSATISFIABLE
28074.45/1036.89 solver [5] plingeling 276-6264d55-100731 answered
28074.45/1036.89 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-3347389-1305135866/watcher-3347389-1305135866 -o /tmp/evaluation-result-3347389-1305135866/solver-3347389-1305135866 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347389-1305135866.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: 25.08 30.09 29.90 1/413 9898
/proc/meminfo: memFree=255819280/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=0 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 214 0 0 0 0 0 0 25 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633292 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[startup+0.091103 s]
/proc/loadavg: 25.08 30.09 29.90 1/413 9898
/proc/meminfo: memFree=255819280/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=0 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 214 0 0 0 0 0 0 25 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633292 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.101106 s]
/proc/loadavg: 25.08 30.09 29.90 1/413 9898
/proc/meminfo: memFree=255819280/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=0 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 214 0 0 0 0 0 0 25 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633292 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.301109 s]
/proc/loadavg: 25.08 30.09 29.90 1/413 9898
/proc/meminfo: memFree=255819280/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=0 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 214 0 0 0 0 0 0 25 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633292 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.701097 s]
/proc/loadavg: 25.08 30.09 29.90 1/413 9898
/proc/meminfo: memFree=255819280/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=0 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 214 0 0 0 0 0 0 25 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633292 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50113 s]
/proc/loadavg: 25.08 30.09 29.90 5/418 9909
/proc/meminfo: memFree=255392656/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=0 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 214 0 0 0 0 0 0 25 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633292 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=191572 CPUtime=1.48 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 42088 0 0 0 136 12 0 0 25 0 1 0 625073815 196169728 41661 268435456000 4194304 4587354 140737219643024 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 47893 41662 286 96 0 44455 0
[pid=9900] ppid=9898 vsize=142424 CPUtime=1.48 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 36235 0 0 0 131 17 0 0 20 0 1 0 625073815 145842176 32027 268435456000 4194304 4785740 140733553016656 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 35606 32027 307 145 0 32651 0
[pid=9902] ppid=9898 vsize=242536 CPUtime=1.48 cores=3
/proc/9902/stat : 9902 (march_hi) R 9898 9898 9872 0 -1 4194304 50564 0 0 0 134 14 0 0 20 0 1 0 625073815 248356864 50459 268435456000 4194304 4331988 140734261467040 18446744073709551615 258650955760 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9902/statm: 60634 50460 112 34 0 59076 0
[pid=9903] ppid=9898 vsize=78296 CPUtime=1.48 cores=4-31
/proc/9903/stat : 9903 (plingeling) R 9898 9898 9872 0 -1 4202496 18353 1239 0 0 143 5 0 0 21 0 1 0 625073815 80175104 18233 268435456000 4194304 4356188 140733804080096 18446744073709551615 4278267 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/9903/statm: 19574 18233 129 40 0 18118 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 673152
[startup+3.10118 s]
/proc/loadavg: 25.08 30.09 29.90 5/418 9909
/proc/meminfo: memFree=255027516/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=0 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 214 0 0 0 0 0 0 25 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633292 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=506760 CPUtime=3.08 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 107040 0 0 0 277 31 0 0 25 0 1 0 625073815 518922240 106219 268435456000 4194304 4587354 140737219643024 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 126690 106223 286 96 0 123252 0
[pid=9900] ppid=9898 vsize=217328 CPUtime=3.08 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 54962 0 0 0 276 32 0 0 25 0 1 0 625073815 222543872 50754 268435456000 4194304 4785740 140733553016656 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 54332 50755 307 145 0 51377 0
[pid=9902] ppid=9898 vsize=329524 CPUtime=3.08 cores=3
/proc/9902/stat : 9902 (march_hi) R 9898 9898 9872 0 -1 4194304 74981 0 0 0 284 24 0 0 25 0 1 0 625073815 337432576 74876 268435456000 4194304 4331988 140734261467040 18446744073709551615 4261122 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9902/statm: 82381 74876 112 34 0 80823 0
[pid=9903] ppid=9898 vsize=161196 CPUtime=3.07 cores=4-31
/proc/9903/stat : 9903 (plingeling) R 9898 9898 9872 0 -1 4202496 39214 1239 0 0 297 10 0 0 25 0 1 0 625073815 165064704 38958 268435456000 4194304 4356188 140733804080096 18446744073709551615 4205994 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/9903/statm: 40299 38958 129 40 0 38843 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 1233132
[startup+6.30129 s]
/proc/loadavg: 23.39 29.65 29.76 5/418 9909
/proc/meminfo: memFree=254168304/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=0 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 214 0 0 0 0 0 0 15 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633292 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=789960 CPUtime=6.29 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 175172 0 0 0 579 50 0 0 25 0 1 0 625073815 808919040 173724 268435456000 4194304 4587354 140737219643024 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 197490 173728 305 96 0 194052 0
[pid=9900] ppid=9898 vsize=222252 CPUtime=6.28 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 67694 0 0 0 593 35 0 0 25 0 1 0 625073815 227586048 52420 268435456000 4194304 4785740 140733553016656 18446744073709551615 4547744 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 55563 52420 326 145 0 52608 0
[pid=9902] ppid=9898 vsize=503640 CPUtime=6.29 cores=3
/proc/9902/stat : 9902 (march_hi) R 9898 9898 9872 0 -1 4194304 123874 0 0 0 582 47 0 0 25 0 1 0 625073815 515727360 123769 268435456000 4194304 4331988 140734261467040 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9902/statm: 125910 123770 112 34 0 124352 0
[pid=9903] ppid=9898 vsize=435188 CPUtime=6.28 cores=4-31
/proc/9903/stat : 9903 (plingeling) R 9898 9898 9872 0 -1 4202496 107752 1239 0 0 602 26 0 0 25 0 1 0 625073815 445632512 107456 268435456000 4194304 4356188 140733804080096 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/9903/statm: 108797 107456 129 40 0 107341 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 1969364
[startup+12.7006 s]
/proc/loadavg: 21.84 29.23 29.63 5/418 9909
/proc/meminfo: memFree=253511412/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=0 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 214 0 0 0 0 0 0 15 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633292 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=897440 CPUtime=12.68 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 201983 0 0 0 1214 54 0 0 25 0 1 0 625073815 918978560 200535 268435456000 4194304 4587354 140737219643024 18446744073709551615 4268382 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 224360 200535 309 96 0 220922 0
[pid=9900] ppid=9898 vsize=222252 CPUtime=12.68 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 67725 0 0 0 1233 35 0 0 25 0 1 0 625073815 227586048 52451 268435456000 4194304 4785740 140733553016656 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 55563 52451 334 145 0 52608 0
[pid=9902] ppid=9898 vsize=1018788 CPUtime=12.68 cores=3
/proc/9902/stat : 9902 (march_hi) R 9898 9898 9872 0 -1 4194304 209173 0 0 0 1202 66 0 0 25 0 1 0 625073815 1043238912 149577 268435456000 4194304 4331988 140734261467040 18446744073709551615 4251979 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9902/statm: 254697 149577 127 34 0 253139 0
[pid=9903] ppid=9898 vsize=727208 CPUtime=12.68 cores=4-31
/proc/9903/stat : 9903 (plingeling) R 9898 9898 9872 0 -1 4202496 181037 1239 0 0 1224 44 0 0 25 0 1 0 625073815 744660992 180461 268435456000 4194304 4356188 140733804080096 18446744073709551615 4212207 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/9903/statm: 181802 180461 129 40 0 180346 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 2884012
[startup+25.501 s]
/proc/loadavg: 17.88 27.99 29.21 5/418 9909
/proc/meminfo: memFree=252775856/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=0 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 214 0 0 0 0 0 0 15 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633292 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=894952 CPUtime=25.48 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 205661 0 0 0 2493 55 0 0 25 0 1 0 625073815 916430848 199841 268435456000 4194304 4587354 140737219643024 18446744073709551615 4236561 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 223738 199841 322 96 0 220300 0
[pid=9900] ppid=9898 vsize=222252 CPUtime=25.48 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 67742 0 0 0 2513 35 0 0 25 0 1 0 625073815 227586048 52468 268435456000 4194304 4785740 140733553016656 18446744073709551615 4277604 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 55563 52468 334 145 0 52608 0
[pid=9902] ppid=9898 vsize=1014352 CPUtime=25.47 cores=3
/proc/9902/stat : 9902 (march_hi) R 9898 9898 9872 0 -1 4194304 291738 0 0 0 2465 82 0 0 25 0 1 0 625073815 1038696448 152328 268435456000 4194304 4331988 140734261467040 18446744073709551615 4261503 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9902/statm: 253588 152328 127 34 0 252030 0
[pid=9903] ppid=9898 vsize=1433816 CPUtime=25.47 cores=4-31
/proc/9903/stat : 9903 (plingeling) R 9898 9898 9872 0 -1 4202496 357689 1239 0 0 2465 82 0 0 25 0 1 0 625073815 1468227584 357113 268435456000 4194304 4356188 140733804080096 18446744073709551615 4213332 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/9903/statm: 358454 357113 129 40 0 356998 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 3583696
[startup+51.1009 s]
/proc/loadavg: 13.15 26.06 28.54 5/418 9909
/proc/meminfo: memFree=251336340/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=0 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 214 0 0 0 0 0 0 15 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633292 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=894952 CPUtime=51.07 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 224390 0 0 0 5049 58 0 0 25 0 1 0 625073815 916430848 202474 268435456000 4194304 4587354 140737219643024 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 223738 202474 325 96 0 220300 0
[pid=9900] ppid=9898 vsize=222252 CPUtime=51.07 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 67753 0 0 0 5072 35 0 0 25 0 1 0 625073815 227586048 52479 268435456000 4194304 4785740 140733553016656 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 55563 52479 334 145 0 52608 0
[pid=9902] ppid=9898 vsize=1035320 CPUtime=51.06 cores=3
/proc/9902/stat : 9902 (march_hi) R 9898 9898 9872 0 -1 4202496 488123 0 0 0 4983 123 0 0 25 0 1 0 625073815 1060167680 156474 268435456000 4194304 4331988 140734261467040 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9902/statm: 258830 156474 151 34 0 257272 0
[pid=9903] ppid=9898 vsize=2845860 CPUtime=51.06 cores=4-31
/proc/9903/stat : 9903 (plingeling) R 9898 9898 9872 0 -1 4202496 710852 1239 0 0 4948 158 0 0 25 0 1 0 625073815 2914160640 710124 268435456000 4194304 4356188 140733804080096 18446744073709551615 4277592 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/9903/statm: 711465 710124 129 40 0 710009 0
Current children cumulated CPU time (s) 204.26
Current children cumulated vsize (KiB) 5016708
[startup+102.32 s]
/proc/loadavg: 7.97 22.66 27.25 5/418 9911
/proc/meminfo: memFree=248114292/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=0 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 214 0 0 0 0 0 0 15 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633292 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=1044956 CPUtime=102.28 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 231080 0 0 0 10168 60 0 0 25 0 1 0 625073815 1070034944 209159 268435456000 4194304 4587354 140737219643024 18446744073709551615 4230176 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 261239 209159 325 96 0 257801 0
[pid=9900] ppid=9898 vsize=222252 CPUtime=102.28 cores=1
################
# More data... #
################
[pid=9903/tid=9930] ppid=9898 vsize=8102212 CPUtime=914.4 cores=4-31
/proc/9903/task/9930/stat : 9930 (plingeling) R 9898 9898 9872 0 -1 4202560 144608 1239 0 0 91260 180 0 0 25 0 29 0 625084621 8296665088 1901664 268435456000 4194304 4356188 140733804080096 18446744073709551615 4210865 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9903/tid=9931] ppid=9898 vsize=8102212 CPUtime=909.93 cores=4-31
/proc/9903/task/9931/stat : 9931 (plingeling) R 9898 9898 9872 0 -1 4202560 160430 1239 0 0 90876 117 0 0 25 0 29 0 625084621 8296665088 1901674 268435456000 4194304 4356188 140733804080096 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9903/tid=9932] ppid=9898 vsize=8102212 CPUtime=911.77 cores=4-31
/proc/9903/task/9932/stat : 9932 (plingeling) R 9898 9898 9872 0 -1 4202560 144794 1239 0 0 91066 111 0 0 25 0 29 0 625084621 8296665088 1901683 268435456000 4194304 4356188 140733804080096 18446744073709551615 4311618 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9903/tid=9933] ppid=9898 vsize=8102212 CPUtime=895.19 cores=4-31
/proc/9903/task/9933/stat : 9933 (plingeling) R 9898 9898 9872 0 -1 4202560 108033 1239 0 0 89412 107 0 0 25 0 29 0 625084622 8296665088 1901693 268435456000 4194304 4356188 140733804080096 18446744073709551615 4330906 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9903/tid=9934] ppid=9898 vsize=8102212 CPUtime=904.91 cores=4-31
/proc/9903/task/9934/stat : 9934 (plingeling) R 9898 9898 9872 0 -1 4202560 140514 1239 0 0 90297 194 0 0 25 0 29 0 625084622 8296665088 1901703 268435456000 4194304 4356188 140733804080096 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9903/tid=9935] ppid=9898 vsize=8102212 CPUtime=889.45 cores=4-31
/proc/9903/task/9935/stat : 9935 (plingeling) R 9898 9898 9872 0 -1 4202560 122658 1239 0 0 88841 104 0 0 25 0 29 0 625084622 8296665088 1901709 268435456000 4194304 4356188 140733804080096 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9903/tid=9936] ppid=9898 vsize=8102212 CPUtime=914.44 cores=4-31
/proc/9903/task/9936/stat : 9936 (plingeling) R 9898 9898 9872 0 -1 4202560 172159 1239 0 0 91200 244 0 0 25 0 29 0 625084622 8296665088 1901719 268435456000 4194304 4356188 140733804080096 18446744073709551615 4258634 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9903/tid=9937] ppid=9898 vsize=8102212 CPUtime=913.52 cores=4-31
/proc/9903/task/9937/stat : 9937 (plingeling) R 9898 9898 9872 0 -1 4202560 150284 1239 0 0 91158 194 0 0 25 0 29 0 625084623 8296665088 1901729 268435456000 4194304 4356188 140733804080096 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9903/tid=9938] ppid=9898 vsize=8102212 CPUtime=913.62 cores=4-31
/proc/9903/task/9938/stat : 9938 (plingeling) R 9898 9898 9872 0 -1 4202560 107394 1239 0 0 91239 123 0 0 25 0 29 0 625084623 8296665088 1901738 268435456000 4194304 4356188 140733804080096 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9903/tid=9939] ppid=9898 vsize=8102212 CPUtime=914 cores=4-31
/proc/9903/task/9939/stat : 9939 (plingeling) R 9898 9898 9872 0 -1 4202560 178983 1239 0 0 91235 165 0 0 25 0 29 0 625084624 8296665088 1901746 268435456000 4194304 4356188 140733804080096 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 27874.5
Current children cumulated vsize (KiB) 10102976
[startup+1030.3 s]
/proc/loadavg: 30.35 29.83 29.04 11/425 9974
/proc/meminfo: memFree=245297232/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=221.16 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 808180 0 0 0 0 21721 395 15 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 1868248101597216768 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=1124088 CPUtime=1030.08 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 590422 0 0 0 102849 159 0 0 25 0 1 0 625073815 1151066112 263335 268435456000 4194304 4587354 140737219643024 18446744073709551615 4236680 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 281022 263335 336 96 0 277584 0
[pid=9900] ppid=9898 vsize=858352 CPUtime=1030.09 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 226675 0 0 0 102904 105 0 0 25 0 1 0 625073815 878952448 211401 268435456000 4194304 4785740 140733553016656 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 214588 211401 334 145 0 211633 0
[pid=9903] ppid=9898 vsize=8019996 CPUtime=25767.3 cores=4-31
/proc/9903/stat : 9903 (plingeling) S 9898 9898 9872 0 -1 4202496 5410991 1239 0 0 2571940 4790 0 0 18 0 8 0 625073815 8212475904 1903978 268435456000 4194304 4356188 140733804080096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/9903/statm: 2004999 1903978 160 40 0 2003543 0
[pid=9903/tid=9923] ppid=9898 vsize=8019996 CPUtime=920.08 cores=4-31
/proc/9903/task/9923/stat : 9923 (plingeling) R 9898 9898 9872 0 -1 4202560 169388 1239 0 0 91808 200 0 0 18 0 8 0 625084618 8212475904 1903978 268435456000 4194304 4356188 140733804080096 18446744073709551615 4265700 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9903/tid=9924] ppid=9898 vsize=8019996 CPUtime=920.84 cores=4-31
/proc/9903/task/9924/stat : 9924 (plingeling) R 9898 9898 9872 0 -1 4202560 110773 1239 0 0 91965 119 0 0 25 0 8 0 625084618 8212475904 1903978 268435456000 4194304 4356188 140733804080096 18446744073709551615 4261943 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9903/tid=9927] ppid=9898 vsize=8019996 CPUtime=919.58 cores=4-31
/proc/9903/task/9927/stat : 9927 (plingeling) R 9898 9898 9872 0 -1 4202560 111516 1239 0 0 91869 89 0 0 25 0 8 0 625084619 8212475904 1903978 268435456000 4194304 4356188 140733804080096 18446744073709551615 4260319 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9903/tid=9931] ppid=9898 vsize=8019996 CPUtime=916.18 cores=4-31
/proc/9903/task/9931/stat : 9931 (plingeling) R 9898 9898 9872 0 -1 4202560 160430 1239 0 0 91501 117 0 0 25 0 8 0 625084621 8212475904 1903978 268435456000 4194304 4356188 140733804080096 18446744073709551615 4264598 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9903/tid=9932] ppid=9898 vsize=8019996 CPUtime=918.16 cores=4-31
/proc/9903/task/9932/stat : 9932 (plingeling) R 9898 9898 9872 0 -1 4202560 144794 1239 0 0 91705 111 0 0 25 0 8 0 625084621 8212475904 1903978 268435456000 4194304 4356188 140733804080096 18446744073709551615 4259346 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9903/tid=9935] ppid=9898 vsize=8019996 CPUtime=895.85 cores=4-31
/proc/9903/task/9935/stat : 9935 (plingeling) R 9898 9898 9872 0 -1 4202560 122658 1239 0 0 89481 104 0 0 25 0 8 0 625084622 8212475904 1903978 268435456000 4194304 4356188 140733804080096 18446744073709551615 4322459 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9903/tid=9938] ppid=9898 vsize=8019996 CPUtime=920.02 cores=4-31
/proc/9903/task/9938/stat : 9938 (plingeling) R 9898 9898 9872 0 -1 4202560 107394 1239 0 0 91879 123 0 0 25 0 8 0 625084623 8212475904 1903978 268435456000 4194304 4356188 140733804080096 18446744073709551615 4319474 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 28048.6
Current children cumulated vsize (KiB) 10020760
[startup+1033.5 s]
/proc/loadavg: 30.35 29.83 29.04 5/419 9974
/proc/meminfo: memFree=245296572/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=221.16 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 808180 0 0 0 0 21721 395 15 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 1868248101597216768 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=1124088 CPUtime=1033.28 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 590422 0 0 0 103169 159 0 0 25 0 1 0 625073815 1151066112 263335 268435456000 4194304 4587354 140737219643024 18446744073709551615 4236541 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 281022 263335 336 96 0 277584 0
[pid=9900] ppid=9898 vsize=858352 CPUtime=1033.29 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 226676 0 0 0 103224 105 0 0 25 0 1 0 625073815 878952448 211402 268435456000 4194304 4785740 140733553016656 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 214588 211402 334 145 0 211633 0
[pid=9903] ppid=9898 vsize=7765980 CPUtime=25776.8 cores=4-31
/proc/9903/stat : 9903 (plingeling) S 9898 9898 9872 0 -1 4202496 5443761 1239 0 0 2572878 4804 0 0 15 0 2 0 625073815 7952363520 1871122 268435456000 4194304 4356188 140733804080096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/9903/statm: 1941495 1871122 160 40 0 1940039 0
[pid=9903/tid=9935] ppid=9898 vsize=7765980 CPUtime=899.05 cores=4-31
/proc/9903/task/9935/stat : 9935 (plingeling) R 9898 9898 9872 0 -1 4202560 122658 1239 0 0 89801 104 0 0 25 0 2 0 625084622 7952363520 1871122 268435456000 4194304 4356188 140733804080096 18446744073709551615 4287083 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 28064.6
Current children cumulated vsize (KiB) 9766744
[startup+1035.13 s]
/proc/loadavg: 28.16 29.38 28.90 4/418 9974
/proc/meminfo: memFree=245296580/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=221.16 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 808180 0 0 0 0 21721 395 15 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 1868248101597216768 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=1124088 CPUtime=1034.92 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 590422 0 0 0 103333 159 0 0 25 0 1 0 625073815 1151066112 263335 268435456000 4194304 4587354 140737219643024 18446744073709551615 4236538 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 281022 263335 336 96 0 277584 0
[pid=9900] ppid=9898 vsize=858352 CPUtime=1034.92 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 226677 0 0 0 103387 105 0 0 25 0 1 0 625073815 878952448 211403 268435456000 4194304 4785740 140733553016656 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 214588 211403 334 145 0 211633 0
[pid=9903] ppid=9898 vsize=7765980 CPUtime=25778.4 cores=4-31
/proc/9903/stat : 9903 (plingeling) S 9898 9898 9872 0 -1 4202496 5443761 1239 0 0 2573041 4804 0 0 15 0 2 0 625073815 7952363520 1871122 268435456000 4194304 4356188 140733804080096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/9903/statm: 1941495 1871122 160 40 0 1940039 0
[pid=9903/tid=9935] ppid=9898 vsize=7765980 CPUtime=900.68 cores=4-31
/proc/9903/task/9935/stat : 9935 (plingeling) R 9898 9898 9872 0 -1 4202560 122658 1239 0 0 89964 104 0 0 25 0 2 0 625084622 7952363520 1871122 268435456000 4194304 4356188 140733804080096 18446744073709551615 4270985 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 28069.5
Current children cumulated vsize (KiB) 9766744
[startup+1035.9 s]
/proc/loadavg: 28.16 29.38 28.90 4/418 9974
/proc/meminfo: memFree=245296580/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=221.16 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 808180 0 0 0 0 21721 395 15 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 1868248101597216768 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=1124088 CPUtime=1035.68 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 590422 0 0 0 103409 159 0 0 25 0 1 0 625073815 1151066112 263335 268435456000 4194304 4587354 140737219643024 18446744073709551615 4244156 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 281022 263335 336 96 0 277584 0
[pid=9900] ppid=9898 vsize=858352 CPUtime=1035.69 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 226677 0 0 0 103464 105 0 0 25 0 1 0 625073815 878952448 211403 268435456000 4194304 4785740 140733553016656 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 214588 211403 334 145 0 211633 0
[pid=9903] ppid=9898 vsize=7765980 CPUtime=25779.2 cores=4-31
/proc/9903/stat : 9903 (plingeling) S 9898 9898 9872 0 -1 4202496 5443761 1239 0 0 2573118 4804 0 0 15 0 2 0 625073815 7952363520 1871122 268435456000 4194304 4356188 140733804080096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/9903/statm: 1941495 1871122 160 40 0 1940039 0
[pid=9903/tid=9935] ppid=9898 vsize=7765980 CPUtime=901.45 cores=4-31
/proc/9903/task/9935/stat : 9935 (plingeling) R 9898 9898 9872 0 -1 4202560 122658 1239 0 0 90041 104 0 0 25 0 2 0 625084622 7952363520 1871122 268435456000 4194304 4356188 140733804080096 18446744073709551615 4250601 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 28071.8
Current children cumulated vsize (KiB) 9766744
[startup+1036.3 s]
/proc/loadavg: 28.16 29.38 28.90 4/418 9974
/proc/meminfo: memFree=245296596/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=221.16 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 808180 0 0 0 0 21721 395 15 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 1868248101597216768 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=1124088 CPUtime=1036.08 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 590422 0 0 0 103449 159 0 0 25 0 1 0 625073815 1151066112 263335 268435456000 4194304 4587354 140737219643024 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 281022 263335 336 96 0 277584 0
[pid=9900] ppid=9898 vsize=858352 CPUtime=1036.09 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 226678 0 0 0 103504 105 0 0 25 0 1 0 625073815 878952448 211404 268435456000 4194304 4785740 140733553016656 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 214588 211404 334 145 0 211633 0
[pid=9903] ppid=9898 vsize=7765980 CPUtime=25779.6 cores=4-31
/proc/9903/stat : 9903 (plingeling) S 9898 9898 9872 0 -1 4202496 5443761 1239 0 0 2573158 4804 0 0 15 0 2 0 625073815 7952363520 1871122 268435456000 4194304 4356188 140733804080096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/9903/statm: 1941495 1871122 160 40 0 1940039 0
[pid=9903/tid=9935] ppid=9898 vsize=7765980 CPUtime=901.85 cores=4-31
/proc/9903/task/9935/stat : 9935 (plingeling) R 9898 9898 9872 0 -1 4202560 122658 1239 0 0 90081 104 0 0 25 0 2 0 625084622 7952363520 1871122 268435456000 4194304 4356188 140733804080096 18446744073709551615 4259314 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 28073
Current children cumulated vsize (KiB) 9766744
[startup+1036.7 s]
/proc/loadavg: 28.16 29.38 28.90 4/418 9974
/proc/meminfo: memFree=245296596/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=221.16 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 808180 0 0 0 0 21721 395 15 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 1868248101597216768 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=1124088 CPUtime=1036.48 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 590422 0 0 0 103489 159 0 0 25 0 1 0 625073815 1151066112 263335 268435456000 4194304 4587354 140737219643024 18446744073709551615 4236877 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 281022 263335 336 96 0 277584 0
[pid=9900] ppid=9898 vsize=858352 CPUtime=1036.49 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 226678 0 0 0 103544 105 0 0 25 0 1 0 625073815 878952448 211404 268435456000 4194304 4785740 140733553016656 18446744073709551615 4416773 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 214588 211404 334 145 0 211633 0
[pid=9903] ppid=9898 vsize=1997716 CPUtime=25780 cores=4-31
/proc/9903/stat : 9903 (plingeling) R 9898 9898 9872 0 -1 4202496 5443761 1239 0 0 2573161 4841 0 0 16 0 1 0 625073815 2045661184 419265 268435456000 4194304 4356188 140733804080096 18446744073709551615 258650999383 0 0 4096 0 0 0 0 17 9 0 0 0
/proc/9903/statm: 499429 418753 160 40 0 497973 0
Current children cumulated CPU time (s) 28074.1
Current children cumulated vsize (KiB) 3998480
[startup+1036.8 s]
/proc/loadavg: 28.16 29.38 28.90 4/418 9974
/proc/meminfo: memFree=245296596/264257624 swapFree=67111528/67111528
[pid=9898] ppid=9896 vsize=18324 CPUtime=221.16 cores=0-31
/proc/9898/stat : 9898 (ppfolio) S 9896 9898 9872 0 -1 4202496 514 808180 0 0 0 0 21721 395 15 0 1 0 625073814 18763776 387 268435456000 4194304 4287625 140733426918464 18446744073709551615 258650975999 0 0 4096 65536 1868248101597216768 0 0 17 20 0 0 0
/proc/9898/statm: 4581 387 338 23 0 91 0
[pid=9899] ppid=9898 vsize=1124088 CPUtime=1036.58 cores=0
/proc/9899/stat : 9899 (cryptominisat) R 9898 9898 9872 0 -1 4202496 590422 0 0 0 103499 159 0 0 25 0 1 0 625073815 1151066112 263335 268435456000 4194304 4587354 140737219643024 18446744073709551615 4236816 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9899/statm: 281022 263335 336 96 0 277584 0
[pid=9900] ppid=9898 vsize=858352 CPUtime=1036.59 cores=1
/proc/9900/stat : 9900 (clasp) R 9898 9898 9872 0 -1 4202496 226678 0 0 0 103554 105 0 0 25 0 1 0 625073815 878952448 211404 268435456000 4194304 4785740 140733553016656 18446744073709551615 4290578 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/9900/statm: 214588 211404 334 145 0 211633 0
[pid=9903] ppid=9898 vsize=843368 CPUtime=25780.1 cores=4-31
/proc/9903/stat : 9903 (plingeling) R 9898 9898 9872 0 -1 4202496 5443761 1239 0 0 2573161 4851 0 0 16 0 1 0 625073815 863608832 51223 268435456000 4194304 4356188 140733804080096 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 9 0 0 0
/proc/9903/statm: 210842 51223 160 40 0 209386 0
Current children cumulated CPU time (s) 28074.4
Current children cumulated vsize (KiB) 2844132
Child status: 0
Real time (s): 1036.9
CPU time (s): 28074.7
CPU user time (s): 28019.4
CPU system time (s): 55.2886
CPU usage (%): 2707.56
Max. virtual memory (cumulated for all children) (KiB): 12234584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28019.4
system time used= 55.2886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7070817
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= 6628
involuntary context switches= 69794
runsolver used 5.16122 second user time and 22.2776 second system time
The end
Begin job on node200 at 2011-05-11 19:44:34
IDJOB=3347389
IDBENCH=82399
IDSOLVER=1808
FILE ID=node200/3347389-1305135866
RUNJOBID= node200-1305135866-9886
PBS_JOBID= 13282063
Free space on /tmp= 61868 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347389-1305135866/watcher-3347389-1305135866 -o /tmp/evaluation-result-3347389-1305135866/solver-3347389-1305135866 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347389-1305135866.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= c7a9573eb59580c8d4fc5a3ca880d541
RANDOM SEED=1474960465
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: 255819684 kB
Buffers: 413896 kB
Cached: 7620636 kB
SwapCached: 0 kB
Active: 7174032 kB
Inactive: 928980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255819684 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 196376 kB
Writeback: 0 kB
AnonPages: 69444 kB
Mapped: 14060 kB
Slab: 245708 kB
PageTables: 4492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187244 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= 60776 MiB
End job on node200 at 2011-05-11 20:01:51