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
4796.86/156.31 s UNSATISFIABLE
4796.86/156.36 solver [5] plingeling 276-6264d55-100731 answered
4796.86/156.36 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-3347323-1305014667/watcher-3347323-1305014667 -o /tmp/evaluation-result-3347323-1305014667/solver-3347323-1305014667 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347323-1305014667.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: 27.62 16.62 19.98 1/413 843
/proc/meminfo: memFree=256410488/264257624 swapFree=67111528/67111528
[pid=843] ppid=841 vsize=18324 CPUtime=0 cores=0-31
/proc/843/stat : 843 (ppfolio) S 841 843 389 0 -1 4202496 511 0 0 0 0 0 0 0 24 0 1 0 612953234 18763776 385 268435456000 4194304 4287625 140735695948688 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/843/statm: 4581 385 337 23 0 91 0
[startup+0.0865199 s]
/proc/loadavg: 27.62 16.62 19.98 1/413 843
/proc/meminfo: memFree=256410488/264257624 swapFree=67111528/67111528
[pid=843] ppid=841 vsize=18324 CPUtime=0 cores=0-31
/proc/843/stat : 843 (ppfolio) S 841 843 389 0 -1 4202496 511 0 0 0 0 0 0 0 24 0 1 0 612953234 18763776 385 268435456000 4194304 4287625 140735695948688 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/843/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100528 s]
/proc/loadavg: 27.62 16.62 19.98 1/413 843
/proc/meminfo: memFree=256410488/264257624 swapFree=67111528/67111528
[pid=843] ppid=841 vsize=18324 CPUtime=0 cores=0-31
/proc/843/stat : 843 (ppfolio) S 841 843 389 0 -1 4202496 511 0 0 0 0 0 0 0 24 0 1 0 612953234 18763776 385 268435456000 4194304 4287625 140735695948688 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/843/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300539 s]
/proc/loadavg: 27.62 16.62 19.98 1/413 843
/proc/meminfo: memFree=256410488/264257624 swapFree=67111528/67111528
[pid=843] ppid=841 vsize=18324 CPUtime=0 cores=0-31
/proc/843/stat : 843 (ppfolio) S 841 843 389 0 -1 4202496 511 0 0 0 0 0 0 0 24 0 1 0 612953234 18763776 385 268435456000 4194304 4287625 140735695948688 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/843/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700547 s]
/proc/loadavg: 27.62 16.62 19.98 1/413 843
/proc/meminfo: memFree=256410488/264257624 swapFree=67111528/67111528
[pid=843] ppid=841 vsize=18324 CPUtime=0 cores=0-31
/proc/843/stat : 843 (ppfolio) S 841 843 389 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 612953234 18763776 385 268435456000 4194304 4287625 140735695948688 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/843/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50056 s]
/proc/loadavg: 25.81 16.42 19.90 6/419 854
/proc/meminfo: memFree=256161168/264257624 swapFree=67111528/67111528
[pid=843] ppid=841 vsize=18324 CPUtime=0 cores=0-31
/proc/843/stat : 843 (ppfolio) S 841 843 389 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 612953234 18763776 385 268435456000 4194304 4287625 140735695948688 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/843/statm: 4581 385 337 23 0 91 0
[pid=844] ppid=843 vsize=71424 CPUtime=1.48 cores=0
/proc/844/stat : 844 (cryptominisat) R 843 843 389 0 -1 4202496 13469 0 0 0 145 3 0 0 20 0 1 0 612953234 73138176 13243 268435456000 4194304 4587354 140737083350368 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/844/statm: 17856 13243 303 96 0 14418 0
[pid=845] ppid=843 vsize=72160 CPUtime=1.49 cores=1
/proc/845/stat : 845 (clasp) R 843 843 389 0 -1 4202496 18773 0 0 0 143 6 0 0 20 0 1 0 612953234 73891840 14324 268435456000 4194304 4785740 140733281306208 18446744073709551615 4495597 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/845/statm: 18040 14324 316 145 0 15085 0
[pid=846] ppid=843 vsize=496364 CPUtime=1.48 cores=2
/proc/846/stat : 846 (TNM) R 843 843 389 0 -1 4202496 14271 0 0 0 143 5 0 0 20 0 1 0 612953234 508276736 14169 268435456000 134512640 134534564 4291263616 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/846/statm: 124091 14169 91 6 0 122756 0
[pid=847] ppid=843 vsize=79828 CPUtime=1.48 cores=3
/proc/847/stat : 847 (march_hi) R 843 843 389 0 -1 4194304 14074 0 0 0 143 5 0 0 20 0 1 0 612953234 81743872 10877 268435456000 4194304 4331988 140733229035440 18446744073709551615 258650351017 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/847/statm: 19957 10877 123 34 0 18399 0
[pid=848] ppid=843 vsize=165036 CPUtime=1.48 cores=4-31
/proc/848/stat : 848 (plingeling) R 843 843 389 0 -1 4202496 40034 1246 0 0 140 8 0 0 21 0 1 0 612953234 168996864 39919 268435456000 4194304 4356188 140734564359664 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 24 0 0 0
/proc/848/statm: 41259 39919 129 40 0 39803 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 903136
[startup+3.10066 s]
/proc/loadavg: 25.81 16.42 19.90 6/419 854
/proc/meminfo: memFree=256025028/264257624 swapFree=67111528/67111528
[pid=843] ppid=841 vsize=18324 CPUtime=0 cores=0-31
/proc/843/stat : 843 (ppfolio) S 841 843 389 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 612953234 18763776 385 268435456000 4194304 4287625 140735695948688 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/843/statm: 4581 385 337 23 0 91 0
[pid=844] ppid=843 vsize=97852 CPUtime=3.08 cores=0
/proc/844/stat : 844 (cryptominisat) R 843 843 389 0 -1 4202496 20100 0 0 0 303 5 0 0 25 0 1 0 612953234 100200448 19872 268435456000 4194304 4587354 140737083350368 18446744073709551615 4248764 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/844/statm: 24463 19872 309 96 0 21025 0
[pid=845] ppid=843 vsize=66812 CPUtime=3.08 cores=1
/proc/845/stat : 845 (clasp) R 843 843 389 0 -1 4202496 19492 0 0 0 302 6 0 0 25 0 1 0 612953234 68415488 13654 268435456000 4194304 4785740 140733281306208 18446744073709551615 4416768 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/845/statm: 16703 13654 338 145 0 13748 0
[pid=846] ppid=843 vsize=496364 CPUtime=3.08 cores=2
/proc/846/stat : 846 (TNM) R 843 843 389 0 -1 4202496 14271 0 0 0 303 5 0 0 25 0 1 0 612953234 508276736 14169 268435456000 134512640 134534564 4291263616 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/846/statm: 124091 14169 91 6 0 122756 0
[pid=847] ppid=843 vsize=96052 CPUtime=3.09 cores=3
/proc/847/stat : 847 (march_hi) R 843 843 389 0 -1 4202496 38158 0 0 0 298 11 0 0 25 0 1 0 612953234 98357248 15354 268435456000 4194304 4331988 140733229035440 18446744073709551615 4252160 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/847/statm: 24013 15354 145 34 0 22455 0
[pid=848] ppid=843 vsize=321384 CPUtime=3.08 cores=4-31
/proc/848/stat : 848 (plingeling) R 843 843 389 0 -1 4202496 79121 1246 0 0 291 17 0 0 25 0 1 0 612953234 329097216 79006 268435456000 4194304 4356188 140734564359664 18446744073709551615 4213270 0 0 4096 17442 0 0 0 17 24 0 0 0
/proc/848/statm: 80346 79006 129 40 0 78890 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 1096788
[startup+6.30072 s]
/proc/loadavg: 25.81 16.42 19.90 6/419 854
/proc/meminfo: memFree=255708668/264257624 swapFree=67111528/67111528
[pid=843] ppid=841 vsize=18324 CPUtime=0 cores=0-31
/proc/843/stat : 843 (ppfolio) S 841 843 389 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 612953234 18763776 385 268435456000 4194304 4287625 140735695948688 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/843/statm: 4581 385 337 23 0 91 0
[pid=844] ppid=843 vsize=166880 CPUtime=6.29 cores=0
/proc/844/stat : 844 (cryptominisat) R 843 843 389 0 -1 4202496 40001 0 0 0 619 10 0 0 25 0 1 0 612953234 170885120 34902 268435456000 4194304 4587354 140737083350368 18446744073709551615 4237681 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/844/statm: 41720 34902 325 96 0 38282 0
[pid=845] ppid=843 vsize=66812 CPUtime=6.28 cores=1
/proc/845/stat : 845 (clasp) R 843 843 389 0 -1 4202496 19492 0 0 0 622 6 0 0 25 0 1 0 612953234 68415488 13654 268435456000 4194304 4785740 140733281306208 18446744073709551615 4553440 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/845/statm: 16703 13654 338 145 0 13748 0
[pid=846] ppid=843 vsize=496364 CPUtime=6.28 cores=2
/proc/846/stat : 846 (TNM) R 843 843 389 0 -1 4202496 14271 0 0 0 623 5 0 0 25 0 1 0 612953234 508276736 14169 268435456000 134512640 134534564 4291263616 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/846/statm: 124091 14169 91 6 0 122756 0
[pid=847] ppid=843 vsize=91136 CPUtime=6.29 cores=3
/proc/847/stat : 847 (march_hi) R 843 843 389 0 -1 4202496 76423 0 0 0 609 20 0 0 25 0 1 0 612953234 93323264 14318 268435456000 4194304 4331988 140733229035440 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/847/statm: 22784 14318 148 34 0 21226 0
[pid=848] ppid=843 vsize=439568 CPUtime=6.27 cores=4-31
/proc/848/stat : 848 (plingeling) R 843 843 389 0 -1 4202496 106740 1246 0 0 604 23 0 0 25 0 1 0 612953234 450117632 106625 268435456000 4194304 4356188 140734564359664 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 24 0 0 0
/proc/848/statm: 109892 106632 129 40 0 108436 0
Current children cumulated CPU time (s) 31.41
Current children cumulated vsize (KiB) 1279084
[startup+12.7019 s]
/proc/loadavg: 24.77 16.49 19.88 33/447 882
/proc/meminfo: memFree=255345148/264257624 swapFree=67111528/67111528
[pid=843] ppid=841 vsize=18324 CPUtime=0 cores=0-31
/proc/843/stat : 843 (ppfolio) S 841 843 389 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 612953234 18763776 385 268435456000 4194304 4287625 140735695948688 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/843/statm: 4581 385 337 23 0 91 0
[pid=844] ppid=843 vsize=2048664 CPUtime=12.68 cores=0
/proc/844/stat : 844 (cryptominisat) R 843 843 389 0 -1 4202496 40973 0 0 0 1258 10 0 0 25 0 1 0 612953234 2097831936 32611 268435456000 4194304 4587354 140737083350368 18446744073709551615 4230223 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/844/statm: 512166 32611 329 96 0 508728 0
[pid=845] ppid=843 vsize=66812 CPUtime=12.68 cores=1
/proc/845/stat : 845 (clasp) R 843 843 389 0 -1 4202496 19496 0 0 0 1262 6 0 0 25 0 1 0 612953234 68415488 13658 268435456000 4194304 4785740 140733281306208 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/845/statm: 16703 13658 338 145 0 13748 0
[pid=846] ppid=843 vsize=496364 CPUtime=12.68 cores=2
/proc/846/stat : 846 (TNM) R 843 843 389 0 -1 4202496 14271 0 0 0 1263 5 0 0 25 0 1 0 612953234 508276736 14169 268435456000 134512640 134534564 4291263616 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/846/statm: 124091 14169 91 6 0 122756 0
[pid=847] ppid=843 vsize=116668 CPUtime=12.68 cores=3
/proc/847/stat : 847 (march_hi) R 843 843 389 0 -1 4202496 82707 0 0 0 1246 22 0 0 25 0 1 0 612953234 119468032 20602 268435456000 4194304 4331988 140733229035440 18446744073709551615 4226625 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/847/statm: 29167 20602 148 34 0 27609 0
[pid=848] ppid=843 vsize=1271944 CPUtime=159.97 cores=4-31
/proc/848/stat : 848 (plingeling) S 843 843 389 0 -1 4202496 307101 1246 0 0 15870 127 0 0 18 0 29 0 612953234 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/848/statm: 317986 183363 159 40 0 316530 0
[pid=848/tid=855] ppid=843 vsize=1271944 CPUtime=5.43 cores=4-31
/proc/848/task/855/stat : 855 (plingeling) R 843 843 389 0 -1 4202560 5901 1246 0 0 540 3 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=848/tid=856] ppid=843 vsize=1271944 CPUtime=5.43 cores=4-31
/proc/848/task/856/stat : 856 (plingeling) R 843 843 389 0 -1 4202560 5686 1246 0 0 539 4 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=848/tid=857] ppid=843 vsize=1271944 CPUtime=5.32 cores=4-31
/proc/848/task/857/stat : 857 (plingeling) R 843 843 389 0 -1 4202560 4648 1246 0 0 530 2 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=848/tid=858] ppid=843 vsize=1271944 CPUtime=5.47 cores=4-31
/proc/848/task/858/stat : 858 (plingeling) R 843 843 389 0 -1 4202560 5661 1246 0 0 546 1 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=848/tid=859] ppid=843 vsize=1271944 CPUtime=5.44 cores=4-31
/proc/848/task/859/stat : 859 (plingeling) R 843 843 389 0 -1 4202560 5641 1246 0 0 538 6 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=848/tid=860] ppid=843 vsize=1271944 CPUtime=5.46 cores=4-31
/proc/848/task/860/stat : 860 (plingeling) R 843 843 389 0 -1 4202560 6121 1246 0 0 542 4 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=848/tid=861] ppid=843 vsize=1271944 CPUtime=5.47 cores=4-31
/proc/848/task/861/stat : 861 (plingeling) R 843 843 389 0 -1 4202560 6023 1246 0 0 546 1 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4273839 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=848/tid=862] ppid=843 vsize=1271944 CPUtime=5.42 cores=4-31
/proc/848/task/862/stat : 862 (plingeling) R 843 843 389 0 -1 4202560 6099 1246 0 0 539 3 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=848/tid=863] ppid=843 vsize=1271944 CPUtime=5.51 cores=4-31
/proc/848/task/863/stat : 863 (plingeling) R 843 843 389 0 -1 4202560 2098 1246 0 0 549 2 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4234300 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=848/tid=864] ppid=843 vsize=1271944 CPUtime=5.49 cores=4-31
/proc/848/task/864/stat : 864 (plingeling) R 843 843 389 0 -1 4202560 6370 1246 0 0 545 4 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4283912 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=848/tid=865] ppid=843 vsize=1271944 CPUtime=5.49 cores=4-31
/proc/848/task/865/stat : 865 (plingeling) R 843 843 389 0 -1 4202560 4224 1246 0 0 546 3 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331039 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=848/tid=866] ppid=843 vsize=1271944 CPUtime=5.5 cores=4-31
/proc/848/task/866/stat : 866 (plingeling) R 843 843 389 0 -1 4202560 4462 1246 0 0 548 2 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=848/tid=867] ppid=843 vsize=1271944 CPUtime=5.43 cores=4-31
/proc/848/task/867/stat : 867 (plingeling) R 843 843 389 0 -1 4202560 5681 1246 0 0 540 3 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4241923 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=848/tid=868] ppid=843 vsize=1271944 CPUtime=5.48 cores=4-31
/proc/848/task/868/stat : 868 (plingeling) R 843 843 389 0 -1 4202560 5369 1246 0 0 545 3 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=848/tid=869] ppid=843 vsize=1271944 CPUtime=5.49 cores=4-31
/proc/848/task/869/stat : 869 (plingeling) R 843 843 389 0 -1 4202560 5823 1246 0 0 544 5 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4284016 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=848/tid=870] ppid=843 vsize=1271944 CPUtime=5.43 cores=4-31
/proc/848/task/870/stat : 870 (plingeling) R 843 843 389 0 -1 4202560 5224 1246 0 0 540 3 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4334511 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=848/tid=871] ppid=843 vsize=1271944 CPUtime=5.46 cores=4-31
/proc/848/task/871/stat : 871 (plingeling) R 843 843 389 0 -1 4202560 5856 1246 0 0 543 3 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=848/tid=872] ppid=843 vsize=1271944 CPUtime=5.51 cores=4-31
/proc/848/task/872/stat : 872 (plingeling) R 843 843 389 0 -1 4202560 2515 1246 0 0 551 0 0 0 25 0 29 0 612953950 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=848/tid=873] ppid=843 vsize=1271944 CPUtime=5.44 cores=4-31
/proc/848/task/873/stat : 873 (plingeling) R 843 843 389 0 -1 4202560 6549 1246 0 0 541 3 0 0 25 0 29 0 612953951 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4260305 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=848/tid=874] ppid=843 vsize=1271944 CPUtime=5.45 cores=4-31
/proc/848/task/874/stat : 874 (plingeling) R 843 843 389 0 -1 4202560 5451 1246 0 0 543 2 0 0 25 0 29 0 612953951 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4250576 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=848/tid=875] ppid=843 vsize=1271944 CPUtime=5.44 cores=4-31
/proc/848/task/875/stat : 875 (plingeling) R 843 843 389 0 -1 4202560 5424 1246 0 0 542 2 0 0 25 0 29 0 612953951 1302470656 183363 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=848/tid=876] ppid=843 vsize=1271944 CPUtime=5.46 cores=4-31
################
# More data... #
################
/proc/846/stat : 846 (TNM) R 843 843 389 0 -1 4202496 21689 0 0 0 15501 6 0 0 25 0 1 0 612953234 521744384 21587 268435456000 134512640 134534564 4291263616 18446744073709551615 134528877 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/846/statm: 127379 21587 95 6 0 126044 0
[pid=847] ppid=843 vsize=669524 CPUtime=155.08 cores=3
/proc/847/stat : 847 (march_hi) R 843 843 389 0 -1 4202496 219808 0 0 0 15437 71 0 0 25 0 1 0 612953234 685592576 157703 268435456000 4194304 4331988 140733229035440 18446744073709551615 4226642 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/847/statm: 167381 157703 149 34 0 165823 0
[pid=848] ppid=843 vsize=1478184 CPUtime=4142.47 cores=4-31
/proc/848/stat : 848 (plingeling) S 843 843 389 0 -1 4202496 691149 1246 0 0 414002 245 0 0 18 0 29 0 612953234 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/848/statm: 369546 238617 159 40 0 368090 0
[pid=848/tid=855] ppid=843 vsize=1478184 CPUtime=147.82 cores=4-31
/proc/848/task/855/stat : 855 (plingeling) R 843 843 389 0 -1 4202560 21909 1246 0 0 14773 9 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4279688 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=848/tid=856] ppid=843 vsize=1478184 CPUtime=147.82 cores=4-31
/proc/848/task/856/stat : 856 (plingeling) R 843 843 389 0 -1 4202560 18363 1246 0 0 14773 9 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=848/tid=857] ppid=843 vsize=1478184 CPUtime=147.57 cores=4-31
/proc/848/task/857/stat : 857 (plingeling) R 843 843 389 0 -1 4202560 17372 1246 0 0 14751 6 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4330839 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=848/tid=858] ppid=843 vsize=1478184 CPUtime=147.86 cores=4-31
/proc/848/task/858/stat : 858 (plingeling) R 843 843 389 0 -1 4202560 19117 1246 0 0 14782 4 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4330859 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=848/tid=859] ppid=843 vsize=1478184 CPUtime=147.82 cores=4-31
/proc/848/task/859/stat : 859 (plingeling) R 843 843 389 0 -1 4202560 22615 1246 0 0 14771 11 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4259314 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=848/tid=860] ppid=843 vsize=1478184 CPUtime=147.84 cores=4-31
/proc/848/task/860/stat : 860 (plingeling) R 843 843 389 0 -1 4202560 22875 1246 0 0 14774 10 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4237239 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=848/tid=861] ppid=843 vsize=1478184 CPUtime=147.8 cores=4-31
/proc/848/task/861/stat : 861 (plingeling) R 843 843 389 0 -1 4202560 22881 1246 0 0 14775 5 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4244324 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=848/tid=862] ppid=843 vsize=1478184 CPUtime=143.86 cores=4-31
/proc/848/task/862/stat : 862 (plingeling) R 843 843 389 0 -1 4202560 16191 1246 0 0 14381 5 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=848/tid=863] ppid=843 vsize=1478184 CPUtime=147.9 cores=4-31
/proc/848/task/863/stat : 863 (plingeling) R 843 843 389 0 -1 4202560 19228 1246 0 0 14782 8 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4244475 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=848/tid=864] ppid=843 vsize=1478184 CPUtime=147.87 cores=4-31
/proc/848/task/864/stat : 864 (plingeling) R 843 843 389 0 -1 4202560 19484 1246 0 0 14779 8 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=848/tid=865] ppid=843 vsize=1478184 CPUtime=147.86 cores=4-31
/proc/848/task/865/stat : 865 (plingeling) R 843 843 389 0 -1 4202560 12834 1246 0 0 14780 6 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=848/tid=866] ppid=843 vsize=1478184 CPUtime=147.89 cores=4-31
/proc/848/task/866/stat : 866 (plingeling) R 843 843 389 0 -1 4202560 13735 1246 0 0 14785 4 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=848/tid=867] ppid=843 vsize=1478184 CPUtime=147.83 cores=4-31
/proc/848/task/867/stat : 867 (plingeling) R 843 843 389 0 -1 4202560 28266 1246 0 0 14774 9 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4336032 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=848/tid=868] ppid=843 vsize=1478184 CPUtime=147.86 cores=4-31
/proc/848/task/868/stat : 868 (plingeling) R 843 843 389 0 -1 4202560 23652 1246 0 0 14776 10 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4279670 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=848/tid=869] ppid=843 vsize=1478184 CPUtime=147.87 cores=4-31
/proc/848/task/869/stat : 869 (plingeling) R 843 843 389 0 -1 4202560 17900 1246 0 0 14778 9 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=848/tid=870] ppid=843 vsize=1478184 CPUtime=147.82 cores=4-31
/proc/848/task/870/stat : 870 (plingeling) R 843 843 389 0 -1 4202560 21115 1246 0 0 14774 8 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=848/tid=871] ppid=843 vsize=1478184 CPUtime=147.84 cores=4-31
/proc/848/task/871/stat : 871 (plingeling) R 843 843 389 0 -1 4202560 14925 1246 0 0 14777 7 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=848/tid=872] ppid=843 vsize=1478184 CPUtime=147.89 cores=4-31
/proc/848/task/872/stat : 872 (plingeling) R 843 843 389 0 -1 4202560 13543 1246 0 0 14787 2 0 0 25 0 29 0 612953950 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=848/tid=873] ppid=843 vsize=1478184 CPUtime=147.72 cores=4-31
/proc/848/task/873/stat : 873 (plingeling) R 843 843 389 0 -1 4202560 21950 1246 0 0 14762 10 0 0 25 0 29 0 612953951 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4239183 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=848/tid=874] ppid=843 vsize=1478184 CPUtime=147.84 cores=4-31
/proc/848/task/874/stat : 874 (plingeling) R 843 843 389 0 -1 4202560 23094 1246 0 0 14778 6 0 0 25 0 29 0 612953951 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4242762 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=848/tid=875] ppid=843 vsize=1478184 CPUtime=147.83 cores=4-31
/proc/848/task/875/stat : 875 (plingeling) R 843 843 389 0 -1 4202560 16595 1246 0 0 14776 7 0 0 25 0 29 0 612953951 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=848/tid=876] ppid=843 vsize=1478184 CPUtime=147.83 cores=4-31
/proc/848/task/876/stat : 876 (plingeling) R 843 843 389 0 -1 4202560 15625 1246 0 0 14778 5 0 0 25 0 29 0 612953952 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=848/tid=877] ppid=843 vsize=1478184 CPUtime=147.81 cores=4-31
/proc/848/task/877/stat : 877 (plingeling) R 843 843 389 0 -1 4202560 13912 1246 0 0 14777 4 0 0 25 0 29 0 612953952 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=848/tid=878] ppid=843 vsize=1478184 CPUtime=147.78 cores=4-31
/proc/848/task/878/stat : 878 (plingeling) R 843 843 389 0 -1 4202560 20047 1246 0 0 14773 5 0 0 25 0 29 0 612953953 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=848/tid=879] ppid=843 vsize=1478184 CPUtime=147.74 cores=4-31
/proc/848/task/879/stat : 879 (plingeling) R 843 843 389 0 -1 4202560 19961 1246 0 0 14768 6 0 0 25 0 29 0 612953953 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=848/tid=880] ppid=843 vsize=1478184 CPUtime=147.78 cores=4-31
/proc/848/task/880/stat : 880 (plingeling) R 843 843 389 0 -1 4202560 13274 1246 0 0 14771 7 0 0 25 0 29 0 612953953 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=848/tid=881] ppid=843 vsize=1478184 CPUtime=147.85 cores=4-31
/proc/848/task/881/stat : 881 (plingeling) R 843 843 389 0 -1 4202560 22904 1246 0 0 14775 10 0 0 25 0 29 0 612953953 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=848/tid=882] ppid=843 vsize=1478184 CPUtime=147.84 cores=4-31
/proc/848/task/882/stat : 882 (plingeling) R 843 843 389 0 -1 4202560 19927 1246 0 0 14779 5 0 0 25 0 29 0 612953953 1513660416 238617 268435456000 4194304 4356188 140734564359664 18446744073709551615 4241631 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 4762.76
Current children cumulated vsize (KiB) 6920940
[startup+155.902 s]
/proc/loadavg: 31.44 22.37 21.60 33/447 886
/proc/meminfo: memFree=254269100/264257624 swapFree=67111528/67111528
[pid=843] ppid=841 vsize=18324 CPUtime=0 cores=0-31
/proc/843/stat : 843 (ppfolio) S 841 843 389 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 612953234 18763776 385 268435456000 4194304 4287625 140735695948688 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/843/statm: 4581 385 337 23 0 91 0
[pid=844] ppid=843 vsize=3906608 CPUtime=155.85 cores=0
/proc/844/stat : 844 (cryptominisat) R 843 843 389 0 -1 4202496 70013 0 0 0 15566 19 0 0 25 0 1 0 612953234 4000366592 36472 268435456000 4194304 4587354 140737083350368 18446744073709551615 4230377 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/844/statm: 976652 36472 336 96 0 973214 0
[pid=845] ppid=843 vsize=338784 CPUtime=155.85 cores=1
/proc/845/stat : 845 (clasp) R 843 843 389 0 -1 4202496 86828 0 0 0 15551 34 0 0 25 0 1 0 612953234 346914816 80990 268435456000 4194304 4785740 140733281306208 18446744073709551615 4548984 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/845/statm: 84696 80990 338 145 0 81741 0
[pid=846] ppid=843 vsize=509516 CPUtime=155.85 cores=2
/proc/846/stat : 846 (TNM) R 843 843 389 0 -1 4202496 21689 0 0 0 15579 6 0 0 25 0 1 0 612953234 521744384 21587 268435456000 134512640 134534564 4291263616 18446744073709551615 134528877 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/846/statm: 127379 21587 95 6 0 126044 0
[pid=847] ppid=843 vsize=672692 CPUtime=155.85 cores=3
/proc/847/stat : 847 (march_hi) R 843 843 389 0 -1 4202496 220622 0 0 0 15514 71 0 0 25 0 1 0 612953234 688836608 158517 268435456000 4194304 4331988 140733229035440 18446744073709551615 4226625 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/847/statm: 168173 158517 149 34 0 166615 0
[pid=848] ppid=843 vsize=1483936 CPUtime=4164.3 cores=4-31
/proc/848/stat : 848 (plingeling) S 843 843 389 0 -1 4202496 695040 1246 0 0 416184 246 0 0 18 0 29 0 612953234 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/848/statm: 370984 240055 159 40 0 369528 0
[pid=848/tid=855] ppid=843 vsize=1483936 CPUtime=148.6 cores=4-31
/proc/848/task/855/stat : 855 (plingeling) R 843 843 389 0 -1 4202560 21909 1246 0 0 14851 9 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=848/tid=856] ppid=843 vsize=1483936 CPUtime=148.6 cores=4-31
/proc/848/task/856/stat : 856 (plingeling) R 843 843 389 0 -1 4202560 18363 1246 0 0 14851 9 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=848/tid=857] ppid=843 vsize=1483936 CPUtime=148.35 cores=4-31
/proc/848/task/857/stat : 857 (plingeling) R 843 843 389 0 -1 4202560 17372 1246 0 0 14829 6 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4332054 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=848/tid=858] ppid=843 vsize=1483936 CPUtime=148.64 cores=4-31
/proc/848/task/858/stat : 858 (plingeling) R 843 843 389 0 -1 4202560 19117 1246 0 0 14860 4 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4281495 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=848/tid=859] ppid=843 vsize=1483936 CPUtime=148.6 cores=4-31
/proc/848/task/859/stat : 859 (plingeling) R 843 843 389 0 -1 4202560 24632 1246 0 0 14849 11 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=848/tid=860] ppid=843 vsize=1483936 CPUtime=148.62 cores=4-31
/proc/848/task/860/stat : 860 (plingeling) R 843 843 389 0 -1 4202560 22875 1246 0 0 14852 10 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4241631 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=848/tid=861] ppid=843 vsize=1483936 CPUtime=148.58 cores=4-31
/proc/848/task/861/stat : 861 (plingeling) R 843 843 389 0 -1 4202560 23905 1246 0 0 14853 5 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=848/tid=862] ppid=843 vsize=1483936 CPUtime=144.63 cores=4-31
/proc/848/task/862/stat : 862 (plingeling) R 843 843 389 0 -1 4202560 16191 1246 0 0 14458 5 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=848/tid=863] ppid=843 vsize=1483936 CPUtime=148.68 cores=4-31
/proc/848/task/863/stat : 863 (plingeling) R 843 843 389 0 -1 4202560 20078 1246 0 0 14860 8 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4238307 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=848/tid=864] ppid=843 vsize=1483936 CPUtime=148.65 cores=4-31
/proc/848/task/864/stat : 864 (plingeling) R 843 843 389 0 -1 4202560 19484 1246 0 0 14857 8 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4332327 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=848/tid=865] ppid=843 vsize=1483936 CPUtime=148.64 cores=4-31
/proc/848/task/865/stat : 865 (plingeling) R 843 843 389 0 -1 4202560 12834 1246 0 0 14858 6 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4210581 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=848/tid=866] ppid=843 vsize=1483936 CPUtime=148.67 cores=4-31
/proc/848/task/866/stat : 866 (plingeling) R 843 843 389 0 -1 4202560 13735 1246 0 0 14863 4 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4210727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=848/tid=867] ppid=843 vsize=1483936 CPUtime=148.61 cores=4-31
/proc/848/task/867/stat : 867 (plingeling) R 843 843 389 0 -1 4202560 28266 1246 0 0 14852 9 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=848/tid=868] ppid=843 vsize=1483936 CPUtime=148.64 cores=4-31
/proc/848/task/868/stat : 868 (plingeling) R 843 843 389 0 -1 4202560 23652 1246 0 0 14854 10 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4210812 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=848/tid=869] ppid=843 vsize=1483936 CPUtime=148.65 cores=4-31
/proc/848/task/869/stat : 869 (plingeling) R 843 843 389 0 -1 4202560 17900 1246 0 0 14856 9 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=848/tid=870] ppid=843 vsize=1483936 CPUtime=148.6 cores=4-31
/proc/848/task/870/stat : 870 (plingeling) R 843 843 389 0 -1 4202560 21115 1246 0 0 14852 8 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=848/tid=871] ppid=843 vsize=1483936 CPUtime=148.62 cores=4-31
/proc/848/task/871/stat : 871 (plingeling) R 843 843 389 0 -1 4202560 14925 1246 0 0 14855 7 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331039 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=848/tid=872] ppid=843 vsize=1483936 CPUtime=148.67 cores=4-31
/proc/848/task/872/stat : 872 (plingeling) R 843 843 389 0 -1 4202560 13543 1246 0 0 14865 2 0 0 25 0 29 0 612953950 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4279749 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=848/tid=873] ppid=843 vsize=1483936 CPUtime=148.5 cores=4-31
/proc/848/task/873/stat : 873 (plingeling) R 843 843 389 0 -1 4202560 21950 1246 0 0 14840 10 0 0 25 0 29 0 612953951 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4237352 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=848/tid=874] ppid=843 vsize=1483936 CPUtime=148.62 cores=4-31
/proc/848/task/874/stat : 874 (plingeling) R 843 843 389 0 -1 4202560 23094 1246 0 0 14856 6 0 0 25 0 29 0 612953951 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=848/tid=875] ppid=843 vsize=1483936 CPUtime=148.61 cores=4-31
/proc/848/task/875/stat : 875 (plingeling) R 843 843 389 0 -1 4202560 16595 1246 0 0 14854 7 0 0 25 0 29 0 612953951 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=848/tid=876] ppid=843 vsize=1483936 CPUtime=148.61 cores=4-31
/proc/848/task/876/stat : 876 (plingeling) R 843 843 389 0 -1 4202560 15625 1246 0 0 14856 5 0 0 25 0 29 0 612953952 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4244286 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=848/tid=877] ppid=843 vsize=1483936 CPUtime=148.59 cores=4-31
/proc/848/task/877/stat : 877 (plingeling) R 843 843 389 0 -1 4202560 13912 1246 0 0 14855 4 0 0 25 0 29 0 612953952 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=848/tid=878] ppid=843 vsize=1483936 CPUtime=148.56 cores=4-31
/proc/848/task/878/stat : 878 (plingeling) R 843 843 389 0 -1 4202560 20047 1246 0 0 14851 5 0 0 25 0 29 0 612953953 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=848/tid=879] ppid=843 vsize=1483936 CPUtime=148.52 cores=4-31
/proc/848/task/879/stat : 879 (plingeling) R 843 843 389 0 -1 4202560 19961 1246 0 0 14846 6 0 0 25 0 29 0 612953953 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=848/tid=880] ppid=843 vsize=1483936 CPUtime=148.56 cores=4-31
/proc/848/task/880/stat : 880 (plingeling) R 843 843 389 0 -1 4202560 13274 1246 0 0 14849 7 0 0 25 0 29 0 612953953 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=848/tid=881] ppid=843 vsize=1483936 CPUtime=148.63 cores=4-31
/proc/848/task/881/stat : 881 (plingeling) R 843 843 389 0 -1 4202560 22904 1246 0 0 14853 10 0 0 25 0 29 0 612953953 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=848/tid=882] ppid=843 vsize=1483936 CPUtime=148.62 cores=4-31
/proc/848/task/882/stat : 882 (plingeling) R 843 843 389 0 -1 4202560 19927 1246 0 0 14857 5 0 0 25 0 29 0 612953953 1519550464 240055 268435456000 4194304 4356188 140734564359664 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 4787.7
Current children cumulated vsize (KiB) 6929860
[startup+156.301 s]
/proc/loadavg: 31.48 22.53 21.66 33/447 886
/proc/meminfo: memFree=254259504/264257624 swapFree=67111528/67111528
[pid=843] ppid=841 vsize=18324 CPUtime=0 cores=0-31
/proc/843/stat : 843 (ppfolio) S 841 843 389 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 612953234 18763776 385 268435456000 4194304 4287625 140735695948688 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/843/statm: 4581 385 337 23 0 91 0
[pid=844] ppid=843 vsize=3906608 CPUtime=156.25 cores=0
/proc/844/stat : 844 (cryptominisat) R 843 843 389 0 -1 4202496 70013 0 0 0 15606 19 0 0 25 0 1 0 612953234 4000366592 36472 268435456000 4194304 4587354 140737083350368 18446744073709551615 4232689 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/844/statm: 976652 36472 336 96 0 973214 0
[pid=845] ppid=843 vsize=338784 CPUtime=156.25 cores=1
/proc/845/stat : 845 (clasp) R 843 843 389 0 -1 4202496 86828 0 0 0 15591 34 0 0 25 0 1 0 612953234 346914816 80990 268435456000 4194304 4785740 140733281306208 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/845/statm: 84696 80990 338 145 0 81741 0
[pid=846] ppid=843 vsize=509516 CPUtime=156.25 cores=2
/proc/846/stat : 846 (TNM) R 843 843 389 0 -1 4202496 21689 0 0 0 15619 6 0 0 25 0 1 0 612953234 521744384 21587 268435456000 134512640 134534564 4291263616 18446744073709551615 134530158 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/846/statm: 127379 21587 95 6 0 126044 0
[pid=847] ppid=843 vsize=674408 CPUtime=156.25 cores=3
/proc/847/stat : 847 (march_hi) R 843 843 389 0 -1 4202496 221040 0 0 0 15554 71 0 0 25 0 1 0 612953234 690593792 158935 268435456000 4194304 4331988 140733229035440 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/847/statm: 168602 158936 149 34 0 167044 0
[pid=848] ppid=843 vsize=538228 CPUtime=4171.86 cores=4-31
/proc/848/stat : 848 (plingeling) R 843 843 389 0 -1 4202496 695041 1246 0 0 416932 254 0 0 17 0 1 0 612953234 551145472 34026 268435456000 4194304 4356188 140734564359664 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/848/statm: 134557 34026 160 40 0 133101 0
Current children cumulated CPU time (s) 4796.86
Current children cumulated vsize (KiB) 5985868
Child status: 0
Real time (s): 156.363
CPU time (s): 4797.1
CPU user time (s): 4793.11
CPU system time (s): 3.99239
CPU usage (%): 3067.92
Max. virtual memory (cumulated for all children) (KiB): 6930976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.11
system time used= 3.99239
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1096406
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= 2980
involuntary context switches= 11537
runsolver used 0.884865 second user time and 3.49347 second system time
The end
Begin job on node200 at 2011-05-10 10:04:28
IDJOB=3347323
IDBENCH=71743
IDSOLVER=1808
FILE ID=node200/3347323-1305014667
RUNJOBID= node200-1305013798-403
PBS_JOBID= 13282034
Free space on /tmp= 62040 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347323-1305014667/watcher-3347323-1305014667 -o /tmp/evaluation-result-3347323-1305014667/solver-3347323-1305014667 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347323-1305014667.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= b7df25f653e1e7a9ffcd39b3231809e6
RANDOM SEED=1827385629
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: 256410892 kB
Buffers: 375332 kB
Cached: 7116596 kB
SwapCached: 0 kB
Active: 6638744 kB
Inactive: 925816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256410892 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 22612 kB
Writeback: 0 kB
AnonPages: 74100 kB
Mapped: 14732 kB
Slab: 194652 kB
PageTables: 6296 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 172532 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-10 10:07:05