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
11177.65/360.43 s UNSATISFIABLE
11177.65/360.47 solver [5] plingeling 276-6264d55-100731 answered
11177.65/360.47 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-3347507-1305219285/watcher-3347507-1305219285 -o /tmp/evaluation-result-3347507-1305219285/solver-3347507-1305219285 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347507-1305219285.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.34 30.01 29.12 1/413 20639
/proc/meminfo: memFree=255649480/264257624 swapFree=67111528/67111528
[pid=20639] ppid=20637 vsize=18324 CPUtime=0 cores=0-31
/proc/20639/stat : 20639 (ppfolio) S 20637 20639 20543 0 -1 4202496 512 0 0 0 0 0 0 0 23 0 1 0 633415067 18763776 385 268435456000 4194304 4287625 140736449289680 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 16 0 0 0
/proc/20639/statm: 4581 385 337 23 0 91 0
[startup+0.113712 s]
/proc/loadavg: 29.34 30.01 29.12 1/413 20639
/proc/meminfo: memFree=255649480/264257624 swapFree=67111528/67111528
[pid=20639] ppid=20637 vsize=18324 CPUtime=0 cores=0-31
/proc/20639/stat : 20639 (ppfolio) S 20637 20639 20543 0 -1 4202496 512 0 0 0 0 0 0 0 23 0 1 0 633415067 18763776 385 268435456000 4194304 4287625 140736449289680 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 16 0 0 0
/proc/20639/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.20072 s]
/proc/loadavg: 29.34 30.01 29.12 1/413 20639
/proc/meminfo: memFree=255649480/264257624 swapFree=67111528/67111528
[pid=20639] ppid=20637 vsize=18324 CPUtime=0 cores=0-31
/proc/20639/stat : 20639 (ppfolio) S 20637 20639 20543 0 -1 4202496 512 0 0 0 0 0 0 0 23 0 1 0 633415067 18763776 385 268435456000 4194304 4287625 140736449289680 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 16 0 0 0
/proc/20639/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300711 s]
/proc/loadavg: 29.34 30.01 29.12 1/413 20639
/proc/meminfo: memFree=255649480/264257624 swapFree=67111528/67111528
[pid=20639] ppid=20637 vsize=18324 CPUtime=0 cores=0-31
/proc/20639/stat : 20639 (ppfolio) S 20637 20639 20543 0 -1 4202496 512 0 0 0 0 0 0 0 23 0 1 0 633415067 18763776 385 268435456000 4194304 4287625 140736449289680 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 16 0 0 0
/proc/20639/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700766 s]
/proc/loadavg: 29.34 30.01 29.12 1/413 20639
/proc/meminfo: memFree=255649480/264257624 swapFree=67111528/67111528
[pid=20639] ppid=20637 vsize=18324 CPUtime=0 cores=0-31
/proc/20639/stat : 20639 (ppfolio) S 20637 20639 20543 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 633415067 18763776 385 268435456000 4194304 4287625 140736449289680 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 16 0 0 0
/proc/20639/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50077 s]
/proc/loadavg: 29.34 30.01 29.12 6/419 20650
/proc/meminfo: memFree=255318196/264257624 swapFree=67111528/67111528
[pid=20639] ppid=20637 vsize=18324 CPUtime=0 cores=0-31
/proc/20639/stat : 20639 (ppfolio) S 20637 20639 20543 0 -1 4202496 512 0 0 0 0 0 0 0 17 0 1 0 633415067 18763776 385 268435456000 4194304 4287625 140736449289680 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 16 0 0 0
/proc/20639/statm: 4581 385 337 23 0 91 0
[pid=20640] ppid=20639 vsize=125324 CPUtime=1.48 cores=0
/proc/20640/stat : 20640 (cryptominisat) R 20639 20639 20543 0 -1 4202496 19311 0 0 0 145 3 0 0 20 0 1 0 633415067 128331776 18433 268435456000 4194304 4587354 140734386704096 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20640/statm: 31331 18438 308 96 0 27893 0
[pid=20641] ppid=20639 vsize=86040 CPUtime=1.48 cores=1
/proc/20641/stat : 20641 (clasp) R 20639 20639 20543 0 -1 4202496 22442 0 0 0 141 7 0 0 20 0 1 0 633415067 88104960 17898 268435456000 4194304 4785740 140735110892144 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20641/statm: 21510 17898 312 145 0 18555 0
[pid=20642] ppid=20639 vsize=509420 CPUtime=1.49 cores=2
/proc/20642/stat : 20642 (TNM) R 20639 20639 20543 0 -1 4202496 17757 0 0 0 143 6 0 0 20 0 1 0 633415067 521646080 17655 268435456000 134512640 134534564 4291906336 18446744073709551615 134524478 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20642/statm: 127355 17655 91 6 0 126020 0
[pid=20643] ppid=20639 vsize=78212 CPUtime=1.48 cores=3
/proc/20643/stat : 20643 (march_hi) R 20639 20639 20543 0 -1 4194304 16245 0 0 0 143 5 0 0 20 0 1 0 633415067 80089088 10658 268435456000 4194304 4331988 140734626359984 18446744073709551615 4261663 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20643/statm: 19553 10658 123 34 0 17995 0
[pid=20644] ppid=20639 vsize=204036 CPUtime=1.48 cores=4-31
/proc/20644/stat : 20644 (plingeling) R 20639 20639 20543 0 -1 4202496 50074 1242 0 0 136 11 0 1 21 0 1 0 633415067 208932864 49668 268435456000 4194304 4356188 140734523138432 18446744073709551615 4275027 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/20644/statm: 51009 49668 129 40 0 49553 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 1021356
[startup+3.10083 s]
/proc/loadavg: 29.34 30.01 29.12 6/419 20650
/proc/meminfo: memFree=255024260/264257624 swapFree=67111528/67111528
[pid=20639] ppid=20637 vsize=18324 CPUtime=0 cores=0-31
/proc/20639/stat : 20639 (ppfolio) S 20637 20639 20543 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 633415067 18763776 385 268435456000 4194304 4287625 140736449289680 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 16 0 0 0
/proc/20639/statm: 4581 385 337 23 0 91 0
[pid=20640] ppid=20639 vsize=188548 CPUtime=3.09 cores=0
/proc/20640/stat : 20640 (cryptominisat) R 20639 20639 20543 0 -1 4202496 37597 0 0 0 301 8 0 0 25 0 1 0 633415067 193073152 36458 268435456000 4194304 4587354 140734386704096 18446744073709551615 4388206 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20640/statm: 47137 36458 314 96 0 43699 0
[pid=20641] ppid=20639 vsize=95288 CPUtime=3.08 cores=1
/proc/20641/stat : 20641 (clasp) R 20639 20639 20543 0 -1 4202496 24588 0 0 0 301 7 0 0 25 0 1 0 633415067 97574912 20044 268435456000 4194304 4785740 140735110892144 18446744073709551615 4298261 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20641/statm: 23822 20044 316 145 0 20867 0
[pid=20642] ppid=20639 vsize=509420 CPUtime=3.09 cores=2
/proc/20642/stat : 20642 (TNM) R 20639 20639 20543 0 -1 4202496 17757 0 0 0 303 6 0 0 25 0 1 0 633415067 521646080 17655 268435456000 134512640 134534564 4291906336 18446744073709551615 134524506 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20642/statm: 127355 17655 91 6 0 126020 0
[pid=20643] ppid=20639 vsize=102324 CPUtime=3.08 cores=3
/proc/20643/stat : 20643 (march_hi) R 20639 20639 20543 0 -1 4202496 58946 0 0 0 292 16 0 0 25 0 1 0 633415067 104779776 16680 268435456000 4194304 4331988 140734626359984 18446744073709551615 4252197 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20643/statm: 25581 16680 146 34 0 24023 0
[pid=20644] ppid=20639 vsize=359684 CPUtime=3.09 cores=4-31
/proc/20644/stat : 20644 (plingeling) R 20639 20639 20543 0 -1 4202496 88503 1242 0 0 288 20 0 1 25 0 1 0 633415067 368316416 88097 268435456000 4194304 4356188 140734523138432 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/20644/statm: 89921 88104 129 40 0 88465 0
Current children cumulated CPU time (s) 15.43
Current children cumulated vsize (KiB) 1273588
[startup+6.30091 s]
/proc/loadavg: 27.39 29.59 28.99 6/419 20650
/proc/meminfo: memFree=254636772/264257624 swapFree=67111528/67111528
[pid=20639] ppid=20637 vsize=18324 CPUtime=0 cores=0-31
/proc/20639/stat : 20639 (ppfolio) S 20637 20639 20543 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 633415067 18763776 385 268435456000 4194304 4287625 140736449289680 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 16 0 0 0
/proc/20639/statm: 4581 385 337 23 0 91 0
[pid=20640] ppid=20639 vsize=194496 CPUtime=6.28 cores=0
/proc/20640/stat : 20640 (cryptominisat) R 20639 20639 20543 0 -1 4202496 50708 0 0 0 618 10 0 0 20 0 1 0 633415067 199163904 36710 268435456000 4194304 4587354 140734386704096 18446744073709551615 4239000 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20640/statm: 48624 36710 328 96 0 45186 0
[pid=20641] ppid=20639 vsize=101936 CPUtime=6.28 cores=1
/proc/20641/stat : 20641 (clasp) R 20639 20639 20543 0 -1 4202496 28234 0 0 0 620 8 0 0 25 0 1 0 633415067 104382464 22199 268435456000 4194304 4785740 140735110892144 18446744073709551615 4552970 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20641/statm: 25484 22199 338 145 0 22529 0
[pid=20642] ppid=20639 vsize=509420 CPUtime=6.29 cores=2
/proc/20642/stat : 20642 (TNM) R 20639 20639 20543 0 -1 4202496 17757 0 0 0 623 6 0 0 25 0 1 0 633415067 521646080 17655 268435456000 134512640 134534564 4291906336 18446744073709551615 134524825 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20642/statm: 127355 17655 91 6 0 126020 0
[pid=20643] ppid=20639 vsize=153356 CPUtime=6.28 cores=3
/proc/20643/stat : 20643 (march_hi) R 20639 20639 20543 0 -1 4202496 90472 0 0 0 606 22 0 0 25 0 1 0 633415067 157036544 29337 268435456000 4194304 4331988 140734626359984 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20643/statm: 38339 29337 149 34 0 36781 0
[pid=20644] ppid=20639 vsize=806148 CPUtime=6.28 cores=4-31
/proc/20644/stat : 20644 (plingeling) R 20639 20639 20543 0 -1 4202496 200602 1242 0 0 586 41 0 1 25 0 1 0 633415067 825495552 200196 268435456000 4194304 4356188 140734523138432 18446744073709551615 4274865 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/20644/statm: 201537 200196 129 40 0 200081 0
Current children cumulated CPU time (s) 31.41
Current children cumulated vsize (KiB) 1783680
[startup+12.7021 s]
/proc/loadavg: 25.60 29.18 28.87 33/447 20678
/proc/meminfo: memFree=253754808/264257624 swapFree=67111528/67111528
[pid=20639] ppid=20637 vsize=18324 CPUtime=0 cores=0-31
/proc/20639/stat : 20639 (ppfolio) S 20637 20639 20543 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 633415067 18763776 385 268435456000 4194304 4287625 140736449289680 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 16 0 0 0
/proc/20639/statm: 4581 385 337 23 0 91 0
[pid=20640] ppid=20639 vsize=194496 CPUtime=12.68 cores=0
/proc/20640/stat : 20640 (cryptominisat) R 20639 20639 20543 0 -1 4202496 51093 0 0 0 1258 10 0 0 25 0 1 0 633415067 199163904 37074 268435456000 4194304 4587354 140734386704096 18446744073709551615 4238392 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20640/statm: 48624 37074 328 96 0 45186 0
[pid=20641] ppid=20639 vsize=101936 CPUtime=12.68 cores=1
/proc/20641/stat : 20641 (clasp) R 20639 20639 20543 0 -1 4202496 28234 0 0 0 1260 8 0 0 25 0 1 0 633415067 104382464 22199 268435456000 4194304 4785740 140735110892144 18446744073709551615 4287252 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20641/statm: 25484 22199 338 145 0 22529 0
[pid=20642] ppid=20639 vsize=522488 CPUtime=12.68 cores=2
/proc/20642/stat : 20642 (TNM) R 20639 20639 20543 0 -1 4202496 25123 0 0 0 1261 7 0 0 25 0 1 0 633415067 535027712 25021 268435456000 134512640 134534564 4291906336 18446744073709551615 134530632 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20642/statm: 130622 25021 95 6 0 129287 0
[pid=20643] ppid=20639 vsize=282628 CPUtime=12.68 cores=3
/proc/20643/stat : 20643 (march_hi) R 20639 20639 20543 0 -1 4202496 122163 0 0 0 1238 30 0 0 25 0 1 0 633415067 289411072 61028 268435456000 4194304 4331988 140734626359984 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20643/statm: 70657 61028 149 34 0 69099 0
[pid=20644] ppid=20639 vsize=1911164 CPUtime=35.95 cores=4-31
/proc/20644/stat : 20644 (plingeling) S 20639 20639 20543 0 -1 4202496 424352 1242 0 0 3499 95 0 1 19 0 29 0 633415067 1957031936 339800 268435456000 4194304 4356188 140734523138432 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/20644/statm: 477791 339800 146 40 0 476335 0
[pid=20644/tid=20651] ppid=20639 vsize=1911164 CPUtime=0.92 cores=4-31
/proc/20644/task/20651/stat : 20651 (plingeling) R 20639 20639 20543 0 -1 4202560 1781 1242 0 0 91 0 0 1 19 0 29 0 633416244 1957031936 339620 268435456000 4194304 4356188 140734523138432 18446744073709551615 4250782 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20644/tid=20652] ppid=20639 vsize=1911164 CPUtime=0.91 cores=4-31
/proc/20644/task/20652/stat : 20652 (plingeling) R 20639 20639 20543 0 -1 4202560 1779 1242 0 0 90 0 0 1 25 0 29 0 633416244 1957031936 339620 268435456000 4194304 4356188 140734523138432 18446744073709551615 4250495 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20644/tid=20653] ppid=20639 vsize=1911164 CPUtime=0.78 cores=4-31
/proc/20644/task/20653/stat : 20653 (plingeling) R 20639 20639 20543 0 -1 4202560 1834 1242 0 0 77 0 0 1 17 0 29 0 633416244 1957031936 339620 268435456000 4194304 4356188 140734523138432 18446744073709551615 4260290 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20644/tid=20654] ppid=20639 vsize=1911164 CPUtime=0.92 cores=4-31
/proc/20644/task/20654/stat : 20654 (plingeling) R 20639 20639 20543 0 -1 4202560 2017 1242 0 0 90 1 0 1 21 0 29 0 633416244 1957031936 339620 268435456000 4194304 4356188 140734523138432 18446744073709551615 4259314 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20644/tid=20655] ppid=20639 vsize=1911164 CPUtime=0.91 cores=4-31
/proc/20644/task/20655/stat : 20655 (plingeling) R 20639 20639 20543 0 -1 4202560 2166 1242 0 0 89 1 0 1 21 0 29 0 633416244 1957031936 339620 268435456000 4194304 4356188 140734523138432 18446744073709551615 4258655 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20644/tid=20656] ppid=20639 vsize=1911164 CPUtime=0.92 cores=4-31
/proc/20644/task/20656/stat : 20656 (plingeling) R 20639 20639 20543 0 -1 4202560 2206 1242 0 0 90 1 0 1 18 0 29 0 633416244 1957031936 339108 268435456000 4194304 4356188 140734523138432 18446744073709551615 4258641 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20644/tid=20657] ppid=20639 vsize=1911164 CPUtime=0.91 cores=4-31
/proc/20644/task/20657/stat : 20657 (plingeling) R 20639 20639 20543 0 -1 4202560 1777 1242 0 0 90 0 0 1 19 0 29 0 633416244 1957031936 339108 268435456000 4194304 4356188 140734523138432 18446744073709551615 4251025 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20644/tid=20658] ppid=20639 vsize=1911164 CPUtime=0.77 cores=4-31
/proc/20644/task/20658/stat : 20658 (plingeling) R 20639 20639 20543 0 -1 4202560 1834 1242 0 0 76 0 0 1 17 0 29 0 633416244 1957031936 339108 268435456000 4194304 4356188 140734523138432 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20644/tid=20659] ppid=20639 vsize=1911164 CPUtime=0.92 cores=4-31
/proc/20644/task/20659/stat : 20659 (plingeling) R 20639 20639 20543 0 -1 4202560 2038 1242 0 0 90 1 0 1 23 0 29 0 633416244 1957031936 339108 268435456000 4194304 4356188 140734523138432 18446744073709551615 4259367 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20644/tid=20660] ppid=20639 vsize=1911164 CPUtime=0.87 cores=4-31
/proc/20644/task/20660/stat : 20660 (plingeling) R 20639 20639 20543 0 -1 4202560 1778 1242 0 0 86 0 0 1 18 0 29 0 633416245 1957031936 338776 268435456000 4194304 4356188 140734523138432 18446744073709551615 4251025 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20644/tid=20661] ppid=20639 vsize=1911164 CPUtime=0.91 cores=4-31
/proc/20644/task/20661/stat : 20661 (plingeling) R 20639 20639 20543 0 -1 4202560 1778 1242 0 0 90 0 0 1 19 0 29 0 633416245 1957031936 338718 268435456000 4194304 4356188 140734523138432 18446744073709551615 4250782 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20644/tid=20662] ppid=20639 vsize=1906836 CPUtime=0.87 cores=4-31
/proc/20644/task/20662/stat : 20662 (plingeling) R 20639 20639 20543 0 -1 4202560 1829 1242 0 0 86 0 0 1 19 0 29 0 633416245 1952600064 338718 268435456000 4194304 4356188 140734523138432 18446744073709551615 4260279 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20644/tid=20663] ppid=20639 vsize=1906836 CPUtime=0.91 cores=4-31
/proc/20644/task/20663/stat : 20663 (plingeling) R 20639 20639 20543 0 -1 4202560 1777 1242 0 0 90 0 0 1 19 0 29 0 633416245 1952600064 338718 268435456000 4194304 4356188 140734523138432 18446744073709551615 4250838 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20644/tid=20664] ppid=20639 vsize=1906836 CPUtime=0.88 cores=4-31
/proc/20644/task/20664/stat : 20664 (plingeling) R 20639 20639 20543 0 -1 4202560 1834 1242 0 0 87 0 0 1 19 0 29 0 633416246 1952600064 338424 268435456000 4194304 4356188 140734523138432 18446744073709551615 4210579 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20644/tid=20665] ppid=20639 vsize=1906836 CPUtime=0.88 cores=4-31
/proc/20644/task/20665/stat : 20665 (plingeling) R 20639 20639 20543 0 -1 4202560 1777 1242 0 0 87 0 0 1 22 0 29 0 633416246 1952600064 338424 268435456000 4194304 4356188 140734523138432 18446744073709551615 4260242 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20644/tid=20666] ppid=20639 vsize=1906836 CPUtime=0.88 cores=4-31
/proc/20644/task/20666/stat : 20666 (plingeling) R 20639 20639 20543 0 -1 4202560 1810 1242 0 0 87 0 0 1 22 0 29 0 633416246 1952600064 338424 268435456000 4194304 4356188 140734523138432 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20644/tid=20667] ppid=20639 vsize=1906836 CPUtime=0.87 cores=4-31
/proc/20644/task/20667/stat : 20667 (plingeling) R 20639 20639 20543 0 -1 4202560 1810 1242 0 0 86 0 0 1 19 0 29 0 633416246 1952600064 338424 268435456000 4194304 4356188 140734523138432 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20644/tid=20668] ppid=20639 vsize=1906836 CPUtime=0.7 cores=4-31
/proc/20644/task/20668/stat : 20668 (plingeling) R 20639 20639 20543 0 -1 4202560 1836 1242 0 0 69 0 0 1 21 0 29 0 633416246 1952600064 338424 268435456000 4194304 4356188 140734523138432 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20644/tid=20669] ppid=20639 vsize=1906836 CPUtime=0.79 cores=4-31
/proc/20644/task/20669/stat : 20669 (plingeling) R 20639 20639 20543 0 -1 4202560 1833 1242 0 0 78 0 0 1 21 0 29 0 633416246 1952600064 337912 268435456000 4194304 4356188 140734523138432 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20644/tid=20670] ppid=20639 vsize=1906836 CPUtime=0.85 cores=4-31
/proc/20644/task/20670/stat : 20670 (plingeling) D 20639 20639 20543 0 -1 4202560 1777 1242 0 0 84 0 0 1 22 0 29 0 633416247 1952600064 337912 268435456000 4194304 4356188 140734523138432 18446744073709551615 258650999159 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20644/tid=20671] ppid=20639 vsize=1906836 CPUtime=0.86 cores=4-31
/proc/20644/task/20671/stat : 20671 (plingeling) R 20639 20639 20543 0 -1 4202560 1812 1242 0 0 85 0 0 1 22 0 29 0 633416247 1952600064 337912 268435456000 4194304 4356188 140734523138432 18446744073709551615 4260324 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20644/tid=20672] ppid=20639 vsize=1906836 CPUtime=0.87 cores=4-31
################
# More data... #
################
[pid=20644/tid=20660] ppid=20639 vsize=1991028 CPUtime=336.53 cores=4-31
/proc/20644/task/20660/stat : 20660 (plingeling) R 20639 20639 20543 0 -1 4202560 13035 1242 0 0 33643 9 0 1 25 0 29 0 633416245 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20644/tid=20661] ppid=20639 vsize=1991028 CPUtime=346.14 cores=4-31
/proc/20644/task/20661/stat : 20661 (plingeling) R 20639 20639 20543 0 -1 4202560 11659 1242 0 0 34606 7 0 1 25 0 29 0 633416245 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331193 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20644/tid=20662] ppid=20639 vsize=1991028 CPUtime=346.46 cores=4-31
/proc/20644/task/20662/stat : 20662 (plingeling) R 20639 20639 20543 0 -1 4202560 10296 1242 0 0 34642 3 0 1 25 0 29 0 633416245 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20644/tid=20663] ppid=20639 vsize=1991028 CPUtime=346.53 cores=4-31
/proc/20644/task/20663/stat : 20663 (plingeling) R 20639 20639 20543 0 -1 4202560 15707 1242 0 0 34646 6 0 1 25 0 29 0 633416245 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20644/tid=20664] ppid=20639 vsize=1991028 CPUtime=346.23 cores=4-31
/proc/20644/task/20664/stat : 20664 (plingeling) R 20639 20639 20543 0 -1 4202560 33256 1242 0 0 34606 16 0 1 25 0 29 0 633416246 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4244402 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20644/tid=20665] ppid=20639 vsize=1991028 CPUtime=346.21 cores=4-31
/proc/20644/task/20665/stat : 20665 (plingeling) R 20639 20639 20543 0 -1 4202560 12733 1242 0 0 34609 11 0 1 25 0 29 0 633416246 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20644/tid=20666] ppid=20639 vsize=1991028 CPUtime=346.24 cores=4-31
/proc/20644/task/20666/stat : 20666 (plingeling) R 20639 20639 20543 0 -1 4202560 13136 1242 0 0 34611 12 0 1 25 0 29 0 633416246 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20644/tid=20667] ppid=20639 vsize=1991028 CPUtime=346.23 cores=4-31
/proc/20644/task/20667/stat : 20667 (plingeling) R 20639 20639 20543 0 -1 4202560 13395 1242 0 0 34610 12 0 1 25 0 29 0 633416246 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20644/tid=20668] ppid=20639 vsize=1991028 CPUtime=346.1 cores=4-31
/proc/20644/task/20668/stat : 20668 (plingeling) R 20639 20639 20543 0 -1 4202560 13496 1242 0 0 34599 10 0 1 25 0 29 0 633416246 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20644/tid=20669] ppid=20639 vsize=1991028 CPUtime=346.12 cores=4-31
/proc/20644/task/20669/stat : 20669 (plingeling) R 20639 20639 20543 0 -1 4202560 5372 1242 0 0 34605 6 0 1 25 0 29 0 633416246 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20644/tid=20670] ppid=20639 vsize=1991028 CPUtime=346.45 cores=4-31
/proc/20644/task/20670/stat : 20670 (plingeling) R 20639 20639 20543 0 -1 4202560 9027 1242 0 0 34642 2 0 1 25 0 29 0 633416247 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20644/tid=20671] ppid=20639 vsize=1991028 CPUtime=345.91 cores=4-31
/proc/20644/task/20671/stat : 20671 (plingeling) R 20639 20639 20543 0 -1 4202560 15981 1242 0 0 34574 16 0 1 25 0 29 0 633416247 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20644/tid=20672] ppid=20639 vsize=1991028 CPUtime=346.3 cores=4-31
/proc/20644/task/20672/stat : 20672 (plingeling) R 20639 20639 20543 0 -1 4202560 8745 1242 0 0 34619 10 0 1 25 0 29 0 633416247 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20644/tid=20673] ppid=20639 vsize=1991028 CPUtime=346.16 cores=4-31
/proc/20644/task/20673/stat : 20673 (plingeling) R 20639 20639 20543 0 -1 4202560 12881 1242 0 0 34607 8 0 1 25 0 29 0 633416247 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20644/tid=20674] ppid=20639 vsize=1991028 CPUtime=346.37 cores=4-31
/proc/20644/task/20674/stat : 20674 (plingeling) R 20639 20639 20543 0 -1 4202560 13350 1242 0 0 34627 9 0 1 25 0 29 0 633416248 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4237379 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=20644/tid=20675] ppid=20639 vsize=1991028 CPUtime=346.21 cores=4-31
/proc/20644/task/20675/stat : 20675 (plingeling) R 20639 20639 20543 0 -1 4202560 16096 1242 0 0 34609 11 0 1 25 0 29 0 633416248 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20644/tid=20676] ppid=20639 vsize=1991028 CPUtime=346.19 cores=4-31
/proc/20644/task/20676/stat : 20676 (plingeling) R 20639 20639 20543 0 -1 4202560 10384 1242 0 0 34608 10 0 1 25 0 29 0 633416249 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20644/tid=20677] ppid=20639 vsize=1991028 CPUtime=346.22 cores=4-31
/proc/20644/task/20677/stat : 20677 (plingeling) R 20639 20639 20543 0 -1 4202560 10149 1242 0 0 34611 10 0 1 25 0 29 0 633416249 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331352 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20644/tid=20678] ppid=20639 vsize=1991028 CPUtime=346.39 cores=4-31
/proc/20644/task/20678/stat : 20678 (plingeling) R 20639 20639 20543 0 -1 4202560 8920 1242 0 0 34636 2 0 1 25 0 29 0 633416249 2038812672 368032 268435456000 4194304 4356188 140734523138432 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 11130.8
Current children cumulated vsize (KiB) 4173612
[startup+359.202 s]
/proc/loadavg: 32.04 31.14 29.84 33/447 20688
/proc/meminfo: memFree=253209116/264257624 swapFree=67111528/67111528
[pid=20639] ppid=20637 vsize=18324 CPUtime=0 cores=0-31
/proc/20639/stat : 20639 (ppfolio) S 20637 20639 20543 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 633415067 18763776 385 268435456000 4194304 4287625 140736449289680 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 16 0 0 0
/proc/20639/statm: 4581 385 337 23 0 91 0
[pid=20640] ppid=20639 vsize=704256 CPUtime=359.12 cores=0
/proc/20640/stat : 20640 (cryptominisat) R 20639 20639 20543 0 -1 4202496 90050 0 0 0 35882 30 0 0 25 0 1 0 633415067 721158144 42429 268435456000 4194304 4587354 140734386704096 18446744073709551615 4238418 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20640/statm: 176064 42429 333 96 0 172626 0
[pid=20641] ppid=20639 vsize=163328 CPUtime=359.12 cores=1
/proc/20641/stat : 20641 (clasp) R 20639 20639 20543 0 -1 4202496 43480 0 0 0 35889 23 0 0 25 0 1 0 633415067 167247872 37445 268435456000 4194304 4785740 140735110892144 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20641/statm: 40832 37445 338 145 0 37877 0
[pid=20642] ppid=20639 vsize=522488 CPUtime=359.11 cores=2
/proc/20642/stat : 20642 (TNM) R 20639 20639 20543 0 -1 4202496 25123 0 0 0 35904 7 0 0 25 0 1 0 633415067 535027712 25021 268435456000 134512640 134534564 4291906336 18446744073709551615 134529632 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20642/statm: 130622 25021 95 6 0 129287 0
[pid=20643] ppid=20639 vsize=774592 CPUtime=359.12 cores=3
/proc/20643/stat : 20643 (march_hi) R 20639 20639 20543 0 -1 4202496 378889 0 0 0 35817 95 0 0 25 0 1 0 633415067 793182208 138542 268435456000 4194304 4331988 140734626359984 18446744073709551615 4210448 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20643/statm: 193648 138542 173 34 0 192090 0
[pid=20644] ppid=20639 vsize=1990248 CPUtime=9719.86 cores=4-31
/proc/20644/stat : 20644 (plingeling) S 20639 20639 20543 0 -1 4202496 740709 1242 0 0 971648 337 0 1 19 0 29 0 633415067 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/20644/statm: 497562 367837 159 40 0 496106 0
[pid=20644/tid=20651] ppid=20639 vsize=1990248 CPUtime=346.99 cores=4-31
/proc/20644/task/20651/stat : 20651 (plingeling) R 20639 20639 20543 0 -1 4202560 13694 1242 0 0 34691 7 0 1 25 0 29 0 633416244 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20644/tid=20652] ppid=20639 vsize=1990248 CPUtime=346.98 cores=4-31
/proc/20644/task/20652/stat : 20652 (plingeling) R 20639 20639 20543 0 -1 4202560 13746 1242 0 0 34689 8 0 1 25 0 29 0 633416244 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20644/tid=20653] ppid=20639 vsize=1990248 CPUtime=346.94 cores=4-31
/proc/20644/task/20653/stat : 20653 (plingeling) R 20639 20639 20543 0 -1 4202560 14397 1242 0 0 34690 3 0 1 25 0 29 0 633416244 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20644/tid=20654] ppid=20639 vsize=1990248 CPUtime=347.35 cores=4-31
/proc/20644/task/20654/stat : 20654 (plingeling) R 20639 20639 20543 0 -1 4202560 13893 1242 0 0 34730 4 0 1 25 0 29 0 633416244 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331141 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20644/tid=20655] ppid=20639 vsize=1990248 CPUtime=347.16 cores=4-31
/proc/20644/task/20655/stat : 20655 (plingeling) R 20639 20639 20543 0 -1 4202560 13034 1242 0 0 34704 11 0 1 25 0 29 0 633416244 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4237401 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20644/tid=20656] ppid=20639 vsize=1990248 CPUtime=347.2 cores=4-31
/proc/20644/task/20656/stat : 20656 (plingeling) R 20639 20639 20543 0 -1 4202560 8338 1242 0 0 34710 9 0 1 25 0 29 0 633416244 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20644/tid=20657] ppid=20639 vsize=1990248 CPUtime=347.02 cores=4-31
/proc/20644/task/20657/stat : 20657 (plingeling) R 20639 20639 20543 0 -1 4202560 15162 1242 0 0 34687 14 0 1 25 0 29 0 633416244 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20644/tid=20658] ppid=20639 vsize=1990248 CPUtime=346.95 cores=4-31
/proc/20644/task/20658/stat : 20658 (plingeling) R 20639 20639 20543 0 -1 4202560 15633 1242 0 0 34686 8 0 1 25 0 29 0 633416244 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20644/tid=20659] ppid=20639 vsize=1990248 CPUtime=347.35 cores=4-31
/proc/20644/task/20659/stat : 20659 (plingeling) R 20639 20639 20543 0 -1 4202560 12524 1242 0 0 34723 11 0 1 25 0 29 0 633416244 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20644/tid=20660] ppid=20639 vsize=1990248 CPUtime=337.3 cores=4-31
/proc/20644/task/20660/stat : 20660 (plingeling) R 20639 20639 20543 0 -1 4202560 13035 1242 0 0 33720 9 0 1 25 0 29 0 633416245 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20644/tid=20661] ppid=20639 vsize=1990248 CPUtime=346.94 cores=4-31
/proc/20644/task/20661/stat : 20661 (plingeling) R 20639 20639 20543 0 -1 4202560 11659 1242 0 0 34686 7 0 1 25 0 29 0 633416245 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331861 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20644/tid=20662] ppid=20639 vsize=1990248 CPUtime=347.26 cores=4-31
/proc/20644/task/20662/stat : 20662 (plingeling) R 20639 20639 20543 0 -1 4202560 10296 1242 0 0 34722 3 0 1 25 0 29 0 633416245 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331319 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20644/tid=20663] ppid=20639 vsize=1990248 CPUtime=347.33 cores=4-31
/proc/20644/task/20663/stat : 20663 (plingeling) R 20639 20639 20543 0 -1 4202560 15707 1242 0 0 34726 6 0 1 25 0 29 0 633416245 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20644/tid=20664] ppid=20639 vsize=1990248 CPUtime=347.03 cores=4-31
/proc/20644/task/20664/stat : 20664 (plingeling) R 20639 20639 20543 0 -1 4202560 33256 1242 0 0 34686 16 0 1 25 0 29 0 633416246 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4273746 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20644/tid=20665] ppid=20639 vsize=1990248 CPUtime=347.01 cores=4-31
/proc/20644/task/20665/stat : 20665 (plingeling) R 20639 20639 20543 0 -1 4202560 12733 1242 0 0 34689 11 0 1 25 0 29 0 633416246 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20644/tid=20666] ppid=20639 vsize=1990248 CPUtime=347.04 cores=4-31
/proc/20644/task/20666/stat : 20666 (plingeling) R 20639 20639 20543 0 -1 4202560 13136 1242 0 0 34691 12 0 1 25 0 29 0 633416246 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20644/tid=20667] ppid=20639 vsize=1990248 CPUtime=347.03 cores=4-31
/proc/20644/task/20667/stat : 20667 (plingeling) R 20639 20639 20543 0 -1 4202560 13395 1242 0 0 34690 12 0 1 25 0 29 0 633416246 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20644/tid=20668] ppid=20639 vsize=1990248 CPUtime=346.9 cores=4-31
/proc/20644/task/20668/stat : 20668 (plingeling) R 20639 20639 20543 0 -1 4202560 13496 1242 0 0 34679 10 0 1 25 0 29 0 633416246 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20644/tid=20669] ppid=20639 vsize=1990248 CPUtime=346.92 cores=4-31
/proc/20644/task/20669/stat : 20669 (plingeling) R 20639 20639 20543 0 -1 4202560 5372 1242 0 0 34685 6 0 1 25 0 29 0 633416246 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4332133 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20644/tid=20670] ppid=20639 vsize=1990248 CPUtime=347.25 cores=4-31
/proc/20644/task/20670/stat : 20670 (plingeling) R 20639 20639 20543 0 -1 4202560 9027 1242 0 0 34722 2 0 1 25 0 29 0 633416247 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4279490 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20644/tid=20671] ppid=20639 vsize=1990248 CPUtime=346.71 cores=4-31
/proc/20644/task/20671/stat : 20671 (plingeling) R 20639 20639 20543 0 -1 4202560 15981 1242 0 0 34654 16 0 1 25 0 29 0 633416247 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20644/tid=20672] ppid=20639 vsize=1990248 CPUtime=347.1 cores=4-31
/proc/20644/task/20672/stat : 20672 (plingeling) R 20639 20639 20543 0 -1 4202560 8745 1242 0 0 34699 10 0 1 25 0 29 0 633416247 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20644/tid=20673] ppid=20639 vsize=1990248 CPUtime=346.96 cores=4-31
/proc/20644/task/20673/stat : 20673 (plingeling) R 20639 20639 20543 0 -1 4202560 12881 1242 0 0 34687 8 0 1 25 0 29 0 633416247 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4279666 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20644/tid=20674] ppid=20639 vsize=1990248 CPUtime=347.17 cores=4-31
/proc/20644/task/20674/stat : 20674 (plingeling) R 20639 20639 20543 0 -1 4202560 13350 1242 0 0 34707 9 0 1 25 0 29 0 633416248 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=20644/tid=20675] ppid=20639 vsize=1990248 CPUtime=347.01 cores=4-31
/proc/20644/task/20675/stat : 20675 (plingeling) R 20639 20639 20543 0 -1 4202560 16096 1242 0 0 34689 11 0 1 25 0 29 0 633416248 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20644/tid=20676] ppid=20639 vsize=1990248 CPUtime=346.99 cores=4-31
/proc/20644/task/20676/stat : 20676 (plingeling) R 20639 20639 20543 0 -1 4202560 10384 1242 0 0 34688 10 0 1 25 0 29 0 633416249 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20644/tid=20677] ppid=20639 vsize=1990248 CPUtime=347.02 cores=4-31
/proc/20644/task/20677/stat : 20677 (plingeling) R 20639 20639 20543 0 -1 4202560 10149 1242 0 0 34691 10 0 1 25 0 29 0 633416249 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20644/tid=20678] ppid=20639 vsize=1990248 CPUtime=347.19 cores=4-31
/proc/20644/task/20678/stat : 20678 (plingeling) R 20639 20639 20543 0 -1 4202560 8920 1242 0 0 34716 2 0 1 25 0 29 0 633416249 2038013952 367837 268435456000 4194304 4356188 140734523138432 18446744073709551615 4238651 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 11156.3
Current children cumulated vsize (KiB) 4173236
[startup+360.001 s]
/proc/loadavg: 32.03 31.16 29.85 31/445 20688
/proc/meminfo: memFree=253208628/264257624 swapFree=67111528/67111528
[pid=20639] ppid=20637 vsize=18324 CPUtime=0 cores=0-31
/proc/20639/stat : 20639 (ppfolio) S 20637 20639 20543 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 633415067 18763776 385 268435456000 4194304 4287625 140736449289680 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 16 0 0 0
/proc/20639/statm: 4581 385 337 23 0 91 0
[pid=20640] ppid=20639 vsize=704256 CPUtime=359.92 cores=0
/proc/20640/stat : 20640 (cryptominisat) R 20639 20639 20543 0 -1 4202496 90086 0 0 0 35962 30 0 0 25 0 1 0 633415067 721158144 42464 268435456000 4194304 4587354 140734386704096 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20640/statm: 176064 42464 333 96 0 172626 0
[pid=20641] ppid=20639 vsize=163328 CPUtime=359.91 cores=1
/proc/20641/stat : 20641 (clasp) R 20639 20639 20543 0 -1 4202496 43482 0 0 0 35968 23 0 0 25 0 1 0 633415067 167247872 37447 268435456000 4194304 4785740 140735110892144 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20641/statm: 40832 37447 338 145 0 37877 0
[pid=20642] ppid=20639 vsize=522488 CPUtime=359.91 cores=2
/proc/20642/stat : 20642 (TNM) R 20639 20639 20543 0 -1 4202496 25123 0 0 0 35984 7 0 0 25 0 1 0 633415067 535027712 25021 268435456000 134512640 134534564 4291906336 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20642/statm: 130622 25021 95 6 0 129287 0
[pid=20643] ppid=20639 vsize=774592 CPUtime=359.92 cores=3
/proc/20643/stat : 20643 (march_hi) R 20639 20639 20543 0 -1 4202496 378891 0 0 0 35897 95 0 0 25 0 1 0 633415067 793182208 138544 268435456000 4194304 4331988 140734626359984 18446744073709551615 4299098 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20643/statm: 193648 138544 173 34 0 192090 0
[pid=20644] ppid=20639 vsize=1846308 CPUtime=9735.98 cores=4-31
/proc/20644/stat : 20644 (plingeling) S 20639 20639 20543 0 -1 4202496 740710 1242 0 0 973260 337 0 1 16 0 2 0 633415067 1890619392 367607 268435456000 4194304 4356188 140734523138432 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/20644/statm: 461577 367607 160 40 0 460121 0
[pid=20644/tid=20668] ppid=20639 vsize=1846308 CPUtime=347.7 cores=4-31
/proc/20644/task/20668/stat : 20668 (plingeling) R 20639 20639 20543 0 -1 4202560 13496 1242 0 0 34759 10 0 1 25 0 2 0 633416246 1890619392 367607 268435456000 4194304 4356188 140734523138432 18446744073709551615 4259314 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 11175.6
Current children cumulated vsize (KiB) 4029296
[startup+360.401 s]
/proc/loadavg: 32.03 31.16 29.85 31/445 20688
/proc/meminfo: memFree=253208628/264257624 swapFree=67111528/67111528
[pid=20639] ppid=20637 vsize=18324 CPUtime=0 cores=0-31
/proc/20639/stat : 20639 (ppfolio) S 20637 20639 20543 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 633415067 18763776 385 268435456000 4194304 4287625 140736449289680 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 16 0 0 0
/proc/20639/statm: 4581 385 337 23 0 91 0
[pid=20640] ppid=20639 vsize=704256 CPUtime=360.32 cores=0
/proc/20640/stat : 20640 (cryptominisat) R 20639 20639 20543 0 -1 4202496 90108 0 0 0 36002 30 0 0 25 0 1 0 633415067 721158144 42484 268435456000 4194304 4587354 140734386704096 18446744073709551615 4238421 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20640/statm: 176064 42484 333 96 0 172626 0
[pid=20641] ppid=20639 vsize=163328 CPUtime=360.31 cores=1
/proc/20641/stat : 20641 (clasp) R 20639 20639 20543 0 -1 4202496 43483 0 0 0 36008 23 0 0 25 0 1 0 633415067 167247872 37448 268435456000 4194304 4785740 140735110892144 18446744073709551615 4550931 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/20641/statm: 40832 37448 338 145 0 37877 0
[pid=20642] ppid=20639 vsize=522488 CPUtime=360.31 cores=2
/proc/20642/stat : 20642 (TNM) R 20639 20639 20543 0 -1 4202496 25123 0 0 0 36024 7 0 0 25 0 1 0 633415067 535027712 25021 268435456000 134512640 134534564 4291906336 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20642/statm: 130622 25021 95 6 0 129287 0
[pid=20643] ppid=20639 vsize=774592 CPUtime=360.32 cores=3
/proc/20643/stat : 20643 (march_hi) R 20639 20639 20543 0 -1 4202496 378892 0 0 0 35937 95 0 0 25 0 1 0 633415067 793182208 138545 268435456000 4194304 4331988 140734626359984 18446744073709551615 4298550 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20643/statm: 193648 138545 173 34 0 192090 0
[pid=20644] ppid=20639 vsize=669688 CPUtime=9736.39 cores=4-31
/proc/20644/stat : 20644 (plingeling) R 20639 20639 20543 0 -1 4202496 740710 1242 0 0 973293 345 0 1 15 0 1 0 633415067 685760512 95476 268435456000 4194304 4356188 140734523138432 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 14 0 0 0
/proc/20644/statm: 167422 95476 160 40 0 165966 0
Current children cumulated CPU time (s) 11177.6
Current children cumulated vsize (KiB) 2852676
Child status: 0
Real time (s): 360.479
CPU time (s): 11177.9
CPU user time (s): 11172.8
CPU system time (s): 5.15821
CPU usage (%): 3100.86
Max. virtual memory (cumulated for all children) (KiB): 4776092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11172.8
system time used= 5.15822
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1280095
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= 2308
involuntary context switches= 27353
runsolver used 1.9737 second user time and 8.23375 second system time
The end
Begin job on node200 at 2011-05-12 18:54:47
IDJOB=3347507
IDBENCH=82497
IDSOLVER=1808
FILE ID=node200/3347507-1305219285
RUNJOBID= node200-1305219065-20557
PBS_JOBID= 13282093
Free space on /tmp= 62032 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/manthey/traffic/traffic_f_unknown.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347507-1305219285/watcher-3347507-1305219285 -o /tmp/evaluation-result-3347507-1305219285/solver-3347507-1305219285 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347507-1305219285.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f03ed12a281977a642336980ec847847
RANDOM SEED=2031754328
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: 255649396 kB
Buffers: 429180 kB
Cached: 7770632 kB
SwapCached: 0 kB
Active: 7346044 kB
Inactive: 922844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255649396 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 28964 kB
Writeback: 32 kB
AnonPages: 69560 kB
Mapped: 14596 kB
Slab: 249604 kB
PageTables: 4700 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 195044 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= 62024 MiB
End job on node200 at 2011-05-12 19:00:47