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
302.02/15.95 s UNSATISFIABLE
302.02/15.96 solver [5] plingeling 276-6264d55-100731 answered
302.02/15.96 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-3347143-1304727889/watcher-3347143-1304727889 -o /tmp/evaluation-result-3347143-1304727889/solver-3347143-1304727889 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347143-1304727889.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: 24.16 30.10 31.25 1/413 2711
/proc/meminfo: memFree=256762772/264257624 swapFree=67111528/67111528
[pid=2711] ppid=2709 vsize=18324 CPUtime=0 cores=0-31
/proc/2711/stat : 2711 (ppfolio) S 2709 2711 2364 0 -1 4202496 512 0 0 0 0 0 0 0 22 0 1 0 584275404 18763776 386 268435456000 4194304 4287625 140736812048304 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 24 0 0 0
/proc/2711/statm: 4581 386 337 23 0 91 0
[startup+0.0909189 s]
/proc/loadavg: 24.16 30.10 31.25 1/413 2711
/proc/meminfo: memFree=256762772/264257624 swapFree=67111528/67111528
[pid=2711] ppid=2709 vsize=18324 CPUtime=0 cores=0-31
/proc/2711/stat : 2711 (ppfolio) S 2709 2711 2364 0 -1 4202496 512 0 0 0 0 0 0 0 22 0 1 0 584275404 18763776 386 268435456000 4194304 4287625 140736812048304 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 24 0 0 0
/proc/2711/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100918 s]
/proc/loadavg: 24.16 30.10 31.25 1/413 2711
/proc/meminfo: memFree=256762772/264257624 swapFree=67111528/67111528
[pid=2711] ppid=2709 vsize=18324 CPUtime=0 cores=0-31
/proc/2711/stat : 2711 (ppfolio) S 2709 2711 2364 0 -1 4202496 512 0 0 0 0 0 0 0 22 0 1 0 584275404 18763776 386 268435456000 4194304 4287625 140736812048304 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 24 0 0 0
/proc/2711/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300937 s]
/proc/loadavg: 24.16 30.10 31.25 1/413 2711
/proc/meminfo: memFree=256762772/264257624 swapFree=67111528/67111528
[pid=2711] ppid=2709 vsize=18324 CPUtime=0 cores=0-31
/proc/2711/stat : 2711 (ppfolio) S 2709 2711 2364 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 584275404 18763776 386 268435456000 4194304 4287625 140736812048304 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 24 0 0 0
/proc/2711/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700954 s]
/proc/loadavg: 24.16 30.10 31.25 1/413 2711
/proc/meminfo: memFree=256762772/264257624 swapFree=67111528/67111528
[pid=2711] ppid=2709 vsize=18324 CPUtime=0 cores=0-31
/proc/2711/stat : 2711 (ppfolio) S 2709 2711 2364 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 584275404 18763776 386 268435456000 4194304 4287625 140736812048304 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 24 0 0 0
/proc/2711/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50096 s]
/proc/loadavg: 24.16 30.10 31.25 6/419 2722
/proc/meminfo: memFree=256495836/264257624 swapFree=67111528/67111528
[pid=2711] ppid=2709 vsize=18324 CPUtime=0 cores=0-31
/proc/2711/stat : 2711 (ppfolio) S 2709 2711 2364 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 584275404 18763776 386 268435456000 4194304 4287625 140736812048304 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 24 0 0 0
/proc/2711/statm: 4581 386 337 23 0 91 0
[pid=2712] ppid=2711 vsize=75372 CPUtime=1.49 cores=0
/proc/2712/stat : 2712 (cryptominisat) R 2711 2711 2364 0 -1 4202496 12866 0 0 0 146 3 0 0 25 0 1 0 584275405 77180928 12564 268435456000 4194304 4587354 140735281538048 18446744073709551615 4238282 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2712/statm: 18843 12564 304 96 0 15405 0
[pid=2713] ppid=2711 vsize=54724 CPUtime=1.48 cores=1
/proc/2713/stat : 2713 (clasp) R 2711 2711 2364 0 -1 4202496 16595 0 0 0 143 5 0 0 20 0 1 0 584275405 56037376 10713 268435456000 4194304 4785740 140734400671776 18446744073709551615 4552646 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2713/statm: 13681 10713 330 145 0 10726 0
[pid=2714] ppid=2711 vsize=483284 CPUtime=1.49 cores=2
/proc/2714/stat : 2714 (TNM) R 2711 2711 2364 0 -1 4202496 14643 0 0 0 144 5 0 0 20 0 1 0 584275405 494882816 14541 268435456000 134512640 134534564 4292737376 18446744073709551615 134529964 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2714/statm: 120821 14541 95 6 0 119486 0
[pid=2715] ppid=2711 vsize=86944 CPUtime=1.49 cores=3
/proc/2715/stat : 2715 (march_hi) R 2711 2711 2364 0 -1 4194304 20145 0 0 0 142 7 0 0 20 0 1 0 584275405 89030656 15684 268435456000 4194304 4331988 140735181515024 18446744073709551615 258650623088 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2715/statm: 21736 15684 127 34 0 20178 0
[pid=2716] ppid=2711 vsize=148400 CPUtime=1.49 cores=4-31
/proc/2716/stat : 2716 (plingeling) R 2711 2711 2364 0 -1 4202496 36066 1239 0 0 138 10 0 1 21 0 1 0 584275405 151961600 35759 268435456000 4194304 4356188 140735315790960 18446744073709551615 4278267 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/2716/statm: 37100 35759 129 40 0 35644 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 867048
[startup+3.101 s]
/proc/loadavg: 24.16 30.10 31.25 6/419 2722
/proc/meminfo: memFree=256382132/264257624 swapFree=67111528/67111528
[pid=2711] ppid=2709 vsize=18324 CPUtime=0 cores=0-31
/proc/2711/stat : 2711 (ppfolio) S 2709 2711 2364 0 -1 4202496 512 0 0 0 0 0 0 0 16 0 1 0 584275404 18763776 386 268435456000 4194304 4287625 140736812048304 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 24 0 0 0
/proc/2711/statm: 4581 386 337 23 0 91 0
[pid=2712] ppid=2711 vsize=92728 CPUtime=3.08 cores=0
/proc/2712/stat : 2712 (cryptominisat) R 2711 2711 2364 0 -1 4202496 17137 0 0 0 305 3 0 0 25 0 1 0 584275405 94953472 16835 268435456000 4194304 4587354 140735281538048 18446744073709551615 4248764 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2712/statm: 23182 16835 310 96 0 19744 0
[pid=2713] ppid=2711 vsize=54724 CPUtime=3.08 cores=1
/proc/2713/stat : 2713 (clasp) R 2711 2711 2364 0 -1 4202496 16603 0 0 0 303 5 0 0 25 0 1 0 584275405 56037376 10721 268435456000 4194304 4785740 140734400671776 18446744073709551615 4552880 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2713/statm: 13681 10721 338 145 0 10726 0
[pid=2714] ppid=2711 vsize=483284 CPUtime=3.09 cores=2
/proc/2714/stat : 2714 (TNM) R 2711 2711 2364 0 -1 4202496 14643 0 0 0 304 5 0 0 25 0 1 0 584275405 494882816 14541 268435456000 134512640 134534564 4292737376 18446744073709551615 134529944 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2714/statm: 120821 14541 95 6 0 119486 0
[pid=2715] ppid=2711 vsize=86860 CPUtime=3.09 cores=3
/proc/2715/stat : 2715 (march_hi) R 2711 2711 2364 0 -1 4202496 20167 0 0 0 302 7 0 0 25 0 1 0 584275405 88944640 15685 268435456000 4194304 4331988 140735181515024 18446744073709551615 258650611643 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2715/statm: 21715 15685 148 34 0 20157 0
[pid=2716] ppid=2711 vsize=287220 CPUtime=3.08 cores=4-31
/proc/2716/stat : 2716 (plingeling) R 2711 2711 2364 0 -1 4202496 70899 1239 0 0 290 17 0 1 25 0 1 0 584275405 294113280 70464 268435456000 4194304 4356188 140735315790960 18446744073709551615 4278640 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/2716/statm: 71805 70464 129 40 0 70349 0
Current children cumulated CPU time (s) 15.42
Current children cumulated vsize (KiB) 1023140
[startup+6.30113 s]
/proc/loadavg: 22.63 29.68 31.11 6/419 2722
/proc/meminfo: memFree=256128888/264257624 swapFree=67111528/67111528
[pid=2711] ppid=2709 vsize=18324 CPUtime=0 cores=0-31
/proc/2711/stat : 2711 (ppfolio) S 2709 2711 2364 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 584275404 18763776 386 268435456000 4194304 4287625 140736812048304 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 24 0 0 0
/proc/2711/statm: 4581 386 337 23 0 91 0
[pid=2712] ppid=2711 vsize=92588 CPUtime=6.29 cores=0
/proc/2712/stat : 2712 (cryptominisat) R 2711 2711 2364 0 -1 4202496 18102 0 0 0 625 4 0 0 25 0 1 0 584275405 94810112 16937 268435456000 4194304 4587354 140735281538048 18446744073709551615 4238739 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2712/statm: 23147 16937 328 96 0 19709 0
[pid=2713] ppid=2711 vsize=54724 CPUtime=6.28 cores=1
/proc/2713/stat : 2713 (clasp) R 2711 2711 2364 0 -1 4202496 16603 0 0 0 623 5 0 0 25 0 1 0 584275405 56037376 10721 268435456000 4194304 4785740 140734400671776 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2713/statm: 13681 10721 338 145 0 10726 0
[pid=2714] ppid=2711 vsize=483284 CPUtime=6.29 cores=2
/proc/2714/stat : 2714 (TNM) R 2711 2711 2364 0 -1 4202496 14643 0 0 0 624 5 0 0 25 0 1 0 584275405 494882816 14541 268435456000 134512640 134534564 4292737376 18446744073709551615 134530339 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2714/statm: 120821 14541 95 6 0 119486 0
[pid=2715] ppid=2711 vsize=220196 CPUtime=6.28 cores=3
/proc/2715/stat : 2715 (march_hi) R 2711 2711 2364 0 -1 4202496 41303 0 0 0 618 10 0 0 25 0 1 0 584275405 225480704 25567 268435456000 4194304 4331988 140735181515024 18446744073709551615 4210459 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2715/statm: 55049 25567 171 34 0 53491 0
[pid=2716] ppid=2711 vsize=487008 CPUtime=6.29 cores=4-31
/proc/2716/stat : 2716 (plingeling) R 2711 2711 2364 0 -1 4202496 120846 1239 0 0 601 27 0 1 25 0 1 0 584275405 498696192 120411 268435456000 4194304 4356188 140735315790960 18446744073709551615 4277763 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/2716/statm: 121752 120411 129 40 0 120296 0
Current children cumulated CPU time (s) 31.43
Current children cumulated vsize (KiB) 1356124
[startup+12.7023 s]
/proc/loadavg: 23.46 29.73 31.12 33/447 2750
/proc/meminfo: memFree=256267476/264257624 swapFree=67111528/67111528
[pid=2711] ppid=2709 vsize=18324 CPUtime=0 cores=0-31
/proc/2711/stat : 2711 (ppfolio) S 2709 2711 2364 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 584275404 18763776 386 268435456000 4194304 4287625 140736812048304 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 24 0 0 0
/proc/2711/statm: 4581 386 337 23 0 91 0
[pid=2712] ppid=2711 vsize=1420636 CPUtime=12.69 cores=0
/proc/2712/stat : 2712 (cryptominisat) R 2711 2711 2364 0 -1 4202496 22319 0 0 0 1264 5 0 0 25 0 1 0 584275405 1454731264 19381 268435456000 4194304 4587354 140735281538048 18446744073709551615 4238628 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2712/statm: 355159 19381 333 96 0 351721 0
[pid=2713] ppid=2711 vsize=60776 CPUtime=12.68 cores=1
/proc/2713/stat : 2713 (clasp) R 2711 2711 2364 0 -1 4202496 18129 0 0 0 1262 6 0 0 25 0 1 0 584275405 62234624 12247 268435456000 4194304 4785740 140734400671776 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2713/statm: 15194 12247 338 145 0 12239 0
[pid=2714] ppid=2711 vsize=483284 CPUtime=12.69 cores=2
/proc/2714/stat : 2714 (TNM) R 2711 2711 2364 0 -1 4202496 14643 0 0 0 1264 5 0 0 25 0 1 0 584275405 494882816 14541 268435456000 134512640 134534564 4292737376 18446744073709551615 134530126 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2714/statm: 120821 14541 95 6 0 119486 0
[pid=2715] ppid=2711 vsize=222252 CPUtime=12.69 cores=3
/proc/2715/stat : 2715 (march_hi) R 2711 2711 2364 0 -1 4202496 42046 0 0 0 1258 11 0 0 25 0 1 0 584275405 227586048 26310 268435456000 4194304 4331988 140735181515024 18446744073709551615 4237382 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2715/statm: 55563 26310 174 34 0 54005 0
[pid=2716] ppid=2711 vsize=835772 CPUtime=149.06 cores=4-31
/proc/2716/stat : 2716 (plingeling) S 2711 2711 2364 0 -1 4202496 208549 1239 0 0 14677 228 0 1 18 0 29 0 584275405 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/2716/statm: 208943 55215 159 40 0 207487 0
[pid=2716/tid=2723] ppid=2711 vsize=835772 CPUtime=5.23 cores=4-31
/proc/2716/task/2723/stat : 2723 (plingeling) R 2711 2711 2364 0 -1 4202560 1643 1239 0 0 520 2 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2716/tid=2724] ppid=2711 vsize=835772 CPUtime=4.96 cores=4-31
/proc/2716/task/2724/stat : 2724 (plingeling) R 2711 2711 2364 0 -1 4202560 1442 1239 0 0 495 0 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4330796 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=2716/tid=2725] ppid=2711 vsize=835772 CPUtime=5.03 cores=4-31
/proc/2716/task/2725/stat : 2725 (plingeling) R 2711 2711 2364 0 -1 4202560 3927 1239 0 0 494 8 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4208943 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2716/tid=2726] ppid=2711 vsize=835772 CPUtime=4.95 cores=4-31
/proc/2716/task/2726/stat : 2726 (plingeling) R 2711 2711 2364 0 -1 4202560 3139 1239 0 0 483 11 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2716/tid=2727] ppid=2711 vsize=835772 CPUtime=4.98 cores=4-31
/proc/2716/task/2727/stat : 2727 (plingeling) R 2711 2711 2364 0 -1 4202560 3018 1239 0 0 488 9 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4253744 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2716/tid=2728] ppid=2711 vsize=835772 CPUtime=4.99 cores=4-31
/proc/2716/task/2728/stat : 2728 (plingeling) R 2711 2711 2364 0 -1 4202560 3753 1239 0 0 491 7 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4214388 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2716/tid=2729] ppid=2711 vsize=835772 CPUtime=5 cores=4-31
/proc/2716/task/2729/stat : 2729 (plingeling) R 2711 2711 2364 0 -1 4202560 3324 1239 0 0 490 9 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=2716/tid=2730] ppid=2711 vsize=835772 CPUtime=5.03 cores=4-31
/proc/2716/task/2730/stat : 2730 (plingeling) R 2711 2711 2364 0 -1 4202560 3529 1239 0 0 495 7 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2716/tid=2731] ppid=2711 vsize=835772 CPUtime=4.97 cores=4-31
/proc/2716/task/2731/stat : 2731 (plingeling) R 2711 2711 2364 0 -1 4202560 3181 1239 0 0 485 11 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4215025 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=2716/tid=2732] ppid=2711 vsize=835772 CPUtime=5.01 cores=4-31
/proc/2716/task/2732/stat : 2732 (plingeling) R 2711 2711 2364 0 -1 4202560 3279 1239 0 0 492 8 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4225315 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=2716/tid=2733] ppid=2711 vsize=835772 CPUtime=5.07 cores=4-31
/proc/2716/task/2733/stat : 2733 (plingeling) R 2711 2711 2364 0 -1 4202560 3732 1239 0 0 501 5 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4284190 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2716/tid=2734] ppid=2711 vsize=835772 CPUtime=5.07 cores=4-31
/proc/2716/task/2734/stat : 2734 (plingeling) R 2711 2711 2364 0 -1 4202560 2968 1239 0 0 498 8 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331249 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=2716/tid=2735] ppid=2711 vsize=835772 CPUtime=5.12 cores=4-31
/proc/2716/task/2735/stat : 2735 (plingeling) R 2711 2711 2364 0 -1 4202560 3240 1239 0 0 507 4 0 1 21 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=2716/tid=2736] ppid=2711 vsize=835772 CPUtime=5.17 cores=4-31
/proc/2716/task/2736/stat : 2736 (plingeling) R 2711 2711 2364 0 -1 4202560 3367 1239 0 0 512 4 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=2716/tid=2737] ppid=2711 vsize=835772 CPUtime=5.08 cores=4-31
/proc/2716/task/2737/stat : 2737 (plingeling) R 2711 2711 2364 0 -1 4202560 3232 1239 0 0 500 7 0 1 25 0 29 0 584276149 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4306802 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2716/tid=2738] ppid=2711 vsize=835772 CPUtime=5.06 cores=4-31
/proc/2716/task/2738/stat : 2738 (plingeling) R 2711 2711 2364 0 -1 4202560 3694 1239 0 0 497 8 0 1 25 0 29 0 584276150 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=2716/tid=2739] ppid=2711 vsize=835772 CPUtime=5.2 cores=4-31
/proc/2716/task/2739/stat : 2739 (plingeling) R 2711 2711 2364 0 -1 4202560 3164 1239 0 0 515 4 0 1 25 0 29 0 584276150 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4234370 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2716/tid=2740] ppid=2711 vsize=835772 CPUtime=5.13 cores=4-31
/proc/2716/task/2740/stat : 2740 (plingeling) R 2711 2711 2364 0 -1 4202560 3312 1239 0 0 505 7 0 1 25 0 29 0 584276150 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4211120 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=2716/tid=2741] ppid=2711 vsize=835772 CPUtime=5.08 cores=4-31
/proc/2716/task/2741/stat : 2741 (plingeling) R 2711 2711 2364 0 -1 4202560 3441 1239 0 0 500 7 0 1 25 0 29 0 584276150 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2716/tid=2742] ppid=2711 vsize=835772 CPUtime=5.1 cores=4-31
/proc/2716/task/2742/stat : 2742 (plingeling) R 2711 2711 2364 0 -1 4202560 3217 1239 0 0 502 7 0 1 25 0 29 0 584276151 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4242651 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2716/tid=2743] ppid=2711 vsize=835772 CPUtime=5.03 cores=4-31
/proc/2716/task/2743/stat : 2743 (plingeling) R 2711 2711 2364 0 -1 4202560 3272 1239 0 0 495 7 0 1 25 0 29 0 584276151 855830528 55215 268435456000 4194304 4356188 140735315790960 18446744073709551615 4303213 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=2716/tid=2744] ppid=2711 vsize=835772 CPUtime=5.1 cores=4-31
################
# More data... #
################
[pid=2716/tid=2739] ppid=2711 vsize=780556 CPUtime=7.6 cores=4-31
/proc/2716/task/2739/stat : 2739 (plingeling) R 2711 2711 2364 0 -1 4202560 3228 1239 0 0 755 4 0 1 25 0 29 0 584276150 799289344 41628 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2716/tid=2740] ppid=2711 vsize=780556 CPUtime=7.53 cores=4-31
/proc/2716/task/2740/stat : 2740 (plingeling) R 2711 2711 2364 0 -1 4202560 3536 1239 0 0 745 7 0 1 25 0 29 0 584276150 799289344 41628 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331371 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=2716/tid=2741] ppid=2711 vsize=780556 CPUtime=7.48 cores=4-31
/proc/2716/task/2741/stat : 2741 (plingeling) R 2711 2711 2364 0 -1 4202560 3446 1239 0 0 740 7 0 1 25 0 29 0 584276150 799289344 41628 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2716/tid=2742] ppid=2711 vsize=780556 CPUtime=7.51 cores=4-31
/proc/2716/task/2742/stat : 2742 (plingeling) R 2711 2711 2364 0 -1 4202560 3260 1239 0 0 742 8 0 1 25 0 29 0 584276151 799289344 41628 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331079 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2716/tid=2743] ppid=2711 vsize=780556 CPUtime=7.43 cores=4-31
/proc/2716/task/2743/stat : 2743 (plingeling) R 2711 2711 2364 0 -1 4202560 3336 1239 0 0 735 7 0 1 25 0 29 0 584276151 799289344 41628 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=2716/tid=2744] ppid=2711 vsize=780556 CPUtime=7.5 cores=4-31
/proc/2716/task/2744/stat : 2744 (plingeling) R 2711 2711 2364 0 -1 4202560 3669 1239 0 0 742 7 0 1 25 0 29 0 584276151 799289344 41628 268435456000 4194304 4356188 140735315790960 18446744073709551615 4210992 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=2716/tid=2745] ppid=2711 vsize=780556 CPUtime=7.4 cores=4-31
/proc/2716/task/2745/stat : 2745 (plingeling) R 2711 2711 2364 0 -1 4202560 3177 1239 0 0 731 8 0 1 25 0 29 0 584276151 799289344 41628 268435456000 4194304 4356188 140735315790960 18446744073709551615 4332062 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=2716/tid=2746] ppid=2711 vsize=780556 CPUtime=7.4 cores=4-31
/proc/2716/task/2746/stat : 2746 (plingeling) R 2711 2711 2364 0 -1 4202560 3994 1239 0 0 730 9 0 1 25 0 29 0 584276151 799289344 41628 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=2716/tid=2747] ppid=2711 vsize=780556 CPUtime=7.4 cores=4-31
/proc/2716/task/2747/stat : 2747 (plingeling) R 2711 2711 2364 0 -1 4202560 3214 1239 0 0 731 8 0 1 25 0 29 0 584276151 799289344 41628 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=2716/tid=2748] ppid=2711 vsize=780556 CPUtime=7.41 cores=4-31
/proc/2716/task/2748/stat : 2748 (plingeling) R 2711 2711 2364 0 -1 4202560 3225 1239 0 0 732 8 0 1 25 0 29 0 584276151 799289344 41628 268435456000 4194304 4356188 140735315790960 18446744073709551615 4241971 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=2716/tid=2749] ppid=2711 vsize=780556 CPUtime=7.47 cores=4-31
/proc/2716/task/2749/stat : 2749 (plingeling) R 2711 2711 2364 0 -1 4202560 3449 1239 0 0 739 7 0 1 25 0 29 0 584276151 799289344 41628 268435456000 4194304 4356188 140735315790960 18446744073709551615 4284141 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=2716/tid=2750] ppid=2711 vsize=780556 CPUtime=7.6 cores=4-31
/proc/2716/task/2750/stat : 2750 (plingeling) R 2711 2711 2364 0 -1 4202560 1294 1239 0 0 758 1 0 1 25 0 29 0 584276151 799289344 41628 268435456000 4194304 4356188 140735315790960 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 276.5
Current children cumulated vsize (KiB) 2986544
[startup+15.5024 s]
/proc/loadavg: 24.14 29.77 31.12 33/447 2750
/proc/meminfo: memFree=256303324/264257624 swapFree=67111528/67111528
[pid=2711] ppid=2709 vsize=18324 CPUtime=0 cores=0-31
/proc/2711/stat : 2711 (ppfolio) S 2709 2711 2364 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 584275404 18763776 386 268435456000 4194304 4287625 140736812048304 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 24 0 0 0
/proc/2711/statm: 4581 386 337 23 0 91 0
[pid=2712] ppid=2711 vsize=1420636 CPUtime=15.48 cores=0
/proc/2712/stat : 2712 (cryptominisat) R 2711 2711 2364 0 -1 4202496 22565 0 0 0 1543 5 0 0 25 0 1 0 584275405 1454731264 19623 268435456000 4194304 4587354 140735281538048 18446744073709551615 4238271 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2712/statm: 355159 19623 338 96 0 351721 0
[pid=2713] ppid=2711 vsize=61704 CPUtime=15.48 cores=1
/proc/2713/stat : 2713 (clasp) R 2711 2711 2364 0 -1 4202496 18339 0 0 0 1542 6 0 0 25 0 1 0 584275405 63184896 12457 268435456000 4194304 4785740 140734400671776 18446744073709551615 4309409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2713/statm: 15426 12457 338 145 0 12471 0
[pid=2714] ppid=2711 vsize=483284 CPUtime=15.48 cores=2
/proc/2714/stat : 2714 (TNM) R 2711 2711 2364 0 -1 4202496 14643 0 0 0 1543 5 0 0 25 0 1 0 584275405 494882816 14541 268435456000 134512640 134534564 4292737376 18446744073709551615 134528330 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2714/statm: 120821 14541 95 6 0 119486 0
[pid=2715] ppid=2711 vsize=222252 CPUtime=15.48 cores=3
/proc/2715/stat : 2715 (march_hi) R 2711 2711 2364 0 -1 4202496 42086 0 0 0 1537 11 0 0 25 0 1 0 584275405 227586048 26350 268435456000 4194304 4331988 140735181515024 18446744073709551615 4226474 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2715/statm: 55563 26350 174 34 0 54005 0
[pid=2716] ppid=2711 vsize=789252 CPUtime=227.35 cores=4-31
/proc/2716/stat : 2716 (plingeling) S 2711 2711 2364 0 -1 4202496 217110 1239 0 0 22503 231 0 1 18 0 29 0 584275405 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/2716/statm: 197313 43930 159 40 0 195857 0
[pid=2716/tid=2723] ppid=2711 vsize=789252 CPUtime=8.03 cores=4-31
/proc/2716/task/2723/stat : 2723 (plingeling) R 2711 2711 2364 0 -1 4202560 2090 1239 0 0 800 2 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331319 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2716/tid=2724] ppid=2711 vsize=789252 CPUtime=7.66 cores=4-31
/proc/2716/task/2724/stat : 2724 (plingeling) R 2711 2711 2364 0 -1 4202560 1959 1239 0 0 765 0 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=2716/tid=2725] ppid=2711 vsize=789252 CPUtime=7.83 cores=4-31
/proc/2716/task/2725/stat : 2725 (plingeling) R 2711 2711 2364 0 -1 4202560 4375 1239 0 0 774 8 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2716/tid=2726] ppid=2711 vsize=789252 CPUtime=7.75 cores=4-31
/proc/2716/task/2726/stat : 2726 (plingeling) R 2711 2711 2364 0 -1 4202560 3268 1239 0 0 763 11 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2716/tid=2727] ppid=2711 vsize=789252 CPUtime=7.78 cores=4-31
/proc/2716/task/2727/stat : 2727 (plingeling) R 2711 2711 2364 0 -1 4202560 3274 1239 0 0 768 9 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4332041 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2716/tid=2728] ppid=2711 vsize=789252 CPUtime=7.79 cores=4-31
/proc/2716/task/2728/stat : 2728 (plingeling) R 2711 2711 2364 0 -1 4202560 4031 1239 0 0 771 7 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4283929 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2716/tid=2729] ppid=2711 vsize=789252 CPUtime=7.8 cores=4-31
/proc/2716/task/2729/stat : 2729 (plingeling) R 2711 2711 2364 0 -1 4202560 3649 1239 0 0 770 9 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=2716/tid=2730] ppid=2711 vsize=789252 CPUtime=7.83 cores=4-31
/proc/2716/task/2730/stat : 2730 (plingeling) R 2711 2711 2364 0 -1 4202560 4462 1239 0 0 775 7 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331151 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2716/tid=2731] ppid=2711 vsize=789252 CPUtime=7.76 cores=4-31
/proc/2716/task/2731/stat : 2731 (plingeling) R 2711 2711 2364 0 -1 4202560 3620 1239 0 0 764 11 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=2716/tid=2732] ppid=2711 vsize=789252 CPUtime=7.8 cores=4-31
/proc/2716/task/2732/stat : 2732 (plingeling) R 2711 2711 2364 0 -1 4202560 3695 1239 0 0 771 8 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4330896 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=2716/tid=2733] ppid=2711 vsize=789252 CPUtime=7.87 cores=4-31
/proc/2716/task/2733/stat : 2733 (plingeling) R 2711 2711 2364 0 -1 4202560 4006 1239 0 0 781 5 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2716/tid=2734] ppid=2711 vsize=789252 CPUtime=7.87 cores=4-31
/proc/2716/task/2734/stat : 2734 (plingeling) R 2711 2711 2364 0 -1 4202560 3032 1239 0 0 778 8 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=2716/tid=2735] ppid=2711 vsize=789252 CPUtime=7.92 cores=4-31
/proc/2716/task/2735/stat : 2735 (plingeling) R 2711 2711 2364 0 -1 4202560 3720 1239 0 0 787 4 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4279663 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=2716/tid=2736] ppid=2711 vsize=789252 CPUtime=7.98 cores=4-31
/proc/2716/task/2736/stat : 2736 (plingeling) R 2711 2711 2364 0 -1 4202560 3687 1239 0 0 792 5 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331576 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=2716/tid=2737] ppid=2711 vsize=789252 CPUtime=7.89 cores=4-31
/proc/2716/task/2737/stat : 2737 (plingeling) R 2711 2711 2364 0 -1 4202560 3552 1239 0 0 780 8 0 1 25 0 29 0 584276149 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4211007 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2716/tid=2738] ppid=2711 vsize=789252 CPUtime=7.86 cores=4-31
/proc/2716/task/2738/stat : 2738 (plingeling) R 2711 2711 2364 0 -1 4202560 4018 1239 0 0 777 8 0 1 25 0 29 0 584276150 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=2716/tid=2739] ppid=2711 vsize=789252 CPUtime=8 cores=4-31
/proc/2716/task/2739/stat : 2739 (plingeling) R 2711 2711 2364 0 -1 4202560 3292 1239 0 0 795 4 0 1 25 0 29 0 584276150 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4258705 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2716/tid=2740] ppid=2711 vsize=789252 CPUtime=7.93 cores=4-31
/proc/2716/task/2740/stat : 2740 (plingeling) R 2711 2711 2364 0 -1 4202560 3920 1239 0 0 785 7 0 1 25 0 29 0 584276150 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=2716/tid=2741] ppid=2711 vsize=789252 CPUtime=7.88 cores=4-31
/proc/2716/task/2741/stat : 2741 (plingeling) R 2711 2711 2364 0 -1 4202560 3446 1239 0 0 780 7 0 1 25 0 29 0 584276150 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2716/tid=2742] ppid=2711 vsize=789252 CPUtime=7.91 cores=4-31
/proc/2716/task/2742/stat : 2742 (plingeling) R 2711 2711 2364 0 -1 4202560 3388 1239 0 0 782 8 0 1 25 0 29 0 584276151 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2716/tid=2743] ppid=2711 vsize=789252 CPUtime=7.83 cores=4-31
/proc/2716/task/2743/stat : 2743 (plingeling) R 2711 2711 2364 0 -1 4202560 3592 1239 0 0 775 7 0 1 25 0 29 0 584276151 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=2716/tid=2744] ppid=2711 vsize=789252 CPUtime=7.9 cores=4-31
/proc/2716/task/2744/stat : 2744 (plingeling) R 2711 2711 2364 0 -1 4202560 3669 1239 0 0 782 7 0 1 25 0 29 0 584276151 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4284008 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=2716/tid=2745] ppid=2711 vsize=789252 CPUtime=7.8 cores=4-31
/proc/2716/task/2745/stat : 2745 (plingeling) R 2711 2711 2364 0 -1 4202560 3177 1239 0 0 771 8 0 1 25 0 29 0 584276151 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=2716/tid=2746] ppid=2711 vsize=789252 CPUtime=7.8 cores=4-31
/proc/2716/task/2746/stat : 2746 (plingeling) R 2711 2711 2364 0 -1 4202560 3994 1239 0 0 770 9 0 1 25 0 29 0 584276151 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=2716/tid=2747] ppid=2711 vsize=789252 CPUtime=7.8 cores=4-31
/proc/2716/task/2747/stat : 2747 (plingeling) R 2711 2711 2364 0 -1 4202560 3214 1239 0 0 771 8 0 1 25 0 29 0 584276151 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331208 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=2716/tid=2748] ppid=2711 vsize=789252 CPUtime=7.81 cores=4-31
/proc/2716/task/2748/stat : 2748 (plingeling) R 2711 2711 2364 0 -1 4202560 3225 1239 0 0 772 8 0 1 25 0 29 0 584276151 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4332322 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=2716/tid=2749] ppid=2711 vsize=789252 CPUtime=7.87 cores=4-31
/proc/2716/task/2749/stat : 2749 (plingeling) R 2711 2711 2364 0 -1 4202560 3513 1239 0 0 779 7 0 1 25 0 29 0 584276151 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4282000 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=2716/tid=2750] ppid=2711 vsize=789252 CPUtime=8 cores=4-31
/proc/2716/task/2750/stat : 2750 (plingeling) R 2711 2711 2364 0 -1 4202560 1358 1239 0 0 798 1 0 1 25 0 29 0 584276151 808194048 43930 268435456000 4194304 4356188 140735315790960 18446744073709551615 4234212 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 289.27
Current children cumulated vsize (KiB) 2995452
[startup+15.9024 s]
/proc/loadavg: 24.14 29.77 31.12 33/447 2750
/proc/meminfo: memFree=256303324/264257624 swapFree=67111528/67111528
[pid=2711] ppid=2709 vsize=18324 CPUtime=0 cores=0-31
/proc/2711/stat : 2711 (ppfolio) S 2709 2711 2364 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 584275404 18763776 386 268435456000 4194304 4287625 140736812048304 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 24 0 0 0
/proc/2711/statm: 4581 386 337 23 0 91 0
[pid=2712] ppid=2711 vsize=1420636 CPUtime=15.88 cores=0
/proc/2712/stat : 2712 (cryptominisat) R 2711 2711 2364 0 -1 4202496 22565 0 0 0 1583 5 0 0 25 0 1 0 584275405 1454731264 19623 268435456000 4194304 4587354 140735281538048 18446744073709551615 4237600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2712/statm: 355159 19623 338 96 0 351721 0
[pid=2713] ppid=2711 vsize=61704 CPUtime=15.88 cores=1
/proc/2713/stat : 2713 (clasp) R 2711 2711 2364 0 -1 4202496 18369 0 0 0 1582 6 0 0 25 0 1 0 584275405 63184896 12487 268435456000 4194304 4785740 140734400671776 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2713/statm: 15426 12487 338 145 0 12471 0
[pid=2714] ppid=2711 vsize=483284 CPUtime=15.88 cores=2
/proc/2714/stat : 2714 (TNM) R 2711 2711 2364 0 -1 4202496 14643 0 0 0 1583 5 0 0 25 0 1 0 584275405 494882816 14541 268435456000 134512640 134534564 4292737376 18446744073709551615 134530268 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2714/statm: 120821 14541 95 6 0 119486 0
[pid=2715] ppid=2711 vsize=222388 CPUtime=15.88 cores=3
/proc/2715/stat : 2715 (march_hi) R 2711 2711 2364 0 -1 4202496 42092 0 0 0 1577 11 0 0 25 0 1 0 584275405 227725312 26356 268435456000 4194304 4331988 140735181515024 18446744073709551615 4210485 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2715/statm: 55597 26356 174 34 0 54039 0
[pid=2716] ppid=2711 vsize=792824 CPUtime=238.5 cores=4-31
/proc/2716/stat : 2716 (plingeling) S 2711 2711 2364 0 -1 4202496 218519 1239 0 0 23618 231 0 1 18 0 21 0 584275405 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/2716/statm: 198206 44824 160 40 0 196750 0
[pid=2716/tid=2723] ppid=2711 vsize=792824 CPUtime=8.43 cores=4-31
/proc/2716/task/2723/stat : 2723 (plingeling) R 2711 2711 2364 0 -1 4202560 2090 1239 0 0 840 2 0 1 25 0 21 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2716/tid=2724] ppid=2711 vsize=792824 CPUtime=8.06 cores=4-31
/proc/2716/task/2724/stat : 2724 (plingeling) R 2711 2711 2364 0 -1 4202560 1959 1239 0 0 805 0 0 1 25 0 21 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4330992 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=2716/tid=2725] ppid=2711 vsize=792824 CPUtime=8.23 cores=4-31
/proc/2716/task/2725/stat : 2725 (plingeling) R 2711 2711 2364 0 -1 4202560 4375 1239 0 0 814 8 0 1 25 0 21 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2716/tid=2726] ppid=2711 vsize=792824 CPUtime=8.15 cores=4-31
/proc/2716/task/2726/stat : 2726 (plingeling) R 2711 2711 2364 0 -1 4202560 3268 1239 0 0 803 11 0 1 25 0 21 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2716/tid=2727] ppid=2711 vsize=792824 CPUtime=8.18 cores=4-31
/proc/2716/task/2727/stat : 2727 (plingeling) R 2711 2711 2364 0 -1 4202560 3274 1239 0 0 808 9 0 1 25 0 21 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2716/tid=2728] ppid=2711 vsize=792824 CPUtime=8.19 cores=4-31
/proc/2716/task/2728/stat : 2728 (plingeling) R 2711 2711 2364 0 -1 4202560 4031 1239 0 0 811 7 0 1 25 0 21 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2716/tid=2730] ppid=2711 vsize=792824 CPUtime=8.23 cores=4-31
/proc/2716/task/2730/stat : 2730 (plingeling) R 2711 2711 2364 0 -1 4202560 4462 1239 0 0 815 7 0 1 25 0 21 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4234257 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2716/tid=2731] ppid=2711 vsize=792824 CPUtime=8.16 cores=4-31
/proc/2716/task/2731/stat : 2731 (plingeling) R 2711 2711 2364 0 -1 4202560 3620 1239 0 0 804 11 0 1 25 0 21 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=2716/tid=2733] ppid=2711 vsize=792824 CPUtime=8.27 cores=4-31
/proc/2716/task/2733/stat : 2733 (plingeling) R 2711 2711 2364 0 -1 4202560 4070 1239 0 0 821 5 0 1 25 0 21 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2716/tid=2734] ppid=2711 vsize=792824 CPUtime=8.27 cores=4-31
/proc/2716/task/2734/stat : 2734 (plingeling) R 2711 2711 2364 0 -1 4202560 3032 1239 0 0 818 8 0 1 25 0 21 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=2716/tid=2735] ppid=2711 vsize=792824 CPUtime=8.32 cores=4-31
/proc/2716/task/2735/stat : 2735 (plingeling) R 2711 2711 2364 0 -1 4202560 3720 1239 0 0 827 4 0 1 25 0 20 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=2716/tid=2736] ppid=2711 vsize=792824 CPUtime=8.38 cores=4-31
/proc/2716/task/2736/stat : 2736 (plingeling) R 2711 2711 2364 0 -1 4202560 3687 1239 0 0 832 5 0 1 25 0 20 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4238546 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=2716/tid=2737] ppid=2711 vsize=792824 CPUtime=8.29 cores=4-31
/proc/2716/task/2737/stat : 2737 (plingeling) R 2711 2711 2364 0 -1 4202560 3552 1239 0 0 820 8 0 1 25 0 20 0 584276149 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2716/tid=2738] ppid=2711 vsize=792824 CPUtime=8.26 cores=4-31
/proc/2716/task/2738/stat : 2738 (plingeling) R 2711 2711 2364 0 -1 4202560 4146 1239 0 0 817 8 0 1 25 0 20 0 584276150 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=2716/tid=2739] ppid=2711 vsize=792824 CPUtime=8.4 cores=4-31
/proc/2716/task/2739/stat : 2739 (plingeling) R 2711 2711 2364 0 -1 4202560 3292 1239 0 0 835 4 0 1 25 0 20 0 584276150 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2716/tid=2741] ppid=2711 vsize=792824 CPUtime=8.28 cores=4-31
/proc/2716/task/2741/stat : 2741 (plingeling) R 2711 2711 2364 0 -1 4202560 3702 1239 0 0 820 7 0 1 25 0 20 0 584276150 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2716/tid=2742] ppid=2711 vsize=792824 CPUtime=8.31 cores=4-31
/proc/2716/task/2742/stat : 2742 (plingeling) R 2711 2711 2364 0 -1 4202560 3452 1239 0 0 822 8 0 1 25 0 20 0 584276151 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2716/tid=2746] ppid=2711 vsize=792824 CPUtime=8.2 cores=4-31
/proc/2716/task/2746/stat : 2746 (plingeling) R 2711 2711 2364 0 -1 4202560 3994 1239 0 0 810 9 0 1 25 0 20 0 584276151 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=2716/tid=2748] ppid=2711 vsize=792824 CPUtime=8.21 cores=4-31
/proc/2716/task/2748/stat : 2748 (plingeling) R 2711 2711 2364 0 -1 4202560 3545 1239 0 0 812 8 0 1 25 0 20 0 584276151 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=2716/tid=2750] ppid=2711 vsize=792824 CPUtime=8.4 cores=4-31
/proc/2716/task/2750/stat : 2750 (plingeling) R 2711 2711 2364 0 -1 4202560 1358 1239 0 0 838 1 0 1 25 0 19 0 584276151 811851776 44824 268435456000 4194304 4356188 140735315790960 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 302.02
Current children cumulated vsize (KiB) 2999160
Child status: 0
Real time (s): 15.9615
CPU time (s): 302.528
CPU user time (s): 299.858
CPU system time (s): 2.66959
CPU usage (%): 1895.36
Max. virtual memory (cumulated for all children) (KiB): 3105368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 299.858
system time used= 2.66959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317963
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= 2466
involuntary context switches= 771
runsolver used 0.094985 second user time and 0.32295 second system time
The end
Begin job on node200 at 2011-05-07 02:24:50
IDJOB=3347143
IDBENCH=20346
IDSOLVER=1808
FILE ID=node200/3347143-1304727889
RUNJOBID= node200-1304722848-2378
PBS_JOBID= 13281943
Free space on /tmp= 62044 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT07/industrial/anbulagan/medium-unsat/dated-5-11-u.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347143-1304727889/watcher-3347143-1304727889 -o /tmp/evaluation-result-3347143-1304727889/solver-3347143-1304727889 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347143-1304727889.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 083d28c2adf10233f37f8b5a078c94a9
RANDOM SEED=264385397
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: 256763052 kB
Buffers: 343768 kB
Cached: 6788008 kB
SwapCached: 0 kB
Active: 6315880 kB
Inactive: 884624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256763052 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 18428 kB
Writeback: 0 kB
AnonPages: 67976 kB
Mapped: 14532 kB
Slab: 190964 kB
PageTables: 4384 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 177220 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62032 MiB
End job on node200 at 2011-05-07 02:25:06