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
497.35/23.72 s UNSATISFIABLE
497.72/23.93 solver [5] plingeling 276-6264d55-100731 answered
497.72/23.93 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-3347409-1305157022/watcher-3347409-1305157022 -o /tmp/evaluation-result-3347409-1305157022/solver-3347409-1305157022 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347409-1305157022.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: 18.62 16.68 23.11 1/413 11874
/proc/meminfo: memFree=255827700/264257624 swapFree=67111528/67111528
[pid=11874] ppid=11872 vsize=18324 CPUtime=0 cores=0-31
/proc/11874/stat : 11874 (ppfolio) S 11872 11874 11544 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 627188741 18763776 386 268435456000 4194304 4287625 140734103536016 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 20 0 0 0
/proc/11874/statm: 4581 386 337 23 0 91 0
[startup+0.0605039 s]
/proc/loadavg: 18.62 16.68 23.11 1/413 11874
/proc/meminfo: memFree=255827700/264257624 swapFree=67111528/67111528
[pid=11874] ppid=11872 vsize=18324 CPUtime=0 cores=0-31
/proc/11874/stat : 11874 (ppfolio) S 11872 11874 11544 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 627188741 18763776 386 268435456000 4194304 4287625 140734103536016 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 20 0 0 0
/proc/11874/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100505 s]
/proc/loadavg: 18.62 16.68 23.11 1/413 11874
/proc/meminfo: memFree=255827700/264257624 swapFree=67111528/67111528
[pid=11874] ppid=11872 vsize=18324 CPUtime=0 cores=0-31
/proc/11874/stat : 11874 (ppfolio) S 11872 11874 11544 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 627188741 18763776 386 268435456000 4194304 4287625 140734103536016 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 20 0 0 0
/proc/11874/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.30051 s]
/proc/loadavg: 18.62 16.68 23.11 1/413 11874
/proc/meminfo: memFree=255827700/264257624 swapFree=67111528/67111528
[pid=11874] ppid=11872 vsize=18324 CPUtime=0 cores=0-31
/proc/11874/stat : 11874 (ppfolio) S 11872 11874 11544 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 627188741 18763776 386 268435456000 4194304 4287625 140734103536016 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 20 0 0 0
/proc/11874/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700506 s]
/proc/loadavg: 18.62 16.68 23.11 1/413 11874
/proc/meminfo: memFree=255827700/264257624 swapFree=67111528/67111528
[pid=11874] ppid=11872 vsize=18324 CPUtime=0 cores=0-31
/proc/11874/stat : 11874 (ppfolio) S 11872 11874 11544 0 -1 4202496 514 0 0 0 0 0 0 0 19 0 1 0 627188741 18763776 386 268435456000 4194304 4287625 140734103536016 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 20 0 0 0
/proc/11874/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50054 s]
/proc/loadavg: 17.53 16.49 23.01 6/419 11885
/proc/meminfo: memFree=255524176/264257624 swapFree=67111528/67111528
[pid=11874] ppid=11872 vsize=18324 CPUtime=0 cores=0-31
/proc/11874/stat : 11874 (ppfolio) S 11872 11874 11544 0 -1 4202496 514 0 0 0 0 0 0 0 19 0 1 0 627188741 18763776 386 268435456000 4194304 4287625 140734103536016 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 20 0 0 0
/proc/11874/statm: 4581 386 337 23 0 91 0
[pid=11875] ppid=11874 vsize=94612 CPUtime=1.48 cores=0
/proc/11875/stat : 11875 (cryptominisat) R 11874 11874 11544 0 -1 4202496 17975 0 0 0 144 4 0 0 20 0 1 0 627188742 96882688 17829 268435456000 4194304 4587354 140736612205584 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11875/statm: 23653 17829 304 96 0 20215 0
[pid=11876] ppid=11874 vsize=83952 CPUtime=1.48 cores=1
/proc/11876/stat : 11876 (clasp) R 11874 11874 11544 0 -1 4202496 22592 0 0 0 141 7 0 0 20 0 1 0 627188742 85966848 17837 268435456000 4194304 4785740 140734668708160 18446744073709551615 4495584 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11876/statm: 20988 17837 316 145 0 18033 0
[pid=11877] ppid=11874 vsize=501368 CPUtime=1.48 cores=2
/proc/11877/stat : 11877 (TNM) R 11874 11874 11544 0 -1 4202496 16610 0 0 0 144 4 0 0 20 0 1 0 627188742 513400832 16508 268435456000 134512640 134534564 4288335696 18446744073709551615 134524573 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11877/statm: 125342 16508 91 6 0 124007 0
[pid=11878] ppid=11874 vsize=127152 CPUtime=1.48 cores=3
/proc/11878/stat : 11878 (march_hi) R 11874 11874 11544 0 -1 4194304 27057 0 0 0 140 8 0 0 20 0 1 0 627188742 130203648 21135 268435456000 4194304 4331988 140733431797984 18446744073709551615 4252174 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11878/statm: 31788 21135 126 34 0 30230 0
[pid=11879] ppid=11874 vsize=127200 CPUtime=1.48 cores=4-31
/proc/11879/stat : 11879 (plingeling) R 11874 11874 11544 0 -1 4202496 30862 1244 0 0 140 7 0 1 21 0 1 0 627188742 130252800 30459 268435456000 4194304 4356188 140733696883760 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/11879/statm: 31800 30459 129 40 0 30344 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 952608
[startup+3.10059 s]
/proc/loadavg: 17.53 16.49 23.01 6/419 11885
/proc/meminfo: memFree=255287248/264257624 swapFree=67111528/67111528
[pid=11874] ppid=11872 vsize=18324 CPUtime=0 cores=0-31
/proc/11874/stat : 11874 (ppfolio) S 11872 11874 11544 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 627188741 18763776 386 268435456000 4194304 4287625 140734103536016 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 20 0 0 0
/proc/11874/statm: 4581 386 337 23 0 91 0
[pid=11875] ppid=11874 vsize=115020 CPUtime=3.08 cores=0
/proc/11875/stat : 11875 (cryptominisat) R 11874 11874 11544 0 -1 4202496 23056 0 0 0 303 5 0 0 25 0 1 0 627188742 117780480 22899 268435456000 4194304 4587354 140736612205584 18446744073709551615 4421133 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11875/statm: 28755 22899 314 96 0 25317 0
[pid=11876] ppid=11874 vsize=79104 CPUtime=3.08 cores=1
/proc/11876/stat : 11876 (clasp) R 11874 11874 11544 0 -1 4202496 23455 0 0 0 301 7 0 0 25 0 1 0 627188742 81002496 16859 268435456000 4194304 4785740 140734668708160 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11876/statm: 19776 16859 338 145 0 16821 0
[pid=11877] ppid=11874 vsize=501368 CPUtime=3.08 cores=2
/proc/11877/stat : 11877 (TNM) R 11874 11874 11544 0 -1 4202496 16649 0 0 0 304 4 0 0 25 0 1 0 627188742 513400832 16547 268435456000 134512640 134534564 4288335696 18446744073709551615 134523496 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11877/statm: 125342 16547 91 6 0 124007 0
[pid=11878] ppid=11874 vsize=127152 CPUtime=3.08 cores=3
/proc/11878/stat : 11878 (march_hi) R 11874 11874 11544 0 -1 4194304 27059 0 0 0 300 8 0 0 25 0 1 0 627188742 130203648 21137 268435456000 4194304 4331988 140733431797984 18446744073709551615 4251963 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11878/statm: 31788 21137 127 34 0 30230 0
[pid=11879] ppid=11874 vsize=290204 CPUtime=3.08 cores=4-31
/proc/11879/stat : 11879 (plingeling) R 11874 11874 11544 0 -1 4202496 71614 1244 0 0 291 16 0 1 25 0 1 0 627188742 297168896 71210 268435456000 4194304 4356188 140733696883760 18446744073709551615 4213270 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/11879/statm: 72551 71210 129 40 0 71095 0
Current children cumulated CPU time (s) 15.4
Current children cumulated vsize (KiB) 1131172
[startup+6.30071 s]
/proc/loadavg: 17.53 16.49 23.01 6/419 11885
/proc/meminfo: memFree=255001364/264257624 swapFree=67111528/67111528
[pid=11874] ppid=11872 vsize=18324 CPUtime=0 cores=0-31
/proc/11874/stat : 11874 (ppfolio) S 11872 11874 11544 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 627188741 18763776 386 268435456000 4194304 4287625 140734103536016 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 20 0 0 0
/proc/11874/statm: 4581 386 337 23 0 91 0
[pid=11875] ppid=11874 vsize=207320 CPUtime=6.28 cores=0
/proc/11875/stat : 11875 (cryptominisat) R 11874 11874 11544 0 -1 4202496 43040 0 0 0 618 10 0 0 25 0 1 0 627188742 212295680 37053 268435456000 4194304 4587354 140736612205584 18446744073709551615 4307706 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11875/statm: 51830 37053 318 96 0 48392 0
[pid=11876] ppid=11874 vsize=79104 CPUtime=6.28 cores=1
/proc/11876/stat : 11876 (clasp) R 11874 11874 11544 0 -1 4202496 23457 0 0 0 621 7 0 0 25 0 1 0 627188742 81002496 16861 268435456000 4194304 4785740 140734668708160 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11876/statm: 19776 16861 338 145 0 16821 0
[pid=11877] ppid=11874 vsize=555356 CPUtime=6.28 cores=2
/proc/11877/stat : 11877 (TNM) R 11874 11874 11544 0 -1 4202496 36124 0 0 0 620 8 0 0 25 0 1 0 627188742 568684544 36022 268435456000 134512640 134534564 4288335696 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11877/statm: 138839 36022 95 6 0 137504 0
[pid=11878] ppid=11874 vsize=564856 CPUtime=6.28 cores=3
/proc/11878/stat : 11878 (march_hi) R 11874 11874 11544 0 -1 4202496 136052 0 0 0 602 26 0 0 25 0 1 0 627188742 578412544 130130 268435456000 4194304 4331988 140733431797984 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11878/statm: 141214 130133 149 34 0 139656 0
[pid=11879] ppid=11874 vsize=404892 CPUtime=6.29 cores=4-31
/proc/11879/stat : 11879 (plingeling) R 11874 11874 11544 0 -1 4202496 100286 1244 0 0 604 24 0 1 25 0 1 0 627188742 414609408 99882 268435456000 4194304 4356188 140733696883760 18446744073709551615 4277440 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/11879/statm: 101223 99882 129 40 0 99767 0
Current children cumulated CPU time (s) 31.41
Current children cumulated vsize (KiB) 1829852
[startup+12.7019 s]
/proc/loadavg: 17.76 16.56 22.96 33/447 11913
/proc/meminfo: memFree=251667240/264257624 swapFree=67111528/67111528
[pid=11874] ppid=11872 vsize=18324 CPUtime=0 cores=0-31
/proc/11874/stat : 11874 (ppfolio) S 11872 11874 11544 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 627188741 18763776 386 268435456000 4194304 4287625 140734103536016 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 20 0 0 0
/proc/11874/statm: 4581 386 337 23 0 91 0
[pid=11875] ppid=11874 vsize=166756 CPUtime=12.69 cores=0
/proc/11875/stat : 11875 (cryptominisat) R 11874 11874 11544 0 -1 4202496 48246 0 0 0 1257 12 0 0 25 0 1 0 627188742 170758144 35512 268435456000 4194304 4587354 140736612205584 18446744073709551615 4243416 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11875/statm: 41689 35512 328 96 0 38251 0
[pid=11876] ppid=11874 vsize=79104 CPUtime=12.68 cores=1
/proc/11876/stat : 11876 (clasp) R 11874 11874 11544 0 -1 4202496 23457 0 0 0 1261 7 0 0 25 0 1 0 627188742 81002496 16861 268435456000 4194304 4785740 140734668708160 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11876/statm: 19776 16861 338 145 0 16821 0
[pid=11877] ppid=11874 vsize=555356 CPUtime=12.68 cores=2
/proc/11877/stat : 11877 (TNM) R 11874 11874 11544 0 -1 4202496 36124 0 0 0 1260 8 0 0 25 0 1 0 627188742 568684544 36022 268435456000 134512640 134534564 4288335696 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11877/statm: 138839 36022 95 6 0 137504 0
[pid=11878] ppid=11874 vsize=3489504 CPUtime=12.68 cores=3
/proc/11878/stat : 11878 (march_hi) R 11874 11874 11544 0 -1 4202496 862402 0 0 0 1109 159 0 0 25 0 1 0 627188742 3573252096 856481 268435456000 4194304 4331988 140733431797984 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11878/statm: 872376 856483 149 34 0 870818 0
[pid=11879] ppid=11874 vsize=1252076 CPUtime=97.46 cores=4-31
/proc/11879/stat : 11879 (plingeling) S 11874 11874 11544 0 -1 4202496 271077 1244 0 0 9646 99 0 1 18 0 29 0 627188742 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11879/statm: 313019 166687 159 40 0 311563 0
[pid=11879/tid=11886] ppid=11874 vsize=1252076 CPUtime=3.2 cores=4-31
/proc/11879/task/11886/stat : 11886 (plingeling) R 11874 11874 11544 0 -1 4202560 5020 1244 0 0 318 1 0 1 25 0 29 0 627189687 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4287056 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11879/tid=11887] ppid=11874 vsize=1252076 CPUtime=3.15 cores=4-31
/proc/11879/task/11887/stat : 11887 (plingeling) R 11874 11874 11544 0 -1 4202560 1935 1244 0 0 314 0 0 1 23 0 29 0 627189687 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4301913 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11879/tid=11888] ppid=11874 vsize=1252076 CPUtime=3.11 cores=4-31
/proc/11879/task/11888/stat : 11888 (plingeling) R 11874 11874 11544 0 -1 4202560 5257 1244 0 0 308 2 0 1 20 0 29 0 627189687 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4286699 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11879/tid=11889] ppid=11874 vsize=1252076 CPUtime=3.18 cores=4-31
/proc/11879/task/11889/stat : 11889 (plingeling) R 11874 11874 11544 0 -1 4202560 3921 1244 0 0 316 1 0 1 25 0 29 0 627189687 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237422 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11879/tid=11890] ppid=11874 vsize=1252076 CPUtime=3.19 cores=4-31
/proc/11879/task/11890/stat : 11890 (plingeling) R 11874 11874 11544 0 -1 4202560 5088 1244 0 0 314 4 0 1 20 0 29 0 627189687 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4208840 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11879/tid=11891] ppid=11874 vsize=1252076 CPUtime=3.21 cores=4-31
/proc/11879/task/11891/stat : 11891 (plingeling) R 11874 11874 11544 0 -1 4202560 4562 1244 0 0 316 4 0 1 25 0 29 0 627189687 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11879/tid=11892] ppid=11874 vsize=1252076 CPUtime=3.12 cores=4-31
/proc/11879/task/11892/stat : 11892 (plingeling) R 11874 11874 11544 0 -1 4202560 3451 1244 0 0 307 4 0 1 20 0 29 0 627189687 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11879/tid=11893] ppid=11874 vsize=1252076 CPUtime=3.22 cores=4-31
/proc/11879/task/11893/stat : 11893 (plingeling) R 11874 11874 11544 0 -1 4202560 3312 1244 0 0 320 1 0 1 25 0 29 0 627189688 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4287099 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11879/tid=11894] ppid=11874 vsize=1252076 CPUtime=3.19 cores=4-31
/proc/11879/task/11894/stat : 11894 (plingeling) R 11874 11874 11544 0 -1 4202560 4723 1244 0 0 316 2 0 1 20 0 29 0 627189688 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4252415 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11879/tid=11895] ppid=11874 vsize=1252076 CPUtime=3.19 cores=4-31
/proc/11879/task/11895/stat : 11895 (plingeling) R 11874 11874 11544 0 -1 4202560 3933 1244 0 0 318 0 0 1 25 0 29 0 627189688 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4286720 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11879/tid=11896] ppid=11874 vsize=1252076 CPUtime=3.16 cores=4-31
/proc/11879/task/11896/stat : 11896 (plingeling) R 11874 11874 11544 0 -1 4202560 4463 1244 0 0 314 1 0 1 20 0 29 0 627189688 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4295249 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11879/tid=11897] ppid=11874 vsize=1252076 CPUtime=3.18 cores=4-31
/proc/11879/task/11897/stat : 11897 (plingeling) R 11874 11874 11544 0 -1 4202560 4903 1244 0 0 315 2 0 1 20 0 29 0 627189688 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237088 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11879/tid=11898] ppid=11874 vsize=1252076 CPUtime=3.08 cores=4-31
/proc/11879/task/11898/stat : 11898 (plingeling) R 11874 11874 11544 0 -1 4202560 2791 1244 0 0 306 1 0 1 25 0 29 0 627189688 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4289572 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11879/tid=11899] ppid=11874 vsize=1252076 CPUtime=3.2 cores=4-31
/proc/11879/task/11899/stat : 11899 (plingeling) R 11874 11874 11544 0 -1 4202560 5610 1244 0 0 317 2 0 1 20 0 29 0 627189688 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4233015 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11879/tid=11900] ppid=11874 vsize=1252076 CPUtime=3.15 cores=4-31
/proc/11879/task/11900/stat : 11900 (plingeling) R 11874 11874 11544 0 -1 4202560 5036 1244 0 0 313 1 0 1 22 0 29 0 627189688 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4215010 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11879/tid=11901] ppid=11874 vsize=1252076 CPUtime=3.19 cores=4-31
/proc/11879/task/11901/stat : 11901 (plingeling) R 11874 11874 11544 0 -1 4202560 3139 1244 0 0 318 0 0 1 25 0 29 0 627189688 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4286773 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11879/tid=11902] ppid=11874 vsize=1252076 CPUtime=3.2 cores=4-31
/proc/11879/task/11902/stat : 11902 (plingeling) R 11874 11874 11544 0 -1 4202560 5610 1244 0 0 317 2 0 1 25 0 29 0 627189689 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4230533 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11879/tid=11903] ppid=11874 vsize=1252076 CPUtime=3.12 cores=4-31
/proc/11879/task/11903/stat : 11903 (plingeling) R 11874 11874 11544 0 -1 4202560 3995 1244 0 0 306 5 0 1 20 0 29 0 627189689 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4217704 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11879/tid=11904] ppid=11874 vsize=1252076 CPUtime=3.11 cores=4-31
/proc/11879/task/11904/stat : 11904 (plingeling) R 11874 11874 11544 0 -1 4202560 3616 1244 0 0 309 1 0 1 25 0 29 0 627189689 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4291135 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11879/tid=11905] ppid=11874 vsize=1252076 CPUtime=3.15 cores=4-31
/proc/11879/task/11905/stat : 11905 (plingeling) R 11874 11874 11544 0 -1 4202560 4138 1244 0 0 313 1 0 1 25 0 29 0 627189689 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4234229 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11879/tid=11906] ppid=11874 vsize=1252076 CPUtime=3.1 cores=4-31
/proc/11879/task/11906/stat : 11906 (plingeling) R 11874 11874 11544 0 -1 4202560 4495 1244 0 0 306 3 0 1 20 0 29 0 627189689 1282125824 166687 268435456000 4194304 4356188 140733696883760 18446744073709551615 4232856 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11879/tid=11907] ppid=11874 vsize=1252076 CPUtime=3.07 cores=4-31
################
# More data... #
################
/proc/loadavg: 19.95 17.06 23.06 33/447 11913
/proc/meminfo: memFree=251325568/264257624 swapFree=67111528/67111528
[pid=11874] ppid=11872 vsize=18324 CPUtime=0 cores=0-31
/proc/11874/stat : 11874 (ppfolio) S 11872 11874 11544 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 627188741 18763776 386 268435456000 4194304 4287625 140734103536016 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 20 0 0 0
/proc/11874/statm: 4581 386 337 23 0 91 0
[pid=11875] ppid=11874 vsize=204260 CPUtime=23.1 cores=0
/proc/11875/stat : 11875 (cryptominisat) R 11874 11874 11544 0 -1 4202496 51804 0 0 0 2296 14 0 0 25 0 1 0 627188742 209162240 39062 268435456000 4194304 4587354 140736612205584 18446744073709551615 4236384 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11875/statm: 51065 39062 328 96 0 47627 0
[pid=11876] ppid=11874 vsize=79104 CPUtime=23.1 cores=1
/proc/11876/stat : 11876 (clasp) R 11874 11874 11544 0 -1 4202496 23457 0 0 0 2303 7 0 0 25 0 1 0 627188742 81002496 16861 268435456000 4194304 4785740 140734668708160 18446744073709551615 4552618 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11876/statm: 19776 16861 338 145 0 16821 0
[pid=11877] ppid=11874 vsize=555356 CPUtime=23.1 cores=2
/proc/11877/stat : 11877 (TNM) R 11874 11874 11544 0 -1 4202496 36124 0 0 0 2302 8 0 0 25 0 1 0 627188742 568684544 36022 268435456000 134512640 134534564 4288335696 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11877/statm: 138839 36022 95 6 0 137504 0
[pid=11878] ppid=11874 vsize=3499704 CPUtime=23.1 cores=3
/proc/11878/stat : 11878 (march_hi) R 11874 11874 11544 0 -1 4202496 877339 0 0 0 2148 162 0 0 25 0 1 0 627188742 3583696896 864292 268435456000 4194304 4331988 140733431797984 18446744073709551615 4256854 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11878/statm: 874926 864292 149 34 0 873368 0
[pid=11879] ppid=11874 vsize=1242152 CPUtime=387.34 cores=4-31
/proc/11879/stat : 11879 (plingeling) S 11874 11874 11544 0 -1 4202496 313465 1244 0 0 38583 150 0 1 18 0 29 0 627188742 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11879/statm: 310538 166568 159 40 0 309082 0
[pid=11879/tid=11886] ppid=11874 vsize=1242152 CPUtime=13.44 cores=4-31
/proc/11879/task/11886/stat : 11886 (plingeling) R 11874 11874 11544 0 -1 4202560 5602 1244 0 0 1342 1 0 1 25 0 29 0 627189687 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237200 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11879/tid=11887] ppid=11874 vsize=1242152 CPUtime=13.54 cores=4-31
/proc/11879/task/11887/stat : 11887 (plingeling) R 11874 11874 11544 0 -1 4202560 6378 1244 0 0 1344 9 0 1 25 0 29 0 627189687 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4210554 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11879/tid=11888] ppid=11874 vsize=1242152 CPUtime=13.24 cores=4-31
/proc/11879/task/11888/stat : 11888 (plingeling) R 11874 11874 11544 0 -1 4202560 5855 1244 0 0 1321 2 0 1 25 0 29 0 627189687 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4334511 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11879/tid=11889] ppid=11874 vsize=1242152 CPUtime=13.55 cores=4-31
/proc/11879/task/11889/stat : 11889 (plingeling) R 11874 11874 11544 0 -1 4202560 4834 1244 0 0 1353 1 0 1 25 0 29 0 627189687 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4236968 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11879/tid=11890] ppid=11874 vsize=1242152 CPUtime=13.62 cores=4-31
/proc/11879/task/11890/stat : 11890 (plingeling) R 11874 11874 11544 0 -1 4202560 6114 1244 0 0 1356 5 0 1 25 0 29 0 627189687 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4260273 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11879/tid=11891] ppid=11874 vsize=1242152 CPUtime=13.62 cores=4-31
/proc/11879/task/11891/stat : 11891 (plingeling) R 11874 11874 11544 0 -1 4202560 5503 1244 0 0 1357 4 0 1 25 0 29 0 627189687 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11879/tid=11892] ppid=11874 vsize=1242152 CPUtime=13.45 cores=4-31
/proc/11879/task/11892/stat : 11892 (plingeling) R 11874 11874 11544 0 -1 4202560 8149 1244 0 0 1330 14 0 1 25 0 29 0 627189687 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11879/tid=11893] ppid=11874 vsize=1242152 CPUtime=13.63 cores=4-31
/proc/11879/task/11893/stat : 11893 (plingeling) R 11874 11874 11544 0 -1 4202560 4131 1244 0 0 1361 1 0 1 25 0 29 0 627189688 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237203 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11879/tid=11894] ppid=11874 vsize=1242152 CPUtime=13.48 cores=4-31
/proc/11879/task/11894/stat : 11894 (plingeling) R 11874 11874 11544 0 -1 4202560 5851 1244 0 0 1345 2 0 1 25 0 29 0 627189688 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4330823 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11879/tid=11895] ppid=11874 vsize=1242152 CPUtime=13.62 cores=4-31
/proc/11879/task/11895/stat : 11895 (plingeling) R 11874 11874 11544 0 -1 4202560 4353 1244 0 0 1360 1 0 1 25 0 29 0 627189688 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237332 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11879/tid=11896] ppid=11874 vsize=1242152 CPUtime=13.48 cores=4-31
/proc/11879/task/11896/stat : 11896 (plingeling) R 11874 11874 11544 0 -1 4202560 5526 1244 0 0 1345 2 0 1 25 0 29 0 627189688 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11879/tid=11897] ppid=11874 vsize=1242152 CPUtime=13.53 cores=4-31
/proc/11879/task/11897/stat : 11897 (plingeling) R 11874 11874 11544 0 -1 4202560 5874 1244 0 0 1350 2 0 1 25 0 29 0 627189688 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4331170 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11879/tid=11898] ppid=11874 vsize=1242152 CPUtime=13.41 cores=4-31
/proc/11879/task/11898/stat : 11898 (plingeling) R 11874 11874 11544 0 -1 4202560 3553 1244 0 0 1339 1 0 1 25 0 29 0 627189688 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4282100 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11879/tid=11899] ppid=11874 vsize=1242152 CPUtime=13.61 cores=4-31
/proc/11879/task/11899/stat : 11899 (plingeling) R 11874 11874 11544 0 -1 4202560 6310 1244 0 0 1358 2 0 1 25 0 29 0 627189688 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4273812 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11879/tid=11900] ppid=11874 vsize=1242152 CPUtime=13.42 cores=4-31
/proc/11879/task/11900/stat : 11900 (plingeling) R 11874 11874 11544 0 -1 4202560 10019 1244 0 0 1331 10 0 1 25 0 29 0 627189688 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4236902 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11879/tid=11901] ppid=11874 vsize=1242152 CPUtime=13.47 cores=4-31
/proc/11879/task/11901/stat : 11901 (plingeling) R 11874 11874 11544 0 -1 4202560 3849 1244 0 0 1345 1 0 1 25 0 29 0 627189688 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237291 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11879/tid=11902] ppid=11874 vsize=1242152 CPUtime=13.6 cores=4-31
/proc/11879/task/11902/stat : 11902 (plingeling) R 11874 11874 11544 0 -1 4202560 6494 1244 0 0 1357 2 0 1 25 0 29 0 627189689 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11879/tid=11903] ppid=11874 vsize=1242152 CPUtime=13.4 cores=4-31
/proc/11879/task/11903/stat : 11903 (plingeling) R 11874 11874 11544 0 -1 4202560 8680 1244 0 0 1324 15 0 1 25 0 29 0 627189689 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4212164 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11879/tid=11904] ppid=11874 vsize=1242152 CPUtime=13.38 cores=4-31
/proc/11879/task/11904/stat : 11904 (plingeling) R 11874 11874 11544 0 -1 4202560 4386 1244 0 0 1335 2 0 1 25 0 29 0 627189689 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11879/tid=11905] ppid=11874 vsize=1242152 CPUtime=13.46 cores=4-31
/proc/11879/task/11905/stat : 11905 (plingeling) R 11874 11874 11544 0 -1 4202560 5227 1244 0 0 1344 1 0 1 25 0 29 0 627189689 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4239017 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11879/tid=11906] ppid=11874 vsize=1242152 CPUtime=13.52 cores=4-31
/proc/11879/task/11906/stat : 11906 (plingeling) R 11874 11874 11544 0 -1 4202560 4798 1244 0 0 1347 4 0 1 25 0 29 0 627189689 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11879/tid=11907] ppid=11874 vsize=1242152 CPUtime=13.49 cores=4-31
/proc/11879/task/11907/stat : 11907 (plingeling) R 11874 11874 11544 0 -1 4202560 5421 1244 0 0 1345 3 0 1 25 0 29 0 627189689 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4211026 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11879/tid=11908] ppid=11874 vsize=1242152 CPUtime=13.61 cores=4-31
/proc/11879/task/11908/stat : 11908 (plingeling) R 11874 11874 11544 0 -1 4202560 4931 1244 0 0 1359 1 0 1 25 0 29 0 627189689 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237407 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11879/tid=11909] ppid=11874 vsize=1242152 CPUtime=13.56 cores=4-31
/proc/11879/task/11909/stat : 11909 (plingeling) R 11874 11874 11544 0 -1 4202560 2018 1244 0 0 1355 0 0 1 25 0 29 0 627189689 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11879/tid=11910] ppid=11874 vsize=1242152 CPUtime=13.5 cores=4-31
/proc/11879/task/11910/stat : 11910 (plingeling) R 11874 11874 11544 0 -1 4202560 5481 1244 0 0 1346 3 0 1 25 0 29 0 627189689 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11879/tid=11911] ppid=11874 vsize=1242152 CPUtime=13.5 cores=4-31
/proc/11879/task/11911/stat : 11911 (plingeling) R 11874 11874 11544 0 -1 4202560 8494 1244 0 0 1341 8 0 1 25 0 29 0 627189689 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237017 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11879/tid=11912] ppid=11874 vsize=1242152 CPUtime=13.21 cores=4-31
/proc/11879/task/11912/stat : 11912 (plingeling) R 11874 11874 11544 0 -1 4202560 805 1244 0 0 1320 0 0 1 25 0 29 0 627189689 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11879/tid=11913] ppid=11874 vsize=1242152 CPUtime=13.54 cores=4-31
/proc/11879/task/11913/stat : 11913 (plingeling) R 11874 11874 11544 0 -1 4202560 7164 1244 0 0 1351 2 0 1 25 0 29 0 627189689 1271963648 166568 268435456000 4194304 4356188 140733696883760 18446744073709551615 4236944 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 479.74
Current children cumulated vsize (KiB) 5598900
[startup+23.5023 s]
/proc/loadavg: 19.95 17.06 23.06 33/447 11913
/proc/meminfo: memFree=251325568/264257624 swapFree=67111528/67111528
[pid=11874] ppid=11872 vsize=18324 CPUtime=0 cores=0-31
/proc/11874/stat : 11874 (ppfolio) S 11872 11874 11544 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 627188741 18763776 386 268435456000 4194304 4287625 140734103536016 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 20 0 0 0
/proc/11874/statm: 4581 386 337 23 0 91 0
[pid=11875] ppid=11874 vsize=204260 CPUtime=23.48 cores=0
/proc/11875/stat : 11875 (cryptominisat) R 11874 11874 11544 0 -1 4202496 51931 0 0 0 2334 14 0 0 25 0 1 0 627188742 209162240 39188 268435456000 4194304 4587354 140736612205584 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11875/statm: 51065 39188 328 96 0 47627 0
[pid=11876] ppid=11874 vsize=79104 CPUtime=23.48 cores=1
/proc/11876/stat : 11876 (clasp) R 11874 11874 11544 0 -1 4202496 23457 0 0 0 2341 7 0 0 25 0 1 0 627188742 81002496 16861 268435456000 4194304 4785740 140734668708160 18446744073709551615 4549842 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/11876/statm: 19776 16861 338 145 0 16821 0
[pid=11877] ppid=11874 vsize=555356 CPUtime=23.48 cores=2
/proc/11877/stat : 11877 (TNM) R 11874 11874 11544 0 -1 4202496 36124 0 0 0 2340 8 0 0 25 0 1 0 627188742 568684544 36022 268435456000 134512640 134534564 4288335696 18446744073709551615 134530632 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11877/statm: 138839 36022 95 6 0 137504 0
[pid=11878] ppid=11874 vsize=3499704 CPUtime=23.48 cores=3
/proc/11878/stat : 11878 (march_hi) R 11874 11874 11544 0 -1 4202496 877339 0 0 0 2186 162 0 0 25 0 1 0 627188742 3583696896 864292 268435456000 4194304 4331988 140733431797984 18446744073709551615 4256845 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11878/statm: 874926 864292 149 34 0 873368 0
[pid=11879] ppid=11874 vsize=1150632 CPUtime=397.98 cores=4-31
/proc/11879/stat : 11879 (plingeling) S 11874 11874 11544 0 -1 4202496 313465 1244 0 0 39646 151 0 1 18 0 29 0 627188742 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11879/statm: 287658 143468 159 40 0 286202 0
[pid=11879/tid=11886] ppid=11874 vsize=1150632 CPUtime=13.82 cores=4-31
/proc/11879/task/11886/stat : 11886 (plingeling) R 11874 11874 11544 0 -1 4202560 5602 1244 0 0 1380 1 0 1 25 0 29 0 627189687 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11879/tid=11887] ppid=11874 vsize=1150632 CPUtime=13.92 cores=4-31
/proc/11879/task/11887/stat : 11887 (plingeling) R 11874 11874 11544 0 -1 4202560 6378 1244 0 0 1382 9 0 1 25 0 29 0 627189687 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237444 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11879/tid=11888] ppid=11874 vsize=1150632 CPUtime=13.62 cores=4-31
/proc/11879/task/11888/stat : 11888 (plingeling) R 11874 11874 11544 0 -1 4202560 5855 1244 0 0 1359 2 0 1 25 0 29 0 627189687 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4331508 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11879/tid=11889] ppid=11874 vsize=1150632 CPUtime=13.93 cores=4-31
/proc/11879/task/11889/stat : 11889 (plingeling) R 11874 11874 11544 0 -1 4202560 4834 1244 0 0 1391 1 0 1 25 0 29 0 627189687 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11879/tid=11890] ppid=11874 vsize=1150632 CPUtime=14 cores=4-31
/proc/11879/task/11890/stat : 11890 (plingeling) R 11874 11874 11544 0 -1 4202560 6114 1244 0 0 1394 5 0 1 25 0 29 0 627189687 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11879/tid=11891] ppid=11874 vsize=1150632 CPUtime=14 cores=4-31
/proc/11879/task/11891/stat : 11891 (plingeling) R 11874 11874 11544 0 -1 4202560 5503 1244 0 0 1395 4 0 1 25 0 29 0 627189687 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11879/tid=11892] ppid=11874 vsize=1150632 CPUtime=13.83 cores=4-31
/proc/11879/task/11892/stat : 11892 (plingeling) R 11874 11874 11544 0 -1 4202560 8149 1244 0 0 1368 14 0 1 25 0 29 0 627189687 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4236992 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11879/tid=11893] ppid=11874 vsize=1150632 CPUtime=14.01 cores=4-31
/proc/11879/task/11893/stat : 11893 (plingeling) R 11874 11874 11544 0 -1 4202560 4131 1244 0 0 1399 1 0 1 25 0 29 0 627189688 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4241976 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11879/tid=11894] ppid=11874 vsize=1150632 CPUtime=13.86 cores=4-31
/proc/11879/task/11894/stat : 11894 (plingeling) R 11874 11874 11544 0 -1 4202560 5851 1244 0 0 1382 3 0 1 25 0 29 0 627189688 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11879/tid=11895] ppid=11874 vsize=1150632 CPUtime=14 cores=4-31
/proc/11879/task/11895/stat : 11895 (plingeling) R 11874 11874 11544 0 -1 4202560 4353 1244 0 0 1398 1 0 1 25 0 29 0 627189688 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237006 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11879/tid=11896] ppid=11874 vsize=1150632 CPUtime=13.86 cores=4-31
/proc/11879/task/11896/stat : 11896 (plingeling) R 11874 11874 11544 0 -1 4202560 5526 1244 0 0 1383 2 0 1 25 0 29 0 627189688 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4331011 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11879/tid=11897] ppid=11874 vsize=1150632 CPUtime=13.91 cores=4-31
/proc/11879/task/11897/stat : 11897 (plingeling) R 11874 11874 11544 0 -1 4202560 5874 1244 0 0 1388 2 0 1 25 0 29 0 627189688 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11879/tid=11898] ppid=11874 vsize=1150632 CPUtime=13.79 cores=4-31
/proc/11879/task/11898/stat : 11898 (plingeling) R 11874 11874 11544 0 -1 4202560 3553 1244 0 0 1377 1 0 1 25 0 29 0 627189688 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11879/tid=11899] ppid=11874 vsize=1150632 CPUtime=13.99 cores=4-31
/proc/11879/task/11899/stat : 11899 (plingeling) R 11874 11874 11544 0 -1 4202560 6310 1244 0 0 1396 2 0 1 25 0 29 0 627189688 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11879/tid=11900] ppid=11874 vsize=1150632 CPUtime=13.8 cores=4-31
/proc/11879/task/11900/stat : 11900 (plingeling) R 11874 11874 11544 0 -1 4202560 10019 1244 0 0 1369 10 0 1 25 0 29 0 627189688 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11879/tid=11901] ppid=11874 vsize=1150632 CPUtime=13.85 cores=4-31
/proc/11879/task/11901/stat : 11901 (plingeling) R 11874 11874 11544 0 -1 4202560 3849 1244 0 0 1383 1 0 1 25 0 29 0 627189688 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11879/tid=11902] ppid=11874 vsize=1150632 CPUtime=13.98 cores=4-31
/proc/11879/task/11902/stat : 11902 (plingeling) R 11874 11874 11544 0 -1 4202560 6494 1244 0 0 1395 2 0 1 25 0 29 0 627189689 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4260315 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11879/tid=11903] ppid=11874 vsize=1150632 CPUtime=13.78 cores=4-31
/proc/11879/task/11903/stat : 11903 (plingeling) R 11874 11874 11544 0 -1 4202560 8680 1244 0 0 1362 15 0 1 25 0 29 0 627189689 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4238416 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11879/tid=11904] ppid=11874 vsize=1150632 CPUtime=13.76 cores=4-31
/proc/11879/task/11904/stat : 11904 (plingeling) R 11874 11874 11544 0 -1 4202560 4386 1244 0 0 1373 2 0 1 25 0 29 0 627189689 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4331345 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11879/tid=11905] ppid=11874 vsize=1150632 CPUtime=13.84 cores=4-31
/proc/11879/task/11905/stat : 11905 (plingeling) R 11874 11874 11544 0 -1 4202560 5227 1244 0 0 1382 1 0 1 25 0 29 0 627189689 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4239040 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11879/tid=11906] ppid=11874 vsize=1150632 CPUtime=13.9 cores=4-31
/proc/11879/task/11906/stat : 11906 (plingeling) R 11874 11874 11544 0 -1 4202560 4798 1244 0 0 1385 4 0 1 25 0 29 0 627189689 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11879/tid=11907] ppid=11874 vsize=1150632 CPUtime=13.87 cores=4-31
/proc/11879/task/11907/stat : 11907 (plingeling) R 11874 11874 11544 0 -1 4202560 5421 1244 0 0 1383 3 0 1 25 0 29 0 627189689 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11879/tid=11908] ppid=11874 vsize=1150632 CPUtime=13.99 cores=4-31
/proc/11879/task/11908/stat : 11908 (plingeling) R 11874 11874 11544 0 -1 4202560 4931 1244 0 0 1397 1 0 1 25 0 29 0 627189689 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237616 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11879/tid=11909] ppid=11874 vsize=1150632 CPUtime=13.94 cores=4-31
/proc/11879/task/11909/stat : 11909 (plingeling) R 11874 11874 11544 0 -1 4202560 2018 1244 0 0 1393 0 0 1 25 0 29 0 627189689 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4330829 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11879/tid=11910] ppid=11874 vsize=1150632 CPUtime=13.88 cores=4-31
/proc/11879/task/11910/stat : 11910 (plingeling) R 11874 11874 11544 0 -1 4202560 5481 1244 0 0 1384 3 0 1 25 0 29 0 627189689 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4338957 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11879/tid=11911] ppid=11874 vsize=1150632 CPUtime=13.88 cores=4-31
/proc/11879/task/11911/stat : 11911 (plingeling) R 11874 11874 11544 0 -1 4202560 8494 1244 0 0 1379 8 0 1 25 0 29 0 627189689 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4237629 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11879/tid=11912] ppid=11874 vsize=1150632 CPUtime=13.59 cores=4-31
/proc/11879/task/11912/stat : 11912 (plingeling) R 11874 11874 11544 0 -1 4202560 805 1244 0 0 1358 0 0 1 25 0 29 0 627189689 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4284008 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11879/tid=11913] ppid=11874 vsize=1150632 CPUtime=13.92 cores=4-31
/proc/11879/task/11913/stat : 11913 (plingeling) R 11874 11874 11544 0 -1 4202560 7164 1244 0 0 1389 2 0 1 25 0 29 0 627189689 1178247168 143468 268435456000 4194304 4356188 140733696883760 18446744073709551615 4236992 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 491.9
Current children cumulated vsize (KiB) 5507380
[startup+23.9014 s]
/proc/loadavg: 19.95 17.06 23.06 33/447 11913
/proc/meminfo: memFree=251325568/264257624 swapFree=67111528/67111528
[pid=11874] ppid=11872 vsize=18324 CPUtime=473.84 cores=0-31
/proc/11874/stat : 11874 (ppfolio) S 11872 11874 11544 0 -1 4202496 515 426323 0 0 0 0 47194 190 15 0 1 0 627188741 18763776 387 268435456000 4194304 4287625 140734103536016 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 20 0 0 0
/proc/11874/statm: 4581 387 338 23 0 91 0
[pid=11878] ppid=11874 vsize=0 CPUtime=23.88 cores=3
/proc/11878/stat : 11878 (march_hi) R 11874 11874 11544 0 -1 4203524 877339 0 0 0 2208 180 0 0 25 0 1 0 627188742 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/11878/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 497.72
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 23.9399
CPU time (s): 497.783
CPU user time (s): 494.034
CPU system time (s): 3.74943
CPU usage (%): 2079.31
Max. virtual memory (cumulated for all children) (KiB): 5733668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 494.034
system time used= 3.74943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1304197
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= 2608
involuntary context switches= 1161
runsolver used 0.109983 second user time and 0.479927 second system time
The end
Begin job on node200 at 2011-05-12 01:37:03
IDJOB=3347409
IDBENCH=82420
IDSOLVER=1808
FILE ID=node200/3347409-1305157022
RUNJOBID= node200-1305156637-11558
PBS_JOBID= 13282069
Free space on /tmp= 62036 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347409-1305157022/watcher-3347409-1305157022 -o /tmp/evaluation-result-3347409-1305157022/solver-3347409-1305157022 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347409-1305157022.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 86980f7370ece00291f2970256db731a
RANDOM SEED=1443612183
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: 255828112 kB
Buffers: 422208 kB
Cached: 7585496 kB
SwapCached: 0 kB
Active: 7162020 kB
Inactive: 916848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255828112 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 24868 kB
Writeback: 0 kB
AnonPages: 70720 kB
Mapped: 14536 kB
Slab: 248932 kB
PageTables: 4368 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 196540 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= 62028 MiB
End job on node200 at 2011-05-12 01:37:27